Suchergebnisse - Parameterized complexity and exact algorithms
-
1
Multicut Problems in Embedded Graphs: The Dependency of Complexity on the Demand Pattern
ISSN: 0179-5376, 1432-0444Veröffentlicht: 22.10.2025Veröffentlicht 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 …”
Volltext
Journal Article -
2
Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis
ISSN: 2475-1421, 2475-1421Veröffentlicht: New York, NY, USA ACM 16.10.2023Veröffentlicht 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 …”
Volltext
Journal Article -
3
Efficient parameterized algorithms for data packing
ISSN: 2475-1421, 2475-1421Veröffentlicht: New York, NY, USA ACM 02.01.2019Veröffentlicht 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 …”
Volltext
Journal Article -
4
AWDIT: An Optimal Weak Database Isolation Tester
ISSN: 2475-1421, 2475-1421Veröffentlicht: New York, NY, USA ACM 10.06.2025Veröffentlicht 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 …”
Volltext
Journal Article -
5
Minimum Degree up to Local Complementation: Bounds, Parameterized Complexity, and Exact Algorithms
ISSN: 2331-8422Veröffentlicht: Ithaca Cornell University Library, arXiv.org 17.08.2016Veröffentlicht 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 …”
Volltext
Paper -
6
On the Parameterized Complexity of Layered Graph Drawing: Parameterized and Exact Algorithms
ISSN: 0178-4617, 1432-0541Veröffentlicht: Heidelberg Springer 2008Veröffentlicht in Algorithmica (2008)Volltext
Journal Article -
7
Improved Algorithms and Complexity Results for Power Domination in Graphs: Parameterized and Exact Algorithms
ISSN: 0178-4617, 1432-0541Veröffentlicht: Heidelberg Springer 2008Veröffentlicht in Algorithmica (2008)Volltext
Journal Article -
8
Fixed-Parameter Complexity of Minimum Profile Problems: Parameterized and Exact Algorithms
ISSN: 0178-4617, 1432-0541Veröffentlicht: Heidelberg Springer 2008Veröffentlicht in Algorithmica (2008)Volltext
Journal Article -
9
Special Issue Dedicated to the 13th International Symposium on Parameterized and Exact Computation
ISSN: 0178-4617, 1432-0541Veröffentlicht: New York Springer US 01.08.2020Veröffentlicht 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 …”
Volltext
Journal Article Verlag -
10
Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas
ISSN: 1012-2443, 1573-7470Veröffentlicht: Cham Springer International Publishing 01.01.2022Veröffentlicht 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 …”
Volltext
Journal Article -
11
New Algorithms for Mixed Dominating Set
ISSN: 1365-8050, 1462-7264, 1365-8050Veröffentlicht: DMTCS 30.04.2021Veröffentlicht in Discrete mathematics and theoretical computer science (30.04.2021)“… We study the complexity of exact and parameterized algorithms for \textsc{Mixed Dominating Set …”
Volltext
Journal Article -
12
New Algorithms for Mixed Dominating Set
ISSN: 1365-8050Veröffentlicht: Nancy DMTCS 01.01.2021Veröffentlicht 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 …”
Volltext
Journal Article -
13
Solving Connectivity Problems Parameterized by Treewidth in Single Exponential Time
ISBN: 145771843X, 9781457718434ISSN: 0272-5428Veröffentlicht: IEEE 01.10.2011Veröffentlicht 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 …”
Volltext
Tagungsbericht -
14
Exact and parameterized algorithms for choosability
ISSN: 0001-5903, 1432-0525Veröffentlicht: Berlin/Heidelberg Springer Berlin Heidelberg 01.06.2025Veröffentlicht 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 …”
Volltext
Journal Article -
15
Parameterized Complexity of Graph Burning
ISSN: 0178-4617, 1432-0541Veröffentlicht: New York Springer US 01.08.2022Veröffentlicht in Algorithmica (01.08.2022)“… We study the parameterized complexity of this problem and answer all questions by Kare and Reddy …”
Volltext
Journal Article -
16
Parameterized Complexity of (A,ℓ)-Path Packing
ISSN: 0178-4617, 1432-0541Veröffentlicht: New York Springer US 01.04.2022Veröffentlicht 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 |, ℓ …”
Volltext
Journal Article -
17
Waring Rank, Parameterized and Exact Algorithms
ISSN: 2575-8454Veröffentlicht: IEEE 01.11.2019Veröffentlicht 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 …”
Volltext
Tagungsbericht -
18
On the parameterized complexity of multiple-interval graph problems
ISSN: 0304-3975, 1879-2294Veröffentlicht: Oxford Elsevier B.V 01.01.2009Veröffentlicht in Theoretical computer science (01.01.2009)“… In this sequel, we study multiple-interval graph problems from the perspective of parameterized complexity …”
Volltext
Journal Article -
19
Parameterized Complexity of Independent Set in H-Free Graphs
ISSN: 0178-4617, 1432-0541Veröffentlicht: New York Springer US 01.08.2020Veröffentlicht 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 …”
Volltext
Journal Article -
20
Parameterized Complexity of Directed Spanner Problems
ISSN: 0178-4617, 1432-0541Veröffentlicht: New York Springer US 01.08.2022Veröffentlicht in Algorithmica (01.08.2022)“… We initiate the parameterized complexity study of minimum t -spanner problems on directed graphs …”
Volltext
Journal Article

