сайты - меню - вход - но­во­сти


Задания
Версия для печати и копирования в MS Word

Пусть между го­ро­да­ми A, B, C и D есть до­ро­ги AB и CD, но нет дорог BC и AD. На­зо­вем пе­ре­строй­кой за­ме­ну пары дорог AB и CD на пару дорог BC и AD. Из­на­чаль­но в стра­не было не­сколь­ко го­ро­дов, не­ко­то­рые пары го­ро­дов были со­еди­не­ны до­ро­га­ми, при­чем из каж­до­го го­ро­да вы­хо­ди­ло по 100 дорог. Ми­нистр на­ри­со­вал новую схему дорог, в ко­то­рой из каж­до­го го­ро­да по-преж­не­му вы­хо­дит 100 дорог. Из­вест­но, что как в ста­рой, так и в новой схе­мах ни­ка­кие два го­ро­да не со­еди­не­ны более, чем одной до­ро­гой. До­ка­жи­те, что новую схему можно по­лу­чить из ста­рой с по­мо­щью не­сколь­ких пе­ре­стро­ек.

Спрятать решение

Ре­ше­ние.

Рас­смот­рим мно­же­ство M, со­сто­я­щее из всех воз­мож­ных 100-ре­гу­ляр­ных гра­ф­ров на дан­ном мно­же­стве вер­шин V (наши две схемы дорог  — среди них). До­ка­жем что любые два графа из М можно пе­ре­ве­сти друг друга се­ри­ей пе­ре­стро­ек. Для двух гра­фов G, G в сте­пе­ни левая круг­лая скоб­ка \prime пра­вая круг­лая скоб­ка при­над­ле­жит M пусть F левая круг­лая скоб­ка G, G в сте­пе­ни левая круг­лая скоб­ка \prime пра­вая круг­лая скоб­ка пра­вая круг­лая скоб­ка   — мно­же­ство не­об­щих рёбер этих гра­фов, а

f левая круг­лая скоб­ка G, G в сте­пе­ни левая круг­лая скоб­ка \prime пра­вая круг­лая скоб­ка пра­вая круг­лая скоб­ка =\left|F левая круг­лая скоб­ка G, G в сте­пе­ни левая круг­лая скоб­ка \prime пра­вая круг­лая скоб­ка пра­вая круг­лая скоб­ка | .

Оче­вид­но f левая круг­лая скоб­ка G, G в сте­пе­ни левая круг­лая скоб­ка \prime пра­вая круг­лая скоб­ка пра­вая круг­лая скоб­ка четно, а в F левая круг­лая скоб­ка G, G в сте­пе­ни левая круг­лая скоб­ка \prime пра­вая круг­лая скоб­ка пра­вая круг­лая скоб­ка по­ров­ну рёбер из G и G в сте­пе­ни левая круг­лая скоб­ка \prime пра­вая круг­лая скоб­ка .

Пред­по­ло­жим, что су­ще­ству­ют пары не­пе­ре­во­ди­мых друг в друга пе­ре­строй­ка­ми гра­фов в M и рас­смот­рим такую пару гра­фов  левая круг­лая скоб­ка A, B пра­вая круг­лая скоб­ка с ми­ни­маль­ным f левая круг­лая скоб­ка A, B пра­вая круг­лая скоб­ка . Граф H= левая круг­лая скоб­ка V, F левая круг­лая скоб­ка A, B пра­вая круг­лая скоб­ка пра­вая круг­лая скоб­ка имеет в каж­дой вер­ши­не по­ров­ну рёбер из A и из B. Сле­до­ва­тель­но, в H су­ще­ству­ет че­ре­ду­ю­щий­ся цикл  — в ко­то­ром рёбра A и B че­ре­ду­ют­ся. Рас­смот­рим ми­ни­маль­ный такой цикл Z=a_1 a_2 \ldots a_2 k (это не обя­за­тель­но про­стой цикл, вер­ши­ны в нем могут по­вто­рять­ся). Пер­вая наша цель  — найти на этом цикле че­ты­ре по­сле­до­ва­тель­ные раз­лич­ные вер­ши­ны. В самом деле, пусть среди a1, a2, a3, a4 есть сов­па­да­ю­щие. Оче­вид­но, воз­мож­но лишь сов­па­де­ние a_1=a_4. Так как рёбра цикла не по­вто­ря­ют­ся, тогда a_2 не равно q a_5 и в ка­че­стве ис­ко­мой чет­вер­ки по­дой­дет a2, a3, a4, a5.

Итак, не ума­ляя общ­но­сти будем счи­тать, что все вер­ши­ны a1, a2, a3, a4 раз­лич­ны, при­чем a_1a_2, a_3 a_4 при­над­ле­жит E левая круг­лая скоб­ка A пра­вая круг­лая скоб­ка и a_2 a_3 при­над­ле­жит E левая круг­лая скоб­ка B пра­вая круг­лая скоб­ка . Рас­смот­рим три слу­чая.

a) Когда a_1 a_4 при­над­ле­жит E левая круг­лая скоб­ка B пра­вая круг­лая скоб­ка . Тогда про­ве­дем пе­ре­строй­ку a_1 a_2 a_3 a_4 в графе B (воз­мож­но, так как a_1 a_2, a_3 a_4 \notin E левая круг­лая скоб­ка B пра­вая круг­лая скоб­ка пра­вая круг­лая скоб­ка и по­лу­чим граф C с

f левая круг­лая скоб­ка A,C пра­вая круг­лая скоб­ка =f левая круг­лая скоб­ка A, B пра­вая круг­лая скоб­ка минус 2 .

По пред­по­ло­же­нию, C можно по­лу­чить из A пе­ре­строй­ка­ми, зна­чит, можно по­лу­чить и B.

b) Когда a_1 a_4 при­над­ле­жит дробь: чис­ли­тель: E левая круг­лая скоб­ка A пра­вая круг­лая скоб­ка , зна­ме­на­тель: E левая круг­лая скоб­ка B пра­вая круг­лая скоб­ка конец дроби . Тогда a_1 a_4 a_5 \ldots a_2 k  — че­ре­ду­ю­щий­ся цикл, мень­ший чем Z, про­ти­во­ре­чие.

c) Когда a_1 a_4 \notin E левая круг­лая скоб­ка A пра­вая круг­лая скоб­ка \cup E левая круг­лая скоб­ка B пра­вая круг­лая скоб­ка . Тогда про­ве­дем пе­ре­строй­ку a_1 a_2 a_3 a_4 в графе A (воз­мож­но, так как a_2 a_3, a_4 a_1 \notin E левая круг­лая скоб­ка A пра­вая круг­лая скоб­ка пра­вая круг­лая скоб­ка и по­лу­чим граф C с

f левая круг­лая скоб­ка B, C пра­вая круг­лая скоб­ка =f левая круг­лая скоб­ка A, B пра­вая круг­лая скоб­ка минус 2.

По пред­по­ло­же­нию, C можно по­лу­чить из B пе­ре­строй­ка­ми, зна­чит, можно по­лу­чить и A.