Rigorous Search Space Reduction

Informations projet

ReduceSearch

N° de convention de subvention: 803421

DOI

10.3030/803421

Projet clôturé

Date de signature de la CE 4 Septembre 2018

Date de début 1 Janvier 2019

Date de fin 31 Decembre 2023

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 1 473 020,00

Contribution de l’UE

€ 1 473 020,00

Coordonné par

TECHNISCHE UNIVERSITEIT EINDHOVEN
Netherlands

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Thesis and dissertations (1)

Parameterized Graph Modification Beyond the Natural Parameter

Auteurs: Jari J. H. de Kroon
Publié dans: 2023
Éditeur: Eindhoven University of Technology

Peer reviewed articles (6)

Finding k-secluded trees faster

Auteurs: Huib Donkers; Bart M.P. Jansen; Jari J.H. de Kroon
Publié dans: Journal of Computer and System Sciences, Numéro 138, 2023, ISSN 0022-0000
Éditeur: Academic Press
DOI: 10.1016/j.jcss.2023.05.006

Edge Exploration of Temporal Graphs

Auteurs: Benjamin Merlin Bumpus, Kitty Meeks
Publié dans: Algorithmica, 2022, ISSN 0178-4617
Éditeur: Springer Verlag
DOI: 10.1007/s00453-022-01018-7

Preprocessing vertex-deletion problems: Characterizing graph properties by low-rank adjacencies

Auteurs: Bart M. P. Jansen, Jari J. H. de Kroon
Publié dans: Journal of Computer and System Sciences, Numéro 126, 2022, Page(s) 59--79, ISSN 0022-0000
Éditeur: Academic Press
DOI: 10.1016/j.jcss.2021.12.003

Spined categories: generalizing tree-width beyond graphs

Auteurs: Benjamin Merlin Bumpus, Zoltan A. Kocsis
Publié dans: European Journal of Combinatorics, Numéro 114, 2023, Page(s) 103794, ISSN 0195-6698
Éditeur: Academic Press
DOI: 10.1016/j.ejc.2023.103794

Preprocessing for Outerplanar Vertex Deletion: An Elementary Kernel of Quartic Size

Auteurs: Huib Donkers, Bart M. P. Jansen, Michal Wlodarczyk
Publié dans: Algorithmica, Numéro 84, 2022, Page(s) 3407--3458, ISSN 0178-4617
Éditeur: Springer Verlag
DOI: 10.1007/s00453-022-00984-2

Bridge-Depth Characterizes which Minor-Closed Structural Parameterizations of Vertex Cover Admit a Polynomial Kernel

Auteurs: Marin Bougeret, Bart M. P. Jansen, Ignasi Sau
Publié dans: SIAM Journal on Discrete Mathematics, Numéro 36, 2022, Page(s) 2737--2773, ISSN 0895-4801
Éditeur: Society for Industrial and Applied Mathematics
DOI: 10.1137/21m1400766

Conference proceedings (19)

Kernelization for Feedback Vertex Set via Elimination Distance to a Forest

Auteurs: David Dekker, Bart M. P. Jansen
Publié dans: Proceedings of the 48th 48th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2022, Numéro 13453, 2022, Page(s) 158--172
Éditeur: Springer
DOI: 10.1007/978-3-031-15914-5_12

Preprocessing for Outerplanar Vertex Deletion: An Elementary Kernel of Quartic Size

Auteurs: Huib Donkers, Bart M. P. Jansen, Michal Wlodarczyk
Publié dans: Proceedings of the 16th International Symposium on Parameterized and Exact Computation, IPEC 2021, Numéro 214, 2021, Page(s) 14:1--14:18
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.ipec.2021.14

Upward and Orthogonal Planarity are W[1]-Hard Parameterized by Treewidth

Auteurs: Bart M. P. Jansen, Liana Khazaliya, Philipp Kindermann, Giuseppe Liotta, Fabrizio Montecchiani, Kirill Simonov
Publié dans: Proceedings of the 31th International Symposium on Graph Drawing and Network Visualization, GD 2023, Numéro 14466, 2023, Page(s) 203–217
Éditeur: Springer
DOI: 10.1007/978-3-031-49275-4_14

5-approximation for H-treewidth essentially as fast as H-deletion parameterized by solution size

Auteurs: Bart M. P. Jansen, Jari J. H. de Kroon, Michał Włodarczyk
Publié dans: Proceedings of the 31st European Symposium on Algorithms, ESA 2023, 2023
Éditeur: LIPICS
DOI: 10.4230/lipics.esa.2023.66

Optimal Polynomial-Time Compression for Boolean Max CSP

Auteurs: Bart M. P. Jansen, Michal Wlodarczyk
Publié dans: Proceedings of the 28th Annual European Symposium on Algorithms, ESA 2020, Numéro 173, 2020, Page(s) 63:1--63:19, ISBN 978-3-95977-162-7
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.esa.2020.63

Single-exponential FPT algorithms for enumerating secluded F-free subgraphs and deleting to scattered graph classes

Auteurs: Bart M. P. Jansen, Jari J. H. de Kroon, Michał Włodarczyk
Publié dans: Proceedings of the 34th International Symposium on Algorithms and Computation, ISAAC 2023, 2023
Éditeur: LIPICS
DOI: 10.4230/lipics.isaac.2023.42

On the Parameterized Complexity of Multiway Near-Separator

Auteurs: Jansen, Bart M. P.; Roy, Shivesh K.
Publié dans: Proceedings of the 18th International Symposium on Parameterized and Exact Computation, IPEC 2023, Numéro 285, 2023, Page(s) 28:1–28:18
Éditeur: LIPICS
DOI: 10.4230/lipics.ipec.2023.28

Finding k-Secluded Trees Faster

Auteurs: Huib Donkers, Bart M. P. Jansen, Jari J. H. de Kroon
Publié dans: Proceedings of the 48th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2022, Numéro 13453, 2022, Page(s) 173--186
Éditeur: Springer
DOI: 10.1007/978-3-031-15914-5_13

Fine-Grained Complexity of k-OPT in Bounded-Degree Graphs for Solving TSP

Auteurs: Edouard Bonnet, Yoichi Iwata, Bart M. P. Jansen, Lukasz Kowalik
Publié dans: Proceedings of the 27th Annual European Symposium on Algorithms, ESA 2019, Numéro 144, 2019, Page(s) 23:1--23:14, ISBN 978-3-95977-124-5
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.esa.2019.23

Bridge-Depth Characterizes Which Structural Parameterizations of Vertex Cover Admit a Polynomial Kernel

Auteurs: Marin Bougeret, Bart M. P. Jansen, Ignasi Sau
Publié dans: Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, Numéro 168, 2020, Page(s) 16:1--16:19, ISBN 978-3-95977-138-2
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.icalp.2020.16

Preprocessing Vertex-Deletion Problems: Characterizing Graph Properties by Low-Rank Adjacencies

Auteurs: Bart M. P. Jansen, Jari J. H. de Kroon
Publié dans: Proceedings of the 17th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2020, Numéro 162, 2020, Page(s) 27:1--27:15, ISBN 978-3-95977-150-4
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.swat.2020.27

Vertex deletion parameterized by elimination distance and even less

Auteurs: Bart M. P. Jansen, Jari J. H. de Kroon, Michał Włodarczyk
Publié dans: Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing, 2021, Page(s) 1757-1769, ISBN 9781450380539
Éditeur: ACM
DOI: 10.1145/3406325.3451068

Lossy planarization: a constant-factor approximate kernelization for planar vertex deletion

Auteurs: Bart M. P. Jansen, Michał Włodarczyk
Publié dans: Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing, STOC'22, 2022, Page(s) 900--913
Éditeur: ACM
DOI: 10.1145/3519935.3520021

FPT Algorithms to Compute the Elimination Distance to Bipartite Graphs and More

Auteurs: Bart M. P. Jansen, Jari J. H. de Kroon
Publié dans: Proceedings of the 47th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2021, 2021, Page(s) 80-93
Éditeur: Springer
DOI: 10.1007/978-3-030-86838-3_6

Kernelization for Counting Problems on Graphs: Preserving the Number of Minimum Solutions

Auteurs: Jansen, Bart M. P.; van der Steenhoven, Bart
Publié dans: Proceedings of the 18th International Symposium on Parameterized and Exact Computation, IPEC 2023, Numéro 285, 2023, Page(s) 27:1–27:15
Éditeur: LIPICS
DOI: 10.4230/lipics.ipec.2023.27

Search-Space Reduction via Essential Vertices

Auteurs: Benjamin Merlin Bumpus, Bart M. P. Jansen, Jari J. H. de Kroon
Publié dans: Proceedings of the 30th Annual European Symposium on Algorithms, ESA 2022, 2022, Page(s) 244
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.esa.2022.30

On the hardness of compressing weights

Auteurs: Bart M. P. Jansen, Shivesh K. Roy, Michal Wlodarczyk
Publié dans: Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, Numéro 202, 2021, Page(s) 64:1–64:21, ISBN 978-3-95977-201-3
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.mfcs.2021.64

Preprocessing to Reduce the Search Space: Antler Structures for Feedback Vertex Set

Auteurs: Huib Donkers, Bart M. P. Jansen
Publié dans: Proceedings of the 47th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2021, 2021, Page(s) 1-14
Éditeur: Springer
DOI: 10.1007/978-3-030-86838-3_1

Sunflowers meet sparsity: a linear-vertex kernel for weighted clique-packing on sparse graphs

Auteurs: Bart M. P. Jansen, Shivesh K. Roy
Publié dans: 2023
Éditeur: LIPICS
DOI: 10.4230/lipics.ipec.2023.29

Book chapters (1)

Crossing Paths with Hans Bodlaender: A Personal View on Cross-Composition for Sparsification Lower Bounds

Auteurs: Bart M. P. Jansen
Publié dans: Treewidth, Kernels, and Algorithms - Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday, Numéro 12160, 2020, Page(s) 89-111, ISBN 978-3-030-42070-3
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-42071-0_8

Other (1)

Vertex Deletion Parameterized by Elimination Distance and Even Less

Auteurs: Michal Wlodarczyk
Publié dans: Parameterized Complexity News: Newsletter of the Parameterized Complexity Community, Numéro Volume 17 number 2, 2021, Page(s) 7-8
Éditeur: fpt.wikidot.com