Мне тут на досуге подумалось: а что если обобщить понятие гамильтонова пути и, соответственно, гамильтонова графа следующим образом: называть
-гамильтоновым граф в котором существует путь, позволяющий обойти все вершины графа, посетив каждую не более
раз.
Если ввести такое понятие, то, может быть, возможно научится каким-то образом вычислять верхнюю оценку степени гамильтоновости графа, если известна такая оценка для отдельных его частей, можно как-то связывать
-гамильтоновость с приведением к графу с меньшей степенью гамильтоновости с помощью стягивания вершин или удаления рёбер...
Возможно, для достаточно больших,
(например для
или
) возможен полиномиальный алгоритм проверки на k-гамильтоновость?
Кто что думает по этому поводу? Может быть, кто-то знает книги, в которых уже описаны рассуждения в этом русле, и я просто изобретаю велосипед?