𠮷田悠一
Extremal Combinatorics:
◦ Combinatorics: 多分離散的なので安心してください。
◦ Extremal: ある対象(数,グラフ,ベクトル,集合 etc.)がある性
質を満たす時、その対象はどれだけ大きくor小さくなり得るか。
これらを解くための道具を身につけるのが目標。
特に
◦
◦
◦
◦
極値集合論
線形代数
確率的手法
ラムゼー理論(Additive Combinatoricsの匂いもする)
初回なのでささっと駆け抜けて早めに終わる。
1章 Counting
◦ Double Counting
2章 Advanced Counting
◦ Double Countingの他の例
3章 The Principle of Inclusion and Exclusion
◦ 包除原理の変化形
今回現れる手法は特に目新しくないはず。
1.1~1.3
1.5: The Averaging Principle
任意の数の集合は、平均以上の数と平均以下の数を
含む。
ちゃんとした応用は後々出てくるかと。
パーティーで奇数回握手をした人の数は偶数。
Turan数 T(n,k,l): smallest number of l-element
subsets of an n-element set X such that every
k-element subset of X contains at least one of
these sets.
例: l=2の時、n頂点のグラフのどのk頂点を取ってきて
も少なくとも一本その間に枝があるような枝の最小数。
[命題1.8] 任意のlknに対してT(n,k,l)nCk/kCl
証明は次のページ。
F: 条件を満たす大きさlの集合の族で最小のもの。
◦ |F|=T(n,k,l)
|F|行nCk列の行列M=(mA,B)を考える
◦ 行: AF 全体
◦ 列 : 大きさkの集合全体
◦ mA,B : ABなら1、そうでないなら0
B1
B2
B3
B4
B5
A1
0
1
1
1
1
A2
0
0
1
0
1
A3
1
1
0
1
0
A4
0
1
1
0
0
方針: M中の1の個数をDouble Count
rA: 行A中の1の数: rA=n-lCk-l
cB: 列B中の1の数: cB1
最後の等式も簡単なDouble Countingから。
◦ 練習1.10
[補題2.1] A1,…,Anを大きさrの集合とし、X=Aiとする。
任意のijに対して|AiAj|kならば
直感: kが小さければ|X|は大きく無いといけない。
こんな行列を思い描くとDouble Countしやすい。
x1
x2
x3
x4
x5
A1
0
1
1
1
1
A2
0
0
1
0
1
A3
1
1
0
1
0
A4
0
1
1
0
0
(証明) ひたすら数える。
各iに対して
◦ d(x) #{Ai|xAi}
全てのiで和をとると
二つを比較して
(Nr)2N|X|(r+(N-1)k)
[補題2.2] Xをn要素からなる集合とする。A1,…,ANX
の平均の大きさは少なくともn/wであるとする。N2w2
なら、あるijが存在して|AiAj|n/2w2
直感: 集合の平均の大きさが大きければ、そのうち或
る二つの集合は多くの要素を共有する。
(証明) d(x)2=i,j|AiAj|をDouble Counting
d(x)2はx, d(x)=N/wの時、最小化される。
もし任意のijに対して|AiAj|<n/2w2とすると、
(1)に矛盾。
ka(n): 部の大きさnで枝数k以上の任意の二部グラフ
が二部クリークKa,aを持つような最小のk
n
a
定理2.4 ka(n)(a-1)1/an2-1/a+(a-1)
◦ 下限: ka(n)cn2-2/a (確率的手法より)
G=(V1,V2,E): 部の大きさがnで枝数kでa*a二部のク
リークを持たない。
xV1, BV2, |B|=aがK1,aをなす時スターと呼び、S(x,B)
と書く。
x1
y1
x1
y2
x3
y3
D: G中のスターの総数
Dを二通りの方法で数える。
a=2
S(x2,{y2,y3}),
S(x3,{y1,y2}),
S(x3,{y1,y3}),
S(x3,{y2,y3})
Bを固定すると、高々a-1通りのS(x,B)しか作れない。
◦ そうでなければ二部クリークKa,aが出来る。
xを固定すると、少なくともd(x)Ca通りのS(x,B)を作れる。
◦ 不等式はJensenの不等式から(nCaは上に凸な関数)
|E|(a-1)1/an2-1/a+(a-1)が得られる。
H: m*nの0-1行列
Hがa-dense: Hの要素の少なくともaが1
Hの行がa-dense, 列がa-dense: 同様
Hがa-denseならば、どれぐらいの行と列が密か。
[系2.9] 2a-denseな行列Hの列のうちa1/2か行のa1/2
は(a/2)-denseである。
空間W=A1A2…Ak
HWの密度: m(H)=|H|/|W|
Hibを(a1,…,ai-1,b,ai+1,…,ak)Hであるような
(a1,…,ai-1,ai+1,…,ak)全体。
m(Hib)=|Ai|m{aH|ai=b}
[補題2.8] Bi={bAi|m(Hib)m(H)/2k}と置き、
B=B1B2…Bkとする。この時m(B)m(H)/2
(証明) m(B)m(HB)=m(H)-m(H\B)
(系2.9の証明)
補題2.8でk=2の時を考える。あるi{1,2}に対して、
m(Bi)(m(H)/2)1/2
包除原理
A1,…,Anを集合Xの部分集合とする。
I[n]に対してAI = iI Aiとする。A=Xとする。
[命題3.1] A1,…,Anを集合Xの部分集合とする。以下が
成り立つ。
[命題3.3] A1,…,Anを集合Xの部分集合、I[n]とする。
以下が成り立つ。
証明: S=iI Ai, Bk=SAk(k[n]\I)と置く。
Sに属し、どのBkにも属さない要素の数を数える。
命題3.1から
[命題3.4] fとgを有限集合の部分集合に対して定義さ
れた関数とする。f(A)=BAg(B)とすると、
g(A)=BA(-1)|A\B|f(B)
証明:
最後のはC=Aの時1、それ以外の時0になる。
5/18(月): 高井、照山
◦ 5章 System of Distinct Representatives
◦ 6章 Colorings
5/25(月): 脊戸
◦ 4章 The Pigeonhole Principle
6/1(月)~ 未定
© Copyright 2026 ExpyDoc