4,336 research outputs found
Hamilton cycles in hypergraphs below the Dirac threshold
We establish a precise characterisation of -uniform hypergraphs with
minimum codegree close to which contain a Hamilton -cycle. As an
immediate corollary we identify the exact Dirac threshold for Hamilton
-cycles in -uniform hypergraphs. Moreover, by derandomising the proof of
our characterisation we provide a polynomial-time algorithm which, given a
-uniform hypergraph with minimum codegree close to , either finds a
Hamilton -cycle in or provides a certificate that no such cycle exists.
This surprising result stands in contrast to the graph setting, in which below
the Dirac threshold it is NP-hard to determine if a graph is Hamiltonian. We
also consider tight Hamilton cycles in -uniform hypergraphs for , giving a series of reductions to show that it is NP-hard to determine
whether a -uniform hypergraph with minimum degree contains a tight Hamilton cycle. It is therefore
unlikely that a similar characterisation can be obtained for tight Hamilton
cycles.Comment: v2: minor revisions in response to reviewer comments, most pseudocode
and details of the polynomial time reduction moved to the appendix which will
not appear in the printed version of the paper. To appear in Journal of
Combinatorial Theory, Series
Total Domishold Graphs: a Generalization of Threshold Graphs, with Connections to Threshold Hypergraphs
A total dominating set in a graph is a set of vertices such that every vertex
of the graph has a neighbor in the set. We introduce and study graphs that
admit non-negative real weights associated to their vertices such that a set of
vertices is a total dominating set if and only if the sum of the corresponding
weights exceeds a certain threshold. We show that these graphs, which we call
total domishold graphs, form a non-hereditary class of graphs properly
containing the classes of threshold graphs and the complements of domishold
graphs, and are closely related to threshold Boolean functions and threshold
hypergraphs. We present a polynomial time recognition algorithm of total
domishold graphs, and characterize graphs in which the above property holds in
a hereditary sense. Our characterization is obtained by studying a new family
of hypergraphs, defined similarly as the Sperner hypergraphs, which may be of
independent interest.Comment: 19 pages, 1 figur
On the Enumeration of Minimal Dominating Sets and Related Notions
A dominating set in a graph is a subset of its vertex set such that each
vertex is either in or has a neighbour in . In this paper, we are
interested in the enumeration of (inclusion-wise) minimal dominating sets in
graphs, called the Dom-Enum problem. It is well known that this problem can be
polynomially reduced to the Trans-Enum problem in hypergraphs, i.e., the
problem of enumerating all minimal transversals in a hypergraph. Firstly we
show that the Trans-Enum problem can be polynomially reduced to the Dom-Enum
problem. As a consequence there exists an output-polynomial time algorithm for
the Trans-Enum problem if and only if there exists one for the Dom-Enum
problem. Secondly, we study the Dom-Enum problem in some graph classes. We give
an output-polynomial time algorithm for the Dom-Enum problem in split graphs,
and introduce the completion of a graph to obtain an output-polynomial time
algorithm for the Dom-Enum problem in -free chordal graphs, a proper
superclass of split graphs. Finally, we investigate the complexity of the
enumeration of (inclusion-wise) minimal connected dominating sets and minimal
total dominating sets of graphs. We show that there exists an output-polynomial
time algorithm for the Dom-Enum problem (or equivalently Trans-Enum problem) if
and only if there exists one for the following enumeration problems: minimal
total dominating sets, minimal total dominating sets in split graphs, minimal
connected dominating sets in split graphs, minimal dominating sets in
co-bipartite graphs.Comment: 15 pages, 3 figures, In revisio
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
The Dilworth Number of Auto-Chordal-Bipartite Graphs
The mirror (or bipartite complement) mir(B) of a bipartite graph B=(X,Y,E)
has the same color classes X and Y as B, and two vertices x in X and y in Y are
adjacent in mir(B) if and only if xy is not in E. A bipartite graph is chordal
bipartite if none of its induced subgraphs is a chordless cycle with at least
six vertices. In this paper, we deal with chordal bipartite graphs whose mirror
is chordal bipartite as well; we call these graphs auto-chordal bipartite
graphs (ACB graphs for short). We describe the relationship to some known graph
classes such as interval and strongly chordal graphs and we present several
characterizations of ACB graphs. We show that ACB graphs have unbounded
Dilworth number, and we characterize ACB graphs with Dilworth number k
- …