Results 1  10
of
403
FixedParameter Hierarchies inside PSPACE
 In Proceedings of the 21th IEEE Symposium on Logic in Computer Science
, 2006
"... Treewidth measures the "treelikeness" of structures. Many NPcomplete problems, e.g., propositional satisfiability, are tractable on boundedtreewidth structures. In this work, we study the impact of treewidth bounds on QBF, a canonical PSPACEcomplete problem. This problem is known to be ..."
Abstract
 Add to MetaCart
to be fixedparameter tractable if both the treewidth and alternation depth are taken as parameters. We show here that the function bounding the complexity in the parameters is provably nonelementary (assuming P is different than NP). This yields a strict hierarchy of fixedparameter tractability inside
Graph isomorphism parameterized by feedback vertex set number is fixedparameter
, 2009
"... tractable ..."
Fast FixedParameter Tractable Algorithms for Nontrivial Generalizations of Vertex Cover
, 2003
"... Our goal in this paper is the development of fast algorithms for recognizing general classes of graphs. We seek algorithms whose complexity can be expressed as a linear function of the graph size plus an exponential function of k, a natural parameter describing the class. In particular, we consider ..."
Abstract

Cited by 15 (0 self)
 Add to MetaCart
Our goal in this paper is the development of fast algorithms for recognizing general classes of graphs. We seek algorithms whose complexity can be expressed as a linear function of the graph size plus an exponential function of k, a natural parameter describing the class. In particular, we consider
Parameterized Complexity
, 1998
"... the rapidly developing systematic connections between FPT and useful heuristic algorithms  a new and exciting bridge between the theory of computing and computing in practice. The organizers of the seminar strongly believe that knowledge of parameterized complexity techniques and results belongs ..."
Abstract

Cited by 1218 (75 self)
 Add to MetaCart
the rapidly developing systematic connections between FPT and useful heuristic algorithms  a new and exciting bridge between the theory of computing and computing in practice. The organizers of the seminar strongly believe that knowledge of parameterized complexity techniques and results belongs into the toolkit of every algorithm designer. The purpose of the seminar was to bring together leading experts from all over the world, and from the diverse areas of computer science that have been attracted to this new framework. The seminar was intended as the rst larger international meeting with a specic focus on parameterized complexity, and it hopefully serves as a driving force in the development of the eld. 1 We had 49 participants from Australia, Canada, India, Israel, New Zealand, USA, and various European countries. During the workshop 25 lectures were given. Moreover, one night session was devoted to open problems and Thursday was basically used for problem discussion
On the Tractability of Query Compilation and Bounded Treewidth
, 2012
"... We consider the problem of computing the probability of a Boolean function, which generalizes the model counting problem. Given an OBDD for such a function, its probability can be computed in linear time in the size of the OBDD. In this paper we investigate the connection between treewidth and the s ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
and the size of the OBDD. Bounded treewidth has proven to be applicable to many graph problems, which are NPhard in general but become tractable on graphs with bounded treewidth. However, it is less well understood how bounded treewidth can be used for the probability computation problem of a Boolean function
Imbalance is Fixed Parameter Tractable
"... Abstract. In the Imbalance Minimization problem we are given a graph G = (V, E) and an integer b and asked whether there is an ordering v1... vn of V such that the sum of the imbalance of all the vertices is at most b. The imbalance of a vertex vi is the absolute value of the difference between the ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
the number of neighbors to the left and right of vi. The problem is also known as the Balanced Vertex Ordering problem and it finds many applications in graph drawing. We show that this problem is fixed parameter tractable and provide an algorithm that runs in time 2 O(b log b) ยท n O(1). This resolves
Treewidth: Algorithmic techniques and results
 In Mathematical foundations of computer science
, 1998
"... This paper gives an overview of several results and techniques for graphs algorithms that compute the treewidth of a graph or that solve otherwise intractable problems when restricted graphs with bounded treewidth more efficiently. Also, several results on graph minors are reviewed. ..."
Abstract

Cited by 156 (10 self)
 Add to MetaCart
This paper gives an overview of several results and techniques for graphs algorithms that compute the treewidth of a graph or that solve otherwise intractable problems when restricted graphs with bounded treewidth more efficiently. Also, several results on graph minors are reviewed.
Bounded Persistence Pathwidth
, 2005
"... The role of graph width metrics, such as treewidth, pathwidth, and cliquewidth, is now seen as central in both algorithm design and the delineation of what is algorithmically possible. In this article we introduce a new, related, parameter for graphs, persistence. ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
The role of graph width metrics, such as treewidth, pathwidth, and cliquewidth, is now seen as central in both algorithm design and the delineation of what is algorithmically possible. In this article we introduce a new, related, parameter for graphs, persistence.
Results 1  10
of
403