Мне тут на досуге подумалось: а что если обобщить понятие гамильтонова пути и, соответственно, гамильтонова графа следующим образом: называть

-гамильтоновым граф в котором существует путь, позволяющий обойти все вершины графа, посетив каждую не более

раз.
Если ввести такое понятие, то, может быть, возможно научится каким-то образом вычислять верхнюю оценку степени гамильтоновости графа, если известна такая оценка для отдельных его частей, можно как-то связывать

-гамильтоновость с приведением к графу с меньшей степенью гамильтоновости с помощью стягивания вершин или удаления рёбер...
Возможно, для достаточно больших,

(например для

или

) возможен полиномиальный алгоритм проверки на k-гамильтоновость?
Кто что думает по этому поводу? Может быть, кто-то знает книги, в которых уже описаны рассуждения в этом русле, и я просто изобретаю велосипед?