Exact exponential algorithms

FV Fomin, P Kaski - Communications of the ACM, 2013 - dl.acm.org
Exact exponential algorithms Page 1 80 coMMunicATions of ThE AcM | MARCh 2013 | Vol. 56
| No. 3 review articles Exact Exponential Algorithms of non-parameterized instances of intractable …

A measure & conquer approach for the analysis of exact algorithms

FV Fomin, F Grandoni, D Kratsch - Journal of the ACM (JACM), 2009 - dl.acm.org
For more than 40 years, Branch & Reduce exponential-time backtracking algorithms have
been among the most common tools used for finding exact solutions of NP-hard problems …

Combinatorial bounds via measure and conquer: Bounding minimal dominating sets and applications

FV Fomin, F Grandoni, AV Pyatkin… - ACM Transactions on …, 2008 - dl.acm.org
We provide an algorithm listing all minimal dominating sets of a graph on n vertices in time O
(1.7159 n). This result can be seen as an algorithmic proof of the fact that the number of …

[HTML][HTML] Exact algorithms for dominating set

JMM Van Rooij, HL Bodlaender - Discrete Applied Mathematics, 2011 - Elsevier
The measure and conquer approach has proven to be a powerful tool to analyse exact
algorithms for combinatorial problems like Dominating Set and Independent Set. This …

Algorithms, measures and upper bounds for satisfiability and related problems

M Wahlström - 2007 - diva-portal.org
The topic of exact, exponential-time algorithms for NP-hard problems has received a lot of
attention, particularly with the focus of producing algorithms with stronger theoretical …

On the minimum feedback vertex set problem: Exact and enumeration algorithms

FV Fomin, S Gaspers, AV Pyatkin, I Razgon - Algorithmica, 2008 - Springer
We present a time O(1.7548^n) algorithm finding a minimum feedback vertex set in an
undirected graph on n vertices. We also prove that a graph on n vertices can contain at most …

On two techniques of combining branching and treewidth

FV Fomin, S Gaspers, S Saurabh, AA Stepanov - Algorithmica, 2009 - Springer
Branch & Reduce and dynamic programming on graphs of bounded treewidth are among
the most common and powerful techniques used in the design of moderately exponential …

Exact algorithms for treewidth and minimum fill-in

FV Fomin, D Kratsch, I Todinca, Y Villanger - SIAM Journal on Computing, 2008 - SIAM
We show that the treewidth and the minimum fill-in of an n-vertex graph can be computed in
time O(1.8899^n). Our results are based on combinatorial proofs that an n-vertex graph has …

Treewidth computation and extremal combinatorics

FV Fomin, Y Villanger - Combinatorica, 2012 - Springer
For a given graph G and integers b, f≥ 0, let S be a subset of vertices of G of size b+ 1 such
that the subgraph of G induced by S is connected and S can be separated from other …

Solving Connected Dominating Set Faster than 2 n

FV Fomin, F Grandoni, D Kratsch - Algorithmica, 2008 - Springer
In the connected dominating set problem we are given an n-node undirected graph, and we
are asked to find a minimum cardinality connected subset S of nodes such that each node …