Covhyp
Covhyp
Hypergraphs
Endre Boros
Yair Caro
Zoltán Füredi
Raphael Yuster
1
Definitions and notations
(H) = covering number of hypergraph H.
Here (H) = 2
2
Trivial lower bound:
g(m(m+1)/2) m
g (n) 2n (1 o(1))
In fact, g(10)=4.
Open Problem
Determine: limsup g(n)/n½
liminf g(n)/n½
3
Interesting graph-theoretic application:
Erdös posed the following problem:
Determine the maximum number of edges in
an n-vertex graph with no two cycles of the
same length. Denote this maximum by n+f(n).
Using Theorem 2 we can show:
• Theorem 3: For n sufficiently large:
f ( n) 1.98 n
4
The following simple relation connects f(n) and
g(n):
f(n) g(n+f(n))-1
Proof:
Let G be a graph with n vertices and n+f(n)
edges having no two cycles with the same
length. Construct a hypergraph H whose
vertices are the edges of G and whose edges
are the cycles of G. Thus, we can cover the
edges of H with g(n+f(n)) vertices. This means
that there are g(n+f(n)) edges in G whose
removal results in an acyclic graph. Therefore,
n+f(n)- g(n+f(n)) n-1.
g ( n) 1.979 n
Thus, by Theorem 2, since
we have that f (n) 1.979 n f ( n)
which implies f (n) 1.98 n for n large.
5
A Turán-Type generalization
Not having two cycles with the same length is
just like saying there is no repeated element in
the family of all cycles. The family of all
cycles is the family of subdivisions of C3.
8
Proof of the upper bound in Theorem 2
• Lemma 1: if F is a hypergraph with n vertices
and m edges f1,…,fm where |fi| |fi+1| and a m
is the maximal integer for which |f1|+…+|fa|
n then: (F) (m+a)/2.
9
• Lemma 2: (a small linear program) Suppose
0 < yi for i=1,…,n and assume that there exists
an integer b for which
y1+2y2+…+byb n < y1+2y2+…+byb+(b+1)yb+1
Then, the conditions 0 xi yi for i=1,…,n
and x1+2x2+…+nxn n imply:
x1+x2+…+xn y1+y2+…+yb+1.
10
The proof:
• We assume H=(V,E), |V|=n, E={e1,…,en} |ei|=i.
• First, we create a random subset X V where
each vertex is chosen to X independently with
probability p.
• Let F=F(X) E be the set of edges not
intersecting X. Trivially, (H) |X| + (F).
• Put F={f1,…,fm} where |fi| |fi+1| and a m is
the maximal integer for which |f1|+…+|fa| n.
By Lemma 1 we get (H) |X| + (a+m)/2.
• It suffices to show that
Exp [ |X| + (a+m)/2 ] 1.979n0.5
which is the same thing as showing:
Exp [|X|] + 0.5Exp[m]+0.5Exp[a] 1.979n0.5
The first two terms are easy:
• Exp [|X|] = np
• The probability that the edge ei does not
intersect X is exactly (1-p)i . Therefore:
Exp[m] = (1-p)+(1-p)2+…+(1-p)n
11
• Computing Exp[a] is very difficult, so we shall
compute an upper bound for Exp[a] instead.
Put A=A(X)={f1,…,fa}, and let xi be the
probability that ei A. Clearly,
Exp[a] =Exp[|A|] = x1+x2+…+xn.
• Since A F we have 0 xi (1-p)i =yi.
• The expected contribution of ei to the sum of
cardinalities of the elements of A is ixi. Thus,
Exp[|f1| + … + |fa|] = x1+2x2+…+nxn. On the
other hand, by the definition of a, we always
have |f1| + … + |fa| n. Thus,
x1+2x2+…+nxn n
• By Lemma 2 we have that:
Exp[a] = x1+x2+…+xn y1+…+yb+1 where b
satisfies:
y1+2y2+…+byb n < y1+2y2+…+byb+(b+1)yb+1
12
• Summing it all up we get:
(H) np+
0.5 [(1-p)+(1-p)2+…+(1-p)n]+
(*)
0.5 [(1-p)+(1-p)2+…+(1-p)b+1]
• We now choose p=n-1/2 where 0 < < 1 and
try to optimize the above. Note that b is not a
free variable. It depends on since by its
i
definition: b
i
i 0
1 n(1 o(1))
n
13
Other versions of the problem
• For the fractional version, denote the
parameter by g*(n). It is not difficult to
show that g * (n) 2n o(1) .
• Let f2(n)+n denote the maximum number
of edges in an n-vertex 2-connected graph
with no two cycles having the same length.