6.3

Случайные графы

[15/60%]
Показать
LaTeX
Задача 6.3.1

Если в графе G=(V,E)G=(V,E) с nn вершинами минимальная степень вершины равна δ\delta, то

?
(1)

для любого p(0,1)p\in (0,1) существует такое множество вершин AVA\subset V, что в объединении AA и множества всех вершин, не соединённых ни с какой вершиной из AA, имеется не более np+n(1p)δ+1np+n(1-p)^{\delta +1} вершин;

(2)

существует такое множество вершин DVD\subset V, что любая вершина из VDV\setminus D соединена ребром с некоторой вершиной из DD и Dn1+ln(δ+1)δ+1\left|D\right|\leqslant n\dfrac {1+\ln (\delta +1)}{\delta +1}.

Для решения следующих задач 6.3.2 и 6.3.3 (3) нужна приведённая ниже теория. К их решению разумно вернуться после задачи 6.3.9.

Примечание.
?

Зафиксируем p(0,1)p\in (0,1) и назовем вероятностью графа (в модели, или в вероятностном пространстве, Эрдёша--Реньи) с nn вершинами {1,2,,n}\left\{ 1,2,\ldots ,n\right\} и rr рёбрами число P(G)=Pp(G):=pr(1p)n(n1)2r\mathbb {P}\left(G\right)=\mathbb {P}_{p}\left(G\right) := p^r(1-p)^{\frac{n(n-1)}{2}-r}. Вероятностью семейства (или, что то же самое, свойства) графов с вершинами 1,2,,n1,2,\ldots ,n называется сумма вероятностей входящих в него графов.

Случайной величиной называется функция, определённая на множестве графов с вершинами 1,2,,n1,2,\ldots ,n.

Например, количество рёбер графа — случайная величина.

Пусть случайная величина YY принимает kk различных значений y1,,yky_1,\ldots ,y_k. Тогда математическим ожиданием (мат.ожиданием) случайной величины YY называется её <<взвешенное среднее>>

E[Y]:=s=1kysP(Y1(ys)), \mathbb {E}\left[Y\right] := \sum _{s=1}^{k}y_s\mathbb {P}\left(Y^{-1}(y_s)\right),

где Y1(ys)Y^{-1}(y_s) — множество всех графов GG, для которых Y(G)=ysY(G)=y_s. Последнюю вероятность обозначают P(Y=ys)\mathbb {P}\left(Y=y_s\right).

Задача 6.3.2
?
(1)

Если (km)p(m2)+(kn)(1p)(n2)<1\dbinom {k}{m}p^{\binom {m}{2}}+\dbinom {k}{n}(1-p)^{\binom {n}{2}} < 1 для некоторого p(0,1)p\in (0,1), то R(m,n)>kR(m,n) > k (здесь R(m,n)R(m,n) — числа Рамсея, см. п. 4.1).

(2)

R(4,n)Ω(n2ln2n)R(4,n) \geqslant \Omega \left(\dfrac {n^2}{\ln^2 n}\right) (мы пишем gΩ(f)g \geqslant \Omega (f), если f=O(g)f=O(g)).

Задача 6.3.3
?
(1)

Cherchez la femme. На русско-французской встрече не было представителей других стран. Суммарное количество денег у французов оказалось больше суммарного количества денег у русских, и суммарное количество денег у женщин оказалось больше суммарного количества денег у мужчин. Обязательно ли на встрече была француженка?

(2)

Денежные купюры разного достоинства и разных стран упакованы в два чемодана. Средняя стоимость купюры равна 100 рублям. Общее число купюр в левом чемодане больше, чем в правом. Обязательно ли в левом чемодане найдётся купюра стоимостью не более 200 рублей? (Ср. с неравенством Маркова 6.3.9 (1).)

(3)

Для любых целых l,q>0l,q>0 существует граф, не содержащий обходов длины менее ll и который невозможно правильно раскрасить в qq цветов. (См. определение правильности раскраски в п. 3.1.)

Задача 6.3.4

Для данных nn и pp вероятность наличия kk вершин, между которыми нет рёбер, меньше eklnnpk(k1)/2e^{k\ln n - pk(k-1)/2}.

?
Задача 6.3.5

Для данных nn и pp найдите мат.ожидание количества

?
(1)

изолированных вершин;

(2)

треугольников;

(3)

kk-клик;

(4)

kk-клик, являющихся компонентами связности;

(5)

гамильтоновых циклов;

(6)

несамопересекающихся циклов длины kk;

(7)

несамопересекающихся циклов длины kk, являющихся компонентами связности с ровно kk рёбрами;

(8)

деревьев с kk вершинами;

(9)

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

Задача 6.3.6

Для данного pp найдите асимптотику (при постоянном kk и nn\to \infty) функции E(k)[Y]:=E[Y(Y1)(Yk+1)]\mathbb {E}_{(k)}\left[Y\right] := \mathbb {E}\left[Y(Y-1)\ldots (Y-k+1)\right] (т.е. kk-го факториального момента), если YY — число изолированных вершин.

?
Задача 6.3.7

Для данных nn и pp найдите дисперсию количества

?
(1)

изолированных вершин;

(2)

треугольников.

Задача 6.3.8

Докажите, что для любых случайных величин XX и YY выполнены следующие свойства:

?
(1)

E[X+Y]=E[X]+E[Y]\mathbb {E}\left[X+Y\right] = \mathbb {E}\left[X\right]+\mathbb {E}\left[Y\right];

(2)

Var[X+Y]=Var[X]+Var[Y]\operatorname {Var}\left[X+Y\right] = \operatorname {Var}\left[X\right]+\operatorname {Var}\left[Y\right], если XX и YY независимы (т.е. для любых x,yx,y выполнено P(X=x,Y=y)=P(X=x)P(Y=y)\mathbb {P}\left(X=x,Y=y\right)=\mathbb {P}\left(X=x\right)\cdot \mathbb {P}\left(Y=y\right)).

Задача 6.3.9

Пусть XX — случайная величина (определённая перед задачей 6.3.4) и a>0a>0.

?
(1)

Неравенство Маркова. P(X>a)E[X]/a\mathbb {P}\left(\left|X\right|>a\right) \leqslant \mathbb {E}\left[\left|X\right|\right]/a. (Ср. с задачей 6.3.3 (1).)

(2)

Неравенство Чебышёва. P(XE[X]>a)Var[X]/a2\mathbb {P}\left(\left|X-\mathbb {E}\left[X\right]\right|>a\right) \leqslant \operatorname {Var}\left[X\right]/a^2.

Событие AnA_n происходит асимптотически почти наверное (или с асимптотической вероятностью 1) относительно последовательности f(n)f(n), если Pf(n)(An)1\mathbb {P}_{f(n)}\left(A_n\right) \to 1. Общепринятое сокращение: при p(n)=f(n)p(n)=f(n) событие AnA_n происходит а.п.н. (формально, эта фраза не имеет смысла, поскольку означает <<если p(n)=f(n)p(n)=f(n), то событие AnA_n происходит а.п.н.>>, а без указания последовательности f(n)f(n) фраза <<событие AnA_n происходит а.п.н.>> не может быть определена как надо).

Напомним, что здесь nn — число вершин графа.

Задача 6.3.10

При p(n)=1/(2n)p(n)=1/(2n)

?
(1)

а.п.н.имеется более n/2n/2 изолированных вершин;

(2)

для некоторого C>0C>0 а.п.н.каждая компонента связности имеет менее ClnnC\ln n вершин (специалисты говорят: менее O(lnn)O(\ln n) вершин);

(3)

а.п.н.каждая компонента связности является деревом или уницикличным графом;

(4)

для некоторого C>0C>0 а.п.н.имеется менее CC уницикличных компонент.

Задача 6.3.11
?
(1)

При p(n)=o(n3/2)p(n)=o(n^{-3/2}) а.п.н.рёбра попарно не пересекаются.

(2)

При p=p(n)=o(n3/2)p=p(n)=o(n^{-3/2}) и pn2pn^2\to \infty существует такая функция r=r(n)=o(pn2)r=r(n)=o(pn^2), что а.п.н.число вершин степени 1 больше pn2rpn^2-r и меньше pn2+rpn^2+r, а степени всех остальных вершин равны нулю.

Задача 6.3.12

Если c>1c>1 (0<c<10<c<1), то при p(n)=clnn/np(n)=c\ln n/n а.п.н.случайный граф связен (несвязен).

?
(1)
(2)
(3)
(4)
(5)
Примечание.
?

Приведём результат [B, с.100, теорема 5.4]. Пусть pn=p(n)p_n=p(n). Для k2k\geqslant 2 обозначим через Tk=Tk,pnT_k=T_{k,p_n} число компонент связности в случайном графе, являющихся деревьями с kk вершинами.

(1)

Если pn=o(nk/(k1))p_n=o(n^{-k/(k-1)}), то а.п.н.Tk=0T_k=0.

(2)

Если limnpnnk/(k1)=c>0\lim_{n\to \infty }p_nn^{k/(k-1)}=c>0, то последовательность случайных величин Tk=Tk,pnT_k=T_{k,p_n} сходится при nn\to \infty к случайной величине, имеющей распределение Пуассона с параметром λ:=ck1kk2/k!\lambda := c^{k-1}k^{k-2}/k!, т.е. для любого sZs\in \mathbb {Z}, s0s\geqslant 0, limnP(Tk=s)=λss!eλ\lim_{n\to \infty }\mathbb {P}\left(T_k=s\right)=\dfrac {\lambda^s}{s!}e^{-\lambda }.

(3)

Если nk/(k1)=o(pn)n^{k/(k-1)}=o(p_n) и limn(pnknlnn(k1)lnlnn)=\lim_{n\to \infty }(p_nkn-\ln n-(k-1)\ln \ln n)=-\infty, то limnP(TkL)=1\lim_{n\to \infty }\mathbb {P}\left(T_k\geqslant L\right)=1 для любого L>0L>0.

(4)

Если limn(pnknlnn(k1)lnlnn)=xR\lim_{n\to \infty }(p_nkn-\ln n-(k-1)\ln \ln n)=x\in \mathbb {R}, то последовательность случайных величин Tk=Tk,pnT_k=T_{k,p_n} сходится при nn\to \infty к случайной величине, имеющей распределение Пуассона с параметром λ:=ex/(kk!)\lambda := e^{-x}/(k\cdot k!).

(5)

Если limn(pnknlnn(k1)lnlnn)=+\lim_{n\to \infty }(p_nkn-\ln n-(k-1)\ln \ln n)=+\infty, то а.п.н.Tk=0T_k=0.

Задача 6.3.13
?
(1)

Найдите хотя бы одну такую функцию p(n)p^*(n), что

  • при p(n)/p(n)0p(n)/p^*(n)\to 0 а.п.н.граф не содержит треугольника,

  • при p(n)/p(n)+p(n)/p^*(n)\to +\infty а.п.н.граф содержит треугольник.

(2)

То же с заменой треугольника на подграф, изоморфный K4K_4.

Примечание.
?

Такая функция pp^* называется пороговой вероятностью. Пороговая вероятность существует для любого монотонного семейства графов. Монотонно возрастающим (убывающим) семейством графов называется такое семейство графов, которое вместе с каждым графом содержит любой его надграф (подграф).

Задача 6.3.14

Хроматическое число графа а.п.н.не больше

?
(1)

одного при p(n)=o(1/n2)p(n)=o(1/n^2);

(2)

двух при p(n)=o(1/n)p(n)=o(1/n);

(3)

трёх при p(n)=c/np(n)=c/n, где c<1c<1.

Задача 6.3.15
?
(1)

Жадный алгоритм раскраски (см.задачу 3.2.3: вершины графа перебираются в некотором порядке, и каждой присваивается наименьший цвет, не встречающийся среди уже раскрашенных соседей) для любого положительного ε\varepsilon а.п.н.(при p(n)=1/2p(n)=1/2) ошибается не более чем в 2+ε2+\varepsilon раз.

(2)

Для любых ε,δ>0\varepsilon ,\delta >0 существует такая последовательность GnG_n графов с nn вершинами, что при случайной нумерации вершин графа GnG_n (т.е. для вероятности каждой нумерации, равной 1/21/2) вероятность того, что отношение числа цветов в жадной раскраске к χ(Gn)\chi (G_n) больше n1εn^{1-\varepsilon }, больше δ\delta. (Иными словами, с одной стороны, почти для любого графа в любой нумерации жадная раскраска хороша, но, с другой стороны, есть графы, которые почти как ни нумеруй, а всё дрянь получится!)

Примечание.
?

См.подробнее [R3, R4, R5]. В частности, в [R4] доказаны следующие результаты.

Первая теорема Боллобаша. Существует последовательность fn=o(n2log2n)f_n = o\left(\dfrac {n}{2\log_2 n}\right), для которой при p(n)=1/2p(n) = 1/2 а.п.н.χ(G)n2log2n<fn\left|\chi (G) - \dfrac {n}{2\log_2 n}\right| < f_n. (Эта теорема обобщается на практически любые значения pp [JLR].)

Вторая теорема Боллобаша. Для любого α>2/3\alpha > 2/3 существуют последовательности ana_n и bnb_n, для которых при p(n)=nαp(n) = n^{-\alpha } а.п.н.χ(G){an,bn}\chi (G) \in \left\{ a_n, b_n\right\}. (В этой теореме для некоторых α\alpha последовательности ana_n и bnb_n могут быть выбраны так, что limnan=limnbn=\lim_{n \to \infty } a_n = \lim_{n \to \infty } b_n = \infty.)