Докажите, что каждые два самых длинных пути имеют хотя бы одну общую вершину

14

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

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

Саурабх
источник
2
Контрпример для не сильно связного ориентированного графа: вершины , ребра A C , A D , B D , пути A C и B D не имеют общей вершины. A,B,C,DACADBDACBD
sdcvvc
@sdcvvc, вы могли бы предоставить это как ответ.
2
@sdcvvc Я думаю, что вопрос ограничен неориентированными графами.
Рафаэль
Можете ли вы подтвердить (или опровергнуть), что является неориентированным графом, и вы рассматриваете только простые (= без цикла) пути? G
Жиль "ТАК - перестань быть злым"
@Gilles Да, график ненаправленный, и путь - это путь, в котором содержатся различные ребра и вершины.
Саурабх

Ответы:

21

Предположим противного , что P1=v0,,vk и P2=u0,,uk два пути в G длины k без общих вершин.

Поскольку G связно, существует путь P соединяющий vi с uj для некоторого i,j[1,k] такой, что P разделяет вершин с P1P2 кроме vi и uj . Скажем P=vi,x0,,xb,uj(обратите вниманиечто там может быть неxi вершина, то есть,bможет быть0- обозначение немного дефицитныехотя).

Без ограничения общности можно считать, что i,jk2(мы всегда можем изменить нумерацию). Тогда мы можем построить новый путьP=v0,,vi,x1,,xb,uj,,u0(идя поP1кvi, затем через мост формируется черезPдоuj, то вдольP2доu0).

Очевидно, что P имеет длину, по крайней мере, k+1 , но это противоречит предположению, что G не имеет путей длины, превышающих k .

Таким образом, любые два пути длины k должны пересекаться хотя бы с одной вершиной, и ваше наблюдение, что оно должно быть посередине (если есть только один), следует вашим рассуждениям.

Люк Мэтисон
источник
Я думаю, что вам нужно , иначе новый путь не обязательно будет длиннее. Обратите внимание, чтоb=0возможно. jk2b=0
Рафаэль
1
@Raphael Да, я не явно указать это (и используется немного вводит в заблуждение обозначения), но вполне может счастливо быть 0 , мост всегда добавляет по меньшей мере один край , хотя, даже если только вершины Р ' являются v я и у Дж . По первому пункту обратите внимание, что я построил путь из v 0v iu ju 0 , поэтому j kb0Pviujv0viuju0правильно. Если это пошло кukтогдаjkjk2ukбудет правильным условием. jk2
Люк Мэтисон
1

Вы правы, что общая вершина должна находиться в середине обоих путей.

Однако эта интуиция не решит реальную проблему, которую вы пытаетесь решить.

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

Как только вы докажете это, вы сможете как решить проблему, о которой вас спрашивали, так и проверить свою гипотезу.

btilly
источник