2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему
 
 Дороги между городами
Сообщение08.04.2017, 18:50 
Аватара пользователя


21/06/08
476
Томск
Дано 20 город - 2 города любые соединены одной дорогой с односторонним движением. Пример: А -> Б т.е. только есть прямая дорога от А до Б, а нет прямой дороги от Б до А. Доказать, что существует один город, из которого можно доехать до всех других городов.

 Профиль  
                  
 
 Re: Дороги между городами
Сообщение08.04.2017, 20:55 
Заслуженный участник


10/01/16
2318
Индукция. Удалим город $A$. Среди оставшихся есть город $B$, из которого можно доехать до всех. Если изначально была дорога $BA$, то искомый - $B$, иначе - $A$

 Профиль  
                  
 
 Re: Дороги между городами
Сообщение09.04.2017, 10:43 
Аватара пользователя


21/06/08
476
Томск
DeBill в сообщении #1207659 писал(а):
Индукция. Удалим город $A$. Среди оставшихся есть город $B$, из которого можно доехать до всех. Если изначально была дорога $BA$, то искомый - $B$, иначе - $A$

Задачу я неправильно написал. Необходимо доказать, что существует город, из которого можно доехать до всех остальных либо прямой либо транзитом через не более один город.

 Профиль  
                  
 
 Re: Дороги между городами
Сообщение09.04.2017, 11:32 
Заслуженный участник


26/05/14
981
Индукция по $n$ - числу вершин в графе. База очевидна.
Пусть верно индукционное предположение для $n$. Рассмотрим граф с $n + 1$ вершиной. Удалим одну вершину $A$. В оставшемся графе есть вершина $B$ из которой радиус графа равен $2$. Разберём случаи:
1. $B \to A$ - вершина $B$ останется центром для большего графа.
2. $A \to B, \exists C: B \to C, C \to A$ - вершина $B$ останется центром для большего графа.
3. $A \to B, \forall C: B \to C \Rightarrow A \to C$ - вершина $A$ становится центром для большего графа. Рассмотрим $D: D \to B$. Из индукционного предположения $\exists C: B \to C, C \to D$. Тогда верно что $A \to C, C \to D$.

 Профиль  
                  
 
 Re: Дороги между городами
Сообщение09.04.2017, 15:00 


01/12/11

1047
Условиям задачи удовлетворяет наличие нескольких тупиковых городов, т.е. не имеющих выездных дорог. С тупиковыми городами задача не имеет решения.

 Профиль  
                  
 
 Re: Дороги между городами
Сообщение09.04.2017, 17:26 
Заслуженный участник


26/05/14
981
Skeptic в сообщении #1207877 писал(а):
Условиям задачи удовлетворяет наличие нескольких тупиковых городов, т.е. не имеющих выездных дорог. С тупиковыми городами задача не имеет решения.
В условиях задачи не может быть более одного тупикового города. Если их хотя бы два, то куда ведёт дорога между ними?

 Профиль  
                  
 
 Re: Дороги между городами
Сообщение12.04.2017, 10:27 


08/05/08
600
daogiauvang в сообщении #1207800 писал(а):
DeBill в сообщении #1207659 писал(а):
Индукция. Удалим город $A$. Среди оставшихся есть город $B$, из которого можно доехать до всех. Если изначально была дорога $BA$, то искомый - $B$, иначе - $A$

Задачу я неправильно написал. Необходимо доказать, что существует город, из которого можно доехать до всех остальных либо прямой либо транзитом через не более один город.


Возьмем любой город A, у которого максимальное количество исходящих путей (и, следователно, минимальное число входящих). Теперь возьмем любой город B , для которого дорога ведет из B->A Число входящих путей для города B будет больше или равно числу входящих путей города A. но, как минимум 1 входящий путь города A - это A->B. Следовательно, Дирихле

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 7 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group