355 research outputs found
Twins Vertices in Hypergraphs
Twin vertices in graphs correspond to vertices sharing the same neighborhood. We propose an extension to hypergraphs of the concept of twin vertices. For this we give two characterizations of twin vertices in hypergraphs, a first one in term of clone vertices (the concept of clone has been introduced in [16]) and a second one in term of committees (introduced in [6]). Finally we give an algorithm to aknowledge a set as committee and two algorithms to compute clone-twin vertices classes ans committee-twin vertices classes
The 1-2-3 Conjecture for Hypergraphs
A weighting of the edges of a hypergraph is called vertex-coloring if the
weighted degrees of the vertices yield a proper coloring of the graph, i.e.,
every edge contains at least two vertices with different weighted degrees. In
this paper we show that such a weighting is possible from the weight set
{1,2,...,r+1} for all hypergraphs with maximum edge size r>3 and not containing
edges solely consisting of identical vertices. The number r+1 is best possible
for this statement.
Further, the weight set {1,2,3,4,5} is sufficient for all hypergraphs with
maximum edge size 3, up to some trivial exceptions.Comment: 12 page
The role of twins in computing planar supports of hypergraphs
A support or realization of a hypergraph is a graph on the same
vertex as such that for each hyperedge of it holds that its vertices
induce a connected subgraph of . The NP-hard problem of finding a planar}
support has applications in hypergraph drawing and network design. Previous
algorithms for the problem assume that twins}---pairs of vertices that are in
precisely the same hyperedges---can safely be removed from the input
hypergraph. We prove that this assumption is generally wrong, yet that the
number of twins necessary for a hypergraph to have a planar support only
depends on its number of hyperedges. We give an explicit upper bound on the
number of twins necessary for a hypergraph with hyperedges to have an
-outerplanar support, which depends only on and . Since all
additional twins can be safely removed, we obtain a linear-time algorithm for
computing -outerplanar supports for hypergraphs with hyperedges if
and are constant; in other words, the problem is fixed-parameter
linear-time solvable with respect to the parameters and
Solving the Canonical Representation and Star System Problems for Proper Circular-Arc Graphs in Log-Space
We present a logspace algorithm that constructs a canonical intersection
model for a given proper circular-arc graph, where `canonical' means that
models of isomorphic graphs are equal. This implies that the recognition and
the isomorphism problems for this class of graphs are solvable in logspace. For
a broader class of concave-round graphs, that still possess (not necessarily
proper) circular-arc models, we show that those can also be constructed
canonically in logspace. As a building block for these results, we show how to
compute canonical models of circular-arc hypergraphs in logspace, which are
also known as matrices with the circular-ones property. Finally, we consider
the search version of the Star System Problem that consists in reconstructing a
graph from its closed neighborhood hypergraph. We solve it in logspace for the
classes of proper circular-arc, concave-round, and co-convex graphs.Comment: 19 pages, 3 figures, major revisio
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 family of extremal hypergraphs for Ryser's conjecture
Ryser's Conjecture states that for any -partite -uniform hypergraph,
the vertex cover number is at most times the matching number. This
conjecture is only known to be true for in general and for
if the hypergraph is intersecting. There has also been considerable effort made
for finding hypergraphs that are extremal for Ryser's Conjecture, i.e.
-partite hypergraphs whose cover number is times its matching number.
Aside from a few sporadic examples, the set of uniformities for which
Ryser's Conjecture is known to be tight is limited to those integers for which
a projective plane of order exists.
We produce a new infinite family of -uniform hypergraphs extremal to
Ryser's Conjecture, which exists whenever a projective plane of order
exists. Our construction is flexible enough to produce a large number of
non-isomorphic extremal hypergraphs. In particular, we define what we call the
{\em Ryser poset} of extremal intersecting -partite -uniform hypergraphs
and show that the number of maximal and minimal elements is exponential in
.
This provides further evidence for the difficulty of Ryser's Conjecture
- …