Search Results - Parameterized complexity and exact algorithms
-
1
Multicut Problems in Embedded Graphs: The Dependency of Complexity on the Demand Pattern
ISSN: 0179-5376, 1432-0444Published: 22.10.2025Published in Discrete & computational geometry (22.10.2025)“…The Multicut problem asks for a minimum cut separating certain pairs of vertices: formally, given a graph G and a demand graph H on a set $$T\subseteq V(G)$$ T…”
Get full text
Journal Article -
2
Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis
ISSN: 2475-1421, 2475-1421Published: New York, NY, USA ACM 16.10.2023Published in Proceedings of ACM on programming languages (16.10.2023)“…Algebraic Program Analysis (APA) is a ubiquitous framework that has been employed as a unifying model for various problems in data-flow analysis, termination…”
Get full text
Journal Article -
3
Efficient parameterized algorithms for data packing
ISSN: 2475-1421, 2475-1421Published: New York, NY, USA ACM 02.01.2019Published in Proceedings of ACM on programming languages (02.01.2019)“…There is a huge gap between the speeds of modern caches and main memories, and therefore cache misses account for a considerable loss of efficiency in…”
Get full text
Journal Article -
4
AWDIT: An Optimal Weak Database Isolation Tester
ISSN: 2475-1421, 2475-1421Published: New York, NY, USA ACM 10.06.2025Published in Proceedings of ACM on programming languages (10.06.2025)“… In order to test databases on realistic workloads of large size, isolation testers must be as efficient as possible, a requirement that has initiated a study of the complexity of isolation testing…”
Get full text
Journal Article -
5
Minimum Degree up to Local Complementation: Bounds, Parameterized Complexity, and Exact Algorithms
ISSN: 2331-8422Published: Ithaca Cornell University Library, arXiv.org 17.08.2016Published in arXiv.org (17.08.2016)“…The local minimum degree of a graph is the minimum degree that can be reached by means of local complementation. For any n, there exist graphs of order n which…”
Get full text
Paper -
6
On the Parameterized Complexity of Layered Graph Drawing: Parameterized and Exact Algorithms
ISSN: 0178-4617, 1432-0541Published: Heidelberg Springer 2008Published in Algorithmica (2008)Get full text
Journal Article -
7
Improved Algorithms and Complexity Results for Power Domination in Graphs: Parameterized and Exact Algorithms
ISSN: 0178-4617, 1432-0541Published: Heidelberg Springer 2008Published in Algorithmica (2008)Get full text
Journal Article -
8
Fixed-Parameter Complexity of Minimum Profile Problems: Parameterized and Exact Algorithms
ISSN: 0178-4617, 1432-0541Published: Heidelberg Springer 2008Published in Algorithmica (2008)Get full text
Journal Article -
9
Special Issue Dedicated to the 13th International Symposium on Parameterized and Exact Computation
ISSN: 0178-4617, 1432-0541Published: New York Springer US 01.08.2020Published in Algorithmica (01.08.2020)“…) held in Helsinki, Finland. IPEC (formerly IWPEC) is a series of international symposia covering research in all aspects of parameterized and exact algorithms and complexity…”
Get full text
Journal Article Publication -
10
Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas
ISSN: 1012-2443, 1573-7470Published: Cham Springer International Publishing 01.01.2022Published in Annals of mathematics and artificial intelligence (01.01.2022)“…In this paper, we discuss algorithms for the problem of finding read-once resolution refutations of unsatisfiable 2CNF formulas within the resolution refutation system…”
Get full text
Journal Article -
11
New Algorithms for Mixed Dominating Set
ISSN: 1365-8050, 1462-7264, 1365-8050Published: DMTCS 30.04.2021Published in Discrete mathematics and theoretical computer science (30.04.2021)“… We study the complexity of exact and parameterized algorithms for \textsc{Mixed Dominating Set…”
Get full text
Journal Article -
12
New Algorithms for Mixed Dominating Set
ISSN: 1365-8050Published: Nancy DMTCS 01.01.2021Published in Discrete mathematics and theoretical computer science (01.01.2021)“… We study the complexity of exact and parameterized algorithms for Mixed Dominating Set, resolving some open questions…”
Get full text
Journal Article -
13
Solving Connectivity Problems Parameterized by Treewidth in Single Exponential Time
ISBN: 145771843X, 9781457718434ISSN: 0272-5428Published: IEEE 01.10.2011Published in 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science (01.10.2011)“…), standard dynamic programming techniques give c tw |V| O(1) time algorithms, where tw is the tree width of the input graph G = (V, E…”
Get full text
Conference Proceeding -
14
Exact and parameterized algorithms for choosability
ISSN: 0001-5903, 1432-0525Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.06.2025Published in Acta informatica (01.06.2025)“… The main objective of our paper is to construct the first non-trivial exact exponential algorithms for the C hoosability problem, and complete the picture with parameterized…”
Get full text
Journal Article -
15
Parameterized Complexity of Graph Burning
ISSN: 0178-4617, 1432-0541Published: New York Springer US 01.08.2022Published in Algorithmica (01.08.2022)“… We study the parameterized complexity of this problem and answer all questions by Kare and Reddy…”
Get full text
Journal Article -
16
Parameterized Complexity of (A,ℓ)-Path Packing
ISSN: 0178-4617, 1432-0541Published: New York Springer US 01.04.2022Published in Algorithmica (01.04.2022)“… that have endpoints in A and internal points in V \ A . We study the parameterized complexity of this problem with parameters | A |, ℓ…”
Get full text
Journal Article -
17
Waring Rank, Parameterized and Exact Algorithms
ISSN: 2575-8454Published: IEEE 01.11.2019Published in Proceedings / annual Symposium on Foundations of Computer Science (01.11.2019)“…We show that the Waring rank (symmetric tensor rank) of a certain family of polynomials has intimate connections to the areas of parameterized and exact…”
Get full text
Conference Proceeding -
18
On the parameterized complexity of multiple-interval graph problems
ISSN: 0304-3975, 1879-2294Published: Oxford Elsevier B.V 01.01.2009Published in Theoretical computer science (01.01.2009)“… In this sequel, we study multiple-interval graph problems from the perspective of parameterized complexity…”
Get full text
Journal Article -
19
Parameterized Complexity of Independent Set in H-Free Graphs
ISSN: 0178-4617, 1432-0541Published: New York Springer US 01.08.2020Published in Algorithmica (01.08.2020)“…In this paper, we investigate the complexity of Maximum Independent Set ( MIS ) in the class of H -free graphs, that is, graphs excluding a fixed graph as an induced subgraph…”
Get full text
Journal Article -
20
Parameterized Complexity of Directed Spanner Problems
ISSN: 0178-4617, 1432-0541Published: New York Springer US 01.08.2022Published in Algorithmica (01.08.2022)“…We initiate the parameterized complexity study of minimum t -spanner problems on directed graphs…”
Get full text
Journal Article

