组合数学 (Fall 2011)/Pólya's theory of counting and 组合数学 (Fall 2011)/Problem set 3: Difference between pages

From TCS Wiki
(Difference between pages)
Jump to navigation Jump to search
imported>Etone
 
imported>Etone
 
Line 1: Line 1:
== Groups ==
== Problem 1==


== Burnside's Lemma ==
==Problem 2==
{{Theorem|Burnside's Lemma|
一个图 <math>G(V,E)</math> 的切 (cut) 是一个边集 <math>C\subseteq E</math>,使得去掉这些边之后 <math>G</math> 不再连通。
:Let <math>G</math> be a permutation group acting on a set <math>X</math>. For each <math>\pi\in G</math>, let <math>X_\pi=\{x\in X\mid \pi\circ x=x\}</math> be the set of elements invariant under action by <math>\pi</math>. The number of orbits, denoted <math>|X/G|</math>, is
::<math>|X/G|=\frac{1}{|G|}\sum_{\pi\in G}|X_{\pi}|.</math>
}}


==Pólya's Theory of Counting ==
证明:任意一个有 <math>m</math> 条边的无向图都存在一个大小为 <math>\frac{m}{2}</math> 的切。
 
==Problem 3 ==
令 <math>\mathcal{F}\subseteq{[n]\choose k}</math> 为一个 <math>k</math>-regular family,即 <math>\forall i\in[n]</math>,刚好有 <math>k</math> 个不同的 <math>S\in\mathcal{F}</math> 满足 <math>i\in S</math>。
 
假设 <math>k\ge 10</math>。证明:存在一个对 <math>[n]</math> 的 2着色 <math>f:[n]\rightarrow\{0,1\}</math> 使得 <math>\mathcal{F}</math> 中不存在单色的集合 <math>S\in\mathcal{F}</math>。

Revision as of 17:50, 26 October 2011

Problem 1

Problem 2

一个图 [math]\displaystyle{ G(V,E) }[/math] 的切 (cut) 是一个边集 [math]\displaystyle{ C\subseteq E }[/math],使得去掉这些边之后 [math]\displaystyle{ G }[/math] 不再连通。

证明:任意一个有 [math]\displaystyle{ m }[/math] 条边的无向图都存在一个大小为 [math]\displaystyle{ \frac{m}{2} }[/math] 的切。

Problem 3

[math]\displaystyle{ \mathcal{F}\subseteq{[n]\choose k} }[/math] 为一个 [math]\displaystyle{ k }[/math]-regular family,即 [math]\displaystyle{ \forall i\in[n] }[/math],刚好有 [math]\displaystyle{ k }[/math] 个不同的 [math]\displaystyle{ S\in\mathcal{F} }[/math] 满足 [math]\displaystyle{ i\in S }[/math]

假设 [math]\displaystyle{ k\ge 10 }[/math]。证明:存在一个对 [math]\displaystyle{ [n] }[/math] 的 2着色 [math]\displaystyle{ f:[n]\rightarrow\{0,1\} }[/math] 使得 [math]\displaystyle{ \mathcal{F} }[/math] 中不存在单色的集合 [math]\displaystyle{ S\in\mathcal{F} }[/math]