A sharp upper bound for the independence number
arXiv:1007.5426
Abstract
An -graph is a pair such that is a set and is a family of -element subsets of . The \emph{independence number} of is the size of a largest subset of such that no member of is a subset of . The \emph{transversal number} of is the size of a smallest subset of that intersects each member of . is said to be \emph{connected} if for every distinct and in there exists a \emph{path} from to (that is, a sequence of members of such that , , and if , then for each , intersects ). The \emph{degree} of a member of is the number of members of that contain . The maximum of the degrees of the members of is denoted by . We show that for any , if is a connected -graph, , and , then \[α(G) \leq n - \left \lceil \frac{n-1}{k(r-1)} \right \rceil, \quad τ(G) \geq \left \lceil \frac{n-1}{k(r-1)} \right \rceil,\] and these bounds are sharp. The two bounds are equivalent.
8 pages