Новосибирский Государственный Университет
Опубликован: 25.07.2006 | Доступ: свободный | Студентов: 2864 / 441 | Оценка: 4.21 / 3.83 | Длительность: 11:03:00
ISBN: 978-5-9556-0069-7
Специальности: Программист, Математик
Лекция 9:

Орграфы

< Лекция 8 || Лекция 9: 1234 || Лекция 10 >

Турниры

Турниром называется орграф, в котором любые две вершины соединены ровно одной дугой (см. рис. 9.5).


Рис. 9.5.

Основанием для выбора такого названия служит то, что подобные орграфы можно использовать для записи результатов теннисных или любых других турниров, в которых не разрешены ничьи. Например, на (рис. 9.5) представлены результаты турнира, в котором команда z нанесла поражение команде w, но проиграла команде v, и т.д.

Поскольку турнир может обладать источником или стоком, турниры не являются в общем случае гамильтоновыми орграфами. Однако следующая теорема (принадлежащая Реди и Камиону) показывает, что всякий турнир почти гамильтонов.

Теорема 9.3 (Реди, Камион).

  1. Всякий турнир полугамильтонов.
  2. Всякий сильно связный турнир гамильтонов.

Доказательство 1. Если турнир имеет меньше четырех вершин, то утверждение, очевидно, верно. Проведем индукцию по числу вершин. Предположим, что любой турнир с n вершинами полугамильтонов. Пусть T — турнир с n+1 вершинами, и пусть турнир T{'} с n вершинами получен из T удалением некоторой вершины v вместе со всеми инцидентными ей дугами. Тогда, по предположению индукции, T обладает полугамильтоновой простой орцепью v_{1} \to v_{2} \to \ldots \to v_{n}. Рассмотрим три случая.

  1. Если (v,v_{1} ) — дуга в T, то искомой простой орцепью является v\to v_{1} \to v_{2} \to \ldots\to v_{n}.
  2. Если (v,v_{1}) не является дугой в T, это означает, что дугой является (v_{1},v) и если существует такое i, что (v,v_{1}) — дуга в T, то выбирая первое i с таким свойством, получим, что искомой простой орцепью является {v_{1} \to v_{2} \to \!\ldots\! \to
v_{i-1} \to v\to v_{i} \to \!\ldots\! \to v_{n}} (см. рис. 9.6).
  3. Если в T не существует дуги вида (v,v_{i}), то искомой простой орцепью является v_{1} \to v_{2} \to \ldots \to v_{n} \to v.

2. Докажем более сильный результат, состоящий в том, что сильно связный турнир T с n вершинами содержит орциклы длин 3,4\dts n.


Рис. 9.6.

Сначала покажем, что T содержит орцикл длины три. Для этого выберем в T произвольную вершину v и обозначим через W множество всех вершин w, таких, что (v,w)дуга в T, а через Z — обозначим множество всех вершин z, таких, что (z,v)дуга в T. Так как T сильно связен, то оба множества T и Z не пусты, и поэтому в T найдется дуга вида (w{'},z^{1}), где w{'} принадлежит W, z{'} принадлежит Z. Тогда требуемым циклом длины три является v\to w{'} \to z{'} \to v.

Осталось только показать, что если существует орцикл длины k {(k<n)} , то существует и орцикл длины k+1. Пусть v_{1} \to \ldots
\to v_{k} \to
v_{1}орцикл длины k. Предположим сначала, что в T существует вершина v, не принадлежащая этому орциклу и обладающая тем свойством, что в T содержатся дуги вида (v,v_{i}) и вида (v_{j},v). Тогда должна существовать такая вершина v_{i}, что и (v_{i-1},v), и (v,v_{i}) являются дугами в T. При этом требуемым орциклом является (рис. 9.7)

v_{1} \to v_{2} \to \ldots \to v_{i-1} \to v\to v_{i} \to
\ldots \to v_{k} \to v_{1}.


Рис. 9.7.

Если не существует вершин, обладающих указанным выше свойством, то множество вершин, не содержащихся в орцикле, можно разбить на два непересекающихся множества W и Z, где W есть множество таких вершин w, что (v_{i},w) для любого i является дугой, а Z есть множество таких вершин z, что (z,v_{i}) для любого i является дугой. Так как T сильно связен, то оба множества W и Z непусты, и поэтому в T найдется дуга вида (w{'},z{'}), где w{'} принадлежит W, а z{'} принадлежит Z. Тогда требуемым орциклом будет (рис. 9.8)

v_{1} \to w{'} \to z{'} \to v_{3} \to \ldots \to v_{k} \to v_{1}
.


Рис. 9.8.
< Лекция 8 || Лекция 9: 1234 || Лекция 10 >
Владислав Нагорный
Владислав Нагорный

Подскажите, пожалуйста, планируете ли вы возобновление программ высшего образования? Если да, есть ли какие-то примерные сроки?

Спасибо!

Лариса Парфенова
Лариса Парфенова

1) Можно ли экстерном получить второе высшее образование "Программная инженерия" ?

2) Трудоустраиваете ли Вы выпускников?

3) Можно ли с Вашим дипломом поступить в аспирантуру?

 

Петр Гончар-Зайкин
Петр Гончар-Зайкин
Россия
Светлана Ведяева
Светлана Ведяева
Россия, Саратов