1 РОССИЙСКАЯ АКАДЕМИЯ НАУК ВЫЧИСЛИТЕЛЬНЫЙ ЦЕНТР

advertisement
РОССИЙСКАЯ АКАДЕМИЯ НАУК
ВЫЧИСЛИТЕЛЬНЫЙ ЦЕНТР имени А.А.Дородницына
На правах рукописи
ВОБЛЫЙ Виталий Антониевич
НЕКОТОРЫЕ ЗАДАЧИ ПЕРЕЧИСЛЕНИЯ
ПОМЕЧЕННЫХ СВЯЗНЫХ ГРАФОВ
01.01.09 - дискретная математика и математическая кибернетика
АВТОРЕФЕРАТ
диссертации на соискание ученой степени
доктора физико-математических наук
Москва - 2008
2
Работа выполнена в отделе математических проблем
распознавания и методов комбинаторного анализа
Вычислительного центра имени А.А.Дородницына РАН
Научный консультант:
Доктор физ.-мат. наук, профессор ЛЕОНТЬЕВ В.К.
Официальные оппоненты:
Доктор физ.-мат. наук, профессор САПОЖЕНКО А.А.
Доктор физ.-мат. наук, профессор ГОРДЕЕВ Э.Н.
Доктор физ.-мат. наук СМЕТАНИН Ю.Г.
Ведущая организация: Институт системного
программирования РАН
Защита состоится “
“ февраля 2009 г. в “
“ час.
на заседании диссертационного совета Д 002.017.02
при Вычислительном центре имени А.А.Дородницына РАН
по адресу: 119333, г. Москва, ул. Вавилова, д.40.
С диссертацией можно ознакомиться в библиотеке ВЦ РАН.
Автореферат разослан “
Ученый секретарь
диссертационного совета,
д.ф.-м.н., профессор
“ _____________ 2009 г.
В.В. Рязанов
3
ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ
Актуальность темы. Важным разделом теории графов является
теория их перечисления, имеющая многочисленные приложения не
только в математической кибернетике, но и в таких областях естествознания, как структурная химия и статистическая физика .
У истоков теории графов лежат работы А. Кэли по перечислению помеченных деревьев и связанных с ними химических структур, опубликованные в 1857-1889 гг. Однако только во второй половине двадцатого
столетия бурный прогресс вычислительной техники и кибернетики
обусловил интенсивное развитие всей дискретной математики и в том
числе теории перечисления графов.
Обычно задачам перечисления помеченных графов уделяется мало
внимания, так как они считаются более простыми по сравнению с непомеченным случаем [1]. Но в ряде физических задач, как например, в
классической статистической механике [2-4] используются именно
помеченные графы, поэтому перечисление таких графов является актуальной задачей. Хотя теория перечисления помеченных связных графов
развивается уже в течение 50 лет, интерес к этой области перечислительной комбинаторики не пропал, о чем говорят работы зарубежных исследователей последних лет [5-9].
Комбинаторика находится в тесном взаимодействии с теорией
вероятностей. Если на множестве исследуемых графов задано равномерное распределение вероятностей, то числовые характеристики этих
графов можно рассматривать как случайные величины. Поэтому во
многих случаях из решения перечислительной задачи теории графов
можно вывести следствия, характеризующие свойства и структуру
соответствующих случайных графов.
4
Результаты перечисления помеченных графов применяются для их
случайной генерации и анализа эффективности алгоритмов[6].
Цель работы. Перечисление некоторых классов помеченных связных
графов, нахождение явных формул и соответствующей асимптотики,
а также упрощение ряда результатов в этой области, полученных другими исследователями.
Методы исследований. В работе использованы методы теории
графов, комбинаторного анализа, теории функций комплексного
переменного и теории специальных функций математической физики.
Научная новизна. Все основные результаты диссертации являются
новыми.
Теоретическая и практическая ценность. Работа носит теоретический характер. Полученные результаты могут найти применение для
генерации помеченных графов и анализа эффективности алгоритмов,
а также в статистической физике.
Апробация работы. Основные результаты диссертации докладывались и обсуждались на семинаре отдела математических проблем распознавания и методов комбинаторного анализа Вычислительного
Центра имени А.А.Дородницына РАН, а также были представлены на
Международных конференциях «Вероятностные методы в дискретной
математике» (Петрозаводск, 1988, 2000, 2004), на Международных
семинарах «Дискретная математика и ее применения»(Москва, 2001,
2004, 2007), на Всероссийских симпозиумах по прикладной и промышленной математике (Сочи, 2005, 2007).
Публикации. Материал диссертации опубликован в 8 статьях (все
опубликованы в журналах из списка ВАК) и 8 тезисах докладов. Все
статьи написаны без соавторов. В одной статье использованы идеи
Г.Н. Багаева.
Структура и объем работы. Диссертация состоит из введения, 6
глав и списка литературы, содержащего 121 название. Общий объем
диссертации 138 страниц.
КРАТКОЕ СОДЕРЖАНИЕ РАБОТЫ
Во введении обосновывается актуальность темы и дается краткое
содержание работы.
В первой главе исследуются помеченные связные графы с заданным числом вершин и точек сочленения. Обозначим через S m n –
число помеченных связных графов с
n вершинами, из которых m
5
точки сочленения, а через Sm (z ) - соответствующую экспоненциальную

zn
.
n!
производящую функцию: S m ( z )   S mn
n 2


m 0
n2
m
Пусть S ( x, z )   S m ( z ) x , а B( z )   Bn
zn
, где Bn – число
n!
помеченных блоков с n вершинами. Очевидно, S 0 ( z )  B( z ) .


S1 ( z )  z e B z   B( z )  1 .
Йинг-Ли Джин и Селков нашли, что
Кроме того, Селков [10] вывел следующее дифференциальнофункциональное уравнение для S ( x, z ) :
z
S
S
S
S 

x
 zB z  xz
 x (1  x ) 
z
x
z
x 

и получил асимптотику для S m n при n   и фиксированном m .
В работе из уравнения Селкова при m  1 выведено обыкновенное
дифференциальное уравнение для S m (z ) :
zS m ( z )  mSm ( z ) 
1
Ym ( fa1 , f  2!a2 ,..., fm!am ) ,
m!
где Ym ( fg1 ,..., fgm ) – многочлены разбиений Белла и
f k  f k  z k 1 B k 1 ( z ),
ai  S i1 ( z ) 
i
i 1
Si ( z ) 
S i 1 ( z ) .
z
z
Как следствие получено выражение для S 2 ( z )
S2 ( z) 
2
1 2
z Bz e B z   1 .
2
Далее в работе найдено явное решение уравнения Селкова в виде
формулы, содержащей энумератор помеченных блоков по числу
вершин.

m
zm
Sm ( z) 
B( z )e B z   1
m!

( m 2 )
,m2
6
Затем дано комбинаторное доказательство этой формулы и получена
следующая асимптотика для m  on  при n  
n  2!
 n  12 n  m n  m 1
Smn ~
 2
.
n  m  2!  m 
Во второй главе рассматриваются связные гомеоморфно несводимые графы. Сначала излагается метод сжатия-разжатия Багаева [11].
Суть метода состоит в следующем.
Для перечисления графов заданного вида в каждом графе выделяется порожденный подграф с определенными структурными свойствами, который сжимается в особую вершину. Образовавшиеся графы,
содержащие фиксированную (особую) вершину с заданной степенью,
а также сжатые подграфы независимо перечисляются известными
методами перечисления. Перечисление исходных графов завершается
суммированием по всем возможным степеням особой вершины произведений числа сжатых подграфов, числа графов, образовавшихся после
сжатия, и числа способов восстановления (разжатия) исходного графа.
Как эпизод прием сжатия-разжатия графов встречается у Муна,
а также у В.Н.Сачкова. В последнее время метод сжатия-разжатия
находит применение за рубежом [5].
Обозначим через C p n, k  – число помеченных связных графов с n
вершинами, из которых k висячих, а p внутренних. Методом сжатияразжатия для 0  k  n  p, p  3 , доказана формула
C p n, k  
n!V p
k!  p  1!
S p n  p  1, n  p  k  ,
где S p n, k  — нецентральные числа Стирлинга второго рода, которые
определяются с помощью производящей функции

k
wn 1 w
S p ( n, k )
 e  1 e pw .

n! k!
n 0
7
Затем во второй главе перечисляются точно и асимптотически помеченные связные гомеоморфно несводимые разреженные графы .
Обозначим через h p,q (h*p,q ) – число помеченных простых (связных)
гомеоморфно несводимых графов с p вершинами и q ребрами, а через
H ( x, y )( H * ( x, y )) – соответствующую экспоненциальную производящую
функцию. Джексон и Рейли [12] вывели формулу
H ( x , y )   h p ,q
p ,q
 xy x 2 y 2 
xq y p
 (1  xy ) 1 / 2 exp  
 
p!
2
4


j

 1 2 2 
j ( j 1) / 2

2
 x y 

  x y 
1



 .
   (1  x ) exp 
y exp  2
 
j
!
1

xy
1

xy

j 0

 








Кроме того, в силу теоремы Гильберта, H * ( x, y )  ln H ( x, y ) .
Таким образом, задача перечисления помеченных связных гомеомофно
несводимых графов в принципе была решена. Однако получение
асимптотики из формул Джексона-Рейли представляется затруднительным. Поэтому в работе предложен другой подход к перечислению
рассматриваемых разреженных графов.
Пусть V m   p, p  q — число помеченных гладких графов с р
вершинами, из которых m – узлы, и  p  q ребрами. Введем производящую функцию
m 
Vq

w  V
p 3
m 
wp
 p, p  q  .
p!
С помощью метода сжатия-разжатия выводится, что при

производящая функция
Wq z    HC n, n  q 
n 6
q0
zn
для числа HC n, n  q
n!
связных гомеоморфно несводимых графов с n помеченными вершинами
и n  q  ребрами удовлетворяет соотношению
8
m m 
z m d Vq w
Wq z   
dw m

m 0 m!
w1 z G
2q
z 

 z
 1 z 
,
где Gw — производящая функция чисел помеченных корневых дере-
n n1wn
Gw  
.
n!
n 1

вьев:
Пусть HU p n  – число помеченных связных гомеоморфно несводимых
унициклических графов с n вершинами, из которых p циклических,
тогда при n  2 p , как следствие, получена формула
j 1
n! n p p
n k  j  p  n  p  1 k  j  k 
HU p n  
.
  1  k  j  1  j!
2 p j  p k 1
 

При фиксированном q, q  0 , и n   методом Дарбу доказана
асимптотическая формула
q 1
 3
q
  q! d q 
n
1
 5q 
n  5 q 1  e  1  2
2
  ,
HC n, n  q  ~ hq n 2
1

 , где hq 
5 q1 2 q 
2q
5
q


e


  12 2
e  
 2

а d q – коэффициенты Степанова-Райта.
В третьей главе перечисляются помеченные связные графы с заданным количеством висячих вершин.
Рид [13] получил в виде разностного уравнения решение задачи
перечисления помеченных связных графов с заданным числом висячих
вершин. Райт [14] дал точные и асимптотические формулы для числа
помеченных связных разреженных графов без висячих вершин.
Автором получено решение уравнения Рида в виде формулы,
выражающей число помеченных связных графов с заданным количеством висячих вершин через число таких графов без висячих вершин.
Затем с помощью этой формулы и результатов Райта найдена
9
асимптотика числа помеченных связных разреженных графов с
заданным количеством висячих вершин .
Пусть C p n, k  - число помеченных связных графов с n вершинами,
из которых k – висячие, а p – внутренние, то есть циклические или
принадлежат
простой
цепи
между
циклами.
Обозначим
через
V p  C p  p,0 – число помеченных связных графов с p вершинами,
среди которых нет висячих. При любых p  3 и 0  k  n  p доказана
формула
C p n, k  
n!
Annppk1  p V p
k!  p  1!
,
n
где Ak s  обобщенные числа Стирлинга 2-го рода по базе k  sk  0 .

n
Так как числа Ak  p  совпадают с нецентральными числами Стирлинга
второго рода S p n, k  , то эта формула совпадает с формулой, полученной
во второй главе методом сжатия-разжатия.
Пусть cn, n  q, k  – число помеченных связных графов с n вершинами
и n  q , ребрами, причем k вершин
висячие. При фик-
сированных k  0 , q  0 и n   с помощью теоремы Харди-Литтлвуда
получена асимптотическая формула
cn, n  q, k   kq n2k  3q 1n!1  o1,
 kq
где
q
3d q q!
 3
 
, а d q – коэффициенты Степанова 2  k!(2k  3q  1)!q!!
Райта.
Графом-гусеницей или колючим графом назовем граф, который становится гладким после однократного удаления висячих вершин вместе
с инцидентными им ребрами. Пусть CC(n, n  q) – число помеченных
графов-гусениц с n вершинами и n  q ребрами, тогда при фиксированном q  0 и n   получена асимптотическая формула
10
q
 3
3 2   q! d q
2
CC(n, n  q) ~
n n  3q 1 / 2 (be)  n ,
3q
(b  1) (3q)!
где b  0.5671 – корень уравнения ze z  1 , а d q –коэффициенты
Степанова-Райта.
В четвертой главе находится асимптотика чисел, удовлетворяющих
квадратичному разностному уравнению типа свертки, и рассматриваются ее приложения.
В работах многих авторов асимптотика числа помеченн ы х связных разреженных графов выражается с помощью коэффициентов, задаваемых квадратичным рекуррентным соотношением. Эти коэффициенты
названы Г.Н. Багаевым коэффициентами Степанова-Райта. Они определяются следующим образом
n 1
5
dd
d1  d 2  , d n1  d n   s ns , n  2.
n
36
s 1
n  1 
s
Райт нашел приближенное значение предела, к которому стремятся
эти коэффициенты при n   , а Г.Н. Багаев и Е.Ф. Дмитриев без доказательства дали точное значение этого предела [15].
Автором при n   получена асимптотика: d n ~
1
.
2
Кроме того, для коэффициентов Степанова — Райта выведено линейное
разностное уравнение, а также найдены явные выражения в виде определителя и суммы по всем разбиениям номера коэффициента.
Коэффициенты Степанова-Райта называются за рубежом константами Райта и числами Райта-Лушара-Такача, они применяются также в
теории броуновского блуждания [16] и теории хэширования [17].
11
Райт [18] выразил асимптотику числа помеченных блоков с помощью следующих чисел, которые назовем коэффициентами Райта :
b1 
1
5
, b2 
и при k  2 выполнено
12
48
k 1


2k  1bk 1  3k  2  kbk  3 sk  s bs bk s .
s 1


При n   выведена асимптотическая формула
n
1  3
bn ~
  n  1!
2e  2 
Пусть qn – число помеченных 3-связных кубических графов с 2n
вершинами. Вормальд [19] получил формулу
qn 
(2n)!
rn ,
3n2 n
n 2
где r2  1 и при n  2 верна рекуррентность rn  (3n  2)( rn 1   rk rn k .
k 2
Автором при n   доказана асимптотика
e 2
 3
qn ~
(2n )! (n  1)!   .
2
2
n
Она совпадает с асимптотикой для qn , полученной Вормальдом другим
путем.
В заключение рассматривается квадратичное разностное уравнение
n
an 1  (n   )an    a s an  s , n  0 , a0  a .
s 0
При n   и 2a0    1  0 найдена асимптотическая формула
n 2a0  1n!
an 
(1  o(1)) .
(a0 )(a0   )
Как следствие этой общей формулы получается асимптотика для
коэффициентов Степанова-Райта.
12
В пятой главе исследуются регулярные и бирегулярные графы .
Пусть CPn , CM n и C n - соответственно, число кубических псевдографов, число кубических мультиграфов и число простых кубических
графов с 2n помеченными вершинами. Рид [20] получил формулы
(2n)! n 2i
(6i  2 j )!6 j A1 ( j )
,
CPn  n 
6 i 0 j 0 (3i  j )! (2i  j )! j! (n  i )!48i
(2n)! n 2i
( 1) j (6i  2 j )!6 j A1 ( j )
,
CM n  n 
6 i 0 j 0 (3i  j )! (2i  j )! j! (n  i )!48i
(2n)! n 2i
( 1) j (6i  2 j )!6 j A1 ( j )
,
Cn  n 
6 i 0 j 0 (3i  j )! (2i  j )! j! (n  i )!48i
q
 2 
p k q!
где Ap ( q)  
.
k 0 ( q  2k )! k!
В работе получены, интегральные представления
1
Cn 
 6n

  t 1  3t 
e t
n
  
dt ,
(
3
t

1
)
H
2n  
0 t
  3 2  3t  1 

  t 1  3t 
e t
n
   
dt ,
(
3
t

1
)
H
2
n
0 t
3
2
3
t

1



1
CM n 
 6n
1
CPn 
 6n

  t 1  3t 
e t
n
   
dt .
(
3
t

1
)
H
2
n
0 t
3
2
3
t

1




С помощью метода расщепления Егорычева вводятся числа
m
1
  t 1  3t 
1  t n  2 
1


Cn ( m) 
e
t
1

H

 m   3  2  3t  1 dt .
3
t
 2 n 0




При этом Cn  Cn (2n) . Затем найдена производящая функция


1
2v
3u
exp   v 2  v 
2v 
 3 
3
2
u 2v
n 0 m 0


1 
2 3
из которой методом Бендера [21] получена асимптотика при n  
n
e 2  3 
Cn ~
  n!(2n)! .
2n  2 


F ( u, v )    C n ( m )
un vm

n! m!
13
Эта асимптотика совпадает с асимптотикой, полученной Ридом в его
диссертации (доказательство не опубликовано).
Следуя Риду, назовем
(p,q) – бирегулярным графом двудольный
граф, у которого все вершины из 1-й доли имеют степень р, а из 2-й доли
– степень q. Рид получил для числа помеченных общих (допускаются
петли и кратные ребра) ( p, q) -регулярных графов выражение в виде
скалярного произведения цикловых индексов композиций симметрических групп: N {Z ( Eqn / h [ S p ]) * Z ( E pn / h [ S q ])} .
Пусть Ln k  - число помеченных общих (2,k)-бирегулярных графов
с kn вершинами в 1-й доле и 2n вершинами во 2-й доле. Автором
получено интегральное представление
 1kn kn!  e 
 2 kn k !2 n 
Ln k  
2
H k2 n i d ,
где H k  x  - многочлен Эрмита, а i – мнимая единица .
В качестве следствия найдены формулы
(3n )! ( 2n )! (2n )! 1 / 23n  3 
1
Ln (2)  (2n )! (2n )! L21n/ 22 n   , Ln (3) 
L2 n
 ,
n!18 n
2
2
где Ln (x ) – многочлен Лагерра. Получена также общая формула
Ln k  
2kn! F ( 2n)   k , ... ,  k ;

B
2n
2
2kn k !
 2
(n )
где FB
1 k
1 k 1

, ... ,
; - kn; - 1 , ... , - 1
2
2 2

– гипергеометрическая функция Лауричеллы n переменных
2-го рода. Из интегрального представления для Ln k  методом Лапласа
при фиксированном k и n   найдена асимптотика
Ln k   e
k 1
2
2kn! 1  o(1) 
2n
.
2 kn k !
14
Пусть M n k  – число помеченных без кратных ребер (2,k)-бирегулярных графов с kn вершинами в 1-й доле и 2n вершинами во 2-й доле.
Получено интегральное представление
M n k  

kn!
e
2n 
kn
 2 k !  
2
H k2 n  d ,
где H k (x ) – многочлен Эрмита.
В качестве следствия получены формулы
(3n)!(2n)!(2n)! 1 / 23n  3 
 1
M n (2)  (2n)!(2n)! L21n/ 22 n    , M n (3) 
L2 n
  ,
n!18 n
 2
 2
где Ln (x ) – многочлен Лагерра.
Число остовных деревьев графа является важной характеристикой
его надежности как сети для передачи информации. В химии число
остовных деревьев молекулярного графа связано с физическими свойствами сложного соединения.
Пусть G – регулярный граф степени k с n вершинами, а T (G ) –
число его остовных деревьев. Для максимального числа остовных
деревьев графа G известна простая оценка Кельманса -Бигса:
n 1
1  nk 
e n 1
T (G )  
.
  k
n  n 1
n
Известна также точная оценка Маккея [22]:
(k  1) k 1
A log n
n
T (G) 
(ck ) , где ck  2
(k  2k ) ( k / 2 )1
nk log k
Для числа остовных деревьев T (G ) регулярного графа G степени k с n
вершинами получена оценка сверху
 2k 2  2k  1 
c n1
T (G )  k exp 
n  , где c  e137 / 60 .
3
n
4k


Эта оценка является при n   , k   в некотором смысле асимптотически точной для бесконечной последовательности регулярных
графов. Кроме того, доказано, что для k ~ c1n  при n   , 0    1 ,
первые два члена асимптотического разложения для полученной оценки
и оценки Маккея совпадают.
15
В шестой главе рассматриваются задачи перечисления карт.
Комбинаторные карты имеют приложения в теоретической физике
(дискретная квантовая гравитация)[23], а также в стереохимии. В работе
упрощены некоторые формулы для числа карт на поверхностях,
полученные другими исследователями, и найдена соответствующая
асимптотика. Выведены два комбинаторных тождества :
 m - 2n  1 
1
n
!
Г
i


n
 n  m   1 
2

,
 
   

m  2n ,
 m  1
i  0  i  n  i   2 
2n Г 

 2 
 2i  i i  2n  2  n1
2  
1 , n  0 ,
 
2

i 0  i  i  1
 n 1 
n
отсутствующие в известных сборниках таких тождеств .
Пусть сn – число общих корневых кубических планарных карт
(допускаются петли и кратные ребра) с 2n  1 некорневыми вершинами,
n  2. Лью [24] получил формулу:
22 n  i 1 n  i  1!2n  i  1!
сn  
.
i  0 i! n  i  1!n  1! n  2 !
n 1
С помощью первого тождества формула для c n существенно упрощена
3n
)
2
сn  6
n
( n  2)! ( )
2
8 n (
,
затем из нее при n   с помощью формулы Стирлинга найдена
асимптотика :
cn ~
6


3
2
n (12 3) n .



n 1
n2
n2
n
n
n
Пусть f p  x    pn x , fT  x    tn x , f K  x    kn x - соответственно,
производящие функции по числу ребер карты для числа
1
– существен2
ных карт на проективной плоскости, 1-существенных карт на торе и
16
1-существенных карт на бутылке Клейна. Хао, Каи и Лью [25] вывели
следующие формулы:
2i 1 i  2 ! 2n  i  1! 4n  3i  n1
f p  x   x  
x ,
n  1! i! n  i !
n 1 i 0

n
2i i  5! 2n  i ! n3
x ,




12
n

1
!
i
!
n

i
!
n 0 i  0

n
f T  x   x 2  
2i i  5! 2n  i !i n 
f K  x   4 x  
x n 3
n 0 i 0 5! i! n  i ! n  2 ! n  1

n
2
2
2
где i n   50n  8n i  18  i  21i  82 .

Обозначим через f K  x    k n x n – производящую функцию по числу
n 2
ребер карты для числа 2-существенных карт на бутылке Клейна. В. Лью
и У. Лью [26] вывели формулу:
2i i  5!2n  i !i n  n3
f K x   4 x   
x
n 0 i 0 5! i! n  i ! n  2 ! n  1

n
2
i n   60n 2  16ni  2i 2  168n  42i  84 .
где
С помощью второго полученного тождества существенно упрощены
формулы для p n , t n , k n и k n :
 2n  1
p n  2 2 n 1  
 ,
 n 
kn 
tn 
1 (5n  2)(2n)!
1 (2n )!
, kn 
 n 2 2 n 3 .
12 ( n  2)! n!
12 (n  1)!n!
(2n)!
 n2 2 n  2 .
2(n  1)!(n  1)!
Кроме того из этих формул найдена асимптотика числа рассматриваемых карт при n   .
pn ~ 2
2 n 1
, tn ~
1
12 
3
2
n 2
3
2n
3
5
1 2 2n
, kn ~
n 2 2 2n , k n ~
n 2 .
2 
12 
Большинство перечислительных задач, связанных с раскрасками
графов, относятся к числу нерешенных задач. Однако еще Татт при
исследовании хроматических сумм корневых планарных триангуляций
17
нашел, что их энумерант является предельным случаем ( при    )
производящей функции хроматических сумм. Эту связь использовали
также Ли и Лью для перечисления общих простых карт на плоскости
[27]. Поскольку коэффициентами в хроматических суммах графов служат их хроматические многочлены, важно исследовать условия хроматичности многочлена.
p
Пусть P(G ,  )   a j  j – хроматический многочлен связного
j 0
графа G с p помеченными вершинами. В работе доказано, что для
любого j  1,, p выполняются неравенства:
 1
p j
j 1
p  1
 k  1
j  s 1 
,
a

0
P
(
G
,
j
)

(

1
)






 k
 j  s  P(G, s) .
k  j  j  1
s 1


p
Полученные необходимые условия хроматичности многочлена в ряде
случаев оказываются сильнее уже известных условий Котляра и
Хватала.
Основные результаты диссертации
1. Найдена явная формула для энумератора помеченных связных графов
по числу вершин с заданным количеством точек сочленения. Получена
асимптотика для числа помеченных связных графов с большим
количеством вершин и большим количеством точек сочленения.
2. Выведена формула для энумератора помеченных связных гомеоморфно несводимых графов по числу вершин с заданным цикломатическим числом. Получена асимптотика для числа помеченных связных
разреженных гомеоморфно несводимых графов с большим количеством
вершин и фиксированным цикломатическим числом.
3. Выведена асимптотика для числа помеченных связных разреженных
графов с большим числом вершин и фиксированным количеством висячих вершин.
18
4. Получена асимптотика чисел, удовлетворяющих квадратичному
разностному уравнению типа свертки. Найдены предельные значения
для коэффициентов Райта и Степанова-Райта.
5. Найдены интегральные представления и асимптотика для числа
помеченных кубических графов. Выведены явные формулы для числа
помеченных (2, k ) -бирегулярных графов.
6. Выведены два комбинаторных тождества, с помощью которых упрощены некоторые формулы для числа карт на поверхностях и получена
соответствующая асимптотика для карт с большим количеством вершин
или ребер.
ЛИТЕРАТУРА
1. Харари Ф., Палмер Э. Перечисление графов. М.: Мир, 1977.
2. Иванчик И.И. Проблемы теории графов в статистической физике.
Труды ФИАН, т. 106. М.: Наука, 1979, с. 3-89.
3. Калмыков Г.И. Древесная классификация помеченных графов. М.:
Физматлит, 2003.
4. Калмыков Г.И. Каркасная классификация помеченных графов. М.:
Научный мир, 2006.
5. Ravelomanana V., Thimonier L. Enumeration of the first multicyclic
isomorphism-free labelled graphs. Proc. 13th internat. conf. on Formal Power
Series and Algebraic Combinatorics (FPSAC01), 2001, 411-420.
6. Bodirsky M., Gröpl C., Kang M. Generating labeled planar graphs
uniformly at random. In ICALP 2003, pp. 1095-1107, Springer, Berlin, 2003.
7. Flajolet P., Salvy B., Schaeffer G. Airy phenomena and analitic combinatorics of connected graphs. Electron. J. Combin. 11(2004), #34.
8. Leroux P. Enumerative problems inspired by Mayer`s theory of cluster
integrals . Electron. J. Combin. 11(2004), #32.
19
9. Chae G.-B., Palmer E.M., Robinson R.W. Computing the number of
labeled general cubic graphs. Discrete Math. 307(2007), 2979-2992.
10. Selkow S.M. The enumeration of labeled graphs by number of cutpoints.
Discrete Math. (1998), 185, 183-191.
11. Багаев Г.Н., Воблый В.А. Метод сжатия-разжатия для перечисления
графов. – Дискретная математика, т. 10, вып. 4, 1998, с. 82-87.
12. Jackson D.M., Reilly J.W. The enumeration of homeomorphically irreducible labeled graphs. J. Combin. Theory(B), 19(1975), 272-286.
13 Read R.C. Some unusual enumeration problems. – Ann. N.-Y. Acad. Sci.,
1970, V. 175, Art. 1, 314-326.
14. Wright E.M. Enumeration of smooth labelled graphs. Proc. Roy. Soc.
Edinburgh, 1981. A91, N 3/4, 205-212.
15. Багаев Г. Н., Дмитриев Е. Ф. Перечисление связных двуцветных
графов. Комбинаторный анализ (1983), вып. 6, 58–64.
16. Janson S. Brownian excursion area, Wright`s constants in graph
enumeration, and other Brownian areas. Probability Surveys, 4(2007), 80145.
17. Flajolet P., Poblete P., Viola A. On the analysis of linear probing hashing.
Algorithmica 22(1998), 490-515.
18. Wright E.M. The number of connected sparsely edged graphs. IV
J. Graph Theory. 1983. V. 7. N 2. P. 219-229.
19. Wormald N.C. Enumeration of labelled graphs II: Cubic graphs with
given connectivity. J. London Math. Soc. (2), 20(1979), 1-7.
20. Read R.C. The enumeration of locally restricted graphs. I
J. London Math Soc., 1959. v. 34, 417-436.
21. Bender E.A. An asymptotic expansion for the coefficients of some formal
power series // J. London Math. Soc. (2). 1975. V. 9. 451-458.
22. McKay B.D. Spanning trees in regular graphs. Europ. J. Combinatorics,
4(1983), 149-160.
20
23. Malyshev V.A. Combinatorics and probability of maps. In Asymptotic
combinatotics with application to mathematical physics, Dordrecht a.o.,
Kluwer, 2002, 71-95.
24. Liu Y.P. A note on the number of cubic planar maps, Acta Mathematica
Scintia, 12(1992), 282-285.
25. Hao R., Cai Y., Liu Y. Counting g-essential maps on surfaces with small
genera. – Korean J. Comput. and Appl. Math., v. 9 (2002), №2, 451-463.
26. Liu W., Liu Y. Enumeration of three kinds of rooted maps on the Klein
bootle. J. Appl. Math. & Computing 24(2007), 411-419.
27. Li Z., Liu Y. Chromatic sums of general simple maps on the plane.
Utilitas Math. 68(2005), 223-237.
Публикации по теме диссертации
1. Воблый В. А. Асимптотическое перечисление помеченных связных
разреженных графов с заданным числом висячих вершин . – Дискретный
анализ , Новосибирск, 1985. вып. 42, с. 3-14.
2. Воблый В.А. О коэффициентах Райта и Степанова-Райта. – Матем.
заметки, т. 42, вып. 6, 1987, с. 854-862.
3. Воблый В.А. О вероятности появления графа-гусеницы среди
случайных разреженных графов. – Вероятностные методы в дискретной
математике, Петрозаводск, 1988, с. 25-26.
4. Воблый В. А. О перечислении помеченных связных гомеоморфно
несводимых графов. – Матем. заметки 49(1991), №3, с. 12-22.
5. Багаев Г.Н., Воблый В.А. Метод сжатия-разжатия для перечисления
графов. – Дискретная математика, т. 10, вып. 4, 1998, с. 82-87.
6. Воблый В.А. Асимптотика числа общих кубических графов с
помеченными вершинами и ребрами – «Обозрение
промышленной математ.», 2000, т. 7, вып. 1, с. 92 .
прикладной и
21
7. Воблый В.А. Некоторые необходимые условия хроматичности многочлена. Дискретная математика, т. 13, вып. 1, 2001, с. 73-77. Исправление
опечаток: Дискретная математика, т. 13, вып. 2, с. 159.
8. Воблый В.А.
О перечислении помеченных ( 2,4) – бирегулярных
графов – Материалы VII
Международного семинара
«Дискретная
математика и ее приложения», М., МГУ, ч. II, 2001, с. 212.
9. Воблый В.А. Интегральное представление и асимптотика для числа
помеченных общих ( 2, k ) – бирегулярных графов – Материалы VIII
Международного семинара «Дискретная математика и ее приложения», М., МГУ, 2004, с. 329-330.
10. Воблый В.А. Упрощение формул для числа g-существенных карт на
поверхностях с малым родом. – Обозрение прикладной и промышленной математики, 2004, т.11, вып. 2, с. 236-237.
11 . Воблый В.А. Асимптотика числа кубических планарных карт. –
Обозрение прикладной и промышленной математики, 2005, т. 12, вып. 4,
с. 850-851.
12. Воблый В.А. Решение уравнения Селкова для энумератора помеченных связных графов по числу точек сочленения. – Материалы IX
Международного семинара «Дискретная математика и ее приложения», М., МГУ, 2007, с. 265-268.
13. Воблый В.А. Упрощение некоторых формул для числа карт на
поверхностях. – Математические заметки, т.83, вып.1, 2008, с. 14-23.
14. Воблый В.А. О перечислении помеченных связных графов по числу
точек сочленения. Дискретная математика, т.20, вып.1, 2008, с. 52-63.
15. Воблый В.А. Асимптотика числа помеченных 3-связных графов. –
Обозрение прикладной и промышленной математики, 2008, т.15, вып.2,
с.237.
16. Воблый В.А. Простая верхняя оценка для числа остовных деревьев
регулярных графов. Дискретная математика, т. 20, вып. 3, 2008 , с. 47-50.
Скачать