7,702 research outputs found
A Branch-and-Reduce Algorithm for Finding a Minimum Independent Dominating Set
An independent dominating set D of a graph G = (V,E) is a subset of vertices
such that every vertex in V \ D has at least one neighbor in D and D is an
independent set, i.e. no two vertices of D are adjacent in G. Finding a minimum
independent dominating set in a graph is an NP-hard problem. Whereas it is hard
to cope with this problem using parameterized and approximation algorithms,
there is a simple exact O(1.4423^n)-time algorithm solving the problem by
enumerating all maximal independent sets. In this paper we improve the latter
result, providing the first non trivial algorithm computing a minimum
independent dominating set of a graph in time O(1.3569^n). Furthermore, we give
a lower bound of \Omega(1.3247^n) on the worst-case running time of this
algorithm, showing that the running time analysis is almost tight.Comment: Full version. A preliminary version appeared in the proceedings of WG
200
An Even Faster and More Unifying Algorithm for Comparing Trees via Unbalanced Bipartite Matchings
A widely used method for determining the similarity of two labeled trees is
to compute a maximum agreement subtree of the two trees. Previous work on this
similarity measure is only concerned with the comparison of labeled trees of
two special kinds, namely, uniformly labeled trees (i.e., trees with all their
nodes labeled by the same symbol) and evolutionary trees (i.e., leaf-labeled
trees with distinct symbols for distinct leaves). This paper presents an
algorithm for comparing trees that are labeled in an arbitrary manner. In
addition to this generality, this algorithm is faster than the previous
algorithms.
Another contribution of this paper is on maximum weight bipartite matchings.
We show how to speed up the best known matching algorithms when the input
graphs are node-unbalanced or weight-unbalanced. Based on these enhancements,
we obtain an efficient algorithm for a new matching problem called the
hierarchical bipartite matching problem, which is at the core of our maximum
agreement subtree algorithm.Comment: To appear in Journal of Algorithm
Optimality program in segment and string graphs
Planar graphs are known to allow subexponential algorithms running in time
or for most of the paradigmatic
problems, while the brute-force time is very likely to be
asymptotically best on general graphs. Intrigued by an algorithm packing curves
in by Fox and Pach [SODA'11], we investigate which
problems have subexponential algorithms on the intersection graphs of curves
(string graphs) or segments (segment intersection graphs) and which problems
have no such algorithms under the ETH (Exponential Time Hypothesis). Among our
results, we show that, quite surprisingly, 3-Coloring can also be solved in
time on string graphs while an algorithm running
in time for 4-Coloring even on axis-parallel segments (of unbounded
length) would disprove the ETH. For 4-Coloring of unit segments, we show a
weaker ETH lower bound of which exploits the celebrated
Erd\H{o}s-Szekeres theorem. The subexponential running time also carries over
to Min Feedback Vertex Set but not to Min Dominating Set and Min Independent
Dominating Set.Comment: 19 pages, 15 figure
08431 Abstracts Collection -- Moderately Exponential Time Algorithms
From to , the Dagstuhl Seminar 08431 ``Moderately Exponential Time Algorithms \u27\u27 was held in Schloss Dagstuhl~--~Leibniz Center for Informatics.
During the seminar, several participants presented their current
research, and ongoing work and open problems were discussed. Abstracts of
the presentations given during the seminar as well as abstracts of
seminar results and ideas are put together in this paper. The first section
describes the seminar topics and goals in general.
Links to extended abstracts or full papers are provided, if available
A Faster Exact Algorithm for the Directed Maximum Leaf Spanning Tree Problem
Given a directed graph , the Directed Maximum Leaf Spanning Tree
problem asks to compute a directed spanning tree (i.e., an out-branching) with
as many leaves as possible. By designing a Branch-and-Reduced algorithm
combined with the Measure & Conquer technique for running time analysis, we
show that the problem can be solved in time \Oh^*(1.9043^n) using polynomial
space. Hitherto, there have been only few examples. Provided exponential space
this run time upper bound can be lowered to \Oh^*(1.8139^n)
- …