Finding Cracks in the Wall of NP-completeness

Informacje na temat projektu

CRACKNP

Identyfikator umowy o grant: 853234

DOI

10.3030/853234

Projekt został zamknięty

Data podpisania przez KE 30 Września 2019

Data rozpoczęcia 1 Lutego 2020

Data zakończenia 31 Stycznia 2025

Finansowanie w ramach

• EXCELLENT SCIENCE - European Research Council (ERC)

Koszt całkowity

€ 1 499 632,00

Wkład UE

€ 1 499 632,00

Koordynowany przez

UNIVERSITEIT UTRECHT
Netherlands

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Peer reviewed articles (13)

Parameterization of (Partial) Maximum Satisfiability above Matching in a Variable-Clause Graph

Autorzy: Vasily Alferov, Ivan Bliznets, Kirill Brilliantov
Opublikowane w: Proceedings of the AAAI Conference on Artificial Intelligence, Numer 38, 2024, Strona(/y) 7918-7925, ISSN 2374-3468
Wydawca: AAAI presss
DOI: 10.1609/aaai.v38i8.28628

On the Fine-grained Parameterized Complexity of Partial Scheduling to Minimize the Makespan

Autorzy: Jesper Nederlof, Céline M. F. Swennenhuis
Opublikowane w: Algorithmica, Numer 84, 2022, Strona(/y) 2309-2334, ISSN 0178-4617
Wydawca: Springer Verlag
DOI: 10.1007/s00453-022-00970-8

Nearly ETH-tight Algorithms for Planar Steiner Tree with Terminals on Few Faces

Autorzy: Sándor Kisfaludi-Bak, Jesper Nederlof, Erik Jan van Leeuwen
Opublikowane w: ACM Transactions on Algorithms, Numer 16/3, 2020, Strona(/y) 1-30, ISSN 1549-6325
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3371389

Isometric Universal Graphs

Autorzy: Louis Esperet, Cyril Gavoille, Carla Groenland
Opublikowane w: SIAM Journal on Discrete Mathematics, Numer 35/2, 2021, Strona(/y) 1224-1237, ISSN 0895-4801
Wydawca: Society for Industrial and Applied Mathematics
DOI: 10.1137/21m1406155

Decomposing Random Permutations into Order-Isomorphic Subpermutations

Autorzy: Carla Groenland, Tom Johnston, Daniel Korandi, Alexander Roberts, Alex Scott, Jane Tan
Opublikowane w: SIAM Journal on Discrete Mathematics, Numer 37, 2023, Strona(/y) 1252-1261, ISSN 0895-4801
Wydawca: Society for Industrial and Applied Mathematics
DOI: 10.1137/22m148029x

Graphs of low average degree without independent transversals

Autorzy: Carla Groenland, Tomáš Kaiser, Oscar Treffers, Matthew Wales
Opublikowane w: Journal of Graph Theory, Numer 102, 2023, Strona(/y) 374-387, ISSN 0364-9024
Wydawca: John Wiley & Sons Inc.
DOI: 10.1002/jgt.22876

Improved Algorithms for Maximum Satisfiability and Its Special Cases

Autorzy: Kirill Brilliantov, Vasily Alferov, Ivan Bliznets
Opublikowane w: Proceedings of the AAAI Conference on Artificial Intelligence, Numer 37, 2023, Strona(/y) 3898-3905, ISSN 2374-3468
Wydawca: AAAI press
DOI: 10.1609/aaai.v37i4.25503

Bounding Generalized Coloring Numbers of Planar Graphs Using Coin Models

Autorzy: Jesper Nederlof, Michał Pilipczuk, Karol Węgrzycki
Opublikowane w: The Electronic Journal of Combinatorics, Numer 30, 2023, ISSN 1077-8926
Wydawca: Electronic Journal of Combinatorics
DOI: 10.37236/11095

Reconstructing the degree sequence of a sparse graph from a partial deck

Autorzy: Carla Groenland, Tom Johnston, Andrey Kupavskii, Kitty Meeks, Alex Scott, Jane Tan
Opublikowane w: Journal of Combinatorial Theory, Series B, Numer 157, 2024, Strona(/y) 283-293, ISSN 0095-8956
Wydawca: Academic Press
DOI: 10.1016/j.jctb.2022.07.004

Approximating Pathwidth for Graphs of Small Treewidth

Autorzy: Carla Groenland, Gwenaël Joret, Wojciech Nadara, Bartosz Walczak
Opublikowane w: ACM Transactions on Algorithms, Numer 19, 2023, Strona(/y) 1-19, ISSN 1549-6325
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3576044

The lengths for which bicrucial square-free permutations exist

Autorzy: null null, Carla Groenland, Tom Johnston, null null
Opublikowane w: Enumerative Combinatorics and Applications, Numer 2, 2022, Strona(/y) "Article #S4PP4", ISSN 2710-2335
Wydawca: Electronic
DOI: 10.54550/eca2022v2s4pp4

Fair division with minimal withheld information in social networks

Autorzy: Ivan Bliznets, Anton Bukov, Danil Sagunov
Opublikowane w: Theoretical Computer Science, Numer 991, 2024, Strona(/y) 114446, ISSN 0304-3975
Wydawca: Elsevier BV
DOI: 10.1016/j.tcs.2024.114446

Solving Target Set Selection with Bounded Thresholds Faster than $$2^n$$

Autorzy: Ivan Bliznets, Danil Sagunov
Opublikowane w: Algorithmica, Numer 85, 2023, Strona(/y) 384-405, ISSN 0178-4617
Wydawca: Springer Verlag
DOI: 10.1007/s00453-022-01031-w

Conference proceedings (23)

Tight Lower Bounds for Problems Parameterized by Rank-width

Autorzy: Bergougnoux, Benjamin; Korhonen, Tuukka; Nederlof, Jesper
Opublikowane w: Numer 11, 2023
Wydawca: LIPIcs
DOI: 10.48550/arxiv.2210.02117

A Subexponential Time Algorithm for Makespan Scheduling of Unit Jobs with Precedence Constraints

Autorzy: Nederlof, Jesper; Swennenhuis, Céline M. F.; Węgrzycki, Karol
Opublikowane w: Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms, Numer 1, 2025
Wydawca: SIAM
DOI: 10.48550/arxiv.2312.03495

A Gap-ETH-Tight Approximation Scheme for Euclidean TSP

Autorzy: Kisfaludi-Bak, S.; Nederlof, J.; Węgrzycki, K.
Opublikowane w: Crossref, Numer 5, 2021
Wydawca: IEEE
DOI: 10.48550/arxiv.2011.03778

On the Complexity of Problems on Tree-structured Graphs

Autorzy: Bodlaender, Hans L.; Groenland, Carla; Jacob, Hugo; Pilipczuk, Marcin; Pilipczuk, Michał
Opublikowane w: Numer 32, 2022
Wydawca: LIPICS
DOI: 10.48550/arxiv.2206.11828

Enumeration of Minimal Tropical Connected Sets

Autorzy: Ivan Bliznets; Danil Sagunov; Eugene Tagin
Opublikowane w: Algorithms and Complexity - 13th International Conference (CIAC), 2023
Wydawca: Springer

On the parameterized complexity of computing tree-partitions

Autorzy: Bodlaender, Hans L.; Groenland, Carla; Jacob, Hugo
Opublikowane w: 17th International Symposium on Parameterized and Exact Computation (IPEC 2022), Numer 14, 2022
Wydawca: LIPICS
DOI: 10.48550/arxiv.2206.11832

A Fine-Grained Classification of the Complexity of Evaluating the Tutte Polynomial on Integer Points Parameterized by Treewidth and Cutwidth

Autorzy: Mannens, Isja; Nederlof, Jesper
Opublikowane w: 31st Annual European Symposium on Algorithms, ESA 2023, Numer 3, 2023
Wydawca: LIPICS
DOI: 10.48550/arxiv.2307.01046

A Polynomial Time Algorithm for Steiner Tree when Terminals Avoid a Rooted K_4-Minor

Autorzy: Carla Groenland, Jesper Nederlof, Tomohiro Koana
Opublikowane w: 19th International Symposium on Parameterized and Exact Computation, 2024
Wydawca: LIPICS

Exact antichain saturation numbers via a generalisation of a result of Lehman-Ron

Autorzy: Paul Bastide, Carla Groenland, Hugo Jacob, Tom Johnston
Opublikowane w: Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications, 2023, Strona(/y) 120-126
Wydawca: Masaryk University Press
DOI: 10.5817/cz.muni.eurocomb23-017

Isolation Schemes for Problems on Decomposable Graphs

Autorzy: Jesper Nederlof, Michal Pilipczuk, Céline M. F. Swennenhuis, Karol Wegrzycki
Opublikowane w: 39th International Symposium on Theoretical Aspects of Computer Science, STACS 2022, Numer 33, 2022
Wydawca: LIPICS

XNLP-hardness of Parameterized Problems on Planar Graphs

Autorzy: Bodlaender, Hans L.; Szilágyi, Krisztina
Opublikowane w: 19th International Symposium on Parameterized and Exact Computation, Numer 1, 2024
Wydawca: LIPICS
DOI: 10.48550/arxiv.2402.03087

Improving Schroeppel and Shamir’s algorithm for subset sum via orthogonal vectors

Autorzy: Jesper Nederlof, Karol Węgrzycki
Opublikowane w: Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing, 2021, Strona(/y) 1670-1683, ISBN 9781450380539
Wydawca: ACM
DOI: 10.1145/3406325.3451024

Towards Tight Bounds for the Graph Homomorphism Problem Parameterized by Cutwidth via Asymptotic Matrix Parameters

Autorzy: Carla Groenland, Isja Mannens, Jesper Nederlof, Marta Piecyk, Pawel Rzazewski
Opublikowane w: 51st International Colloquium on Automata, Languages, and Programming, 2024
Wydawca: LIPICS
DOI: 10.4230/lipics.icalp.2024.77

Tight bounds for counting colorings and connected edge sets parameterized by cutwidth

Autorzy: Groenland, Carla; Mannens, Isja; Nederlof, Jesper; Szilágyi, Krisztina
Opublikowane w: 39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022), Numer 1, 2022
Wydawca: LIPCS
DOI: 10.48550/arxiv.2110.02730

Parameterized Complexities of Dominating and Independent Set Reconfiguration

Autorzy: Bodlaender, Hans L.; Groenland, Carla; Swennenhuis, Céline M.F.; Golovach, Petr A.; Zehavi, Meirav; Sub Algorithms and Complexity; Algorithms and Complexity
Opublikowane w: 16th International Symposium on Parameterized and Exact Computation, IPEC 2021, Numer 1, 2021
Wydawca: LIPICS
DOI: 10.4230/lipics.ipec.2021.9

Detecting and counting small patterns in planar graphs in subexponential parameterized time

Autorzy: Jesper Nederlof
Opublikowane w: Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, 2020, Strona(/y) 1293-1306, ISBN 9781450369794
Wydawca: ACM
DOI: 10.1145/3357713.3384261

Another Hamiltonian Cycle in Bipartite Pfaffian Graphs

Autorzy: Björklund, Andreas; Kaski, Petteri; Nederlof, Jesper
Opublikowane w: 51st International Colloquium on Automata, Languages, and Programming, Numer 5, 2024
Wydawca: LIPICS
DOI: 10.48550/arxiv.2308.01574

MaxCut Above Guarantee

Autorzy: Ivan Bliznets; Vladislav Epifanov
Opublikowane w: 48th International Symposium on Mathematical Foundations of Computer Science, 2023
Wydawca: LIPICS

Polynomial-time Approximation of Independent Set Parameterized by Treewidth

Autorzy: Chalermsook, Parinya; Fomin, Fedor V.; Hamm, Thekla; Korhonen, Tuukka; Nederlof, Jesper; Orgo, Ly
Opublikowane w: In 31st Annual European Symposium on Algorithms, Numer 18, 2023
Wydawca: LIPICS
DOI: 10.48550/arxiv.2307.01341

XNLP-completeness for Parameterized Problems on Graphs with a Linear Structure

Autorzy: Bodlaender, Hans L.; Groenland, Carla; Jacob, Hugo; Jaffke, Lars; Lima, Paloma T.
Opublikowane w: 17th International Symposium on Parameterized and Exact Computation (IPEC 2022), Numer 4, 2022
Wydawca: LIPICS
DOI: 10.48550/arxiv.2201.13119

Faster Algorithms on Linear Delta-Matroids

Autorzy: Tomohiro Koana, Magnus Wahlström
Opublikowane w: 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025), 2025
Wydawca: LIPICS
DOI: 10.4230/lipics.stacs.2025.62

Faster Edge Coloring by Partition Sieving

Autorzy: Shyan Akmal, Tomohiro Koana
Opublikowane w: 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025), 2025
Wydawca: LIPICS
DOI: 10.4230/lipics.stacs.2025.7

Bipartite TSP in o(1.9999ⁿ) time, assuming quadratic time matrix multiplication

Autorzy: Jesper Nederlof
Opublikowane w: Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, 2020, Strona(/y) 40-53, ISBN 9781450369794
Wydawca: ACM
DOI: 10.1145/3357713.3384264

Book chapters (14)

List Colouring Trees in Logarithmic Space

Autorzy: Bodlaender, Hans L.; Groenland, Carla; Jacob, Hugo
Opublikowane w: 30th Annual European Symposium on Algorithms (ESA 2022), Numer 2, 2022
Wydawca: LIPICS
DOI: 10.48550/arxiv.2206.09750

The Parameterised Complexity of Integer Multicommodity Flow

Autorzy: Mannens, Isja; Oostveen, Jelle; van Leeuwen, Erik Jan; Pandey, Sukanya; Bodlaender, Hans L.
Opublikowane w: 18th International Symposium on Parameterized and Exact Computation (IPEC 2023), Numer 4, 2023
Wydawca: LIPICS
DOI: 10.48550/arxiv.2310.05784

A Faster Exponential Time Algorithm for Bin Packing With a Constant Number of Bins via Additive Combinatorics

Autorzy: Jesper Nederlof, Jakub Pawlewicz, Céline M. F. Swennenhuis, Karol Węgrzycki
Opublikowane w: Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA), 2021, Strona(/y) 1682-1701, ISBN 978-1-61197-646-5
Wydawca: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611976465.102

Tight Double Exponential Lower Bounds

Autorzy: Ivan Bliznets, Markus Hecher
Opublikowane w: Lecture Notes in Computer Science, Theory and Applications of Models of Computation, 2024, Strona(/y) 124-136
Wydawca: Springer Nature Singapore
DOI: 10.1007/978-981-97-2340-9_11

Parameterized Algorithms for Covering by Arithmetic Progressions

Autorzy: Ivan Bliznets, Jesper Nederlof, Krisztina Szilágyi
Opublikowane w: Lecture Notes in Computer Science, SOFSEM 2024: Theory and Practice of Computer Science, 2024, Strona(/y) 125-138
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-52113-3_9

Hamiltonian Cycle Parameterized by Treedepth in Single Exponential Time and Polynomial Space

Autorzy: Jesper Nederlof, Michał Pilipczuk, Céline M. F. Swennenhuis, Karol Węgrzycki
Opublikowane w: Graph-Theoretic Concepts in Computer Science - 46th International Workshop, WG 2020, Leeds, UK, June 24–26, 2020, Revised Selected Papers, Numer 12301, 2020, Strona(/y) 27-39, ISBN 978-3-030-60439-4
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-60440-0_3

Exact and Parameterized Algorithms for Choosability

Autorzy: Ivan Bliznets, Jesper Nederlof
Opublikowane w: Lecture Notes in Computer Science, SOFSEM 2024: Theory and Practice of Computer Science, 2024, Strona(/y) 111-124
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-52113-3_8

Algorithms and Turing Kernels for Detecting and Counting Small Patterns in Unit Disk Graphs

Autorzy: Jesper Nederlof, Krisztina Szilágyi
Opublikowane w: Lecture Notes in Computer Science, SOFSEM 2024: Theory and Practice of Computer Science, 2024, Strona(/y) 413-426
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-52113-3_29

Algorithms for NP-Hard Problems via Rank-Related Parameters of Matrices

Autorzy: Jesper Nederlof
Opublikowane w: Treewidth, Kernels, and Algorithms - Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday, Numer 12160, 2020, Strona(/y) 145-164, ISBN 978-3-030-42070-3
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-42071-0_11

On the Parameterized Complexity of the Connected Flow and Many Visits TSP Problem

Autorzy: Isja Mannens, Jesper Nederlof, Céline Swennenhuis, Krisztina Szilágyi
Opublikowane w: Graph-Theoretic Concepts in Computer Science - 47th International Workshop, WG 2021, Warsaw, Poland, June 23–25, 2021, Revised Selected Papers, Numer 12911, 2021, Strona(/y) 52-79, ISBN 978-3-030-86837-6
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-86838-3_5

A Tight Local Algorithm for the Minimum Dominating Set Problem in Outerplanar Graphs

Autorzy: Marthe Bonamy, Linda Cook, Carla Groenland, Alexandra Wesolek
Opublikowane w: 35th International Symposium on Distributed Computing (DISC 2021), Numer 35, 2020, ISBN 978-3-95977-210-5
Wydawca: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.disc.2021.13

On the Fine-Grained Parameterized Complexity of Partial Scheduling to Minimize the Makespan

Autorzy: Nederlof, Jesper ; Swennenhuis, Céline M. F.
Opublikowane w: 15th International Symposium on Parameterized and Exact Computation (IPEC 2020), 2020, Strona(/y) 25:1--25:17, ISBN 978-3-95977-172-6
Wydawca: Leibniz International Proceedings in Informatics (LIPIcs)
DOI: 10.4230/lipics.ipec.2020.25

Parameterized Problems Complete for Nondeterministic FPT time and Logarithmic Space

Autorzy: Bodlaender, Hans L.; Groenland, Carla; Nederlof, Jesper; Swennenhuis, Celine M.F.; Sub Algorithms and Complexity; Dep Wiskunde; Sub Mathematical Modeling; Algorithms and Complexity
Opublikowane w: Proceedings - 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science, FOCS 2021, Numer 2, 2021
Wydawca: IEEE
DOI: 10.1109/focs52979.2021.00027

Fair Division with Minimal Withheld Information in Social Networks

Autorzy: Ivan Bliznets, Anton Bukov, Danil Sagunov
Opublikowane w: Lecture Notes in Computer Science, Computing and Combinatorics, 2023, Strona(/y) 126-137
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-031-22105-7_12

Other (1)

Perfect shuffling with fewer lazy transpositions

Autorzy: Groenland, Carla; Johnston, Tom; Radcliffe, Jamie; Scott, Alex
Opublikowane w: arxiv, Numer 1, 2022
Wydawca: corr
DOI: 10.48550/arxiv.2208.06629