2015-04-09 3 views
2

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

неориентированный, взвешенный и связный граф G (без negative веса и все веса distinct) даются, мы знаем, в этом графике самый короткий путь между любой два Вершины находится на Minimum Spanning Tree (MST). (для любой пары вершин и для любого кратчайшего пути между ними она лежит на MST). Что из перечисленного является True?

1) График G - это дерево.

2) вес каждого {U, V} край, по меньшей мере, равна (то же самое), чтобы края в тяжелом кратчайшему пути от у к об.

3) кратчайший путь между любыми двумя вершиной у, v является уникальным.

4) предположим, что начало от вершины s, Prime (для расчета MST) и Дейкстрой (для вычисления кратчайшего пути), процесс и добавить вершины в свои деревья, с тем же порядком. (два алгоритма работают с одним и тем же порядком в обрабатывающем и добавляющем узле)

Как проверить эти параметры? Это сложный вопрос.

+1

1. Что означает «по крайней мере равный»? Означает ли это «меньше или равно» или «больше или равно»? 2. Что означает «самый короткий путь на mst»? Означает ли это, что для любой пары вершин существует кратчайший путь, который находится на mst, или это означает, что для любой пары вершин и для любого кратчайшего пути между ними он лежит на mst? – kraskevich

+0

@kraskevich это сейчас okey? –

+0

для примечания (2), который, пожалуйста, рассмотрите два случая? Я уверен, что один из этих вариантов прав? –

ответ

1
  1. No. Например: V = {1, 2, 3}, E = {(1, 2, 1), (2, 3, 2), (1, 3, 4)} (каждое ребро кодируется как кортеж (одна вершина, другая вершина, вес)). Это не дерево, но самый короткий путь находится на минимальном остовном дереве.

  2. Да. Если вес этого ребра меньше, чем вес самого тяжелого края, который находится в кратчайшем пути, этот край короче кратчайшего пути (потому что нет ребер с отрицательным весом). Таким образом, кратчайший путь не является самым коротким. Это противоречие.

  3. No *. Предположим, что у нас есть граф с двумя вершинами {1, 2} и один край между ними с нулевым весом. Есть бесконечно много кратчайшего пути между первой и второй вершины ([1, 2], [1, 2, 1, 2], ...)

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

  4. Нет. Рассмотрим это дерево: V = {1, 2, 3, 4}, E = {(1, 2, 3), (2, 3, 2), (1, 4, 4)}. Предположим, что начальная вершина равна 1. Алгоритм Прима будет принимать первую вершину, чем вторую, а третью - только после этого четвертую. Но алгоритм Дейкстры займет четвертую вершину перед третьей. Это происходит потому, что третья вершина расположена ближе к дереву после обработки первых двух вершин, но общее расстояние до него от стартового узла больше.

+0

@MaryamGhizhi В заявлении о проблемах говорится, что для любых двух вершин для любого кратчайшего пути между ними он лежит на MST. Но (A, C) не находится на MST. Таким образом, этот график не удовлетворяет условию из оператора задачи. – kraskevich

+0

@MaryamGhizhi В этом случае ваш пример действителен. (3) неверно. – kraskevich

+0

Последний вопрос - мое предположение, что сделать (3) недействительным, изменить результат опции (4)? –

1

Я не хочу, чтобы дать полный ответ, но вот как подойти к нему:

  1. Вы можете добавить край [ы] к дереву таким образом, что это не дерево больше, и до сих пор Дерево содержит все кратчайшие пути?

  2. Что произойдет, если есть край, который короче самого тяжелого края?

  3. это запутанно, потому что проблема говорит, что «кратчайший путь между любыми двумя вершинами находится на MST», но не учитывает тот факт, что могут быть несколько кратчайших путей. Поэтому вы можете предположить, что «по крайней мере один короткий путь лежит на дереве». В этом случае просто соедините две вершины с ребром, вес которого равен стоимости через MST, и вы получите ответ.

  4. Опять же, вы должны начать с того, что произойдет, если вершины не добавляются в том же порядке

+1

ваш ответ просто хорош для такого эксперта, как вы. –

+0

Очень странный ответ :) –

+0

@MaryamGhizhi Я думал, что вам не нужен полный ответ, а просто намеки. В любом случае, краскевич имеет полные ответы. – ElKamina

Смежные вопросы