663 research outputs found
Exploiting -Closure in Kernelization Algorithms for Graph Problems
A graph is c-closed if every pair of vertices with at least c common
neighbors is adjacent. The c-closure of a graph G is the smallest number such
that G is c-closed. Fox et al. [ICALP '18] defined c-closure and investigated
it in the context of clique enumeration. We show that c-closure can be applied
in kernelization algorithms for several classic graph problems. We show that
Dominating Set admits a kernel of size k^O(c), that Induced Matching admits a
kernel with O(c^7*k^8) vertices, and that Irredundant Set admits a kernel with
O(c^(5/2)*k^3) vertices. Our kernelization exploits the fact that c-closed
graphs have polynomially-bounded Ramsey numbers, as we show
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
Hamilton cycles, minimum degree and bipartite holes
We present a tight extremal threshold for the existence of Hamilton cycles in
graphs with large minimum degree and without a large ``bipartite hole`` (two
disjoint sets of vertices with no edges between them). This result extends
Dirac's classical theorem, and is related to a theorem of Chv\'atal and
Erd\H{o}s.
In detail, an -bipartite-hole in a graph consists of two disjoint
sets of vertices and with and such that there are no
edges between and ; and is the maximum integer
such that contains an -bipartite-hole for every pair of
non-negative integers and with . Our central theorem is that
a graph with at least vertices is Hamiltonian if its minimum degree is
at least .
From the proof we obtain a polynomial time algorithm that either finds a
Hamilton cycle or a large bipartite hole. The theorem also yields a condition
for the existence of edge-disjoint Hamilton cycles. We see that for dense
random graphs , the probability of failing to contain many
edge-disjoint Hamilton cycles is . Finally, we discuss
the complexity of calculating and approximating
- …