Domovská stránka Jiřího Kalvody

KG1 Jiří Kalvoda: Cvičení 2

Also available as: PDF Markdown

Informace k cvičení jsou na https://kam.mff.cuni.cz/~jirikalvoda/vyuka/24z/kg1.

Odhady

Odhady z přednášky:

  • nn/2n!nnn^{n/2} \le n! \le n^n \hskip 1.8cm e(ne)nn!en(ne)ne\left(\frac{n}{e}\right)^n \le n! \le en \left(\frac{n}{e}\right)^n
  • (nk)k(nk)(enk)k\left({n\over k}\right)^k \le {n \choose k} \le \left({en \over k}\right)^k
  • 22m2m+1(2mm)22m\frac{2^{2m}}{2m+1} \le {2m \choose m} \le 2^{2m} \hskip 1cm 22m2m(2mm)22m2m\frac{2^{2m}}{2 \sqrt{m}} \le {2m \choose m} \le \frac{2^{2m}}{\sqrt{2m}}

Zápisem [n][n] označme množinu {0,1,2,3,,n1}\{0, 1, 2, 3, \dots , n-1\}. V následujících otázkách předpokládejme, že nn je nějaké „dost velké“ číslo.

  1. Pomocí těsnějších odhadů na n!n! odhadněte n!k!(nk)!n! \over k!(n-k)!.
  2. Čeho je víc, všech funkcí z množiny [n][n] do množiny [3n][3n], nebo všech prostých funkcí z množiny [2n][2n] do množiny [2n]?
  3. Čeho je víc, všech grafů na množině vrcholů [n][n], nebo všech grafů na množině vrcholů [100n][100n], jejichž každý vrchol má stupeň nejvýš 1010?
  4. Rozhodněte, zda platí n!2O(n)n! \in 2^{\O(n)} a n!2Ω(n)n! \in 2^{\Omega(n)}.
  5. Seřaďte podle velikosti: 22n,e(lnn)3,(2nn),nlnn,(n)n2^{2n}, e^{\left(\ln n\right)^3}, {2n \choose n}, n^{\ln n}, \left(\sqrt n\right)^n.

Vytvořující funkce

Vytvořující funkce pro posloupnost (a0,a1,a2,)(a_0, a_1, a_2, \dots) je mocninná řada a(x)=a0+a1x+a2x2+a3x3+a(x) = a_0 + a_1x + a_2x^2 + a_3x^3 + \cdots. Je obecně známo, že 11x1 \over 1-x je vytvořující funkce pro 1,1,11,1,1\dots.

Funkce pomocí jiné

Předpokládejme, že posloupnost a0,a1,a2,a_0, a_1, a_2, \dots má vytvořující funkci f(x)f(x). Jakou vytvořující funkci budou pak mít následující posloupnosti?

  1. a0+1,a1+1,a2+1,,an+1,a_0 + 1, a_1 + 1, a_2 + 1, \dots , a_n + 1, \dots
  2. 2a0,2a1,2a2,,2an,2a_0 , 2a_1 , 2a_2 , \dots , 2a_n , \dots
  3. 0,a0,a1,a2,,an1,0, a_0 , a_1 , a_2 , \dots , a_{n-1} , \dots
  4. a1,a2,a3,a_1 , a_2 , a_3 , \dots
  5. a0,a1,a2,a3,,(1)nan,a_0 , -a_1 , a_2 , -a_3 , \dots , (-1)^n a_n , \dots
  6. a0,0,a2,0,a4,0,a6,0,a_0 , 0, a_2 , 0, a_4 , 0, a_6 , 0, \dots
  7. a0,0,a1,0,a2,0,a3,0,a_0 , 0, a_1 , 0, a_2 , 0, a_3 , 0, \dots
  8. a0,a0+a1,a0+a1+a2,a0+a1+a2+a3,a_0 , a_0 + a_1 , a_0 + a_1 + a_2 , a_0 + a_1 + a_2 + a_3 , \dots

Posloupnost pomocí jiné

A které posloupnosti mají následující vytvořující funkce?

  1. f(x)f(-x)
  2. f(x)f'(x)
  3. f(2x)f(2x)