组合数学 (Fall 2015)/Problem Set 4

From EtoneWiki
Jump to: navigation, search

Contents

Problem 1

Prove the following independent set version of the Turan theorem:

  • Let G(V,E) be a graph of n = | V | vertices and m = | E | edges. G must have an independent set S of size |S|\ge \frac{n^2}{2m+n}.
  1. Show that this theorem is a corollary to the Turan theorem for cliques.
  2. Prove the theorem directly by the probabilistic method, without using the Turan theorem.
  3. (optional) Try to explain when does the equality hold.

Problem 2

(Matching vs. Star)

Given a graph G(V,E), a matching is a subset M\subseteq E of edges such that there are no two edges in M sharing a vertex, and a star is a subset S\subseteq E of edges such that every pair e_1,e_2\in S of distinct edges in S share the same vertex v.

Prove that any graph G containing more than 2(k − 1)2 edges either contains a matching of size k or a star of size k.

(Hint: Learn from the proof of Erdos-Rado's sunflower lemma.)

Problem 3

An n-player tournament (竞赛图) T([n],E) is said to be transitive, if there exists a permutation π of [n] such that πi < πj for every (i,j)\in E.

Show that for any k\ge 3, there exists a finite N(k) such that every tournament of n\ge N(k) players contains a transitive sub-tournament of k players. Express N(k) in terms of Ramsey number.

Problem 4

Let G(U,V,E) be a bipartite graph. Let δU be the minimum degree of vertices in U, and ΔV be the maximum degree of vertices in V.

Show that if \delta_U\ge \Delta_V, then there must be a matching in G such that all vertices in U are matched.

Problem 5

Prove the following statement:

  • For any n distinct finite sets S_1,S_2,\ldots,S_n, there always is a collection \mathcal{F}\subseteq \{S_1,S_2,\ldots,S_n\} such that |\mathcal{F}|\ge \lfloor\sqrt{n}\rfloor and for any different A,B,C\in\mathcal{F} we have A\cup B\neq C.

(Hint: use Dilworth theorem.)

Personal tools