Suchergebnisse - Parameterized complexity and exact algorithms

  1. 1

    Multicut Problems in Embedded Graphs: The Dependency of Complexity on the Demand Pattern von Focke, Jacob, Hörsch, Florian, Li, Shaohua, Marx, Dániel

    ISSN: 0179-5376, 1432-0444
    Veröffentlicht: 22.10.2025
    Verö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. 2

    Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis von Conrado, Giovanna Kobus, Goharshady, Amir Kafshdar, Kochekov, Kerim, Tsai, Yun Chen, Zaher, Ahmed Khaled

    ISSN: 2475-1421, 2475-1421
    Veröffentlicht: New York, NY, USA ACM 16.10.2023
    Verö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. 3

    Efficient parameterized algorithms for data packing von Chatterjee, Krishnendu, Goharshady, Amir Kafshdar, Okati, Nastaran, Pavlogiannis, Andreas

    ISSN: 2475-1421, 2475-1421
    Veröffentlicht: New York, NY, USA ACM 02.01.2019
    Verö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. 4

    AWDIT: An Optimal Weak Database Isolation Tester von Møldrup, Lasse, Pavlogiannis, Andreas

    ISSN: 2475-1421, 2475-1421
    Veröffentlicht: New York, NY, USA ACM 10.06.2025
    Verö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. 5

    Minimum Degree up to Local Complementation: Bounds, Parameterized Complexity, and Exact Algorithms von Cattanéo, David, Perdrix, Simon

    ISSN: 2331-8422
    Veröffentlicht: Ithaca Cornell University Library, arXiv.org 17.08.2016
    Verö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. 6
  7. 7
  8. 8

    Fixed-Parameter Complexity of Minimum Profile Problems: Parameterized and Exact Algorithms von GUTIN, Gregory, SZEIDER, Stefan, YEO, Anders

    ISSN: 0178-4617, 1432-0541
    Veröffentlicht: Heidelberg Springer 2008
    Veröffentlicht in Algorithmica (2008)
    Volltext
    Journal Article
  9. 9

    Special Issue Dedicated to the 13th International Symposium on Parameterized and Exact Computation von Paul, Christophe, Pilipczuk, Michał

    ISSN: 0178-4617, 1432-0541
    Veröffentlicht: New York Springer US 01.08.2020
    Verö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. 10

    Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas von Subramani, K., Wojciechowski, Piotr

    ISSN: 1012-2443, 1573-7470
    Veröffentlicht: Cham Springer International Publishing 01.01.2022
    Verö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. 11

    New Algorithms for Mixed Dominating Set von Dublois, Louis, Lampis, Michael, Paschos, Vangelis Th

    ISSN: 1365-8050, 1462-7264, 1365-8050
    Veröffentlicht: DMTCS 30.04.2021
    “… We study the complexity of exact and parameterized algorithms for \textsc{Mixed Dominating Set …”
    Volltext
    Journal Article
  12. 12

    New Algorithms for Mixed Dominating Set von Dublois, Louis, Lampis, Michael, Paschos, Vangelis Th

    ISSN: 1365-8050
    Veröffentlicht: Nancy DMTCS 01.01.2021
    “… We study the complexity of exact and parameterized algorithms for Mixed Dominating Set, resolving some open questions …”
    Volltext
    Journal Article
  13. 13

    Solving Connectivity Problems Parameterized by Treewidth in Single Exponential Time von Cygan, M., Nederlof, J., Pilipczuk, M., Pilipczuk, M., van Rooij, Joham M. M., Wojtaszczyk, J. O.

    ISBN: 145771843X, 9781457718434
    ISSN: 0272-5428
    Veröffentlicht: IEEE 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. 14

    Exact and parameterized algorithms for choosability von Bliznets, Ivan, Nederlof, Jesper

    ISSN: 0001-5903, 1432-0525
    Veröffentlicht: Berlin/Heidelberg Springer Berlin Heidelberg 01.06.2025
    Verö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. 15

    Parameterized Complexity of Graph Burning von Kobayashi, Yasuaki, Otachi, Yota

    ISSN: 0178-4617, 1432-0541
    Veröffentlicht: New York Springer US 01.08.2022
    Verö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. 16

    Parameterized Complexity of (A,ℓ)-Path Packing von Belmonte, Rémy, Hanaka, Tesshu, Kanzaki, Masaaki, Kiyomi, Masashi, Kobayashi, Yasuaki, Kobayashi, Yusuke, Lampis, Michael, Ono, Hirotaka, Otachi, Yota

    ISSN: 0178-4617, 1432-0541
    Veröffentlicht: New York Springer US 01.04.2022
    Verö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. 17

    Waring Rank, Parameterized and Exact Algorithms von Pratt, Kevin

    ISSN: 2575-8454
    Veröffentlicht: IEEE 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. 18

    On the parameterized complexity of multiple-interval graph problems von Fellows, Michael R., Hermelin, Danny, Rosamond, Frances, Vialette, Stéphane

    ISSN: 0304-3975, 1879-2294
    Veröffentlicht: Oxford Elsevier B.V 01.01.2009
    Verö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. 19

    Parameterized Complexity of Independent Set in H-Free Graphs von Bonnet, Édouard, Bousquet, Nicolas, Charbit, Pierre, Thomassé, Stéphan, Watrigant, Rémi

    ISSN: 0178-4617, 1432-0541
    Veröffentlicht: New York Springer US 01.08.2020
    Verö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. 20

    Parameterized Complexity of Directed Spanner Problems von Fomin, Fedor V., Golovach, Petr A., Lochet, William, Misra, Pranabendu, Saurabh, Saket, Sharma, Roohani

    ISSN: 0178-4617, 1432-0541
    Veröffentlicht: New York Springer US 01.08.2022
    Veröffentlicht in Algorithmica (01.08.2022)
    “… We initiate the parameterized complexity study of minimum t -spanner problems on directed graphs …”
    Volltext
    Journal Article