У меня есть следующая проблема:
Вход: два набора интервалов и T (все конечные точки являются целыми числами).
Вопрос: существует ли монотонная биекция f : S → T ?
Биекция монотонна WRT порядка включения множества на и T . ∀ X ⊆ Y ∈ S , f ( X ) ⊆ f ( Y )
[Я не требую обратного условия здесь. Обновление: если требовалось обратное условие, т.е. , то это было бы в PTIME , поскольку она составляет изоморфизм тестирования соответствующего включения ч.у.м. (которые имеют размерность порядка 2 по построению), которая находится в PTIME по Мерингу, вычислительно трактуемые классы упорядоченных множеств , теорема 5.10, с. 61. ]
Проблема в : мы можем эффективно проверить, является ли данное f монотонной биекцией.
Есть ли алгоритм полиномиального времени для этой проблемы? Или это хард?
Вопрос может быть сформулирован более широко как существование монотонной биекции между двумя заданными позами измерения порядка 2.
Использование сокращения вдохновленного ответов на этот вопрос , я знаю , что проблема -трудной , когда размеры не ограничены. Тем не менее, не ясно, будет ли сокращение работать, когда размеры ограничены.
Мне также интересно узнать о возможности тяготения, когда размерность ограничена какой-либо произвольной константой (а не только 2).
Ответы:
Вот попытка доказать, что задача без обратного условия является NP-трудной.
Предположим, что существует биекция между S и T, которая сохраняет интервал включения (в одном направлении от S до T).
Аналогичным образом можно доказать, что если существует биекция, то исходная унарная задача о 3-разбиениях имеет решение.
Примечание: как отмечено в комментариях, синие интервалы L в S и T не являются существенными для сокращения.
источник