6.1

Асимптотики

[12/75%]
Показать
LaTeX
Задача 6.1.1

Найдите асимптотику для

?
(1)

сумм из задачи 1.1.6 (1);

(2)

сумм из задачи 1.1.6 (2);

(3)

сумм из задачи 1.1.6 (3);

(4)

количества AnA_n подмножеств множества {1,2,,n}\left\{ 1, 2, \ldots , n\right\}, не содержащих двух подряд идущих чисел;

(5)

то же, что в п. (4), для трёх подряд идущих чисел.

В ответе можно использовать функцию xP(a,b)x_P(a,b), которая по числам a,ba, b и многочлену PP, имеющему единственный корень на отрезке [a,b][a,b], выдаёт этот корень.

Задача 6.1.2

Найдите асимптотику наибольшего количества рёбер в графе с nn вершинами, не содержащем kk-клики. Здесь k=kn=o(n)k = k_n = o(n).

?
Задача 6.1.3

Докажите следующие соотношения, предполагая в асимптотиках, что nn \to \infty, а kk фиксировано. (Число \exH(n)\ex_H(n) обозначает максимальное число рёбер в графе на nn вершинах, не содержащем HH в качестве подграфа; определено в задаче 2.7.6.)

?
(1)

\exPk(n)k22n\ex_{P_k}(n) \gtrsim \dfrac {k-2}{2} \cdot n.

(2)

\exC2k+1(n)n24\ex_{C_{2k+1}}(n) \gtrsim \dfrac {n^2}{4}.

(3)

\exK1,k(n)k12n\ex_{K_{1,k}}(n) \sim \dfrac {k-1}{2} \cdot n.

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

Знаменитая теорема Эрдёша--Стоуна--Шимоновица утверждает, что для любого фиксированного HH такого, что χ(H)>2\chi (H) > 2, при nn \to \infty выполнено \exH(n)n22χ(H)2χ(H)1\ex_H(n) \sim \dfrac {n^2}{2}\dfrac {\chi (H)-2}{\chi (H)-1}. (Для двудольных HH известно лишь, что \exH(n)=o(n2)\ex_H(n) = o(n^2).) То есть если мы запрещаем графу иметь некоторый фиксированный подграф HH, то доля рёбер, которые при этом можно провести, среди всевозможных рёбер определяется хроматическим числом графа HH. Удивительно, что хроматическое число возникает в этой задаче! (Этой теоремой нельзя пользоваться при решении задачи 6.1.3 (2).)

Задача 6.1.4
?
(1)

n2(2+1n)n=(2+o(1))nn^2\left(2+\dfrac {1}{n}\right)^n = (2+o(1))^n. По определению это означает, что существует функция ψ(n)=o(1)\psi (n) = o(1), для которой

n2(2+1n)n=(2+ψ(n))n; n^2\left(2+\frac{1}{n}\right)^n = (2+\psi (n))^n;

или, что то же самое,

n2(2+1n)nn2=o(1). \sqrt[n]{n^2\left(2+\frac{1}{n}\right)^n} - 2 = o(1).
(2)

3n(2+1n)n=(2+o(1))n3^{\sqrt{n}}\left(2+\dfrac {1}{n}\right)^n = (2+o(1))^n.

Задача 6.1.5
?
(1)

Найдите асимптотику для (n[n/2])n\sqrt[n]{\dbinom {n}{[n/2]}} (ср. с задачами 1.4.3 (2) и 6.1.10 (2)).

(2)

2nn+1<(n[n/2])<2n\dfrac {2^n}{n+1} < \dbinom {n}{[n/2]} < 2^n.

(3)

Найдите асимптотику для (3mm)m\sqrt[m]{\dbinom {3m}{m}}.

(4)

33m3m+1<22m(3mm)<33m\dfrac {3^{3m}}{3m+1} < 2^{2m}\dbinom {3m}{m} < 3^{3m}.

(5)

(n[an])=(aa(1a)a1+o(1))n\dbinom {n}{[an]} = (a^{-a}(1-a)^{a-1}+o(1))^n, где 0<a<10 < a < 1.

(6)

n![a1n]![asn]!=(ea1lna1aslnas+o(1))n\dfrac {n!}{[a_1n]!\ldots [a_sn]!} = (e^{-a_1\ln a_1 - \ldots - a_s\ln a_s}+o(1))^n, где a1++as=1a_1+\ldots +a_s=1, 0<ak<10 < a_k < 1.

Задача 6.1.6
?
(1)

Найдите асимптотику для ln(n!)\ln (n!).

(2)

Найдите асимптотику для n!n\sqrt[n]{n!}.

(3)

nnen+1n!nn+1en+1n^ne^{-n+1} \leqslant n! \leqslant n^{n+1}e^{-n+1};

(4)

n!nnen+1nn! \leqslant n^ne^{-n+1}\sqrt{n}.

(5)

Формула Стирлинга. n!nnen2πnn! \sim n^ne^{-n}\sqrt{2\pi n}, т.е. limnn!nnen2πn=1\lim_{n \to \infty } \dfrac {n!}{n^ne^{-n}\sqrt{2\pi n}} = 1.

Задача 6.1.7
?
(1)

(nk)<nkk!\dbinom {n}{k} < \dfrac {n^k}{k!}.

(2)

ln(n1)(n2)(nk)nk=k(k+1)2n(1+O(kn))\ln \dfrac {(n-1)(n-2)\ldots (n-k)}{n^k} = -\dfrac {k(k+1)}{2n}\left(1+O\left(\dfrac {k}{n}\right)\right) для k=kn<n2k=k_n < \dfrac {n}{2}.

Это означает, что существует функция ψ(n)=O(kn)\psi (n) = O\left(\dfrac {k}{n}\right), для которой

ln(n1)(n2)(nk)nk=k(k+1)2n(1+ψ(n)); \ln \frac{(n-1)(n-2)\ldots (n-k)}{n^k} = -\frac{k(k+1)}{2n}(1+\psi (n));

или, что то же самое,

12nk(k+1)ln(n1)(n2)(nk)nk=O(kn). -1 - \frac{2n}{k(k+1)}\ln \frac{(n-1)(n-2)\ldots (n-k)}{n^k} = O\left(\frac{k}{n}\right).
(3)

(nk)=nkk!ek(k1)2n+O(k3/n2)\dbinom {n}{k} = \dfrac {n^k}{k!}e^{-\frac{k(k-1)}{2n}+O(k^3/n^2)} для k=kn<n2k=k_n < \dfrac {n}{2}.

(Сформулируйте сами, что здесь означает ek(k1)2n+O(k3/n2)e^{-\frac{k(k-1)}{2n}+O(k^3/n^2)}.)

(4)

(nk)nkk!\dbinom {n}{k} \sim \dfrac {n^k}{k!} для k=kn=o(n)k=k_n=o(\sqrt{n}).

(5)

(2nnk)/(2nn)=ek2n(1+o(1))\dbinom {2n}{n-k}\Big/\dbinom {2n}{n} = e^{-\frac{k^2}{n}(1+o(1))} для k=kn=o(n)k=k_n=o(n).

(Сформулируйте сами, что здесь означает ek2n(1+o(1))e^{-\frac{k^2}{n}(1+o(1))}.)

Неформально, п. (4) означает, что для knk \ll \sqrt{n} вероятность выпадения ровно kk орлов при nn подбрасываниях монеты приближенно равна nkk!2n\dfrac {n^k}{k!}2^{-n}. В неформальном замечании к этому и следующему пунктам достаточно интуитивного понимания того, что такое вероятность.

Неформально, п. (5) означает, что для knk \ll n вероятность PkP_k выпадения ровно nkn-k орлов при 2n2n подбрасываниях монеты приближенно равна P0ek2/nP_0e^{-k^2/n} (нормальное распределение).

Задача 6.1.8
?
(1)

Верно ли, что записи eo(n)e^{o(n)} и o(en)o(e^n) <<равнозначны>>?

То есть верно ли, что для любой функции f:Z(0,+)f : \mathbb {Z} \to (0,+\infty ) условия limnlnf(n)n=0\lim_{n\to \infty }\dfrac {\ln f(n)}{n}=0 и limnf(n)en=0\lim_{n\to \infty }f(n)e^{-n}=0 равносильны?

(2)

Подберите функции f,g:Z(0,+)f,g : \mathbb {Z} \to (0,+\infty ) такие, что f(n)g(n)f(n)\sim g(n), но ef(n)O(eg(n))e^{f(n)} \neq O(e^{g(n)}).

(3)

Могут ли функции f,g:Z(0,+)f,g : \mathbb {Z} \to (0,+\infty ) одновременно удовлетворять соотношениям f(n)=o(g(n))f(n)=o(g(n)) и g(n)=o(f(n))g(n)=o(f(n))?

(4)

Могут ли функции f,g:Z(0,+)f,g : \mathbb {Z} \to (0,+\infty ) одновременно удовлетворять соотношениям f(n)=O(g(n))f(n)=O(g(n)) и g(n)=O(f(n))g(n)=O(f(n))?

(5)

Следует ли из двух соотношений из п. (4), что f(n)g(n)f(n)\sim g(n)?

Задача 6.1.9
?
(1)

Какая функция растёт быстрее: x(xx)x^{(x^x)} или (x!)(2x)(x!)^{(2^x)}?

То есть найдите limxx(xx)(x!)(2x)\lim_{x\to \infty } x^{(x^x)}(x!)^{(-2^x)}.

(2)

Существует ли функция ψ(n)=o(1)\psi (n) = o(1), для которой (2+ψ(n))n×2nen(2+\psi (n))^n \times 2^{-n}e^{-\sqrt{n}} \to \infty?

(Как в любой математической задаче, нужно обосновать ответ: привести пример такой функции или доказать её существование или доказать, что такой функции не существует.)

В задачах 6.1.10 (2, 3, 4, 5, 6, 7), в отличие от остальных, можно пользоваться без доказательства формулой Стирлинга 6.1.6 (5).

Задача 6.1.10

Найдите асимптотику для

?
(1)

ln(n2n)\ln \dbinom {n^2}{n};

(2)

(n[n/2])\dbinom {n}{[n/2]};

(3)

(n2n)\dbinom {n^2}{n};

(4)

(n[nα])\dbinom {n}{[n^\alpha ]}, α(0,1)\alpha \in (0,1);

(5)

(2n1)!!:=(2n1)(2n3)31(2n-1)!! := (2n-1)\cdot (2n-3)\cdot \ldots \cdot 3\cdot 1;

(6)

k=0n(nk)2\displaystyle \sum_{k=0}^{n}\dbinom {n}{k}^2;

(7)

k=0n(nk)4\displaystyle \sum_{k=0}^{n}\dbinom {n}{k}^4.

Задача 6.1.11

Найдите асимптотику функции s=s(n)s = s(n), заданной как

?
(1)

ss=ns^s = n;

(2)

ss3=ns^{s^3} = n;

(3)

s(n):=max{k:k!n}s(n) := \max \left\{ k : k! \leqslant n\right\};

(4)

s(n):=min{mN:(nm)<2(m2)}s(n) := \min \left\{ m \in \mathbb {N} : \dbinom {n}{m} < 2^{\binom {m}{2}}\right\} (ср. с задачей 4.1.5);

(5)

s(n):=min{mN:2mm>n}s(n) := \min \left\{ m \in \mathbb {N} : \dfrac {2^m}{m} > n\right\} (функция 2m/m2^m/m возникает как сложность реализации функций алгебры логики);

(6)

s(n):=min{mN:(m[m/2])>n}s(n) := \min \left\{ m \in \mathbb {N} : \dbinom {m}{[m/2]} > n\right\} (ср. с задачей 1.4.3 (2)).

Задача 6.1.12

В ответах можно использовать константы, заданные в виде суммы рядов. Найдите асимптотику для

?
(1)

количества линейных подпространств в Z2n\mathbb {Z}_2^n (см. задачу 1.4.7 и определение перед ней);

(2)

количества уницикличных графов с nn вершинами (см. задачу 2.2.5 (2) и определение перед ней).