|
2 | 2 | title: Stanley 数え上げ組合せ論1 演習問題 |
3 | 3 | # description: Short summary of the post. |
4 | 4 | date: 2024-12-22 13:13:00 0900 |
| 5 | +last_modified_at: 2025-01-04 17:07:00 +0800 |
5 | 6 | categories: [数学,組合せ論] |
6 | 7 | tags: [Stanley] |
7 | 8 | math : true |
8 | 9 | --- |
9 | 10 |
|
10 | | -## 1. [-1] |
| 11 | +## 1. [1-] |
11 | 12 | $S,T$を互いに素な$1$要素の集合としたとき、$S \cup T$の要素数は? |
12 | | -2(それはそう) |
| 13 | +$2$.(それはそう) |
13 | 14 | ## 2.[1+] |
14 | | -$(a)$ $[10]$の部分集合であって少なくとも1つの奇数を含むものは何通り? |
| 15 | +$\mathrm{(a)}$ $[10]$の部分集合であって少なくとも1つの奇数を含むものは何通り? |
15 | 16 | 偶数と奇数別々に考えて良くて偶数の選び方は$2^5$,奇数の選び方は$2^5-1$だから$2^5\cdot(2^5-1) = 992$ |
16 | | -$(b)$ $7$人の人を円環状の席に座らせる。各人の両隣が同じ場合同じ並べ方と見なす場合の座らせ方は何通り? |
| 17 | +$\mathrm{(b)}$ $7$人の人を円環状の席に座らせる。各人の両隣が同じ場合同じ並べ方と見なす場合の座らせ方は何通り? |
17 | 18 | $1$の位置を固定して$6$人を円環状に座らせるのは$6!$通り。これは上の数え方でちょうど$2$回ずつ数えてしまっているから$6!/2 = 360$通り。 |
18 | | -$(c)$ 順列$ w : [6] \rightarrow [6]$で$w(1)\ne2$を満たすものは何通り? |
| 19 | +$\mathrm{(c)}$ 順列$ w : [6] \rightarrow [6]$で$w(1)\ne2$を満たすものは何通り? |
19 | 20 | 順列全体は$6!$通りあり、そのうち$w(1) = 2$を満たすものは$5!$通りあるから$6!-5!= 600$通り |
20 | | -$(d)$ $[6]$の順列でちょうど$2$つのサイクルを持つものは何通り? なおこれは符号なし第1種スターリング数$c(n,k)$を用いて$c(6,2)$と表される。 |
| 21 | +$\mathrm{(d)}$ $[6]$の順列でちょうど$2$つのサイクルを持つものは何通り? なおこれは符号なし第1種スターリング数$c(n,k)$を用いて$c(6,2)$と表される。 |
21 | 22 | 標準表現で表すことを考える。(サイクル内の要素最大のものを最初に書き、各サイクルは要素最大のものの昇順に並べる。右上がり最大点(left-to-right maximum)の個数がサイクル数と一致する。) |
22 | 23 | $[6]$の中から$i$$(1\le i < 6)$個選ぶ。このとき選んだ$i$個と選ばなかった$6-i$個でサイクルを作ると、標準表示で$2$つのサイクルの順序と、各サイクルの最初の要素は決まるので並べ方は$(i-1)!\cdot(6-i-1)!$通りある。$i$について和を取ると同じものを$2$回数えているから |
23 | 24 |
|
|
34 | 35 | $$ |
35 | 36 |
|
36 | 37 | $274$通り。 |
| 38 | + |
| 39 | +$\mathrm{(e)}$ $[6]$の分割であってちょうど$3$ブロックになるものは何通り?なおこれは第2種スターリング数を用いて$S(6,3)$と表される。 |
| 40 | +$S(n,k) = k \cdot S(n-1,k) + S(n-1,k-1)$と$S(n,1)=1,S(n,2)=2^{n-1}-1,S(n,n-1)= |
| 41 | +\binom{n}{2}$を用いて |
| 42 | +$$ |
| 43 | +\begin{align*} |
| 44 | +S(6,3) &= 3\cdot S(5,3)+S(5,2)\\ |
| 45 | + &=3^2\cdot S(4,3)+5\cdot S(4,2)+S(4,1)\\ |
| 46 | + &=9\cdot 6+5\cdot 7+1=90 |
| 47 | +\end{align*} |
| 48 | +$$ |
| 49 | +$90$通り。 |
0 commit comments