185 research outputs found
Bounds on the Game Transversal Number in Hypergraphs
Let be a hypergraph with vertex set and edge set of order
\nH = |V| and size \mH = |E|. A transversal in is a subset of vertices
in that has a nonempty intersection with every edge of . A vertex hits
an edge if it belongs to that edge. The transversal game played on involves
of two players, \emph{Edge-hitter} and \emph{Staller}, who take turns choosing
a vertex from . Each vertex chosen must hit at least one edge not hit by the
vertices previously chosen. The game ends when the set of vertices chosen
becomes a transversal in . Edge-hitter wishes to minimize the number of
vertices chosen in the game, while Staller wishes to maximize it. The
\emph{game transversal number}, , of is the number of vertices
chosen when Edge-hitter starts the game and both players play optimally. We
compare the game transversal number of a hypergraph with its transversal
number, and also present an important fact concerning the monotonicity of
, that we call the Transversal Continuation Principle. It is known that
if is a hypergraph with all edges of size at least~, and is not a
-cycle, then \tau_g(H) \le \frac{4}{11}(\nH+\mH); and if is a
(loopless) graph, then \tau_g(H) \le \frac{1}{3}(\nH + \mH + 1). We prove
that if is a -uniform hypergraph, then \tau_g(H) \le \frac{5}{16}(\nH +
\mH), and if is -uniform, then \tau_g(H) \le \frac{71}{252}(\nH +
\mH).Comment: 23 pages
Decomposing 1-Sperner hypergraphs
A hypergraph is Sperner if no hyperedge contains another one. A Sperner
hypergraph is equilizable (resp., threshold) if the characteristic vectors of
its hyperedges are the (minimal) binary solutions to a linear equation (resp.,
inequality) with positive coefficients. These combinatorial notions have many
applications and are motivated by the theory of Boolean functions and integer
programming. We introduce in this paper the class of -Sperner hypergraphs,
defined by the property that for every two hyperedges the smallest of their two
set differences is of size one. We characterize this class of Sperner
hypergraphs by a decomposition theorem and derive several consequences from it.
In particular, we obtain bounds on the size of -Sperner hypergraphs and
their transversal hypergraphs, show that the characteristic vectors of the
hyperedges are linearly independent over the reals, and prove that -Sperner
hypergraphs are both threshold and equilizable. The study of -Sperner
hypergraphs is motivated also by their applications in graph theory, which we
present in a companion paper
A Polynomial Delay Algorithm for Enumerating Minimal Dominating Sets in Chordal Graphs
An output-polynomial algorithm for the listing of minimal dominating sets in
graphs is a challenging open problem and is known to be equivalent to the
well-known Transversal problem which asks for an output-polynomial algorithm
for listing the set of minimal hitting sets in hypergraphs. We give a
polynomial delay algorithm to list the set of minimal dominating sets in
chordal graphs, an important and well-studied graph class where such an
algorithm was open for a while.Comment: 13 pages, 1 figure, submitte
Transversals in -Uniform Hypergraphs
Let be a -regular -uniform hypergraph on vertices. The
transversal number of is the minimum number of vertices that
intersect every edge. Lai and Chang [J. Combin. Theory Ser. B 50 (1990),
129--133] proved that . Thomass\'{e} and Yeo [Combinatorica
27 (2007), 473--487] improved this bound and showed that .
We provide a further improvement and prove that , which is
best possible due to a hypergraph of order eight. More generally, we show that
if is a -uniform hypergraph on vertices and edges with maximum
degree , then , which proves a known
conjecture. We show that an easy corollary of our main result is that the total
domination number of a graph on vertices with minimum degree at least~4 is
at most , which was the main result of the Thomass\'{e}-Yeo paper
[Combinatorica 27 (2007), 473--487].Comment: 41 page
- …