Мысли вслух.
Рассмотрим произвольный неориентированный взвешенный граф, где все веса --- натуральные числа, удовлетворяющие аксиомам метрики. Известно, что задача для такого графа остаётся NP-трудной.
Теперь заменим в нём каждое ребро
A --------(вес=n)-------- B
на последовательность рёбер
A --(вес=0)-- X1 --(вес=1)-- X2 --(вес=0)-- X3 --(вес=1)-- X4 ............ X{2N-1} --(вес=1)-- X{2N} --(вес=0)-- B
Вроде бы, новый граф удовлетворяет аксиомам метрики.
Сначала думал, что задачи на исходном графе и на новом эквивалентны. Однако фигушки
К тому же, вторая задача размерностью поболе будет
Скажется ли это на NP-трудности?