Теория гарантированного поиска на графах

Абрамовская Т. В.; Петров Н. Н.

2013 ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА Сер. 1 Вып. 2

ПАМЯТИ НИКОЛАЯ НИКОЛАЕВИЧА ПЕТРОВА

Более 30 лет Николай Николаевич Петров посвятил гарантированному поиску — с момента выхода его статей по этой тематике несколько поколений учеников Николая Николаевича выросло на задачах поиска. Эта обзорная статья — последняя работа Николая Николаевича по поиску. Написанная в 2010 году, она была посвящена юбилею кафедры исследования операций, возглавляемой Николаем Николаевичем те же 30 лет, потому наиболее полно отражающая достижения в теории гарантированного поиска, полученные на кафедре под его руководством. За прошедшие с тех пор месяцы статья продолжала пополняться — у Николая Николаевича всегда была в запасе «хорошая задача» для всех интересующихся, и потому работа никогда не стояла на месте.

На кафедру исследования операций Николай Николаевич пришел с кафедры дифференциальных уравнений. Желая приблизить свои научные интересы к проблематике возглавляемой им кафедры, Николай Николаевич заинтересовался типичными для исследования операций — в первоначальном понимании этого термина — задачами поиска в теоретико-игровой постановке. Гарантированный поиск стал для кафедры исследования операций традиционной тематикой. Только материала обзора достаточно, чтобы питать эту традицию еще долгие годы! Остается глубоко сожалеть о том, что мы лишились удовольствия обсуждать с Николаем Николаевичем проблемы, так глубоко его интересовавшие.

УДК 517.977;519.173

ТЕОРИЯ ГАРАНТИРОВАННОГО ПОИСКА НА ГРАФАХ

Т. В. Абрамовская1, Н. Н. Петров

1. С.-Петербургский государственный университет, ст. преподаватель, tanya.abramovskaya@gmail.com

Введение. Авторами представлен обзор наиболее интересных результатов в теории поиска, полученных на кафедре исследования операций СПбГУ, которая в 2010 году отметила свое сорокалетие. Обзор содержит также историю вопроса, некоторые нерешенные проблемы и обсуждение многочисленных связей теории гарантированного поиска с другими областями математики.

Типичная задача гарантированного поиска на графах, на неформальном уровне, может быть сформулирована следующим образом. На графе располагаются две группы игроков. Первая группа — назовем ее участников преследователями — ставит своей задачей «переловить» всех участников второй группы, которых будем называть убегающими. Впрочем, из дальнейшего станет ясно, что поставленную задачу достаточно решить для одного убегающего, что и будет предполагаться в нижеследующих рассуждениях. Цель команды преследователей — построить «программу» действий, которая обеспечивала бы им поимку «невидимого» убегающего при любом его поведении. Иными словами, поимка должна быть гарантирована даже в том случае, когда выбранная преследователями программа становится известной убегающему «до начала поиска». В каждой формализации задачи поиска фиксируются динамические возможности участников, условие успешного завершения поиска (условие поимки), арена поиска (комбинаторный или топологический граф) и ставится следующая задача: найти наименьшее число преследователей, необходимое для успешного .завершения, поиска.

Это число называют поисковым числом графа с соответствующим прилагательным, которое зависит от принятой формализации.

Столь естественная задача вполне могла быть поставлена в XVIII веке, во времена Эйлера, но первые содержательные результаты появились лишь в 70-80 годы прошлого века в рамках теории конфликтного управления с неполной информацией. В монографии Р. Айзекса [6], содержащей основы теории дифференциальных игр, рассматривается одна (неформально поставленная) задача преследования-уклонения — проблема «Принцесса и Чудовище», в которой участники не получают никакой информации о поведении друг друга. В случае, если ареной поиска является окружность, максимальные скорости игроков равны и платой является время поимки, эта задача была решена М. И. Зеликиным [19], который доказал существование ситуации равновесия в классе смешанных стратегий. Эта проблема существенно отличается от задач гарантированного поиска, в основу которых положен «минимаксный принцип», не использующий вероятностного описания поведения игроков.

Из дифференциальных игр с полной информацией уместно упомянуть задачу «казаки-разбойники», в которой казаки должны переловить всех разбойников в предположении, что все игроки используют «простые движения» [24, 29].

Предлагаемая статья организована следующим образом. В разделе I речь идет о некоторых поисковых числах комбинаторных графов. Раздел II посвящен задачам поиска «с противодействием». В разделе III рассматриваются проблемы гарантированного поиска с фиксированными максимальными скоростями участников, а в разделе IV — с фиксированным радиусом поимки (без ограничений на скорости). В разделах III и IV задачи поиска ставятся на топологических графах. Раздел V посвящен приложениям. Результаты разделов II-IV не имеют аналогов в мировой математической литературе.

I. О некоторых поисковых числах графа. 1. Реберно-поисковое число.

Любопытно, что впервые вопрос о наименьшем числе преследователей, необходимом для поимки «невидимого» убегающего, был поставлен спелеологом Брейшом в «пещерном» журнале SWCavers [42]. Представим себе, что в некоторой пещере, состоящей из ходов и лазов, потерялся незадачливый исследователь, которого мы должны

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

Впервые задача о поисковом числе рассматривалась в следующей формализации. Пусть арена поиска представляет собой одномерный С^-комплекс ([21], с. 233). Именно так в цитируемой монографии определяется граф. Траекториями игроков считаются произвольные непрерывные (в топологии графа) функции «времени» (топологические пути) со значениями в графе О. Программой преследователей Р1,..., Рп называется произвольная совокупность траекторий {ж1(£),... , ж„(£)|, заданных для £ € [0, Т]. Никаких ограничений на число Т не накладывается.

Программа называется выигрывающей, если для любой траектории у(£), t € [0, Т], убегающего Е найдутся такие г £ 1, п и т £ [0, Т], что а^(т) = у(т). Поисковым числом графа О называется наименьшее число преследователей, обладающих выигрывающей программой.

Впервые задача нахождения поискового числа была поставлена Парсонсом в [67] и независимо вторым автором в [23], но при более ограничительных предположениях о структуре графа и допустимых траекториях. Впрочем, П. А. Головач доказал в [7], что обе формализации эквивалентны, так что в обоих случаях речь идет об одном и том же поисковом числе. Более того, П. А. Головач свел проблему нахождения поискового числа к некоторой дискретной задаче [8] на соответствующем комбинаторном графе, который иногда мы будем называть комбинаторной схемой. В дальнейшем она получила название «задача Парсонса—Петрова», хотя в статьях [67] и [23] речь шла о поиске на топологических графах. Обе работы содержали решение задачи для деревьев. Правда, П. А. Головач обнаружил в рассуждениях Парсонса неточность, но она легко устранялась при естественной корректировке основного результата.

В работе [23] доказано, что поисковое число дерева совпадает с его степенью ветвления, топологическим инвариантом, который эффективно вычисляется. Из результатов этой статьи, в частности, следует, что наименьшее число преследователей, необходимое для успешного завершения поиска на любом дереве, число ребер которого не превосходит п, равно числу цифр в троичном представлении числа п.

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

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

Движение каждого преследователя описывается последовательностью ходов. Каждым ходом преследователь может быть

a) поставлен в вершину,

b) снят с вершины,

c) передвинут из вершины в вершину вдоль ребра.

1 На самом деле, для большинства известных пещер составление такой карты — дело безнадежное.

Дискретная задача трактуется как задача очистки графа. Первоначально все ребра предполагаются загрязненными. Ребро e с концами x, y становится очищенным в двух случаях:

i) либо один преследователь стоит в x, а другой переходит из x в y вдоль ребра e,

ii) либо все ребра, инцидентные x, за исключением e, очищены, и преследователь переходит из x в y вдоль ребра e.

Очищенное ребро e может быть снова загрязнено после удаления или передвижения преследователя, если в этот момент существует не содержащий преследователей путь, соединяющий ребро e с некоторым загрязненным ребром. Требуется найти минимальное число преследователей, необходимое для очистки всех ребер графа. Иначе говоря, для каждой выигрывающей программы преследователей (т. е. программы, приводящей к очистке всех ребер графа) определяется «штраф», равный максимальному числу преследователей, одновременно находящихся на графе. Требуется найти такую выигрывающую программу, для которой этот штраф принимает наименьшее значение.

В работе [65] доказано, что задача вычисления реберно-поискового числа графа в общем случае является NP-полной. На основе результатов Парсонса—Петрова, авторы работы [65] построили полиномиальный (линейный) алгоритм для вычисления реберно-поискового числа дерева. Наконец, в той же работе [65] были охарактеризованы графы с реберно-поисковым числом, не превосходящем 3. Аналогичные результаты (при участии второго автора) были получены в [30].

Основной трудностью в задаче определения реберно-поискового числа является доказательство оценки es(G) снизу. Приведем один частный результат, принадлежащий П. А. Головачу (см. [9]), позволяющий, однако, найти реберно-поисковое число в некоторых нетривиальных случаях.

Пусть G — граф (без петель и кратных ребер) с множеством вершин VG и множеством ребер EG. Для всякой вершины v £ VG определяется величина deg v — степень v в графе G, т.е. число всех инцидентных ей ребер. L называется циклом графа G, если L — связный подграф графа G, все вершины которого имеют степень 2 в L. Обозначим через c(G) множество всех циклов графа G. Если L £ c(G), то через l(L) обозначается число вершин в L, т.е. l(L) = |VL|.

Тогда имеет место следующее утверждение: если deg v > 3 для всех v £ VG, то

es(G) > min ( min deg v + l(L) I — 2.

" Lec(G)\veVL J

Для некоторых графов эта оценка оказывается точной. Графом многогранника будем называть комбинаторную схему его одномерного остова. Упомянутое выше утверждение приводит к следующим результатам:

1) если T — граф тетраэдра, то es(T) = 4;

2) если C — граф куба, то es(C) = 5;

3) если O — граф октаэдра, то es(O) = 5;

4) если Kn —полный граф с n вершинами, n > 4, то es(Kn) = n;

5) если О — полный двудольный граф с долями У € УО, У2 € УО, |У1 > 3, |У2| > 3, то вз(О) = шт {|У11, |У21} + 2.

Позднее было доказано [16], что вз(1) = ез(В) = 7, где — графы икосаэдра и додекаэдра соответственно. Обращает на себя внимание совпадение реберно-поисковых чисел двойственных правильных многогранников. Выяснить, в каких случаях этот факт имеет место для произвольных многогранников, пока не удается.

Многие задачи теории поиска рассматривались на графах правильных многогранников. Такой выбор объясняется следующими обстоятельствами. Как правило, модельные задачи на графах с «большими» поисковыми числами нетривиальны. С другой стороны, их исследование облегчается наличием симметрии, однородности и других упрощающих моментов. В общей ситуации поисковые числа графов удается найти лишь в исключительных случаях.

Опишем один способ рассуждения в задачах о поисковых числах, использующий шахматные мотивы. Как уже отмечалось выше, наибольшие трудности возникают при доказательстве оценок поисковых чисел снизу, т. е. при доказательстве того, что некоторого числа преследователей недостаточно для успешного завершения поиска. При доказательстве от противного рассматривается гипотетическая выигрывающая программа П и выбирается некоторая конечная совокупность В подмножеств графа О.2 Далее рассматривается первый ход (с номером к) в программе П, после которого какое-либо подмножество из В, свободное от преследователей, оказывается очищенным. В некоторых случаях удается доказать, что ситуация в этот момент нелегальная, т. е. не может возникнуть при соблюдении всех правил игры. Иногда, чтобы убедиться в этом, необходимо провести ретроградный анализ, состоящих в рассмотрении всевозможных предыдущих ходов, подобно тому, как это делается в шахматной композиции. В других случаях ситуация после к-го хода легальна, но удается доказать, что последующие ходы приводят к повторению позиции. Удачный выбор совокупности В может существенно упростить рассуждения.

2. Вершинно-поисковое число. В работе [58] впервые была рассмотрена новая версия задачи о реберно-поисковом числе. В этой задаче движение каждого преследователя также описывается последовательностью ходов, но правила игры более простые. Каждым ходом либо преследователь ставится в вершину, либо один из преследователей, находящихся на графе, снимается. Ребро считается очищенным, если его концы заняты преследователями. Повторное загрязнение ребра определяется так же, как и в задаче о реберно-поисковом числе. Требуется найти минимальную численность группы преследователей, способной очистить все ребра графа. Это число было названо вершинно-поисковым числом графа и для каждого графа О получило стандартное обозначение пз(О).

Величина пз(О) оказалась во многих отношениях более простой, чем ез(О). Например, пз(Кп) = п для всех натуральных п, в то время как ез(К2) = 1, а ез(Кз) = 2. Известны многочисленные результаты о связи вершинно-поискового числа с реберно-поисковым числом. Самый простой из них — очевидное неравенство

|пз(О) - ез(О)| < 1 для любого графа О. Следующая теорема доказана в [58].

2Например, в одной задаче поиска на додекаэдре совокупность В состоит из пятиугольников.

Пусть H — граф, полученный из G заменой каждого ребра путем длины 3 (помещением на каждое ребро двух вершин степени 2). Тогда ns(G) = es(H).

Известно, что задача нахождения вершинно-поискового числа в общем случае является NP-полной [58], для деревьев же разработаны линейные алгоритмы (см., например, [48, 90, 91]).

Сформулируем еще одну теорему о вершинно-поисковом числе.

В дискретной математике большую роль играют так называемые графы пересечений. Графом пересечений называется граф, каждая вершина которого «ассоциируется» с одним из подмножеств некоторого множества, причем вершины графа смежны тогда и только тогда, когда соответствующие подмножества пересекаются.

Важным классом графов пересечений являются графы интервалов. Графом интервалов называется граф, вершины которого ассоциируются с интервалами вещественной прямой, причем две вершины считаются смежными тогда и только тогда, когда соответствующие интервалы пересекаются ([40], с. 35).

Кликовым числом графа G называется наибольшее число попарно смежных вершин. Это число обозначается cl(G).

Нетрудно доказать, что для любого графа интервалов I

ns(I) = cl(I).

Оказывается, это простое утверждение допускает далеко идущее обобщение. В работе [57] введено понятие интервальной ширины графа G:

iw(G) := min {cl(I) : I — граф интервалов, содержащий G в качестве подграфа} и доказано, что для любого графа G

ns(G) = iw(G).

Переходим к изложению результатов П. А. Головача о вершинно-поисковых числах деревьев. Будем говорить, что граф Gi содержится в графе G2, если у G2 имеется такой подграф G, что

1) либо G изоморфен Gi ,

2) либо из G можно получить граф, изоморфный Gi, стягиванием некоторых ребер.

Дерево T назовем минимальным деревом с вершинно-поисковым числом k, если ns(T) = k, и для любого дерева Ti, неизоморфного T и содержащегося в T, справедливо неравенство ns(Ti) < k.

Обозначим через Tks множество всех попарно неизоморфных минимальных деревьев с вершинно-поисковым числом k. В работе [11] множества Tns построены индуктивно, и для них решена задача перечисления с помощью подходящей производящей функции.

Величина |Tns| растет с увеличением k чрезвычайно быстро. Например, |Tns| = 1, \TnS\ = 10, |Tn5s| = 117480. Доказано, что порядок роста определяется следующим предельным соотношением: | |

lnln |Tk |

ns

lim — —1 = 1.

й^то k ln3

Аналогичная задача решена и для реберно-поискового числа [12]. Обозначим через Teks множество всех попарно неизоморфных минимальных деревьев с реберно-поисковым числом к. Величина |Teks| с увеличением к также растет довольно быстро: |Te3s| = 1, |Te4s| = 4, |Tns| = 1330. Однако оказалось, что порядок роста этой величины тот же: | |

lnln |Teks| lim — —1 = 1. й^то k ln3

Известны работы, в которых рассматриваются бинарные операции над графами. Ставится задача вычисления того или иного поискового числа через характеристики операндов. Одна из них [97] посвящена декартову произведению графов. Напомним, что если Gi,G2 —графы, Gi П = 0 (т.е. Gi и G2 не имеют ни общих ребер, ни общих вершин), то их декартовым произведением называется граф с множеством вершин VGi х VG2 и такой, что (ai,61) и (02,62) соединены ребром тогда и только тогда, когда либо ai = 02 и (61,62) G EG2, либо 61 = 62 и (ai, 02) G EGi.

Декартово произведение графов Gi и G2 обозначается Gi х G2. Упомянутая выше задача для декартового произведения графов, по-видимому, является непростой. Авторам известен лишь следующий результат [97]: если Gi П G2 = 0, то

es(Gi х G2) < min{|VGi| • es(G2), |VG21 • es(Gi)} + 1.

П. А. Головачом была рассмотрена другая бинарная операция — соединение графов. Эта операция была введена А. А. Зыковым (см., например, [40]).

Пусть Gi, G2 — графы, GinG2 = 0. Граф G называется соединением графов Gi и G2, если VG = VGiUVG2 и EG = EGiUEG2U{(a, 6) : a G VGi,6 G VG2}. Соединение графов Gi и G2 обозначается Gi + G2. В работе [9] П. А. Головач получил следующий красивый и нетривиальный результат:

ns(Gi + G2) =min {|VGi| + ns(G2), IVG21 + ns(Gi)} .

Аналогичная задача для реберно-поискового числа оказалась значительно сложнее. Ее решение также получено П. А. Головачом [9].

Пусть G — граф. Обозначим через Gk граф, полученный из G добавлением к «висячих» ребер к каждой вершине графа G. Пусть Kn, как и выше, полный граф с n вершинами, а En —пустой граф с n вершинами, т. е. граф, не имеющий ни одного ребра. Пусть Gi, G2 —графы, Gi П G2 = 0, и пара {Gi, G2} не совпадает ни с одной из пар {Ei,Ei}, {Ei,E2}, {E2,E2}, {E2,Km}, где m > 3. Пусть также ni = |VGi|, П2 = |VG2|. Тогда

es(Gi + G2) = min {es(Gn) + n2, es^1) + ni} . В оставшихся случаях легко доказывается, что

es(Ei + Ei) = es(Ei + E2) = 1,

es(E2 + E2) = 2, es(E2 + Km) = m + 1 для m > 3.

Доказанные теоремы позволяют определить вершинно- и реберно-поисковые числа всех полных n-дольных графов.

Напомним, что граф О называется полным н-дольным (н > 2), если О = Е^1 + ... + . Будем считать, что к\ < ... < кп и к = к\ + ... + кп. Тогда

не (О) = к — кп + 1.

Соответствующее утверждение для реберно-поискового числа оказывается более сложным. Величина вв(О) легко вычисляется, если в О существует вершина, степень которой меньше 3. В противном же случае,

к — кп + 1, если кп < 2,

ее (О) = <

I к — кп + 2, если кп > 2.

II. Поиск с противодействием. В этом разделе рассматриваются задачи поиска на графе, главной особенностью которых является активное противодействие убегающего команде преследователей. Противодействие заключается в том, что при определенных условиях убегающий может уничтожить одного из участников группы поиска, после чего преследование продолжается в уменьшенном составе. В момент уничтожения преследователя убегающий обнаруживает себя, что для группы поиска является своеобразной информационной компенсацией за потерю этого преследователя. Рассматривается также «шашечная» версия этой задачи. Дополнительное условие, определяющее эту версию, состоит в том, что убегающий обязан уничтожить преследователя, если такая возможность ему предоставляется. Обе задачи являются моделями конфликтного поиска с учетом засад и возможных потерь в команде преследователей.

Переходим к точной постановке задачи поиска с противодействием. Ареной поиска является неориентированный связный (комбинаторный) граф О, содержащий по крайней мере одно ребро и не имеющий ни петель, ни кратных ребер. На этом графе рассматривается многошаговая игра преследования, участниками которой являются преследователи Р\,..., Рп и убегающий Е. Всех участников игры будем называть игроками.

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

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

Переходим теперь к описанию информации, которую получают стороны в течение игры. Убегающему на каждом шаге сообщается полная информация о расположении преследователей; более того, предполагается, что он «до начала игры» получает

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

Что касается преследователей, то на первом шаге начальное положение убегающего им неизвестно (они его «не видят»), он может находиться в любой вершине графа О, не занятой преследователями. На шаге с номером к > 2 команда преследователей получает информацию одного из следующих трех видов:

1) на (к — 1)-м шаге убегающий был пойман, в этом случае игра завершается;

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

2) на (к — 1)-м шаге убегающий снял одного из преследователей, занял его вершину и стал «видимым» для преследователей (информацию о положении убегающего преследователи получают только после его хода «со снятием»);

3) на (к — 1)-м шаге убегающий сделал ход «без снятия».

Позицией на шаге с номером к > 2 будем называть информацию, полученную преследователями о всей «предыстории» игры, включая ход убегающего на (к — 1)-ом шаге. Аналогичное определение используется в шахматном кодексе: в понятие позиции включается не только расположение фигур, но и некоторые элементы предыстории, определяющие право на рокировку или взятие «на проходе».

Стратегией команды преследователей назовем тройку $ = {т, Во, и}, где т — число ходов в игре, Во — начальная расстановка преследователей, т. е. множество всех вершин графа, занятых преследователями перед первым ходом, и и — отображение, которое каждой позиции ставит в соответствие ход.

Стратегия называется выигрывающей, если она приводит к поимке при любом поведении убегающего, информированного указанным выше образом.

Наименьшую численность команды преследователей, обладающей выигрывающей стратегией, будем называть а-поисковым числом графа О и обозначать а(О). В данном случае а не является числовым параметром, оно лишь определяет тип задачи поиска.

Задача с обязательным противодействием («шашечная» версия) отличается от сформулированной выше тем, что на поведение убегающего накладывается следующее условие: убегающий обязан снять преследователя, если такая возможность ему предоставляется.

Наименьшую численность команды преследователей, обладающей выигрывающей стратегией в «шашечной» версии основной задачи, будем называть ао-поисковым числом графа О и обозначать ао(О).

Для некоторых графов величины а(О) и ао (О) могут сильно отличаться. Например, для н > 4

а(Кп) = н — 2,

в то время как ао(Кп) = 2.

Изучению а-поисковых чисел посвящены работы [18, 20, 32, 35]; в них были получены первые результаты, касающиеся поиска с противодействием.

Задача нахождения а-поискового числа для произвольного графа исключительно трудна. Уже случай циклов оказывается нетривиальным. Выяснилось, что с уменьшением числа вершин в цикле а- и ао-поисковые числа могут увеличиваться.

В общем случае может оказаться, что а(Н) > а(О) для связного подграфа Н графа О. Эти «странности» существенно отличают величины а(О) и ао(О) от других поисковых чисел (таких, как нв(О), ев(О) и т.д.).

Сформулируем, например, теорему о циклах [18].

Пусть Сп — цикл с п вершинами. Тогда для п > 13

I 5, если п 'четно, а(Сп) = ао(Сп) = <

I 4, если п нечетно.

Можно показать, что ао(С^) = 4, но а(С12) = 5. Для меньших п величины ао(О) и а(О) вычисляются без труда.

Неудача четырех преследователей на цикле Сп (п > 13) с четным числом вершин объясняется тем, что им никак не удается «выиграть темп». Ситуация меняется, если к одной из вершин этого цикла «подвесить» треугольник. Оказывается, а-поисковое число полученного таким образом графа равно 4, в то время как а-поисковое число его подграфа Сп равно 5.

Аналогичная идея под названием «королевский треугольник» используется в эндшпиле шахматной партии для того, чтобы при фиксированном расположении фигур «передать ход» противнику.

В работе [32] рассматриваются графы с «большими» а-поисковыми числами. В частности, дается характеризация графов с п вершинами, а-поисковое число которых равно (п — 1) или (п — 2).

Сформулируем полученные результаты.

1. Для любого графа О, |УО| = п > 2, выполнено неравенство а(О) < п — 1. а(О) = п — 1 тогда и только тогда, когда О — путь или цикл длины 3.

2. Для любого графа О, |УО| = п > 4, выполнено неравенство а(О) < п — 2. а(О) = п — 2 тогда и только тогда, когда О удовлетворяет одному из трех условий:

(a) п = 4, О неизоморфен двудольному графу К13;

(b) п = 5 или п = 6, О — цикл;

(c) п > 4, О — полный граф.

Описание графов с а-поисковым числом (п — 3) удается получить при некоторых дополнительных предположениях.

В работе [20], напротив, рассматриваются графы с «малыми» а-поисковыми числами. Доказано, например, следующее утверждение: для произвольного графа О величина а(О) равна 1 в том и только в том случае, если О изоморфен двудольному графу К1п для некоторого к. Остальная часть статьи [20] посвящена деревьям. Чтобы сформулировать ее основной результат, дадим необходимые определения.

Для всякого множества Т С УО символом О\Т обозначим граф, полученный из О удалением всех вершин Т вместе со всеми инцидентными им ребрами. Тройку вершин графа назовем реберной, если она содержит ребро, т. е. пару смежных вершин.

Будем говорить, что реберная тройка особая, если граф О\Т пустой, и неособая в противном случае. Тогда имеет место следующая теорема.

Пусть О — дерево, имеющее более одного ребра. Тогда следующие утверждения эквивалентны:

г) а(О) > 3;

п) О имеет в качестве подграфа одно из деревьев, представленных на рис. 1;

О,:

02:

и

1 2 3 4 5 6

7 8 п

1 2 3 4 5 6

7 8 п

Рис. 1.

Рис. 2.

т) каждая реберная тройка в дереве О неособая.

Следствие: пусть О — дерево, имеющее более одного ребра. Тогда а (О) =2 в том и только в том случае, если О неизоморфен Кх,п ив О существует по крайней мере одна особая тройка.

Для некоторых классов деревьев дана более детальная характеризация, проливающая свет на структуру деревьев с а-поисковым числом, равным 2. Например, имеет место следующий нетривиальный факт.

Пусть О — дерево, у которого есть только одна вершина А степени, большей двух. Тогда следующие утверждения эквивалентны:

I) а(О) < 2;

ы) вершине А инцидентны не более чем два невисячих ребра, и в дереве О не более трех вершин степени 2;

т) в дереве О существует не более двух вершин степени 2 или существует такое н > 7, что граф О изоморфен одному из деревьев, представленных на рис. 2.

В работе [35] найдены а-поисковые числа для всех полных и полных н-дольных графов. Для полных графов ответ такой:

а(К2) = 1,

а(Кз) = 2,

а(Кп) = н — 2 для н > 4.

Пусть теперь О является полным н-дольным графом. Удобно считать, что все его вершины правильно раскрашены в н цветов, а классы «цветности» пронумерованы в порядке возрастания их мощности: |Мх| < |М2| < ... < |Мп|.

п — 1

Введем обозначение М = У Mi. Тогда имеет место следующая теорема.

г=1

Пусть О — полный двудольный граф. Тогда

1) если н = 2, то а(О) = |М1|;

2) если н = 3 и |М2| = 1, то а(О) = 2;

3) если н = 3 и |М2| > 2, то а(О) = |М| — 1;

4) если н > 4, то а(О) = |М| — 1.

Найдены также а-поисковые числа некоторых графов, «близких» к n-дольным.

Также в работе [35] рассмотрен один интересный вариант задачи об а-поисковом числе. А именно, вводится дополнительное ограничение на число ходов в допустимой стратегии команды преследователей. Если число m, максимальное число ходов, фиксировано, то искомую величину называют ат-поисковым число, которое для каждого графа G обозначается am(G). Задачи подобного рода также исключительно трудны. Уже случай m = 2 («двухходовка») оказывается нетривиальным. Тем не менее в работе [35] получено полное решение задачи об а2-поисковом числе.

Сформулируем этот важный результат. Будем говорить, что множество M С VG обладает свойством A, если F := G(M) (т. е. подграф графа G, порожденный множеством M) не имеет изолированных вершин и имеет место, по крайней мере, одно из следующих двух утверждений:

1) EF не является паросочетанием в G,

2) EF содержит висячие (в G) ребра.

Введем в рассмотрение следующий класс множеств:

W := {M С VG : M обладает свойством A, |M| > 3, граф G\M — пустой} .

Тогда справедливо следующее утверждение: если граф G неизоморфен ни одному графу вида Ki,n, то W = 0 и

a2(G) = min |M| - 1.

м ew

Основы теории поиска с противодействием были заложены в дипломных работах А. Б. Зеленевской, В. О. Капилевич, М. А. Тетерятниковой и А. В. Чумановой. Каждая из этих работ была удостоена премии Правительства Санкт-Петербурга.

III. Поиск с ограничениями на скорости. В этом разделе рассматриваются задачи поиска на топологических графах. Предполагается, что вершины графа G суть точки в трехмерном евклидовом пространстве R3, а ребра — попарно непересекающиеся конечнозвенные ломаные с концами в соответствующих вершинах, замкнутые в R3.

Преследователи Pi,... , Pn и убегающий E используют простые движения:

(Pi): Xi=Ui, |Ы| < 1, i£l,n, (E): y = uo, ||uo|| <

где у...У —евклидова норма в IR3. Допустимыми управлениями игроков являются кусочно-постоянные вектор-функции, заданные на произвольных промежутках [0, T], причем для траекторий всех участников граф G является фазовым ограничением.

Допустимой программой П команды преследователей является произвольный набор траекторий

{xi(t),...,xn(t),t G [0,T ]} .

Программа П называется выигрывающей, если для любой траектории y(t), t G [0, Т], существуют такой номер i G 1,п и такой момент г G [0, Т], что Xi(г) = у(т). В этих условиях, как и выше, речь пойдет о проблемах гарантированного поиска.

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

Искомая величина называется ^-поисковым числом графа О и обозначается

в'

(О).

Впервые поставленная задача рассматривалась вторым автором в работе [22]. Было доказано, что если граф О имеет, по крайней мере, одну вершину степени, большей 2, то в»(О) > 2 для всех ц > 0, причем если ц достаточно мало, то вм(О) = 2. Иначе говоря, на любом графе О двое преследователей всегда имеют выигрывающую программу, если их преимущество в скорости (т.е. число 1) достаточно велико. В доказательстве этого утверждения существенную роль играет предположение о том, что допустимыми управлениями преследователей являются кусочно-постоянные функции. В классе измеримых управлений (довольно специального вида) удается доказать, что на любом графе поимку сможет осуществить один преследователь, если его преимущество в скорости достаточно велико. Соответствующий «обход» графа был назван в монографии [39] траекторией Петрова.

Кроме того, в работе [22] рассмотрен граф Т, являющийся одномерным остовом (правильного) тетраэдра. Доказано, что

в»(Т) < 4 для всех ^ е [0, то),

в"(Т) < 3 для всех ^ е [0,1),

а^{Т) = 2 для всех ц £ (0,

во(Т) = 1.

В дальнейшем это утверждение было обобщено Ф. В. Фоминым [39], который доказал, что в1(Т) = 4 и вм(Т) = 2 для ¡л £ (0,^]. Является ли последняя оценка точной, неизвестно.

Вычисление ^-поискового числа представляет значительные трудности, а построение функции в» (О) для всех ц е [0, то) возможно лишь в исключительных случаях. Поэтому большой интерес представляют результаты, так или иначе облегчающие решение этой задачи. В этом направлении важные результаты получены Ф. В. Фоминым с использованием так называемых дискретных программ [39].

Программа П команды преследователей, заданная для £ е [0, Т], Т — натуральное число, называется дискретной, если для любого к £ 1,Г на промежутке времени [к — 1, к] каждый из преследователей либо стоит в вершине графа, либо переходит из вершины в смежную вершину с максимальной скоростью.

Доказано, что если длины ребер графа равны, а максимальная скорость убегающего равна 1, то из существования выигрывающей программы н преследователей следует наличие у них дискретной выигрывающей программы некоторого специального вида. Доказывается также, что таких программ конечное число. Таким образом, в рассматриваемом случае решение задачи сводится к конечному перебору. В общей ситуации такое сведение, по-видимому, невозможно.

Для больших ц имеет место следующая теорема, принадлежащая П. А. Головачу [9]: пусть ^ > 4Ь ■ 1—1, где I — длина кратчайшего ребра графа О, а Ь — сумма длин всех его ребер. Тогда

в» (О) = ев(О)3

3 Здесь и далее характеристики, введенные для комбинаторных графов, используются и при рассмотрении топологических графов. В этих случаях имеются в виду их комбинаторные схемы.

Для некоторых графов полученная оценка может быть значительно улучшена. Следующий нетривиальный факт доказан Ф. В. Фоминым [37]: если граф G — дерево, то sM(G) = es(G) для всех у > 1.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

При у < 1 начинают играть роль длины ребер. В работе [38] Ф. В. Фомин рассмотрел дерево T с четырьмя вершинами степени три, O, Ai, A 2, A3, и шестью вершинами степени один, Bi, C*i, В2, С2, Вз, С*з, в котором для каждого i £ 1,3 вершина Aj смежна вершине O и вершинам Bj, Cj Известно, что всякое дерево с реберно-поисковым числом, большим 2, содержит комбинаторную схему T в качестве подграфа.

Будем обозначать через d(x, y) длину ребра с концами x, y, а через aj = d(O, Aj), г (Е 1,3. Можно считать, что ai < a2 < аз- Получен следующий результат:

если max {d(Bi, Ai), d(Ci, Ai)} < ai и c := (a2 + аз) • (2ai + a2 + аз) 1,

то sM(T)={3 если «>С,

I 2, если 0 < у < c.

В общем случае найти функцию sM(T) для всех у не удается.

Нетривиальные проблемы возникают и при рассмотрении 0-графа, т.е. топологического графа, «гомеоморфного букве 0». В этом случае Ф. В. Фоминым доказаны следующие три утверждения [39].

1. На любом 0-графе при у < 1 существует выигрывающая программа двух преследователей.

2. Существует 0-граф, на котором при у =1 поимка двумя преследователями невозможна.

3. Для каждого у > 1 существует такой 0-граф, на котором поимка двумя преследователями возможна.

Переходим к изложению результатов о возможностях группы поиска, состоящей из двух преследователей. В работе [39] Ф. В. Фомин ввел следующие две характеристики графа G:

M2(G) := sup {у: sM(G') < 2 для всех G' е I(G)} ,

m2(G) := sup {у: найдется такой граф G' е I(G), что sM(G') < 2} .

Здесь I(G) — класс всех топологических графов, изоморфных G.

Доказано, что M2(G) > 0 для всякого графа G. Этот результат является обобщением основной теоремы работы [22], в которой, напомним, было доказано, что для всякого топологического графа G существует такое положительное число S (зависящее от длин ребер графа G), что если у < S, то sM(G) < 2. Из неравенства M2(G) > 0 следует, что число S с указанным свойством можно выбрать зависящим только от комбинаторной схемы графа G.

Что касается величины m2(G), то интерес представляют условия, при которых m2(G) = т.е. для любого у существует такой топологический граф GM е I(G),

что

sM(GM) < 2.

Сформулируем одно достаточное условие, доказанное Ф. В. Фоминым в [39]. Простую цепь W в графе G называют почти гамильтоновой, если она содержит все

вершины графа О степени > 3. Будем говорить, что почти гамильтонова цепь Ш = (у1, ...,уп) графа О удовлетворяет условию внешнепланарности, если для всех 1 < г < к < ] < I < н справедливо следующее утверждение: если (у. ) е ЕО, то вершины Ук, VI несмежны. Оказывается, если в графе О существует почти гамиль-тонова цепь, удовлетворяющая условию внешнепланарности, то Ш2(О) = +то.

Результаты Ф. В. Фомина по теории поиска были удостоены I премии на Конкурсе молодых ученых СПбГУ в 1994 году.

Для группы поиска, состоящей из двух преследователей, С. В. Лунегов с помощью компьютера получил следующие интересные результаты [62]. Обозначим через Т, С, О одномерные остовы тетраэдра, куба и октаэдра соответственно и через Кп — полный топологический граф с н вершинами и единичными ребрами.

1. Если ¡л < то существует дискретная выигрывающая программа двух преследователей на графе Т.

2. Если ¡л < то существует дискретная, выигрывающая программа двух преследователей на графе С.

3. Если ¡л < то существует дискретная выигрывающая программа двух преследователей на графе О, состоящая из 38 шагов.

4■ Если ¡л < то существует дискретная, выигрывающая программа двух преследователей на графе К5, состоящая из 19 шагов.

5. Если ¡л < у, то существует дискретная выигрывающая программа двух преследователей на графе Кб, состоящая из ,58 шагов.

Если утверждения 1 и 2 были доказаны без помощи компьютера, то доказать утверждения 3-5 без нее практически невозможно. В каждом из последних трех случаев компьютер предъявил искомую программу. Тот факт, что она является выигрывающей, легко проверяется.

С другой стороны, компьютер «утверждает», что не существует дискретной выигрывающей программы двух преследователей на графе О в следующих случаях:

1) О = Т, V = (3 — е) —1;

2) О = С, V = (5 — е) —1;

3) О = О, V = (4 — е) —1;

4) О = К5, V = (4 — е) —1;

5) О = Кб, V = (7 — е) —1,

где е = 10—б. К сожалению, мы не можем убедиться в справедливости этого утверждения и должны полностью довериться компьютеру. Вместе с тем можно предположить, что в рассмотренных случаях «критическое» значение преимущества преследователей в скорости (т.е. v— 1) является целым числом.

IV. Задачи типа «увидел-поймал». Рассмотрим одно обобщение задачи о поисковом числе для арен поиска более сложной топологической структуры.

Пусть множество М, на котором ставится задача поиска, снабжено структурой топологического пространства, ! — некоторая метрика на нем (вообще говоря, никак не связанная с этой структурой), е —неотрицательное число, характеризующее «радиус захвата». Путь у на М, т.е. непрерывное отображение [0,1] ^ М, интерпретируется как «траектория» одного из участников поиска. Совокупность путей

{ж, г = 1,. .., п}

называется выигрывающей программой для группы п преследователей, если для любого пути у («траектории убегающего») найдется такой момент т € [0,1], что <1(хг(т),у(т)) < е для некоторого г £1,п.

В работах [31, 36] предполагалось, что М является замкнутым полигонально связным подмножеством евклидова пространства Е3 с топологией, индуцированной из 3, а траектории преследователей и убегающего суть непрерывные функции времени со значениями в М.

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

Введем на М следующую метрику Пусть а и Ь — две различные точки М, и Е(а, Ь) — множество всех ломаных, лежащих в М и соединяющих точки а и Ь. Для каждой такой ломаной I через $(/) обозначим число ее звеньев. Положим !о(а, Ь) = шш {#(/): I € Е(а, Ь)} и !0(а, а) = 0.

Рассмотрим теперь поставленную выше задачу для е = 1. Условие !о(ж(т), у(т)) < 1 здесь означает, что отрезок с концами жДт), у(т) целиком лежит в М, то есть в момент т преследователь с номером г «видит» убегающего. Такие задачи называются иногда задачами «увидел-поймал».

Обозначим через в(М) наименьшую численность группы преследователей, обладающих выигрывающей программой в поставленной выше задаче поиска. Некоторые достаточные условия равенства в(М) = 1 получены Сузуки и Ямашито в [96].

В работе [31] получен следующий результат: если в множестве М существует «равносторонний» треугольник, сторона которого (в метрике !о) не меньше 6, то в(М) > 2. Для некоторых множеств М это достаточное условие является также и необходимым.

Далее рассматривается задача типа «увидел-поймал», называемая задачей е-поиска.

Задача е-поиска, впервые поставленная П. А. Головачом в работе [10] (и потому называемая здесь задачей Головача), является обобщением дискретной задачи гарантированного поиска и состоит в следующем. Рассматривается конечный связный топологический граф без петель и кратных ребер, вершины которого — точки в 3, а ребра — непересекаюшиеся конечнозвенные ломаные с концами в соответствующих вершинах. Будем считать, что концы ребра (вершины графа) не принадлежат ребру.

На графе О находятся п преследователей Рх,..., Рп и убегающий Е. Все игроки обладают в 3 простыми движениями:

(Рг)\ Хг=Щ, ||Мг|| < 1, «€ 1, П, (Е): у = ио,

где У ... У —евклидова норма, причем О является для всех участников фазовым ограничением. Допустимые управления игроков суть кусочно-постоянные функции, за-

данные на произвольных промежутках [0, Т]. Таким образом, допустимые траектории преследователей и убегающего представляют собой кусочно-аффинные вектор-функции со значениями в О.

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

Убегающий считается пойманным преследователем, если в некоторый момент они находятся на расстоянии, не превосходящем некоторого неотрицательного числа е, характеризующего радиус поимки. Проблема е-поиска состоит в определении минимального числа преследователей, необходимого для поимки убегающего. Искомое минимальное число преследователей называется е-поисковым числом и обозначается ве(О).

При е = 0 поимка убегающего вырождается в поточечную поимку, и задача Головача для нулевого радиуса поимки совпадает с задачей нахождения реберно-поискового числа ев(О).

Для произвольного графа е-поисковое число, как и реберно-поисковое число, может быть вычислено с помощью конечной процедуры (см. [10, 9]). Приведем здесь результат [10], позволяющий при исследовании е-поисковых чисел ограничиться рассмотрением программ преследователей специального вида.

Пусть е > 0, вЕ(О) < н, н е N. Тогда существует выигрывающая программа П команды н преследователей на О такая, что в каждый момент времени из множества задания программы П на любом ребре графа О находятся не более двух преследователей.

Это утверждение можно усилить, если рассматривать достаточно малый радиус поимки.

Пусть С — некоторый граф, I — длина кратчайшего в С ребра, 0 < е < ве(О) < н, н е N. Тогда существует выигрывающая программа П команды н преследователей на О такая, что в каждый момент времени из интервала задания П на любом ребре графа О находится не более одного преследователя.

Исследование ве(О) как функции от е было предпринято в работе [10]. В частности, было показано, что ве (О) — невозрастающая кусочно-постоянная непрерывная справа функция.

Рассмотрим следующую задачу: зафиксируем число преследователей и поставим вопрос о нахождении минимального радиуса поимки, с которым команда указанной численности может поймать убегающего на графе. Последнее утверждение гарантирует существование искомого минимального радиуса поимки. Эта новая задача, в некотором смысле двойственная к задаче Головача. Зная решение задачи о нахождении минимального радиуса поимки на графе О для всех натуральных к, мы обладаем полной информацией для построения функции Головача для графа О. В некоторых случаях формулировки в терминах двойственной задачи оказываются более подходящими при доказательстве тех или иных свойств функции Головача.

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

Решение двойственной задачи на дереве для одного преследователя приведено

в[1].

Пусть Z = (а,1,...,ап) —произвольная диаметральная цепь (т.е. простой путь наибольшей длины) дерева Т; через Iг = 1,...,т, обозначим длины всевозможных путей, ведущих из вершин Z в висячие вершины дерева Т и имеющих с Z

только одну общую вершину. Тогда

£т( 1) = \ max lj.

Задача е-поиска не является дискретной, многое зависит от длин ребер графа, поэтому исключительную ценность имеют утверждения, позволяющие оценивать е-поисковые числа для некоторых классов графов. Например, следующие соотношения (см. [10]) показывают связь между реберно-поисковым числом es(G) и е-поисковым числом при малых значениях радиуса поимки.

Пусть l — длина наименьшего ребра графа G. Тогда

1) se(G) = s (G) при 0 < £ <

2) se(G) > s (G) - 1 при 0 < е < f.

Предъявленные оценки точны в классе деревьев (см. [3]).

Еще одна оценка е-поискового числа для радиуса поимки, меньшего длины кратчайшего ребра графа, опубликована в [26] ; для ее описания нам понадобятся некоторые дополнительные определения.

Обозначим через G'(v) подграф графа G, порождаемый множеством смежных с v вершин, а через n^ (G, v) —число компонент связности графа G'(v) с ровно k вершинами. Определим величины

c(G,v) nfc (G, v)

и c(G) := min c(G, v).

vevo

к=1

Пусть I — длина наименьшего ребра графа О, 0 < е < I. Тогда

1) зе(О) > с(О);

2) если для каждой вершины V € УО все коэффициенты Пк(О,«) с нечетными номерами к равны 0, то ве(О) > с(О) + 1.

Приведенные выше утверждения позволили построить функции Головача для графов некоторых правильных многогранников (см. [52, 15, 26]). Пусть Т — граф тетраэдра с ребрами единичной длины. Тогда

) =

4, 0 < е < 0.25,

3, 0.25 < е < 0.5,

2, 0.5 < е < 1.5,

1, 1.5 < е.

Пусть С — граф куба с ребрами единичной длины. Тогда

se(C ) =

5, 0 < е < 0.25,

4, 0.25 < е < 0.5,

3, 0.5 < е < 1,

2, 1 < е < 3,

1, 3 е.

s

Пусть О — граф октаэдра с ребрами единичной длины. Тогда

ве (О) =

0 < е < 0.25,

0.25 < е < 0.5, 0.5 < е < 1,

1 < е < 2,

2 < е.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Однако задача е-поиска решена не для всех графов правильных многогранников. Приведем здесь в качестве гипотезы функции Головача для графа икосаэдра I и додекаэдра Б с ребрами единичной длины:

-ЛI) =

0 < е < 0.25,

0.25 < е < 0.5, 0.5 < е < 1,

1 < е < 1.25, 1.25 < е < 3, 3 < е;

ве(Б)

0 < е < 0.25,

0.25 < е < 0.5, 0.5 < е < 1.5, 1.5 < е < 2.25, 2.25 < е < 5,

5 е.

Построение функции Головача для произвольного графа является чрезвычайно трудной задачей, которая осложняется еще и тем, что функция Головача для некоторых графов может иметь неединичные скачки: увеличение численности преследователей необязательно позволяет осуществить поимку с меньшим радиусом. Этот эффект можно проиллюстрировать на примере полных графов (см. [15, 26]).

Пусть Кп — полный граф с н вершинами и ребрами единичной длины. Тогда

н, 0 < е < 0.25,

н - 1, 0.25 < е < 0.5,

зе(Кп) = , 0.5 < е < 1,

2, 1 < е < 1.5,

1, 1.5 е.

Функция Головача для Кп, н < 5, — невырожденная, т. е. имеет только единичные скачки. Уже для дерева Кб скачок в точке 0.5 будет двойным. Для произвольного N существует такое натуральное число н, что скачок функции Головача для дерева Кп больше N.

в

В связи с выявлением нетривиальных (неединичных) скачков функции Головача для полных графов возникает вопрос, для каких графов функция Головача имеет только единичные скачки. Первоначальная гипотеза о невырожденности функции Головача для любого планарного графа опровергается примерами деревьев, построенными в [1], функция Головача для которых имеет скачок высоты 2. Таким образом, единичные скачки функции Головача не гарантированы даже для класса деревьев.

Перейдем к результатам, касающимся свойств скачков функции Головача для деревьев. Введем новые определения.

Будем говорить, что преследователь Р., движущийся по траектории х.(•) в программе П, е-близок (е-неблизок) к точке дерева а в некоторый момент Ь, если р(а, х.(Ь)) < е (р(а,х.(Ь)) > е).

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

Как правило, наибольшие трудности возникают при оценке е-поискового числа снизу, т. е. при доказательстве того, что некоторого числа преследователей недостаточно для успешного завершения е-поиска. Для решения этого вопроса часто полезным оказывается следующее утверждение (см. [2]).

Пусть от вершины а дерева Т отходят три ветви В., г = 1, 2, 3, для каждой из которых выполнено следующее: в любой программе команды к преследователей, выигрывающей в задаче е-поимки на В., найдется момент времени, в который каждый из преследователей е-неблизок к а. Тогда команда к преследователей не может успешно завершить е-поиск на Т.

Достаточное условие единичного скачка найдено в [2] и состоит в следующем.

Рассмотрим дерево Т и е > 0; пусть Т не содержит е-критических вершин, а к преследователей ловят убегающего с радиусом поимки е. Тогда группа из к + 1 преследователей осуществляет 5-поимку на Т, где 6 < е.

Это условие не является необходимым, оно лишь гарантирует единичный скачок для всех таких е > 0, относительно которых известно, что никакие две существенные вершины не лежат на расстоянии 2е друг от друга. Ясно, что для произвольного дерева Т указанное условие (т. е. отсутствие е-критических вершин) выполнено для всех значений е, кроме конечного числа.

Ограничение на число ребер в дереве приводит к следующему результату [1].

Пусть дерево Т имеет не более 27 ребер. Тогда функция Головача для дерева Т имеет только единичные скачки.

Оценка числа ребер здесь является точной: построенный в [1] пример дерева с двойным скачком, который упоминался ранее, содержит 28 ребер. Кроме того, этот пример содержит одну вершину степени 4, а степень остальных не превосходит трех. Ограничения на степень вершин дерева не приводят к существенному улучшению результата, а именно функция Головача для дерева Т, содержащего не более 28 ребер и вершины степени не более трех, имеет только единичные скачки (как и прежде, оценка числа ребер точна).

Упомянем здесь, что скачок функции Головача для деревьев при увеличении численности преследователей до двух всегда единичный [1].

Как уже было отмечено, высота скачков функции Головача для полных графов может быть сколь угодно большой. Аналогичное утверждение, как показано в [3], верно и для деревьев, что позволяет утверждать следующее.

Для произвольного натурального N существует такое дерево Т, функция Головача которого имеет скачок, больше N.

Будем называть е-поисковое число монотонным для связного подграфа Н графа О, если выполнено неравенство ве(Н) < ве(О). В условии поточечной поимки, указанное неравенство, очевидно, выполняется для каждого подграфа произвольного графа. Монотонность е-поискового числа при любом неотрицательном е доказана для случая деревьев в [2]. Хорошо известно, что в общем случае е-поисковое число не является монотонным. Например, для куба С с ребрами единичной длины вз(С) = 1, но если обозначить через Z самый длинный цикл в С (его длина равна 8), то ) = 2 (так как для поимки на Z одному преследователю необходимо обладать радиусом поимки, равным 4). В [4] доказано следующее утверждение.

Для любого натурального N существуют граф О, его связный подграф Н и положительное число е такие, что ве(Н) — ве(О) > N.

Достаточное условие монотонности е-поискового числа, а также его уточнение для некоторых графов, содержащих полный подграф, опубликованы в [4].

Пусть О — граф, I — длина наименьшего ребра О, Н — произвольный связный подграф С. Тогда для, 0 < е < выполнено неравенство ве(С?) > вЕ(Н).

Пусть граф О с ребрами единичной длины содержит в качестве подграфа полный граф с п вершинами и ребрами единичной длины. Тогда для 0 < е < 1 выполнено неравенство ве(О) > ве(Кп).

С помощью последнего утверждения легко показать, что функция Головача для графа КП, п > 5, полученого из полного графа с ребрами единичной длины Кп удалением произвольного ребра, совпадает с функцией Головача графа КП-1 [4].

Далее, рассмотрим проблемы, возникающие при малых изменениях длин ребер дерева.

Зафиксируем комбинаторную схему некоторого дерева Т, |ЕТ| = п, перенумеруем ребра Т. Тогда каждому дереву выбранной комбинаторной схемы сопоставим набор (11,..., 1п) € (0, где ^ —длина г-го ребра. Пусть на множестве (0, то)П

введена стандартная топология произведения. Авторы формулируют следующую гипотезу: множество всех графов фиксированной комбинаторной схемы с невырожденной функцией Головача в этой топологии открыто и плотно. Некоторые шаги в этом направлении предприняты в [3], где доказано следующее утверждение.

Для произвольного дерева Т существует такое дерево Т', полученное сколь угодно малым изменением длин ребер дерева Т, что функция Головача для Т' невырождена.

В цикле работ [13, 14] вводится другое обобщение задачи о поисковом числе графа, существенное отличие которого от задачи о нахождении е-поискового числа заключается в ином определении метрики на графе.

Пусть О — топологический граф; введем метрику й на графе. Положим ¿(х, х) = 0 для любого х € О. Если х, у € О, х = у, то ¿(ж, у) совпадает с минимальным натуральным к таким, что путь из х в у, полностью лежащий в графе, пересекает к ребер.

Зафиксируем к € N. Убегающий считается пойманным, если в некоторый момент он сблизится с хотя бы одним из преследователей на расстояние к во введенной метрике Минимальное число преследователей, необходимое для поимки убегающего в описанной задаче, называется к-поисковым числом и обозначается <7к(О). Следует отметить, что при к = 0 к-поисковое число совпадает с реберно-поисковым числом, а при к = 1 — с 1-поисковым числом, рассмотренным в работах [33, 34]. Заметим, что

к-поисковое число графа является топологическим инвариантом графа. Как показано в [14], задача определения к-поискового числа сводится к дискретной задаче, и вследствие этого она может быть эффективно решена для некоторых классов графов.

Так, в работе [14] задача нахождения к-поискового числа решена для графов интервалов. Введем некоторые определения.

Через Кп обозначим полный граф с п вершинами, через Ет — пустой граф с т вершинами. Тогда К^ обозначает граф, полученный из графов Кп и Ет соединением ребрами каждой вершины первого графа с каждой вершиной второго.

Пусть О — граф интервалов, п = е/(О) — его кликовое число. Тогда

' п — 1, если либо п = 2 и К^ не является подграфом О, либо п = 3 и К3 не является подграфом О, , если либо п = 1, сто (О) = ^ либо п = 2 и К3 — подграф О,

либо п = 3 и К| — подграф О, либо п > 3 и КП_х не является подграфом О, п +1, если п > 4 и КП_! — подграф О;

ст(О)

1, если п = 1, 2,

2, если п > 3;

стк (О) = 3,к > 2.

Как следствие последних соотношений, для п > 4 справедлива формула для полного графа Кп:

{п, к = 0, 2, к = 1, 1, к = 2.

Теоремы о к-поисковых числах графов правильных многогранников приведены в работах [13, 25], результаты которых содержатся в следующих утверждениях. Пусть Т — граф тетраэдра. Тогда

стк (Т)

4, к = 0,

2, к = 1,

1, к > 2.

Пусть С — граф куба. Тогда

стк (С)

5, к = 0,

2, к = 1, 2,

1, к > 3.

Пусть O — граф октаэдра. Тогда

(O)

k = 0, k = 1, k > 2.

Пусть I — граф икосаэдра. Тогда

ak(I) =

7,

4, 2, 1,

k = 0, k = 1, k = 2, k > 3.

Пусть D — граф додекаэдра. Тогда

ak (D)

7, k 4, k

3, k = 2, 2, k = 3, 4, 1, k > 5.

В работе [13] доказано, что для всякого натурального k задача вычисления k-поискового числа является NP-трудной.

V. Приложения. Удивительны связи задач о поисковых числах с проблемами, на первый взгляд, не имеющими никакого отношения к поиску. Далее обсуждаются многочисленные приложения теории гарантированного поиска в различных областях науки и техники.

1. Теория сверхбольших интегральных схем (СБИС). Начнем с формальных определений.

Линейной укладкой (linear layout) графа G называется биекция

L : |1,...,n}^ G, n = |VG|,

т. е. некоторая нумерация вершин графа G.

Множество всех линейных укладок графа G обозначим через L(G). Положим

cw(G,L) := max | {(u,v) G EG : L~l(u) < i, L~l(v)>i] \

cw(G) := min cw(G, L).

Le£(G)

Величина cw(G) называется шириной разреза (cut-width) графа G. Теперь положим

mcw(G, L) := max | {(w, v) G EG : L~l(u) < i, L~l(v) > г}|

-¿G l,n

и

mcw(G) := min mcw(G, L).

LeC(G)

Величина mcw(G) называется модифицированной шириной разреза (modified cut-width) графа G.

Наконец, положим

vs(G, L) := max_ |{(м,г>) G EG : L_1(m) < i, > i}|

¿ei,n—l

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

и

vs(G) := min vs(G, L).

LgL(G)

Величина vs(G) называется величиной вершинного разделения (vertex separation number) графа G.

Введенные в рассмотрение параметры играют большую роль в теории сверхбольших интегральных схем при проектировании «линейных укладок» СБИС. Типичная модель электронной микросхемы описывается графом G, в котором вершинами являются «переключатели» (gates), а ребрами—«соединители». Если переключатели «укладываются» на прямой в порядке, задаваемой нумерацией L, то величины cw(G, L), mcw(G, L), vs(G, L) характеризуют «дефект» этой укладки, зависящий от реберной структуры графа G.

Величина vs(G) естественно возникает в теории разделителей графа. Разделителем (separator) графа называется такое множество его вершин, удаление которых (вместе с инцидентными им ребрами) увеличивает число компонент связности графа. Задачи о «разделении» графа представляют интерес как с чисто теоретической (см., например, теорему Менгера в [40], с. 34), так и с практической точек зрения. В частности, «малые» разделители, приводящие к примерно равным компонентам связности, были использованы для описания «хороших» линейных укладок СБИС [60] и для построения некоторых алгоритмов типа «разделяй и властвуй» [61].

Из многочисленных результатов о связи теории гарантированного поиска с линейными укладками СБИС наиболее впечатляющим является старая теорема Киро-узиса и Пападимитриу [58]: для любого графа G

vs(G) = ns(G) - 1.

Что касается ширины разреза cw(G), то известно, что задача ее нахождения NP-трудна [17], но для деревьев существует полиномиальный алгоритм [99]. Известно также, что для всякого графа G справедливы следующие неравенства:

es(G) < cw(G) <

(es(G) - 1) + 1,

где Д(О) —максимальная степень вершины в графе О, а [а] —целая часть вещественного числа а [64].

В частности, если Д(О) < 3, то

сш(О) = вв(О).

Если же О — регулярный граф степени 3, то, как показал П. А. Головач в [9], вв(О) = сад (О) = тсш(О) + 2.

и

Рассмотрим еще одну характеристику графа, встречающуюся в электротехнике. Пусть L £ L(G); положим

b(G,L) := max {|L-1(u) - L-1(v)| : (u, v) £ EG}

и

b(G) := min b(G, L).

Le£(G)

Величина b(G) называется шириной ленты (bandwidth) графа G. Этой важной величине посвящено огромное число работ (см., например, обзоры в [44] и [45]).

Первоначально задача о ширине ленты возникла в теории матриц. Пусть A = ||aj II —матрица порядка n. Если число ненулевых элементов «мало», по сравнению с ее порядком (в этом случае A называется разреженной матрицей), то полезной оказывается следующая задача: с помощью одновременных перестановок столбцов и строк (если меняются местами г- и j-й столбцы, то меняются местами и г-я, j-я строки) привести матрицу A к такому виду, чтобы все ненулевые элементы располагались на диагоналях матрицы, «ближайших» к главной. Минимальное число диагоналей, получившихся таким образом, называется шириной ленты матрицы A.

Разреженные матрицы больших порядков возникают во многих прикладных задачах, например, при использовании метода конечных элементов для решения краевых задач в теории дифференциальных уравнений в частных производных. Этот метод приводит к решению систем линейных уравнений с «большими» разреженными симметричными матрицами.

Укажем связь между шириной ленты матрицы и шириной ленты графа. Пусть G(A) —граф с вершинами {1,..., n}, причем вершины г и j смежны тогда и только тогда, когда либо aj = 0, либо aj = 0. Оказывается, задачи о вычислении величины b(G(A)) и ширины ленты матрицы A эквивалентны.

Важную роль в теории СБИС играет одна модификация ширины ленты графа. Граф G' называется гомеоморфным образом4 графа G, если G' может быть получен из G помещением на ребра графа G конечного числа вершин степени 2.

Величина

tb(G) := min {b(G')} ,

где минимум берется по всем гомеоморфным образам G' графа G, называется топологической шириной ленты графа G. В работе [63] доказан ряд соотношений, связывающих топологическую ширину ленты с реберно-поисковым числом. Например, если A(G) < 3, то es(G) - 1 < tb(G) < es(G).

Если граф G описывает структуру некоторой электронной микросхемы, то вершины степени 2, помещенные на его ребра, могут быть интерпретированы как драйверы или «повторители» (repeaters), которые используются для передачи сигнала на «большие» расстояния.

В линейной алгебре понятие топологической ширины ленты графа возникает следующим образом. Пусть

Ax = b

— линейная система с матрицей A указанной выше структуры. Можно ввести новую переменную y = ajXj и добавить это уравнение к системе Ax = b. Это введение новой

4Такова общепринятая терминология, никак не связанная с какой-либо топологией.

переменной соответствует помещению вершины степени 2 на ребро (i, j) графа G(A). Тогда можно показать, что

tb(G(A)) = min {b(G(A'))},

где минимум берется по всем матрицам А', для которых система A'z = Ь' получается из системы Ax = Ь с помощью конечного числа подстановок указанного вида.

В работе [63] доказаны многочисленные утверждения о связи топологической ширины ленты с поисковыми числами. Например, для произвольного графа G справедливы следующие неравенства:

es(G) - 1 < tb(G) < cw(G).

Позднее П. А. Головачом было доказано, что левое неравенство превращается в равенство для регулярных графов степени 3 (см. [9]).

Любопытная связь ширины ленты графа с одной задачей поиска (helicopter search problem) установлена Ф. В. Фоминым [50, 51].

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

Группа поиска состоит из одного преследователя, программа которого представляет собой произвольное отображение

П : {1, 2,..., T} ^ VG,

где Т — натуральное число, а П(г), i £ 1 ,Т,—вершина, занимаемая преследователем на i-м шаге, при этом преследователь может посещать каждую вершину графа не более одного раза.

Убегающий использует простые движения y = y(t), t £ [0, T] с максимальной скоростью y.

Программа П называется выигрывающей, если для любой траектории убегающего у = y(t), t £ [0,Т], существует такой момент г £ 1 ,Т, что расстояние между точками П(г) и y(i) меньше 1. Иначе говоря, преследователь, вставая в вершину П(г), «просматривает» все инцидентные ей ребра (исключая смежные вершины) и, если он «видит» убегающего, находящегося на одном из них, то это и означает поимку. Здесь мы снова имеем дело с задачей типа «увидел-поймал» (см. начало раздела IV).

В рассматриваемой ситуации ставится задача о нахождении величины

yo(G) := inf{y : при максимальной скорости убегающего, равной у, у преследователя нет выигрывающей программы на G}.

Ф. В. Фоминым доказано, что для любого графа G £ D справедливо следующее равенство:

U-1(G) = b(G).

Рассмотрим еще одну задачу теории СБИС, упомянутую в обзоре [66] и сводящуюся к проблеме вершинного поиска (т. е. к нахождению вершинно-поискового числа некоторого графа).

Пусть M — схема, состоящая из m электронных устройств (ключей) и n сетей, которые осуществляют связи между этими устройствами. Известно, какие электронные устройства объединены каждой сетью. Пусть 5 = (Gi,..., Gm) —некоторое упорядочение ключей и Ms — (n х т)-матрица, столбцы которой соответствуют ключам

Ох,..., От, а строки — сетям N1,..., причем элемент этой матрицы с номерами г, з равен 1, если сеть N содержит ключ Оj, и нулю в противном случае.

Соединение производится по дорожкам. Для заданного упорядочения 6 каждому соединению отводится часть дорожки от самого левого до самого правого ключа, между которыми должно быть установлено соединение. Поэтому матрицу Ыц изменяют следующим образом: в каждой строке нуль заменяется на 1, если он находится «между» двумя единицами, так что в результате в измененной строке все единицы оказываются расположенными «подряд».

Обозначим полученную матрицу через а ее строки («расширенные сети») — через Л?1,..., Nn. Рассмотренные сети могут быть уложены на одну дорожку, если у них нет общих ключей. Более формально, будем говорить, что сети Л^ и Nj пересекаются, если эти сети имеют общий ключ. Говорят, что расширенные сети N1,..., можно уложить на £ дорожек, если существует такое разбиение Т1,..., Т множества индексов {1,...,«.}, что для всякого ] (Е любые две расширенные сети с номерами из Т не пересекаются. Ясно, что это всегда возможно, если £ достаточно велико. Наименьшее число дорожек, на которые можно уложить упомянутые расширенные сети, обозначим через £(Ы, 6).

Введем в рассмотрение следующую характеристику схемы Ы:

£(Ы) := шш {£(Ы, 6) : 6 — упорядочение ключей в Ы} .

Укладка сетей в наименьшее число дорожек исключительно важна при разработке линейных укладок СБИС, поскольку площадь электронной платы, занимаемой т ключами, пропорциональна т£, где £ — число дорожек, на которые укладываются расширенные сети.

Каждой схеме Ы сопоставим граф О(Ы) с вершинами VI ,...,«„, в котором vi и Vj, г = з, смежны тогда и только тогда, когда сети N и Nj имеют общий ключ. Граф О(Ы) иногда называют графом несовместимости, так как его смежные (в этом графе) сети не могут быть уложены на одну дорожку.

Теперь мы готовы сформулировать основную теорему: для любой схемы Ы имеет место равенство

¿(Ы) = пв(О(Ы)).

По-видимому, существует глубокая связь между проблемами гарантированного поиска на графах и теорией линейных укладок СБИС. И те, и другие задачи сформулированы на основе минимаксного принципа. Однако в полной мере эта связь не выяснена.

2. Теория миноров Робертсона—Сеймура. Кратко изложим основные положения этой теории.

Граф Н называется минором графа О, если Н получен стягиванием некоторых к ребер (к > 0) одного из подграфов графа О.

Из многочисленных результатов Робертсона и Сеймура [68-89], посвященных гипотезе Вагнера [98], упомянем одну из основных теорем: для всякого .замкнутого относительно операции взятия минора класса графов в существует такое конечное множество графов, оЬ(в), называемое запрещенным для в, что О £ в тогда и только тогда, когда ни один из графов Н £ оЬ( в) не является минором О.

Например, запрещенное множество для планарных графов состоит из К5 и К33 (К3 3 — полный двудольный граф, каждая «доля» которого состоит из трех вершин). Запрещенное множество для деревьев с заданным реберно-поисковым числом было

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

С многочисленными примерами теории Робертсона—Сеймура можно ознакомиться, например, в обзорах [43, 72].

Далее речь пойдет о результатах этой теории, имеющих непосредственное отношение к задачам поиска. Два понятия играют особую роль в теории Робертсона— Сеймура: путевая ширина (pathwidth) и древовидная ширина (treewidth) графа. Первое понятие используется при изучении графов, имеющих в качестве минора лес. Говоря неформально, чем больше путевая ширина графа, тем «больше» лес, содержащийся в качестве минора этого графа.

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

Перейдем к точным определениям.

Древовидная декомпозиция графа G состоит из дерева T, множество вершин которого представляет собой некоторое индексное множество I, и множеств

{Xi С VG : i £ I} , обладающих следующими свойствами:

1) U Xi = VG;

iei

2) для каждого ребра (u, v) £ EG найдется такая вершина i дерева T, что u, v £ Xi;

3) для всех вершин i, j, k дерева T верно следующее: если j лежит на пути с концами i и k, то

XiflXk сXj.

Шириной древовидной декомпозиции графа называется величина max |Xi| — 1,

iei

а древовидная ширина графа G есть, по определению, минимальная ширина древовидной декомпозиции.

Если в определении, приведенном выше, дерево T заменить на путь, то получится понятие путевой ширины графа G, обозначаемой далее через pw(G).

Известно [55], что граф G является графом интервалов тогда и только тогда, когда существует такая путевая декомпозиция (Xi, I) графа G, что каждое множество Xi, i £ I, является кликой в графе G. Отсюда следует, что для произвольного графа G

pw(G) = iw(G) — 1 = ns(G) — 1.

Таким образом, введенные выше характеристики графа G в общем случае связаны следующими соотношениями:

es(G) — 1 < ns(G) = vs(G) + 1 = iw(G) = pw(G) + 1 < es(G) + 1.

Прямое доказательство равенства vs(G) = pw(G) дано в [56].

Древовидная ширина графа имеет, по крайней мере, две теоретико-игровые интерпретации. Одна из них принадлежит Томасу и Сеймуру [92]. В этой работе описана

одна конфликтная ситуация, в которой минимальное число преследователей, необходимое для успешного завершения поиска на графе, совпадает с его древовидной шириной +1.

Другая теоретико-игровая интерпретация древовидной ширины графа предложена в [47]. В этой работе рассматривается модификация задачи о вершинно-поисковым числе, названная авторами задачей поиска инерционного («ленивого») убегающего. В этой задаче убегающий может начать движение только в том случае, когда один из преследователей собирается перейти в вершину, занятую убегающим. Напомним, что каждый ход любого из преследователей диктуется программой, выбранной группой поиска, причем эта программа известна убегающему «до начала поиска».

В зависимости от «скорости» убегающего (определяемой числом ребер, которые он может пройти за один ход), возникают различные задачи. В работе [47] показано, что если на скорость убегающего не накладывать никаких ограничений, то наименьшее число преследователей, необходимое для успешного завершения поиска на произвольном графе, равно его древовидной ширине +1. Если же скорость убегающего равна 1, то это число совпадает с другим параметром, называемым шириной (width) графа.

Этот параметр определяется следующим образом. Пусть G — граф и L — некоторая нумерация его вершин. Каждой вершине Vi, i £ l,n, п = |VG|, сопоставляется величина w(i,L), равная числу всех вершин, предшествующих vj в нумерации L и смежных с ней. Положим

w(L) := max w(i, L).

Тогда шириной графа G называется величина

min w(L),

где минимум берется по всем нумерациям L. Эта характеристика графа G обозначается через w(G). Таким образом, ширина графа w(G) стоит в одном ряду с рассмотренными выше величинами vs(G), cw(G), b(G), которые играют важную роль в теории линейных укладок СБИС. Как правило, задачи нахождения оптимальной нумерации вершин графа NP-трудны. Но для нахождения ширины графа существует удивительно простой алгоритм. В этом алгоритме в качестве вершины vn выбирается любая вершина, имеющая наименьшую степень в графе G. При уже выбранных вершинах Vj+i, Vj+2,..., vn в качестве vj нужно взять такую вершину, которая смежна наименьшему числу вершин из множества еще «неупорядоченных» вершин графа G.

3. Игра в камни (pebbling). Эти игры моделируют задачи о рациональном использовании памяти компьютера и, на первый взгляд, не имеют никакого отношения к поиску. Однако и в этом случае наблюдаются любопытные совпадения.

Ареной игры в камни является ориентированный ациклический5 граф. Цель ее единственного участника состоит в том, чтобы, в соответствии с некоторыми правилами, «замостить» граф (точнее, его вершины) с помощью минимального числа камней. Известно несколько вариантов игры в камни.

Опишем один из них. Игра состоит из конечного числа шагов, которое зависит от выбранной игроком стратегии. На каждом шаге игрок может либо

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

5 То есть не имеющий контуров.

1) поставить камень на вершину v, если начала всех дуг, входящих в v, заняты камнями (на вершину, не имеющую «предшественников», камень можно поставить всегда); либо

2) снять камень с вершины.

Предполагается также, что на каждую вершину камень можно ставить только один раз.

Первоначально на вершинах графа нет камней. Первый камень игрок ставит на вершину, не имеющую «предшественников», которая, в силу ацикличности графа, всегда существует. Игра заканчивается, когда весь граф оказывается «замощенным», т. е. в том случае, когда на каждую вершину графа на одном из шагов был поставлен камень.

Обозначим через S множество всех стратегий игрока, приводящих к «замощению» графа G. Для каждой стратегии s £ S введем в рассмотрение величину dem s, равную максимальному числу камней, одновременно находящихся на графе, при использовании стратегии s. Определим величину

dem G := min dem s,

ses

называемую демандом графа G.

Для произвольного (неориентированного) графа G через O(G) обозначим множество всех ориентированных ациклических графов G, полученных из G заданием ориентаций на всех его ребрах.

Положим

Dem(G) := min dem G.

geo(G)

Тогда, как показано в [58], для каждого графа G имеет место равенство

Dem(G) = ns(G).

4. Антивирусные программы. Некоторые ученые полагают, что теория гарантированного поиска может быть использована для создания антивирусных программ. Сошлемся на мнение известного специалиста Биенстока [41], которое приводится в авторизованном переводе Ф. В. Фомина.

«Рассмотрим поведение в сети компьютерного вируса. Получая информацию о наличии в сети вируса, мы не знаем масштаба заражения. Предполагая худшее, мы должны подозревать, что заражена вся сеть, а потому все узлы должны быть проверены и очищены. Предположим, что у нас имеется несколько копий вакцинных программ, и невозможно, а, может быть, непрактично изготовление большего числа копий. Тогда стратегия очистки должна разрабатываться с учетом ограниченного числа копий. С другой стороны, плохо разработанная стратегия может стать причиной повторного заражения узла. Таким образом, ставится задача разработки стратегии очистки, использующей наименьшее число копий вакцинных программ».

5. Игры «подслушивания» (eavesdropping games). В работе [54] предложен интересный подход к задачам сохранения секретности информации, передаваемой по электронным сетям в присутствии мобильных подслушивающих устройств («жучков»). В качестве модели рассматривается игра между Сетью и Противником. Каждый узел сети (вершина графа) является процессором, который хранит и стирает

информацию, делает вычисления и посылает сообщения в соседние узлы. Несколько подслушивающих жучков перемещаются по узлам сети, считывая содержание сообщений и хранящуюся информацию. Протокол работы Сети известен обеим сторонам.

Налагая на движения жучков различные ограничения, авторы упомянутой статьи приходят к различным «играм подслушивания», на основе которых решают некоторые задачи безопасной передачи информации. В одном из вариантов авторы доказывают следующее утверждение: наименьшее число жучков, позволяющих Противнику собрать информацию при любом протоколе Сети, совпадает с вершинно-поисковым числом графа, определяющего ее структуру.

Итак, снова вершинно-поисковое число.

6. Биология. В биологии нередко возникают задачи, связанные с нахождением некоторых специальных путевых декомпозиций. Для картирования человеческого генома биологи используют теорию графов, в частности, графы интервалов, которые моделируют перекрытия мутационных искажений. NP-полная задача Интервализа-ция Раскрашиваемых Графов (Intervalizing Colored Graph) рассматривалась в [49] как приближенная модель для нахождения карт ДНК. Эта важная проблема заключается в следующем: для данного k-раскрашиваемого графа G определить, содержится ли G в качестве подграфа в некотором k-раскрашиваемом графе интервалов. Можно показать, что эта задача эквивалентна нахождению путевой декомпозиции (Xi, i £ I), обладающей следующими свойствами:

1) ее ширина не превосходит k,

2) для всякого i £ I любые две различные вершины u, v £ Xi окрашены в разные цвета.

В работе [100] предложены эффективные алгоритмы для выяснения структуры биополимеров (таких, как РНК или протеины), которая описывается с помощью некоторого графа. Эффективность этих алгоритмов во многом объясняется тем, что этот граф имеет малую древовидную ширину.

Как показано выше, путевые и древовидные декомпозиции графа могут быть использованы для нахождения различных поисковых чисел, которые в некоторых случаях получают «биологическую» интерпретацию.

7. Лингвистика. В теории «обработки» естественных языков (natural language processing) рассматриваются графы, кодирующие основные синтаксические отношения между словами. Как отмечается в работе [59], наибольший интерес представляют графы, имеющие путевую ширину, не превосходящую 6. Напомним, что для произвольного графа путевая ширина равна вершинно-поисковому числу минус 1.

8. Робототехника. Некоторые задачи поиска типа «увидел-поймал» в случае, когда ареной поиска является решетка (grid), рассматривались в работах [46, 95, 93, 94]. Японские математики Сугихара и Сузуки выявили связь между теорией гарантированного поиска на решетках и задачами координации движения роботов. В частности, рассматривалась задача о перемещении «команды» роботов из начального положения в конечное, исключающем взаимные столкновения.

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

является одной из задач типа «увидел-поймал». Во втором варианте преследователи должны догнать убегающего, но предполагается, что они могут его «видеть» лишь в том случае, если один из них находится с убегающим на одном отрезке решетки.

9. Шахматная композиция. Изучение проблем гарантированного поиска привело к появлению в шахматной композиции новых задач, в которых целью является матование «невидимого» черного короля. Ниже приводится одна такая задача, составленная вторым автором и опубликованная в [28]. Она была удостоена специального приза на конкурсе, организованном журналом «Шахматная композиция» (1998— 1999 гг.) в разделе задач на ретроградный анализ (другого, более «близкого» раздела не оказалось). На самом деле, она является задачей поиска с противодействием при очевидных дополнительных условиях, определяемых шахматными правилами. Эта задача получила высокую оценку выдающего российского проблемиста, профессора математико-механического факультета СПбГУ Юрия Акимовича Сушкова.

Мат в 5 ходов (одинокий черный король «невидим»).

С

а Ь с с) е {

(3 • 0)

Эта задача имеет трех близнецов:

a)

b)

c) 17.

Приведем решение этих задач.

Во всех случаях первый ход 1. е8. Если ответный ход черных «без снятия», решает «линейный мат»:

2.Шь3-а7. 3.®е8-е8. 4.®а7 Ъ7. 5.®с8-а8.

Если ответный ход черных 1.. . е8 ( в близнеце с он невозможен), то в позиции на диаграмме белые матуют немедленно: 2. с8. В близнеце а к мату приводит

2. аз. 3. а5. 4. Г6. 5. £7(а8, а8)

а8) — мат.

В близнеце Ь решает

2. Ь7. 3. Ь7. 4. о7. 5. ав — мат.

В близнеце с много решений, что для задач с невидимым черным королем не является серьезным дефектом.

Кроме 1. е8 , решает 1. а7, 1. Ь4, 1. Ь8.

В последних двух случаях второй ход белых 2. ав является «жертвой».

В задаче имеются «ложные следы». Укажем один из них.

Маневр: 1. Ь4. 2. Ь4-а4. 3. е3с3. 4. а4-Ь4. 5. с3а3 к цели не приводит, так как после четвертого хода белых черный король может быть запатован на поле а2.

Решение близнеца с), потребовавшее перебора около 500 000 000 вариантов, было найдено с помощью компьютера В.Ю.Андриановым [5]. Его программа, принципиально отличающаяся от известных шахматных программ, может быть использована для решения широкого класса задач поиска с противодействием (и без оного). Буква С справа от диаграммы, как всегда, означает, что решения задач проверены с помощью компьютера.

В статье «Задача о квадриге», опубликованной вторым автором в [27], доказывается, что «команда» белых фигур, состоящая из короля (Аполлона) и четырех коней (квадриги) из некоторой начальной позиции матует одинокого «невидимого» черного короля не позднее 28-го хода. Напомним, что для матования одинокого «видимого» короля требуется, как минимум, 3 коня (при отсутствии других белых фигур).

Приведенные шахматные композиции едва ли можно отнести к числу актуальных результатов, полученных в теории гарантированного поиска. По мнению В. В. Набокова, который был неплохим проблемистом, шахматы являются истинным искусством, которое он понимал как нечто, обладающее сильным эстетическим воздействием, но не приносящее никакой практической пользы. С другой стороны, Г. Г. Харди как-то сказал:

«Шахматные задачи — это мелодии математических гимнов».

Благодарности. Авторы благодарят выпускников кафедры исследования операций СПбГУ П. А. Головача, А. Б. Зеленевскую, В. О. Капилевич, С. В. Лунегова, С. А. Старостину, М. А. Тетерятникову, И. Туре, Ф. В. Фомина и А. В. Чуманову за их вклад в теорию гарантированного поиска, которая была предметом настоящего обзора.

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

Особую признательность авторы выражают профессору университета города Берген (Норвегия) Федору Владимировичу Фомину за предоставленные им6 материалы, в частности, прекрасную аннотированную библиографию по теории поиска ([53]).

Литература

1. Абрамовская Т. В. Нетривиальные разрывы функции Головача для деревьев // Вестн. С.-Петерб. ун-та. Сер. 1. 2010. Вып.3. С. 3-12.

6Эта очевидная двусмысленность не требует однозначного уточнения.

2. Абрамовская Т. В., Петров Н. Н. О некоторых задачах гарантированного поиска на графах // Вестн. С.-Петерб. ун-та. Сер. 1. 2010. Вып. 2. С. 64-70.

3. Абрамовская Т. В., Петров Н. Н. О сколь угодно больших скачках функции Головача для деревьев // Вестн. С.-Петерб. ун-та. Сер. 1. 2011. Вып. 1. С. 84-93.

4. Абрамовская Т. В., Петров Н.Н. О монотонности поискового числа в задаче Головача // Вестн. С.-Петерб. ун-та. Сер. 1. 2011. Вып. 4. С. 3-9.

5. Андрианов В Ю., Петров Н. Н. Поиск с противодействием // Труды института математики и механики УрО РАН. 2002. Т. 8, №2. С. 1-9.

6. Айзекс Р. Дифференциальные игры. М.: Мир, 1967.

7. Головач П. А. Эквивалентность двух формализаций задачи поиска на графе // Вестн. ЛГУ. Сер. 1. 1989. Вып. 1, № 1. С. 10-14.

8. Головач П. А. Об одном топологическом инварианте в задачах преследования // Дифференциальные уравнения. 1989. T.2, №6. С. 923-929, 1097.

9. Головач П. А. Экстремальные задачи поиска на графах: дис. ... канд. физ.-мат. наук. ЛГУ,

1990.

10. Головач П. А. Об одной экстремальной задаче поиска на графах // Вестн. ЛГУ. Сер. 1. 1990. Вып. 3, №15. С. 16-21.

11. Головач П. А. Минимальные деревья с данным вершинно-поисковым числом // Дискретная математика. 1992. Т. 4. Вып. 2. С. 52-60.

12. Головач П. А. Минимальные деревья с данным поисковым числом // Кибернетика и системный анализ. 1992. №4. С. 25-31.

13. Головач П. А., Петров Н.Н. Некоторые обобщения задачи о поисковом числе графа // Вестн. С.-Петерб. ун-та. Сер. 1. 1995. Вып.3, №15. С. 21-27.

14. Головач П. А., Петров Н.Н. K-поисковое число графов правильных многогранников // Вестн. С.-Петерб. ун-та. Сер. 1. 1995. Вып. 4, №22. С. 8-13.

15. Головач П. А., Петров Н. Н., Фомин Ф. В. Поиск на графах // Труды института математики и механики УрО РАН. 2000. Т. 6, №1. С. 39-54.

16. Головач П. А., Фомин Ф. В. Поисковое и вершинно-поисковое число двойственных графов // Вестн. СыктГУ. Сер. 1. 2001. Вып. 4. C. 125-136.

17. Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. М.: Мир, 1982.

18. Зеленевская А. Б., Петров Н. Н. О некоторых задачах поиска на графах с противодействием // Вестн. С.-Петерб. ун-та. Сер. 1. 2004. Вып. 2. С. 23-33.

19. Зеликин М. И. Об одной дифференциальной игре с неполной информацией // Доклады АН СССР. 1972. Т. 202, №5. С. 998-1000.

20. Капилевич В. О., Петров Н.Н. Задачи поиска на графах с противодействием // Вестн. С.-Петерб. ун-та. Сер. 1. 2003. Вып.3. С. 31-37.

21. Масси У., Столлингс Дж. Алгебраическая топология. Введение. М.: Мир, 1977. 343 с.

22. Петров Н. Н. Некоторые экстремальные задачи поиска на графах // Дифференциальные уравнения. 1982. Т. 18, №5. С. 821-827.

23. Петров Н. Н. Задачи преследования при отсутствии информации об убегающем // Дифференциальные уравнения. 1982. Т. 18, №8. С. 1345-1352.

24. Петров Н. Н. Одна оценка в дифференциальной игре со многими убегающими // Вестн. ЛГУ. Сер. 1. 1985. №22. С. 107-109.

25. Петров Н. Н. Задачи поиска на графах правильных многогранников // Дискретная математика. 1996. Т. 8. Вып. 2. С. 108-116.

26. Петров Н. Н. Преследование невидимого подвижного объекта // Дифференциальные уравнения. 1996. Т. 32, №11. С. 1563-1565, 1583.

27. Петров Н.Н. Задача о квадриге // Уральский проблемист. 1997. №1(9). С. 26.

28. Петров Н.Н. Мат невидимому королю // Шахматная композиция. 1998. №21. С. 62-63.

29. Петров Н. Н., Петров Н. Никандрович. О дифференциальной игре «Казаки — Разбойники» // Дифференциальные уравнения. 1983. Т. 19, №8. С. 1366-1374.

30. Петров Н. Н., Старостина С. А. Минимальные графы с поисковым числом меньшим четырех // Вестн. ЛГУ. Сер. 1. 1989. Вып.3. С. 105-106.

31. Петров Н. Н., Старостина С. А. О некоторых задачах гарантированного поиска // Вестн. С.-Петерб. ун-та. Сер. 1. 1994. Вып. 1, № 1. С. 114-116.

32. Петров Н. Н., Тетерятникова М. А. О некоторых задачах поиска на графах с противодействием // Вестн. С.-Петерб. ун-та. Сер. 1. 2004. Вып.3, №1. С. 50-59.

33. Петров Н. Н., Туре И. Об одной задаче преследования на графе // Вестн. ЛГУ. Сер. 1. 1990. Вып. 4. С. 12-18.

34. Петров Н. Н., Туре И. Определение минимальной численности группы поиска на графе // Вестн. ЛГУ. Сер. 1. 1991. Вып. 2. С. 66-69.

35. Петров Н. Н., Чуманова А. В. О некоторых проблемах поиска на графах с противодействием // Вестн. С.-Петерб. ун-та. Сер. 1. 2003. Вып. 4. С. 51-57.

36. Старостина С. А. Задачи преследования на графах при отсутствии информации об убегающем: дис. ... канд. физ.-мат. наук. СПбГУ, 1993.

37. Фомин Ф. В. Задача поиска на деревьях // Вестн. С.-Петерб. ун-та. Сер. 1. 1995. Вып. 2, №8. С. 36-41.

38. Фомин Ф. В. Поиск на 3-минимальных деревьях // Вестн. С.-Петерб. ун-та. Сер. 1. 1995. Вып. 3, №15. С. 67-72.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

39. Фомин Ф. В. Задачи преследования и поиска на графах: дис. ... канд. физ.-мат. наук. СПб-ГУ, 1996.

40. Харари Ф. Теория графов. М.: Мир, 1973.

41. Bienstock D. Graph searching, path-width, tree-width and related problems (a survey) // Reliability of computer and communication networks (New Brunswick, NJ, 1989), DIMACS Ser. Discrete Math. Theoret. Comput. 1991. Sci., Amer. Math. Soc., Providence, RI. Vol.5. P.33-49.

42. Breisch R. An intuitive approach to speleotopology // Southwestern Cavers (A publication of the Southwestern Region of the National Speleological Society). Vol. VI. 1967. P. 72-78.

43. Bodlaender H. L. A tourist guide through treewidth // Acta Cybernt. 1993. Vol. 11. P. 1-21.

44. Chung F. R. K. Labelings of graphs // Selected Topics in Graph Theory. Vol. 3. New York: Academic Press, 1988. P. 151-168.

45. Chung F. R. K., Seymour P. D. Graphs with small bandwidth and cutwidth // Graph theory and combinatorics (Cambridge, 1988). Discrete Math. 1989. Vol.75. P. 113-119.

46. Dawes R. W. Some pursuit-evasion problems on grids // Inform. Process. Lett. 1992. Vol. 43. P. 241-247.

47. Dendris N. D., Kirousis L. M., Thilikos D. M. Fugitive-search games on graphs and related parameters // Proceedings 20th International Workshop on Graph Theoretic Concepts in Computer Science WG'94. E. W. Mayr, G.Tinhofer eds, Springer Verlag. Lecture Notes in Computer Science, 1995. Vol.903. P. 26-37.

48. Ellis J. A., Sudborough I. H., Turner J. S. Graph separation and search number // Proc. of Allerton Conf. on Communication, Control and Comput., 1983. P. 224-233.

49. Fellows M. R., Hallet M. T., Wareham H. T. DNA physical mapping: Three ways difficult. In Proceedings of European Symposium on Algorithms (ESA '93) / T. Lengauer, ed. Lecture Notes in Comput. Sci., 1993. Vol.726. P. 157-168.

50. Fomin F. V. Helicopter search problems, bandwidth and pathwidth // Discrete Appl. Math., 1998. Vol.85. P. 59-70.

51. Fomin F. V. Note on a helicopter search problem on graphs // Discrete Appl. Math., 1999. Vol. 95. P. 241-249.

52. Fomin F. V., Golovach P. A., Petrov N. N. Search problems on 1-skeletons of regular polyhedrons // International Journal of Mathematics, Game Theory and Algebra, 1998. Vol.7. P. 101-111.

53. Fomin F. V., Thilikos D. M. An annotated bibliography on guaranteed graph searching // Theoretical Computer Science., 2008. Vol.399, N3. P. 236-245.

54. Franklin M., Galil Z., Yung M. Eavesdropping games: a graph-theoretic approach to privacy in distributed system // Proceedings 34th Annual Symposium on Foundations of Computer Science, IEEE Computer Society Press, 1993. P. 670-679.

55. Kashiwabara T., Fujisawa T. NP-completness of the problem of finding a minimum clique number interval graph containing a given graph as a subgraph // Proceeding ISCAS, 1979. P. 657-660.

56. Kinnersley N. G. The vertex separation number of a graph equals its path-width. Inform. Process. Lett., 1992. Vol.42. P. 345-350.

57. Kirousis L. M., Papadimitriou C.H. Interval graphs and searching // Discrete Math., 1985. Vol. 55. P. 181-184.

58. Kirousis L. M., Papadimitriou C.H. Searching and pebbling // Theoret. Comput. Sci., 1986. Vol.47. P. 205-218.

59. Kornai A., Tuza Z. Narrowness, pathwidth, and their application in natural language processing // Discrete Appl. Math., 1992. Vol.36. P. 87-92.

60. Leierson C. E. Area-efficient graph layouts for VLSI // Proceedings 21st Annual Symposium on Foundations of Computer Science, 1980. P. 270-281.

61. Lipton R. J., Tarjan R. E. Applications of a planar separator theorem // SIAM J. Comput, 1980. Vol.3. P. 615-627.

62. Lunegov S. V., Petrov N.N. Search problems on graphs // Proceedings of the 5-th IFAC Symposium "Nonlinear Control Systems" (NOLCOS 2001), July 4-6, 2001, Saint-Petersburg, Russia, 2001. P. 1022-1024.

63. Makedon F. S., Papadimitriou C. H., Sudborough I. H. Topological bandwidth // SIAM J. Algebraic Discrete Methods, 1985. Vol.6. P.418-444.

64. Makedon F. S., Sudborough I. H. Min Cut is NP-complete for edge weighted trees // Theor. Computer Sci., 1988. Vol.58. P. 209-229.

65. Megiddo N., Hakimi S.L., Garey M.R. et al. The complexity of searching a graph //J. Assoc. Comput. Mach., 1988. Vol.35. P. 18-44.

66. Mohring R. H. Graph problems related to gate matrix layout and PLA folding // Computational Graph Theory, Comuting Suppl. G. Tinhofer et al., eds, Springer Verlag, Wien, 1990. Vol.7. P. 17-51.

67. Parsons T. D. Pursuit-evasion in a graph // Theory and Applications of Graphs. Y. Alavi, D.R. Lick, eds, Springer-Verlag, 1978. Vol.642. P. 426-441.

68. Robertson N., Seymour P. D. Graph minors. I. Excluding a forest //J. Comb. Theory Series B,

1983. Vol.35. P. 39-61.

69. Robertson N., Seymour P.D. Generalizing Kuratowski's theorem // Congressus Numerantium,

1984. Vol.45. P. 129-138.

70. Robertson N., Seymour P. D. Graph minors. III. Planar tree-width // J. Comb. Theory Series B, 1984. Vol.36. P. 49-64.

71. Robertson N., Seymour P.D. Graph width and well-quasi ordering: a survwey // Proress in Graph Thery. J. A. Bondy and U. S. R. Murty, eds, Academic Press, Toronto, 1984. P. 399-406.

72. Robertson N., Seymour P.D. Disjoint paths —a survey // SIAM J. Alg. Discr. Meth., 1985. Vol. 6. P. 300-305.

73. Robertson N., Seymour P. D. Graph minors —a survey // Surveys in Combinatorics. I. Anderson, ed., Cambridge Univ. Press, 1985. P. 153-171.

74. Robertson N., Seymour P. D. Graph minors. II. Algoritmic aspect of tree-width. J. Algorithms, 1986. Vol. 7. P. 309-322.

75. Robertson N., Seymour P. D. Graph minors. V. Excluding a planar graph // J. Comb. Theory Series B, 1986. Vol.41. P. 92-114.

76. Robertson N., Seymour P. D. Graph minors. VI. Disjoint paths across a disc //J. Comb. Theory Series B, 1986. Vol.41. P. 115-138.

77. Robertson N., Seymour P. D. Graph minors. VII. Disjoint paths on a surface // J. Comb. Theory Series B, 1988. Vol.45. P. 212-254.

78. Robertson N., Seymour P. D. Graph minors. IV. Tree-width and well-quasi-ordering // J. Comb. Theory Series B, 1990. Vol. 48. P. 227-254.

79. Robertson N., Seymour P. D. Graph minors. VIII. A Kuratowski theorem for general surfaces // J. Comb. Theory Series B, 1990. Vol. 48. P. 255-288.

80. Robertson N., Seymour P.D. Graph minors. IX. Disjoint crossed paths //J. Comb. Theory Series B, 1990. Vol.49. P. 40-77.

81. Robertson N., Seymour P. D. Graph minors. X. Obstructions to tree-decomposition // J. Comb. Theory Series B, 1991. Vol.52. P. 153-190.

82. Robertson N., Seymour P. D. Excluding a graph with one crossing // Graph Structure Thery, Proceedings of the AMS-IMS-SIAM Joint Summer Research Conference, Neil Robertson and Paul Seymour, eds, Seattle WA, June 1991, Providence, RI, American Math. Soc. Contemp. Math., 1993. Vol. 147. P. 669-675.

83. Robertson N., Seymour P. D. Graph minors. XI. Distance on a surface // J. Comb. Theory Series B, 1994. Vol. 60. P. 72-106.

84. Robertson N., Seymour P. D. Graph minors. XIII. The disjoint paths problem // J. Comb. Theory Series B, 1995. Vol.63. P. 65-110.

85. Robertson N., Seymour P. D. Graph minors. XII. Excluding a non-planar graph // J. Comb. Theory Series B, 1995. Vol. 64. P. 240-272.

86. Robertson N., Seymour P. D. Graph minors. XIV. Extending an embedding // J. Comb. Theory Series B, 1995. Vol. 65. P. 23-50.

87. Robertson N., Seymour P. D., Thomas R. Structural description of lower ideals of trees // Graph Structure Thery, Proceedings of the AMS-IMS-SIAM Joint Summer Research Conference, Neil Robertson and Paul Seymour, eds, Seattle WA, June 1991, Providence, RI, American Math. Soc. Contemp. Math., 1993. Vol. 147. P. 525-538.

88. Robertson N., Seymour P. D., Thomas R. A survey of linkless embeddings // Graph Structure Thery, Proceedings of the AMS-IMS-SIAM Joint Summer Research Conference, Neil Robertson and Paul

Seymour, eds, Seattle WA, June 1991, Providence, RI, American Math. Soc. Contemp. Math., Providence, RI, American Math. Soc. Contemp. Math., 1993. Vol. 147. P. 125-136.

89. Robertson N., Seymour P. D., Thomas R. Quickly excluding a planar graph //J. Comb. Theory Series B, 1994. Vol. 62. P. 323-348.

90. Scheffler P. Optimal embedding of a tree into an interval graph in linear time // Fourth Czechoslo-vakian Symposium on Combinatorics, Graphs and Complexity Ann. Discr. Math., North-Holland, Amsterdam, 1992. P. 287-291.

91. Scheffler P. A linear algorithm for the pathwidth of trees In Collection: Topics in combinatorics and graph theory / R. Bodendiek, R. H., ed. Oberwolfach, Physica-Verlag Heidelberg, 1990. P. 613-620.

92. Seymour P.D., Thomas. R. Graph searching and a min-max theorem for tree-width // J. of Combin. Theory Ser. B, 1993. Vol. 58. P. 22-33.

93. Sugihara H., Suzuki I. On pursuit-evasion problem related to motion coordination of mobile robots // Proc. 21st Hawaii Internat. Conf. on System Sciences, Kailua-Kona, Hawaii, 1988. P. 218-226.

94. Sugihara H., Suzuki I. Optimal algorithms for a pursuit-evasion problem in grids // SIAM J. Discrete Math., 1989. Vol.2. P. 126-143.

95. Sugihara H., Suzuki I., Lee Y. C. Distributed algorithms for motion coordination of multiply objects // Proc. 30st Midwest Symposium on Circuits and System, Syracuse, New York, 1987. P. 652-655.

96. Suzuki I., Yamashita M. Searching for a mobile intruder in a polygonal region // SIAM J. Comput., 1992. Vol.21. P. 863-888.

97. Tosic R. Search number of the cartesian product of graphs // Zbornik Radova Prirodno-matematickog fakulteta Univerziteta u Novom Sadu, Serija za matematiku, 1987. Vol.17, 1. P. 239-243.

98. Wagner K. Uber eine Eigenshaft der ebenen Complexe // Math. Ann., 1937. Vol. 14. P. 570-590.

99. Yannakakis M. A polyminal algorithm for the min-cut lineal arrangement of trees // J. of ACM, 1985. Vol. 32. P. 950-988.

100. Ying S., Chunmei L., Xiuzhen H. et al. Efficient parameterized algorithms for biopolymer structure— sequence alignment // IEEE/ACM Transactions on Computational Biology and Bioonformatics (TCBB), 2006. Vol.3, N4. P. 423-432.

Статья поступила в редакцию 27 декабря 2012 г.

Теория гарантированного поиска на графах Текст научной статьи по специальности «Математика»

Аннотация научной статьи по математике, автор научной работы — Абрамовская Т. В., Петров Н. Н.

Похожие темы научных работ по математике , автор научной работы — Абрамовская Т. В., Петров Н. Н.

Текст научной работы на тему «Теория гарантированного поиска на графах»