Аксиомы для кратчайших путей

Предположим, у нас есть неориентированный взвешенный граф $G = (V, E, w)$ (с неотрицательными весами). Предположим, что все кратчайшие пути в $G$ единственны. Предположим, у нас есть эти пути (последовательности невзвешенных ребер), но мы не знаем саму Можем ли мы создать , который дал бы эти пути как самые короткие за полиномиальное время? Более слабая версия: можем ли мы решить за полиномиальное время, существует ли такая ? $\binom{n}{2}$ $G$ $G$ $G$

Очевидным необходимым условием является следующее: для каждой пары путей их пересечение также является путем. Достаточно ли этого условия?

— ilyaraz
источник

Я должен быть сбит с толку по поводу ввода: если в объединении кратчайших путей у вас есть две вершины

u, v

$u,v$ в цикле, то есть два пути между ними (которые являются самыми короткими обязательно), и один должен быть короче другого вашим условие уникальности

— Суреш Венкат

@Suresh: я не знаю, что вы хотите получить. Если граф G является полным графом, то единственный кратчайший путь между любыми двумя вершинами - это одно ребро, а объединение всех этих кратчайших путей - полный граф.

— Цуёси Ито

Я думаю, что ответ «нет» для восстановления взвешенного графа, поскольку, если какое-либо ребро отсутствует в вашем входе, оно может фактически (а) отсутствовать в графе или (б) быть ребром с действительно очень большим весом. Я думаю, что версия без весов более интересна. Кроме того, почему график, который мы хотим найти, взвешен и пути, которые нам даны, не взвешены?

— Артем Казнатчеев

пусть

H

$H$ будет объединением кратчайших путей. есть причина , почему

H

$H$ не график , который будет производить этот же путь кратчайшего? или, другими словами, разве не так, что если заданные кратчайшие пути не являются кратчайшими в

H

$H$ , то нет графа, для которого они являются кратчайшими?

— Сашо Николов

@SashoNikolov Какие веса мы должны назначить ребрам?

— Ильяраз

Ответы:

Я просто наткнулся на этот старый вопрос, когда проводил тщательный поиск, и я случайно получил ответы в этой статье, которыми я мог бы также поделиться. Я надеюсь, что сочетание некромантии нити и саморекламы простительно.

Можем ли мы создать G, который дал бы эти пути как самые короткие за полиномиальное время? Более слабая версия: можем ли мы решить за полиномиальное время, существует ли такая G?

Ответ - да обоим. Алгоритм Мухаммеда определенно работает, но есть более быстрый и более прямой метод, который устраняет необходимость запуска кубических разделительных оракулов. Пусть вспомогательный неориентированный взвешенный граф, где вес каждого ребра является целым числом, указывающим, сколько из пути, взятых на входе, содержат это ребро. Теперь рассмотрим экземпляр мультикомодового потока с граничной емкостью над (интерпретируя граничные веса как емкости), в котором цель состоит в том, чтобы одновременно протолкнуть 1 единицу потока между каждой парой узлов. Очевидно, что этот экземпляр потока MC может быть удовлетворен путем проталкивания потока естественным образом вдоль путей, указанных на входе. Оказывается, можно доказать, что наш $H = (V, E, w')$ $e \in E$ $n \choose 2$ $H$ $n \choose 2$ пути являются уникальными кратчайшими путями в некотором тогда и только тогда, когда это единственный способ удовлетворить экземпляр потока MC. Мы можем проверить уникальность, установив LP, чьи ограничения являются обычными для технико-экономического обоснования потока MC, плюс определенную тщательно выбранную целевую функцию, и веса ребер удовлетворяющего могут быть извлечены из двойственного этого LP. $G$ $G$

Очевидным необходимым условием является следующее: для каждой пары путей их пересечение также является путем. Достаточно ли этого условия?

Это условие иногда называют «согласованностью» (набор путей непротиворечив, если пересечение любых двух является подпутем каждого). Из вышесказанного следует, что согласованности недостаточно. Один из двух контрпримеров для наименьшего числа является следующей системой с четырьмя путями с цветовой кодировкой на шести узлах:

Другими словами, нет способа присвоить веса 8 ребрам, изображенным здесь, чтобы все эти четыре пути были одновременно уникальным кратчайшим путем между их конечными точками. Тем не менее, любая пара из них пересекается только на одном узле, поэтому они согласованы (даже если мы правильно заполним их несколькими дополнительными путями, чтобы всего). Существует бесконечно много контрпримеров, подобных этому; см. статью для характеристики. $n \choose 2$

Три других быстрых комментария обо всем этом:

Аналогичные утверждения, на которые вы могли бы надеяться, справедливы в настройке ориентированных, а не ненаправленных графов,
Существует хорошая топологическая интерпретация этой теории, которая приводит к некоторому дополнительному пониманию и интуиции о том, как уникальные кратчайшие пути могут быть структурированы, и
По некоторым техническим причинам теория упрощает удобство настройки DAG, а не ненаправленных или (циклических) ориентированных графов.

— GMB
источник

Вы можете написать проблему как LP, не так ли? Для любых двух вершин u, v и любого пути P от u до v вес P больше или равен весу данного кратчайшего пути между u и v. Это все линейные неравенства, и хотя существуют экспоненциально много, проблема разделения находится в P (это просто проблема кратчайшего пути из всех пар). Таким образом, вы можете использовать алгоритм эллипсоида для его решения.

— Мохаммад
источник