close

Вход

Забыли?

вход по аккаунту

?

Линейно-выпуклые графы и некоторые маршрутно-игровые задачи.

код для вставкиСкачать
Е. Г. БЕЛОВ
ЛИНЕЙНО-ВЫПУКЛЫЕ ГРАФЫ
И НЕКОТОРЫЕ МАРШРУТНО-ИГРОВЫЕ ЗАДАЧИ
В работе рассматривается обобщение с помощью линейной нормы понятия выпуклого множества, которое затем переносится на конечные графы. Свойства полученных графов изучаются с помощью решения на них открытой задачи коммивояжера, а также некоторых маршрутных задач в условиях конфликта.
Kлючевые слова: выпуклое множество, квазивыпуклая функция, линейная норма,
гамильтонова цепь, задача коммивояжера, антагонистическая игра.
1. Линейно-выпуклые множества
Рассмотрим плоскость, на которой задана декартова система координат.
(Все определения и утверждения этого параграфа переносятся на Rn , однако мы
ограничимся плоскостью для наглядности и потому, что в дальнейшем вводимые
понятия будут переноситься на плоские графы.) Определим на ней линейную
норму:
k(x, y)k = |x| + |y| .
Такая норма вполне уместна на бесконечном листе школьной тетради или
экране компьютера.
Естественно, что в силу эквивалентности евклидовой и линейной норм при
переходе от первой ко второй норме все понятия высшего анализа не изменятся,
зато понятия элементарной геометрии, связанные с понятием расстояния, претерпят существенные изменения. Эту геометрию вполне можно назвать геометрией
пикселей.
Фиксируем две точки плоскости и рассмотрим непрерывную кривую между
ними.
Определение 1. Эту кривую назовём линейным отрезком, если её длина в
линейной норме равна расстоянию между её концами.
Легко заметить, что:
1) обычный отрезок является линейным отрезком;
2) линейный отрезок между двумя точками не единственен.
Определение 2. Множество точек плоскости X назовём линейно-выпуклым,
если любые две его точки можно соединить линейным отрезком, целиком содержащимся в X.
Любое выпуклое множество является линейно-выпуклым.
На рис. 1.1 и 1.2 приведены примеры линейно-выпуклых множеств.
Можно заметить, что граница любого линейно-выпуклого компакта состоит
из не более чем четырех линейных отрезков.
22
Е. Г. Белов
Рис. 1.1
Рис. 1.2
Важнейшим понятием в теории выпуклых множеств является понятие крайней точки и выпуклой оболочки.
Определение 3. Крайней назовём точку линейно-выпуклого множества X, если
её удаление из X оставляет это множество линейно-выпуклым.
На рис. 1.1 и 1.2 отмечены крайние точки. Из-за того, что линейный отрезок между двумя точками не единственен, пересечение двух линейно-выпуклых
может не быть линейно-выпуклым.
Определение 4. Линейно-выпуклой оболочкой множества X назовём минимальное линейно-выпуклое множество, содержащее X.
Линейно-выпуклых оболочек X может быть несколько, однако:
1) линейно-выпуклое множество является своей единственной линейновыпуклой оболочкой;
2) если у множество X несколько линейно-выпуклых оболочек, то пересечение
любого, более 1, их числа не будет линейно-выпуклым;
3) линейно-выпуклый компакт совпадает с одной из линейно-выпуклых оболочек своих крайних точек.
Назовём сечением множества X все его точки, у которых совпадают первые
(или вторые) координаты.
Критерий линейной выпуклости множества имеет следующий вид.
Теорема 1. Множество X является линейно-выпуклым тогда и только тогда,
когда
1) линейно-выпуклыми являются все его сечения;
2) множество Х является линейно-связным.
Замечание 1. Аналог этой теоремы для графов будет доказан в главе 2.
Линейно-выпуклые графы и некоторые маршрутно-игровые задачи
23
Доказательство. Пусть (x1 , y1 ) и (x2 , y2 ) — две точки множества X, соединенные
непрерывной кривой (x(t), y(t)), t ∈ [0, 1]. Можно считать, что
(
x1 ≤ x2 ,
y1 ≤ y2 ,
а также, что кривая содержится в прямоугольнике, вершинами которого являются эти точки. Построим непрерывную монотонную кривую (x′ (t), y ′ (t)), которая
и будет линейным отрезком, содержащимся в X:

x′ (t) = max x(τ ),
′
τ ∈[0,t]
y (t) = max y(τ ).
τ ∈[0,t]
Непрерывность и монотонное неубывание очевидны, докажем, что эта кривая содержится в X. Фиксируем t0 , тогда существуют τ1 , τ2 из [0, t] такие, что
(
x′ (t0 ) = x(τ1 ),
y ′ (t0 ) = y(τ2 ),
при этом
(
x(τ2 ) ≤ x′ (t0 ),
y(τ1 ) ≤ y ′ (t0 ).
Так как (x(1), y(1)) = (x2 , y2 ), то кривая (x(t), y(t)) обязательно попадет в
прямоугольник с вершинами (x′ (t0 ), y ′ (t0 )) и (x2 , y2 ), т. е. существует t ≥ t0 такое,
что
(
x(t) ≥ x′ (t0 ),
y(t) ≥ y ′ (t0 );
или
(
x(t) = x′ (t0 ),
y(t) ≥ y ′ (t0 ).
Выпуклость любого сечения X по x или по y означает, что x′ (t0 ) ∈
[x(τ2 ), x(t)] или y ′ (t0 ) ∈ [y(τ1 ), y(t)], т. е. (x′ (t0 ), y ′ (t0 )) ∈ X.
Теорема 2. Множество Х является линейно-выпуклым тогда и только тогда,
когда для любого d линейно выпуклыми являются множества
X1 (d) = {(x, y) ∈ X : x ≤ d},
X2 (d) = {(x, y) ∈ X : x ≥ d},
X3 (d) = {(x, y) ∈ X : y ≤ d},
X4 (d) = {(x, y) ∈ X : y ≥ d}.
Доказательство. Теорема вытекает из того, что любой линейный отрезок между
двумя точками содержится в прямоугольнике, натянутом на эти точки. Поэтому
и отрезок между двумя точками и множества Xi (d) будут содержаться в этом
прямоугольнике.
24
Е. Г. Белов
Рассмотрим некоторые геометрические объекты и их эксклюзивные свойства примем в качестве определения.
Определение 5. Линейной прямой назовём непрерывную кривую, график которой замкнут и неограничен, такую, что
1) её часть между любыми двумя точками является линейным отрезком;
2) кривая не имеет крайних точек.
Линейный круг изображен на рис. 1.3.
Рис. 1.3
Определение 6. Линейным треугольником назовём линейно-выпуклую оболочку трёх точек, которые не лежат на одном линейном отрезке.
Все линейные треугольники имеют форму, приведённую на рис. 1.2.
Определение 7. Линейно-выпуклую оболочку четырёх точек, для которых попарно равны расстояния между ними, назовём линейным параллелограммом.
Все виды линейных параллелограммов приведены на рис. 1.4–1.6
Рис. 1.4
Рис. 1.5
Не единственна только линейно-выпуклая оболочка в случае расположения крайних точек, как на рис. 1.5. Заметим, что в основании любого линейного
параллелограмма лежит прямоугольник; у линейного ромба такой прямоугольник — квадрат.
Линейно-выпуклые графы и некоторые маршрутно-игровые задачи
25
Рис. 1.6
Понятие расстояния между точками и от точки до прямой используется в
определении кривых второго порядка: эллипса, гиперболы и параболы.
Различные расположения фокусов меняют вид линейного эллипса следующим образом, изображенным на рис. 1.7, 1.8.
Рис. 1.7
Рис. 1.8
Вид линейной гиперболы приведен на рис. 1.9, 1.10. Более всего меняется
вид линейной параболы, поскольку директрисой можно считать линейную прямую. Линейной параболой может быть, как видно на рис. 1.11–1.14, и ограниченная кривая, и кусок плоскости.
Рис. 1.9
Рис. 1.10
26
Е. Г. Белов
Рис. 1.11
Рис. 1.12
Рис. 1.13
Рис. 1.14
Ну и наконец, обобщим понятие выпуклой функции.
Определение 8. Линейно-выпуклой назовём функцию, для которой линейновыпуклыми являются:
1) область определения;
2) надграфик.
Теорема 3. Функция одной переменной y = f (x) является линейно-выпуклой
тогда и только тогда, когда она квазивыпукла.
Доказательство. Любое одномерное линейно-выпуклое множество является выпуклым, поэтому область определения D функции f выпукла. Критерием квазивыпуклости функции является выпуклость её множеств Лебега X(d) = {x ∈ D :
f (x) ≤ d} при любом d.
1. Если f линейно-выпукла, то линейно-выпуклым в силу теоремы 2 будет
множество Y (d) = {(x, y) : x ∈ D, f (x) ≤ y ≤ d}, т. е. и проекция Y (d) на ось
Ox — множество X(d). Так как X(d) одномерно, оно выпукло.
Линейно-выпуклые графы и некоторые маршрутно-игровые задачи
27
2. Если f квазивыпукла, то возьмём две точки (x1 , y1 ) и (x2 , y2 ) из её надграфика. Пусть y1 < y2 , тогда линейный отрезок между ними состоит из двух
отрезков: отрезок между (x1 , y1 ) и (x1 , y2 ) лежит в надграфике по определению; отрезок между (x1 , y1 ) и (x2 , y2 ) лежит в надграфике в силу выпуклости
X(y2 ).
2. Гамильтоновы цепи в линейно-выпуклых графах
Рассмотрим на плоскости R2 сетку с целочисленными координатами. Пусть
X — конечное множество точек этой сетки. Расстояние между точками будем
находить в линейной норме.
Предположим, что рёбрами соединены те и только те вершины, линейное
расстояние между которыми равно 1. При этом предположении множество вершин X графа задает единственный граф, поэтому будем говорить «граф X».
Определение 9. Цепь в графе X назовём линейным отрезком, если её длина
равна расстоянию между начальной и конечной вершинами цепи.
Определение 10. Граф X назовём линейно-выпуклым, если любые две его вершины могут быть соединены линейным отрезком.
Замечание 2. Любые две инцидентные вершины (концы одного ребра) имеют
координаты, сумма которых отличается четностью. Поэтому одну такую вершину
назовём четной, а другую нечетной. Число четных и нечетных вершин одной цепи
не может отличаться более чем на единицу.
Определение 11. Вершину линейно-выпуклого графа назовём крайней, если её
удаление (вместе с ней по определению удаляются все рёбра, исходящие из этой
вершины) оставляет граф линейно-выпуклым.
Определение 12. Минимальный линейно-выпуклый граф, содержащий граф
X, назовём его линейно-выпуклой оболочкой.
Заметим, что, как и в главе 1, линейно-выпуклая оболочка может быть
не единственной, однако в любой линейно-выпуклой оболочке одинаковое число
вершин. Все крайние точки линейно-выпуклого графа имеют только степень 1
или 2; не любая вершина степени 2 будет крайней.
На рис. 2.1 отмечена не крайняя точка степени 2. На рис. 2.2 обозначены
крайние точки линейно-выпуклого графа.
Рис. 2.1
Рис. 2.2
Единственность линейно-выпуклой оболочки может нарушаться, если в ней
существуют вершины степени 1.
28
Е. Г. Белов
Теорема 4. Любой линейно-выпуклый граф является одной из линейновыпуклых оболочек своих крайних точек.
Доказательство. Любой линейный отрезок в линейно-выпуклом графе является
частью линейного отрезка между крайними точками. Так как линейно-выпуклая
оболочка крайних точек графа — это минимальный линейно-выпуклый граф, то
одна из линейно-выпуклых оболочек содержится в графе X. Если эта оболочка
не совпадает с X, то существует не крайняя точка x0 ∈ X, не содержащаяся в
линейно-выпуклой оболочке. Точка x0 может быть
1) внутренней точкой графа X;
2) граничной точкой.
В случае 1) из неё исходит 4 ребра, поэтому горизонтальное и вертикальное
сечения X по x0 разбивают X на 4 непустых части. Поскольку линейно-выпуклая
оболочка не содержит x0 , то по крайней мере одна из этих частей не содержится
в этой оболочке. В то же время в каждой из этих частей есть крайняя точка
множества X.
В случае 2) вершина x0 может иметь степень 3 и сечения разобьют X на 2
непустых части с тем же свойством, как в 1). Для вершины x0 степени 2 верно,
что она прерывает некоторый единственный отрезок от одной крайней точки к
другой, т. е. должна входить в одну из линейно-выпуклых оболочек.
Получаем противоречие при всех возможных случаях.
Докажем теорему, являющуюся аналогом теоремы 1.
Теорема 5. Граф X является линейно-выпуклым тогда и только тогда, когда
1) линейно-выпуклыми являются все его сечения по x и по y;
2) граф X является связным.
Доказательство. Из того, что граф X — линейно-выпуклый, свойства 1) и 2)
вытекают очевидным образом.
Пусть имеют место свойства 1) и 2). Рассмотрим цепь между точками
(x1 , y1 ) и (x2 , y2 ), которая существует в силу свойства 2). Можно считать, что
x1 6= x2 и y1 6= y2 , т. к. в противном случае существование линейного отрезка
между точками следует из 1). Без ограничения общности можно считать, что
x1 < x2 и y1 < y2 . Покажем, что любую цепь между (x1 , y1 ) и (x2 , y2 ), не являющуюся отрезком, можно сделать короче. Вершины любого линейного отрезка образуют монотонно не убывающую конечную последовательность. Цепь, не
являющаяся линейным отрезком, обязательно содержит две вершины (xα , yα ) и
(xβ , yβ ), расстояние между которыми больше 1, такие, что xα = xβ или yα = yβ , а
участок между ними не является линейным отрезком. В силу свойства 1) между
этими точками можно построить линейный отрезок, который заменит прежний
участок цепи. Новая цепь станет короче. В силу конечности числа возможных
шагов любая цепь таким образом будет доведена до отрезка.
Линейно-выпуклые графы и некоторые маршрутно-игровые задачи
29
Определение 13. Будем говорить, что в линейно-выпуклом графе X согласована четность, если число четных и нечетных вершин отличается не более чем
на 1.
В линейно-выпуклых графах задача построения гамильтоновой цепи и, более сложная в общем случае, открытая задача коммивояжера [1] совпадают, поскольку все гамильтоновы цепи имеют одну и ту же длину.
Из замечания 1 следует, что необходимым условием существования гамильтоновой цепи в линейно-выпуклом графе является согласование четности. Однако согласование четности не гарантирует существование такой цепи. Например,
если в линейно-выпуклом графе существуют вершины степени 1 (их не может
быть более четырех), то гамильтоновой цепи точно не существует, если таких
вершин более двух.
На рис. 2.3 изображен пример, когда в графе согласована четность, нет
вершин степени 1, гамильтоновой цепи не существует.
Рис. 2.3
Определение 14. Крестом назовём линейно-выпуклый граф, имеющий вершины степени 1.
Кресты могут быть порядка 1 (одна вершина степени 1), порядков 2, 3 или
4. Любой линейный треугольник является крестом порядка 3.
Поэтому в линейных треугольниках гамильтоновых цепей не существует.
Заметим, что точка, отмеченная крестом (рис. 2.4), является единственной точкой Штейнера для трёх точек — вершин линейного треугольника.
Рис. 2.4
В графах, являющихся линейными прямоугольниками, гамильтонову цепь
можно построить всегда, причем начало и конец цепи могут быть любыми вершинами, для которых согласована четность (в прямоугольных графах с нечетным
числом вершин это должны быть вершины одной четности — их на 1 больше, а
с четным числом вершин это должны быть вершины разной четности).
30
Е. Г. Белов
Исключение составляют прямоугольные графы n × 2, если начало и конец
искомой цепи имеют координаты (x, 1) и (x, 2), где x 6= 1 и n.
Рассмотрим графы, являющиеся линейными параллелограммами. Линейный параллелограмм может быть:
1) прямоугольником;
2) крестом порядка 2;
3) крестом порядка 4.
В случае 1) гамильтонова цепь существует, в случае 3) — нет.
Пусть линейный параллелограмм — крест порядка 2. Любой линейный параллелограмм имеет в своём основании прямоугольник (рис. 1.4–1.6) и, в нашем случае, 2 «отростка», прикрепленных к противоположным вершинам прямоугольника.
В линейном параллелограмме существует гамильтонова цепь, если такая
цепь существует в прямоугольнике с концами в противоположных вершинах прямоугольника. Таким образом, доказана
Теорема 6. В линейном параллелограмме порядка 2 не существует гамильтоновой цепи только в том случае, когда в строке и столбце прямоугольника
четное число точек.
Рассмотрим графы, представляющие собой линейные эллипсы. Пусть точки F1 = (x1 , y1 ) и F2 = (x2 , y2 ) — его фокусы, |x2 − x1 | = x, |y2 − y1 | = y. Тогда
расстояние между ними d = x + y. Пусть 2a > d — натуральное число, равное максимальной сумме расстояний от вершин линейного эллипса до фокусов.
Четность числа 2a должна совпадать с четностью d. Чтобы представить себе линейный эллипс, достаточно на рис. 1.7 и 1.8 нанести целочисленную сетку. Все
точки на эллипсе и внутри него образуют этот граф.
На рис. 2.5 x = 2, y = 0, 2a = 6. На рис. 2.6 x = 2, y = 1, 2a = 5.
Рис. 2.5
Рис. 2.6
Для гамильтоновых цепей в линейных эллипсах справедлива
Теорема 7. Справедливы следующие утверждения.
1. Если x и y — четные, то в линейном эллипсе гамильтоновой цепи не существует.
2. Если x и y — нечетные, то при любом 2a в линейном эллипсе существует
гамильтонова цепь.
Линейно-выпуклые графы и некоторые маршрутно-игровые задачи
31
3. Если x — четное, y — нечетное и выполняется неравенство
2a ≤ 2x + y,
(2.1)
то в линейном эллипсе существует гамильтонова цепь.
Доказательство. 1. Из рис. 2.5 можно заметить, что в случае чётных x и y
каждое сечение эллипса содержит нечетное число вершин, поэтому в таком графе
четность не согласована.
2. В случае нечетных x и y все сечения содержат четное число вершин и
гамильтонова цепь строится от любой крайней точки по границе с переходом к
следующему слою вершин.
3. Если x — четное, y — нечетное, то разделим эллипс на две симметричные
половины вертикальным сечением. Если выполнено условие (2.1), то в каждой половине строится гамильтонова цепь. Построенные цепи затем соединяются этим
сечением (см. рис. 2.7).
Рис. 2.7. x = 4, y = 1, 2a = 9, 2a = 2x + y.
Замечание 3. В случае четного x и нечетного y при условии 2a > 2x + y
гамильтоновой цепи по-видимому не существует, однако строгого доказательства
этого факта пока не найдено.
3. Маршрутные игры на линейно-выпуклых графах
Рассмотрим на линейно-выпуклых графах одно обобщение классической задачи коммивояжера [1], а именно игру двух коммивояжеров, цель каждого из
которых — посетить как можно больше точек карты, придя в них первым.
Для людей старшего поколения название такой задачи — «игра детей лейтенанта Шмидта» выглядит вполне уместным.
Формализуем эту задачу как конечную антагонистическую игру с полной
информацией. Любая такая игра имеет седловую точку в чистых стратегиях.
Правила игры:
1. Начальные положения игроков совпадают.
2. Игроки ходят по очереди и имеют одинаковые скорости.
3. В каждый момент τ множество вершин графа X = X1 (τ ) ∪ X2 (τ ), где
X1 (τ ) — множество вершин, посещенных к моменту τ , и X2 (τ ) — не посещенных.
32
Е. Г. Белов
4. Пусть △I (τ ) и △II (τ ) — длины цепей, построенных соответственно первым
и вторым игроками к моменту τ .
5. Множество X2 (τ ) = KI (τ ) ∪ KII (τ ), причем x ∈ KI (τ ), если x1 (τ ) — положение игрока I к моменту τ , x2 (τ ) — положение игрока II и
△I (τ ) + d(x1 (τ ), x) ≤ △II (τ ) + d(x2 (τ ), x),
(3.1)
где d — линейное расстояние между точками. Точка x ∈ KII (τ ), если неравенство (3.1) не выполняется.
6. Если в момент τ ход делает I игрок, то он выбирает x ∈ KI (τ ), при этом
в следующий момент τ + 1 получаем x ∈ X1 (τ + 1), △I (τ + 1) = △I (τ ) +
d(x1 (τ ), x), x1 (τ + 1) = x, △II (τ + 1) = △II (τ ), x2 (τ + 1) = x2 (τ ).
7. Если в момент τ выбора игрока множество доступных точек пусто, то игрок
пропускает ход.
8. Пропускать ход, если доступное множество не пусто, нельзя.
9. Игра заканчивается в тот момент, когда X2 (τ ) = ∅.
10. Выигрыш I игрока — число точек, которые он выбрал в ходе игры; цель I
игрока — максимальный выигрыш.
Отметим, что правило 8 существенно меняет игру, поэтому с этим правилом
назовём ее игрой в варианте «голодного» коммивояжера.
Определение 15. Вершину x ∈ Ki (τ ) назовём соседней с xi (τ ), если не существует линейного отрезка между xi (τ ) и x, который бы содержал другие вершины
из Ki (τ ).
Если разбить граф Ki (τ ) сечениями по вершине xi (τ ), то соседними будут
максимальные в смысле Парето точки из этих четвертей.
Замечание 4. Оптимальное поведение игроков всегда определяет выбор среди
соседних вершин.
В силу правила 1 и неравенства (3.1) KI (0) = X, KII (0) = ∅. Из неравенства
(3.1) вытекает, что у I игрока существует стратегия, гарантирующая KI (τ ) = ∅
вплоть до окончания игры. Поэтому выигрыш I игрока тем больше, чем чаще
KII (τ ) = ∅. То есть оптимальное поведение игроков на каждом шаге должно
минимизировать число точек, доступных противнику.
Ограничимся в этой статье рассмотрением игры «дети лейтенанта Шмидта»
на прямоугольных графах. В них, как будет замечено, у II игрока KII (τ ) = ∅
или существует единственная соседняя точка из KII (τ ). Начальные положения
игроков — крайняя точка прямоугольника.
Линейно-выпуклые графы и некоторые маршрутно-игровые задачи
33
Теорема 8. Пусть X — квадратный граф, n — число вершин в его основании,
тогда цена игры на этом графе
( 2
n −2n−2
, n — четно;
2
V1 (n) = n2 +2n−1
, n — нечетно.
2
Доказательство. На квадратной карте оптимальное поведение I игрока приводит к следующему розыгрышу: I игрок займет 2n точек, после этого игра перейдет в такую же игру, но на квадрате со стороной n−2, поэтому четность квадрата
не меняется. Далее утверждение теоремы легко доказать по индукции.
Рис. 3.1
Так же может быть доказана
Теорема 9. Цена игры на прямоугольнике n × (n + 1)
V2 (n) =
n2 + 3n
.
2
Теорема 10. Цена игры на прямоугольнике m × n
V (n) =
m + n + mn − α
,
2
где α = 2, если m и n — четные, α = 1 во всех остальных случаях
Доказательство. 1. Если m и n имеют одинаковую четность, то оптимальное
поведение I игрока вновь приведет к некоторому начальному розыгрышу и последующей квадратной карте, для которой можно воспользоваться теоремой 8.
2. Если m и n имеют разную четность, то оптимальный розыгрыш приведет
к карте из теоремы 9.
Список литературы
1. Кристофидес, Н. Теория графов. Алгоритмический подход / Н. Кристофидес. —
М. : Мир, 1978. — 432 с.
Документ
Категория
Без категории
Просмотров
12
Размер файла
1 723 Кб
Теги
линейной, игровые, маршрутный, граф, некоторые, выпуклых, задачи
1/--страниц
Пожаловаться на содержимое документа