
книги из ГПНТБ / Басакер Р. Конечные графы и сети
.pdf6.231 ДВА ПРИМЕРА ИЗ СТАТПСТИЧЕСКОП МЕХАНИКИ 269
Требуется найти производящую функцию числа до пустимых помеченных подграфов с k ребрами для поме ченного графа, который представляет собой «-мерную решетку. Подграф является допустимым, если все его
вершины имеют четную |
степень. Д о |
сих пор |
эта задача |
была решена только для |
/ г = 1 (Изинг) |
и / 1 = 2 |
(Онзагер) . |
Пример графа Изнпга приведен на рис. 6.56. Под робное рассмотрение задачи Изинга можно найти в ра боте [65] . Интересные работы по статистике решеток опубликованы Монтроллом. Работы сопровож даются хорошей библиографией.
Рассмотрим |
вторую |
интерес |
|
||||
ную |
задачу |
статистической меха |
|
||||
ники |
(решалась |
Монтроллом |
и |
|
|||
П ф а ф ф и а п с о м ) , |
которая |
возника |
|
||||
ет в |
теории |
абсорбции двухатом |
|
||||
ных |
молекул (димеров) |
на |
по |
Рис. 6.56. |
|||
верхностях. |
При этом |
к а ж д а я |
|||||
|
двухатомная молекула «прилипает» па плоскую решетку
так, |
что |
каждый |
из |
атомов попадает |
на узел решетки. |
||
З а д а ч а |
состоит |
в определении |
числа |
возможных |
соеди |
||
нений ближайших соседей на двухпериодической |
решет |
||||||
ке |
(прямоугольная |
решетка, |
к а ж д а я |
пара противопо |
ложных сторон которой объединена, в результате чего
образована |
решетка |
на |
торе) |
таких, |
при которых не |
|
остается пи |
одного |
узла решетки, не |
занятого |
атомом. |
||
Эта з а д а ч а эквивалентна определению числа |
спосо |
|||||
бов, которыми можно |
покрыть |
прямоугольную |
доску, |
разделенную на клетки, прямоугольными фишками, со
стоящими из |
двух |
клеток |
того |
ж е |
размера, что |
и на |
|
доске (типа |
домино) . Очевидно, |
доска |
д о л ж н а |
содер |
|||
ж а т ь четное |
число |
клеток |
и, кроме |
того, |
должна |
иметь |
четное число клеток, по крайней мере, вдоль одной стороны.
Более сложной математической задачей является задача раскладки, в которой требуется найти число спо собов покрытия двухмерной решетки п квадратами .
Причем квадраты |
могут |
быть |
двух |
типов: |
единичные |
|
и двойные. Считается, что |
n = |
/ii-|-2/i2, где |
щ — число |
|||
единичных |
квадратов, а |
— число |
двойных |
квадратов |
||
(см. т а к ж е |
раздел. |
6.13). |
|
|
|
|
270 ПРИКЛАДНЫЕ ЗАДАЧИ ТЕОРИИ ГРАФОВ [ГЛ. 6
6.24. Генетическая з а д а ч а
Бенцер [2] сформулировал следующую задачу о воз можных соединениях, допустимых конфигурацией хими ческих компонент генов. Если такими компонентами являются трехмерные молекулы, то они могут быть сое
динены |
вместе в соответствии с определенной структурой. |
|
Это объединение может быть представлено в |
трех |
|
мерном |
пространстве, е с л и . к а ж д о й молекуле |
постав |
лена в соответствие некоторая вершина и вершины сое динены прямыми линиями при наличии связи между соответствующими молекулами . Возникает вопрос, мож
но ли расположить молекулы на одной |
и той |
ж е пря- |
|||||
'мой линии так, |
чтобы они |
сохранили |
прежние связи? |
||||
' К а ж д а я |
молекула |
представляется при |
|
этом |
отрезком |
||
прямой. Если пара |
молекул |
связана, |
то |
соответствую |
|||
щие им отрезки взаимно перекрываются. Таким |
образом, |
||||||
з а д а ч а |
состоит |
в |
нахождении условий, |
при |
которых |
граф связей можно представить с помощью пересекаю щихся определенным образом отрезков одной прямой липни, т. е. необходимо так сопоставить отрезки с вер шинами, чтобы два отрезка пересекались тогда и только
тогда, когда они соответствуют смежным |
вершинам. |
Граф, который может быть представлен таким |
образом, |
будет называться графом отрезков. Например, |
треуголь |
ник можно представить на действительной оси перекры
вающимися отрезками (0, |
3), |
(1, 4) н |
(2, 5). С другой |
||||||||||
стороны, |
цикл, |
состоящий |
более |
чем |
из |
трех |
вершин, |
||||||
не может |
быть представлен рассматриваемым способом. |
||||||||||||
Было |
показано |
[59], |
что |
если |
граф |
не содержит |
ни |
||||||
одного из |
пяти |
типов |
подграфов, |
представленных |
на |
||||||||
рис. 6.57 |
(т. е. имеющих только те связи |
между |
верши |
||||||||||
нами, которые показаны на рисунке), то |
он |
может быть |
|||||||||||
изображен с помощью отрезков на прямой. |
|
|
|
||||||||||
Биологическая |
з а д а ч а |
в |
ее |
общем |
виде |
связана |
с |
мутантными генами. Требуется проверить соответствие линейной модели гена заданной информации о пересече-
кии (соединении) |
пар. |
|
|
|
Фалкерсон и |
Гросс показали, что |
задача |
|
определе |
ния графа отрезков является частным случаем |
следую |
|||
щей задачи, которую они решили: дана (0, |
1) |
матрица |
||
А (у, е, матрица, |
элементы которой |
равны |
0 |
или 1). |
6.24] |
ГЕНЕТИЧЕСКАЯ ЗАДАЧА |
'271 |
Найти условия, при которых можно путем перестановки строк матрицы получить новую матрицу, в к а ж д о м столбце которой единичные элементы расположены не посредственно друг за другом. Заметим, что сопостав ление графа произвольной матрице А оказывается не однозначным. Один из способов, например, состоит в.
|
4 (п+4 |
вершины; |
л ^ О |
|
|
|
Рис. 6.57. |
|
|
построении графа |
пересечений |
столбцов А. (Граф |
пере |
|
сечений семейства |
из п |
множеств получается, если |
к а ж |
дому множеству поставить в соответствие вершину и сое динить пару вершин ребром, когда соответствующие им множества имеют непустые пересечения.)
П р и решении сформулированной задачи вводится понятие графа «перекрытий» (отличается от «пересече
ний») |
и понятие |
графа |
компонент. |
|
Применительно к графу отрезков матрица А |
д о л ж н а |
|||
рассматриваться |
как |
матрица инциденций доминирую |
||
щих |
клик. (Множество вершин, к а ж д а я пара |
которых |
272 |
П Р И К Л А Д Н Ы Е З А Д А Ч И |
Т Е О Р И И |
Г Р А Ф О В |
[ Г Л . 6 |
соединена |
ребром, называется |
кликой |
графа. |
Если се- |
мество всех таких множеств вершин частично упорядо чено по множеству включении, то максимальные эле
менты называются |
доминирующими |
кликами |
графа . |
Учитывая, что две |
вершины связаны |
ребром |
тогда и |
только тогда, когда они принадлежат некоторой доми нирующей клике, можно считать, что матрица пицнденцнй доминирующих клик полностью определяет граф.) В результате граф является графом отрезков тогда и только тогда, когда единичные элементы во всех столб цах матрицы нпцпденций доминирующей клики распо ложены последовательно друг за другом. Гплмор и Гоф
ман |
[31] |
доказали, |
что граф G является графом отрез |
|
ков |
тогда |
и только |
тогда, когда к а ж д а я квадратная |
|
решетка |
в |
G имеет |
диагональ и к а ж д ы й цикл нечетной |
|
длины в |
дополнительном графе имеет треугольную хор |
ду. Треугольная хорда цикла, проходящего через вер
шины |
О ] v k , |
есть любое |
ребро (и,-, vi+2), |
l^LL^Lk—2, |
д А - ь |
У | ) "л» |
(У*, ^г) . |
|
|
|
З А Д А Ч И И З У Ч Е Н И Я Ч Е Л О В Е К А И О Б Щ Е С Т В А |
|||
|
|
6.25. Графы |
и кибернетика |
|
При чтении настоящего раздела читатель должен сравнить и противопоставить представленные здесь по
нятия и понятия раздела 6.30. |
В результате |
он |
обнару |
ж и т некоторое пересечение понятий, но общие |
идеи в |
||
этих двух разделах проявляются |
совершенно |
по-разному. |
Преобразования, обсуждаемые в данном разделе, т а к ж е являются более общими, по сравнению со специальным
преобразованием, |
при |
котором |
каждый |
член |
группы |
||||
отображается в новый член добавлением |
(в предполо |
||||||||
жении аддитивности |
группы) некоторого |
фиксированно |
|||||||
го члена |
группы. |
|
|
|
|
|
|
|
|
Понятия изменения |
и |
выбора |
являются |
важнейшими |
|||||
в биологии и эволюции. Рассмотрим вначале |
понятие |
||||||||
изменения, например |
изменение |
цвета |
человеческой ко |
||||||
ж и под воздействием солнечных лучей. Назовем |
бледную |
||||||||
кожу операндом, |
темную |
кожу — результатом |
преобра |
||||||
зования, |
солнечный |
свет — оператором, |
а |
само |
измене- |
6.25] |
Г Р А Ф Ы И |
К И Б Е Р Н Е Т И К А |
273 |
|
мне — переходом. |
Переход |
может |
быть |
представлен |
в виде |
|
|
|
|
Бледная к о ж а — ^ т е м н а я |
кожа . |
|
Множество переходов, выполняемых одним операто ром на множестве операндов, будем называть преобра зованием. Схематически преобразование может быть представлено в виде
| a b с
\ а' Ь' с'
Преобразование замкнуто, если множество результа тов преобразований не содержит элементов, которые не принадлежат множеству операндов. Так, преобразование
| a b с
Ь с а а
замкнуто.
Преобразование является однозначным, если оно пе реводит один операнд точно в один результат преобра зования (множество результатов преобразования может содержать одинаковые элементы) . Так,
| a b с \ с а а
является однозначным преобразованием. С другой стороны,
| |
a |
b |
с |
|
I |
с или |
d е или / |
g или |
h |
не является однозначным. |
взаимно |
однозначным, |
||
Преобразование |
называется |
если множество результатов не содержит одинаковых элементов. Например,
| a b с Ь с a b
есть взаимно однозначное преобразование, а
| a b с I с а а
им не является.
18 Р Басакер, Т. Саати
274 |
ПРИКЛАДНЫЕ ЗАДАЧИ ТЕОРИИ |
ГРАФОВ |
[гл. е |
|
|
Р а с с м о т р им теперь пример применения последова тельных однозначных преобразований к некоторому множеству операндов, который проиллюстрирует прин цип «выбора» па множестве операндов:
A B C D E F G H 1 J K L M N O P Q R S T U V W X Y Z D I F F E R E N C E B E T W E E N A M E R M A I D A F C R R E A E W F E I E E A E E W D T E A T D C F D R F A A E D E A R E C E E D E E A F E E D E F F R F A R D D E F E D A E F E E F E E D R E E F E R R A R
(вторая |
строчка |
является частью предложения, |
взятого |
|
из произведения |
М а р к а Твена |
«Письма с З е м л и » ) . За |
||
метим, |
что у ж е |
после четырех |
преобразований |
исходное |
множество из 26 элементов сводится к множеству из 5. Выполненные выше последовательные преобразования
Р |
J |
Рис. 6.58. |
|
могут быть представлены ориентированным графом, ко
торый Эшбн |
называет кинематическим |
(рис. 6.58). З а м е |
||||||||
тим, |
что вершины, п р и н а д л е ж а щ и е контурам |
(или |
пет |
|||||||
л я м ) , |
при |
последовательных |
преобразованиях |
не |
уда |
|||||
ляются. Контуры в кинематическом |
графе |
называются |
||||||||
бассейнами |
равновесия, |
так |
|
как они |
инвариантны |
или |
||||
меняются |
периодически |
при |
последовательных |
преобра |
||||||
зованиях. |
В |
эволюционной |
|
терминологии |
|
элементы, |
||||
п р и н а д л е ж а щ и е контурам, |
называются выживающими |
|||||||||
при |
данном |
преобразовании. |
(Элементы |
в |
исходном |
множестве операндов могут представлять собой совокуп
ность генов, подверженных |
облучению.) |
Заметим, что |
|||
ни один |
из |
элементов не |
теряется при |
преобразовании |
|
только |
в |
случае,, когда |
это |
преобразование является |
6.25] ГРАФЫ И КИБЕРНЕТИКА 275
взаимно однозначным. В терминах теории графов полу чим следующую теорему.
Теорема 6.11. Кинематический граф состоит из не скольких простых контуров, не имеющих общих вершин,
тогда и только тогда, когда преобразование |
взаимно |
|
однозначно. |
|
|
Д о к а з а т е л ь с т в о . Если |
преобразование |
взаимно |
однозначно, то отрицательная |
и положительная |
степени |
каждой вершины равны единице. Таким образом, дуги могут быть разбиты на простые контуры, которые обя зательно ие будут иметь общих вершин.
Сдругой стороны, если дуги образуют множество
контуров, ие имеющих общих вершин, то положительная и отрицательная степени каждой вершины равны еди нице и преобразование является взаимно однозначным.
Кинематический |
граф |
тождественного |
преобразования |
|||||||||
|
|
|
|
|
|
I |
a |
b |
с |
|
|
|
|
|
|
|
|
|
\ |
а |
b |
с |
|
|
|
состоит из /г = 3 |
петель |
(рис. |
6.59). Если |
преобразование |
||||||||
ие является |
взаимно |
однозначным, |
то для выбора ми |
|||||||||
нимального |
числа |
элементов |
оно |
должно применяться |
||||||||
столько раз, сколько дуг содержится в |
длиннейшем из |
|||||||||||
путей |
от |
вершины |
|
вне |
|
|
|
|
|
|||
контура до первой верши |
О |
О |
|
О |
||||||||
ны в |
контуре. |
|
|
|
|
|
|
|||||
С |
биологической |
|
точки |
|
||||||||
зрения для |
Эшби |
важно, |
|
о- |
|
Ъ |
г, |
|||||
что при любом преобра- |
|
|
р , | с |
6.59. |
|
|||||||
зовании, отличном от вза |
|
|
|
|
|
|||||||
имно |
однозначного, |
|
многообразие |
множества |
элементов |
будет убывать и никогда не может возрасти. Применяе мое преобразование будет «выбирать» некоторое под
множество исходного |
множества. |
|
|
|
|
|||
Преобразование можно представить матрицей вер |
||||||||
шин, например: |
|
|
|
|
а |
ь |
с |
|
|
|
|
|
|
||||
\ а |
b |
с |
П р е д С Т а в л я е т с я а 0 0 |
1 |
||||
\ с |
а |
а |
как |
Ь |
1 |
0 |
0 |
|
с |
1 |
0 |
0 |
|||||
|
|
|
|
З а д а ч а |
определения элементов, которые будут выбирать |
ся при |
m-кратном повторении преобразования, эквнва- |
18* |
|
276 ПРИКЛАДНЫЕ ЗАДАЧИ ТЕОРИИ ГРАФОВ [ГЛ. G
лентна задаче определения столбцов матрицы, которые содержат положительные элементы после возведения матрицы в т - у ю степень.
Матрица взаимно однозначного преобразования яв ляется единственной матрицей однозначного преобразова
ния, содержащей |
единичный элемент |
в |
к а ж д о й |
строке и |
|
к а ж д о м столбце. |
Следовательно, |
это |
единственная мат |
||
рица, которая может быть примитивной. Таким |
образом, |
||||
|
|
| a |
b |
с |
|
|
а |
0 |
0 |
1 |
|
|
дает 6 |
1 0 |
0 |
|
|
|
с |
0 |
1 |
о |
|
Третья степень этой матрицы есть матрица, все эле менты которой равны единице. Матрица будет прими тивной только в том случае, если кинематический граф связен. В противном случае будут существовать k прими тивных подграфов. Рассмотренный подход может быть обобщен на многозначные преобразования, эквивалент ные марковским цепям.
Кроме понятия изоморфизма преобразований, кото рое совпадает с понятием изоморфизма графов, Эшбн
определил |
понятие |
гомеоморфизма |
преобразований. |
||||
Требования для гомеоморфизма менее жесткие, |
чем для |
||||||
изоморфизма . Д в а |
множества |
операндов |
гомеоморфны, |
||||
если применение |
преобразования объединения |
к более |
|||||
сложному |
множеству |
может |
свести |
его к |
множеству, |
Рас. 6.60. |
|
которое изоморфно с более простым. В |
терминах гра |
фов два графа будут гомеоморфиыми, |
если соответ |
ствующее стягивание подграфов графа с большим чис лом вершин в отдельные вершины дает граф, который изоморфен более простому графу. Д в а графа па рис. 6.60 гомеоморфны.
П Р И М Е Н Е Н И Я В |
С О Ц И О Л О Г И И |
277 |
6.26. Применения |
в социологии |
|
Ориентированный граф |
может быть |
использован |
для представления общественной иерархии или родства. Рассмотрим простой пример [91] . Пусть имеется семен
ная |
группа, состоящая |
из |
Дэвида |
( D ) , его сына |
Д ж о н а |
|
(J) |
и дочери |
Г р е й с ( G ) , |
жены Д ж о н а Сильвии |
(S) и |
||
двух |
сыновей |
Майкла |
(М), Ричарда |
(R), дочери |
Эмилии |
л
Граф отношения Р(сынкого-то} |
Граф отнои/еная @(ре/?ет/пк.п7го-го) |
Рпс. |
6.61. |
(Е) |
и сына |
Грейс Бена |
(В) . |
Связи Р |
(означает чей-то |
сын) |
и Q |
(означает |
чей-то |
ребенок) |
иллюстрируют |
ся ориентированными графами рис. 6.61. Соответствую
щие матрицы для этих графов |
имеют |
|
вид |
* |
|||||||
|
D |
G |
в |
J |
s |
E |
R |
|
M |
|
|
D / 0 0 0 0 0 |
0 |
0 |
|
0 |
\ |
|
|||||
G |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
|
0 |
|
|
в |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
|
0 |
|
|
J |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
|
0 |
|
|
S |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
|
0 |
|
|
Е |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
|
0 |
|
|
R |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
|
0 |
|
|
М |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
|
o, |
|
|
|
D |
G |
в |
J |
s |
|
E |
R |
|
|
|
D |
'0 |
0 |
0 |
0 |
0 |
|
0 |
0 |
|
°1 |
|
|
1 |
0 |
0 |
0 |
0 |
|
0 |
0 |
|
|
|
G |
|
|
0 |
|
|||||||
в |
0 |
1 |
0 |
0 |
0 |
|
0 |
0 |
|
0 |
|
J |
1 |
0 |
0 |
0 |
0 |
|
0 |
0 |
|
0 |
|
S |
0 |
0 |
0 |
0 |
0 |
|
0 |
0 |
|
0 |
|
Е |
0 |
0 |
0 |
1 |
1 |
|
0 |
0 |
|
0 |
|
R |
0 |
0 |
0 |
1 |
1 |
|
0 |
0 |
|
0 |
|
М |
,0 |
0 |
0 |
1 |
1 |
|
0 |
0 |
|
oj |
|
278 ПРИКЛАДНЫЕ ЗАДАЧИ ТЕОРИИ ГРАФОВ [ГЛ. 6
Взяв произведение матриц, |
получим |
|
матрицу |
отноше |
||||||||||||||
ний |
|
PQ |
(сын |
ребенка, т. е. чей-то |
внук): |
|
|
|
|
|
||||||||
|
|
|
|
|
D |
D |
с. |
в |
J |
S |
Е |
R |
|
м |
|
|
|
|
|
|
|
|
|
0 |
0 |
0 |
0 |
0 |
0 |
0 |
|
0\ |
|
|
|
|
|
|
|
|
|
|
G |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
|
0 |
|
|
|
|
|
|
|
|
|
в |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
|
0 |
|
|
|
|
|
|
|
|
|
J |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
|
0 |
|
|
|
|
|
|
|
|
|
S |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
|
0 |
|
|
|
|
|
|
|
|
|
Е |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
|
0 |
|
|
|
|
|
|
|
|
|
R |
г |
0 |
0 |
0 |
0 |
0 |
0 |
|
0 |
|
|
|
|
|
|
|
|
|
М . 1 |
0 |
0 |
0 |
0 |
0 |
0 |
oj |
|
|
|
|||
Рассмотрим еще одни пример. |
|
|
|
|
|
|
|
|
|
|||||||||
|
Ставился эксперимент по изучению эффективности |
|||||||||||||||||
схем |
связи. К а ж д о м у |
из |
пяти |
|
лиц, участвовавших в экс |
|||||||||||||
перименте, выдавалось |
|
пять |
|
символов |
|
из |
шести |
[57] |
||||||||||
следующих: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
Д |
+ |
|
|
• |
|
|
* |
|
О |
|
|
|
о |
|
|
В к а ж д о м опыте все участники имели |
|
только |
один |
об |
||||||||||||||
щий |
символ. |
Д л я |
каждого |
|
участника |
|
фиксировалось |
|||||||||||
число сообщений и время, необходимое |
для опознава |
|||||||||||||||||
ния |
|
<*бщего |
символа. |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Использовались |
четыре схемы |
связей, |
изображенные |
|||||||||||||||
на |
рис. |
6.62 |
(предполагается, |
|
что |
связь |
по |
любому |
реб |
|||||||||
ру |
возможна |
в двух |
направлениях) . Эти |
схемы |
предпо |
|||||||||||||
л а г а ю т возрастание |
степени |
централизации |
для |
лица С |
||||||||||||||
|
|
|
С |
|
|
|
С |
|
|
А |
В |
|
А |
|
|
|
Б |
|
и степени изоляции для других четырех лиц. Структура графов обеспечивает гибкость связи, т. е. при любой схеме существует несколько способов передачи инфор мации и лидер может представляться любой из вершин (наиболее часто лидером было лицо С ) .