Mixed searching and proper-path-width
Theoretical Computer Science
Journal of Computer and System Sciences - Special issue on the fourteenth annual IEE conference on computational complexity
Which problems have strongly exponential complexity?
Journal of Computer and System Sciences
Practical Algorithms on Partial k-Trees with an Application to Domination-like Problems
WADS '93 Proceedings of the Third Workshop on Algorithms and Data Structures
Improved Tree Decomposition Based Algorithms for Domination-like Problems
LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics
Algorithm Design
Subexponential parameterized algorithms on bounded-genus graphs and H-minor-free graphs
Journal of the ACM (JACM)
Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)
Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)
Strong computational lower bounds via parameterized complexity
Journal of Computer and System Sciences
Fourier meets möbius: fast subset convolution
Proceedings of the thirty-ninth annual ACM symposium on Theory of computing
FOCS '07 Proceedings of the 48th Annual IEEE Symposium on Foundations of Computer Science
On the Optimality of Planar and Geometric Approximation Schemes
FOCS '07 Proceedings of the 48th Annual IEEE Symposium on Foundations of Computer Science
Planar graph bipartization in linear time
Discrete Applied Mathematics
Enumerate and Expand: Improved Algorithms for Connected Vertex Cover and Tree Cover
Theory of Computing Systems
Simpler Parameterized Algorithm for OCT
Combinatorial Algorithms
The Complexity of Satisfiability of Small Depth Circuits
Parameterized and Exact Computation
Cutwidth I: A linear time fixed parameter algorithm
Journal of Algorithms
Algorithmic lower bounds for problems parameterized by clique-width
SODA '10 Proceedings of the twenty-first annual ACM-SIAM symposium on Discrete Algorithms
On the possibility of faster SAT algorithms
SODA '10 Proceedings of the twenty-first annual ACM-SIAM symposium on Discrete Algorithms
Linear-programming design and analysis of fast algorithms for Max 2-CSP
Discrete Optimization
Finding odd cycle transversals
Operations Research Letters
The Bidimensionality Theory and Its Algorithmic Applications 1
The Computer Journal
Problems parameterized by treewidth tractable in single exponential time: a logical approach
MFCS'11 Proceedings of the 36th international conference on Mathematical foundations of computer science
Data reduction for graph coloring problems
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
Scheduling partially ordered jobs faster than 2n
ESA'11 Proceedings of the 19th European conference on Algorithms
Fast sub-exponential algorithms and compactness in planar graphs
ESA'11 Proceedings of the 19th European conference on Algorithms
Hitting and harvesting pumpkins
ESA'11 Proceedings of the 19th European conference on Algorithms
On the hardness of losing width
IPEC'11 Proceedings of the 6th international conference on Parameterized and Exact Computation
Solving the 2-disjoint connected subgraphs problem faster than 2n
LATIN'12 Proceedings of the 10th Latin American international conference on Theoretical Informatics
Some remarks on the incompressibility of width-parameterized SAT instances
FAW-AAIM'12 Proceedings of the 6th international Frontiers in Algorithmics, and Proceedings of the 8th international conference on Algorithmic Aspects in Information and Management
Fixed-Parameter tractability of treewidth and pathwidth
The Multivariate Algorithmic Revolution and Beyond
What's next? future directions in parameterized complexity
The Multivariate Algorithmic Revolution and Beyond
Finding efficient circuits for ensemble computation
SAT'12 Proceedings of the 15th international conference on Theory and Applications of Satisfiability Testing
Parameterized study of the test cover problem
MFCS'12 Proceedings of the 37th international conference on Mathematical Foundations of Computer Science
Finding a maximum induced degenerate subgraph faster than 2n
IPEC'12 Proceedings of the 7th international conference on Parameterized and Exact Computation
Fast hamiltonicity checking via bases of perfect matchings
Proceedings of the forty-fifth annual ACM symposium on Theory of computing
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part I
Faster exponential-time algorithms in graphs of bounded average degree
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part I
Data reduction for graph coloring problems
Information and Computation
Dynamic programming for graphs on surfaces
ACM Transactions on Algorithms (TALG)
On the Hardness of Losing Width
Theory of Computing Systems
Hi-index | 0.00 |
We obtain a number of lower bounds on the running time of algorithms solving problems on graphs of bounded treewidth. We prove the results under the Strong Exponential Time Hypothesis of Impagliazzo and Paturi. In particular, assuming that SAT cannot be solved in (2 - ∈)nmO(1) time, we show that for any ∈ 0; • Independent Set cannot be solved in time (2 − ε)tw(G) |V(G)|O(1), • Dominating Set cannot be solved in time (3 − ε)tw(G) |V(G)|O(1), • Max Cut cannot be solved in time (2 − ε)tw(G) |V(G)|O(1), • Odd Cycle Transversal cannot be solved in time (3 − ε)tw(G) |V(G)|O(1), • For any q ≥ 3, q-Coloring cannot be solved in time (q − ε)tw(G) |V(G)|O(1), • Partition Into Triangles cannot be solved in time (2 − ε)tw(G) |V(G)|O(1). Our lower bounds match the running times for the best known algorithms for the problems, up to the ε in the base.