English
Related papers

Related papers: Turing Kernelization for Finding Long Paths and Cy…

200 papers

The notion of Turing kernelization investigates whether a polynomial-time algorithm can solve an NP-hard problem, when it is aided by an oracle that can be queried for the answers to bounded-size subproblems. One of the main open problems…

Data Structures and Algorithms · Computer Science 2017-07-07 Bart M. P. Jansen , Marcin Pilipczuk , Marcin Wrochna

Connectivity problems like k-Path and k-Disjoint Paths relate to many important milestones in parameterized complexity, namely the Graph Minors Project, color coding, and the recent development of techniques for obtaining kernelization…

Data Structures and Algorithms · Computer Science 2015-03-19 Hans L. Bodlaender , Bart M. P. Jansen , Stefan Kratsch

In the Planar Disjoint Paths problem, one is given an undirected planar graph with a set of $k$ vertex pairs $(s_i,t_i)$ and the task is to find $k$ pairwise vertex-disjoint paths such that the $i$-th path connects $s_i$ to $t_i$. We study…

Data Structures and Algorithms · Computer Science 2023-07-14 Michał Włodarczyk , Meirav Zehavi

Tracking of moving objects is crucial to security systems and networks. Given a graph $G$, terminal vertices $s$ and $t$, and an integer $k$, the \textsc{Tracking Paths} problem asks whether there exists at most $k$ vertices, which if…

Data Structures and Algorithms · Computer Science 2020-08-24 Pratibha Choudhary , Venkatesh Raman

A polynomial Turing kernel for some parameterized problem $P$ is a polynomial-time algorithm that solves $P$ using queries to an oracle of $P$ whose sizes are upper-bounded by some polynomial in the parameter. Here the term "polynomial"…

Computational Complexity · Computer Science 2021-10-08 Till Fluschnik , Klaus Heeger , Danny Hermelin

A kernelization for a parameterized decision problem $\mathcal{Q}$ is a polynomial-time preprocessing algorithm that reduces any parameterized instance $(x,k)$ into an instance $(x',k')$ whose size is bounded by a function of $k$ alone and…

Data Structures and Algorithms · Computer Science 2023-10-09 Bart M. P. Jansen , Bart van der Steenhoven

We consider a bi-criteria generalization of the pathwidth problem, where, for given integers $k,l$ and a graph $G$, we ask whether there exists a path decomposition $\cP$ of $G$ such that the width of $\cP$ is at most $k$ and the number of…

Data Structures and Algorithms · Computer Science 2021-03-05 Dariusz Dereniowski , Wieslaw Kubiak , Yori Zwols

We prove a number of results around kernelization of problems parameterized by the size of a given vertex cover of the input graph. We provide three sets of simple general conditions characterizing problems admitting kernels of polynomial…

Data Structures and Algorithms · Computer Science 2013-09-27 Fedor V. Fomin , Bart M. P. Jansen , Michal Pilipczuk

Finding paths in graphs is a fundamental graph-theoretic task. In this work, we we are concerned with finding a path with some constraints on its length and the number of vertices neighboring the path, that is, being outside of and incident…

Computational Complexity · Computer Science 2019-05-28 Max-Jonathan Luckow , Till Fluschnik

Given an undirected graph $G=(V,E)$, vertices $s,t\in V$, and an integer $k$, Tracking Shortest Paths requires deciding whether there exists a set of $k$ vertices $T\subseteq V$ such that for any two distinct shortest paths between $s$ and…

Data Structures and Algorithms · Computer Science 2022-02-25 Václav Blažej , Pratibha Choudhary , Dušan Knop , Jan Matyáš Křišťan , Ondřej Suchý , Tomáš Valla

Given a graph $G=(V,E)$, two vertices $s,t\in V$, and two integers $k,\ell$, the Short Secluded Path problem is to find a simple $s$-$t$-path with at most $k$ vertices and $\ell$ neighbors. We study the parameterized complexity of the…

Data Structures and Algorithms · Computer Science 2020-10-05 René van Bevern , Till Fluschnik , Oxana Yu. Tsidulko

Enumeration kernelization for parameterized enumeration problems was defined by Creignou et al. [Theory Comput. Syst. 2017] and was later refined by Golovach et al. [J. Comput. Syst. Sci. 2022, STACS 2021] to polynomial-delay enumeration…

Discrete Mathematics · Computer Science 2025-03-03 Christian Komusiewicz , Diptapriyo Majumdar , Frank Sommer

Let $n$ be the size of a parameterized problem and $k$ the parameter. We present kernels for Feedback Vertex Set, Path Contraction and Cluster Editing/Deletion whose sizes are all polynomial in $k$ and that are computable in polynomial time…

Data Structures and Algorithms · Computer Science 2024-02-21 Frank Kammer , Andrej Sajenko

Kernelization algorithms are polynomial-time reductions from a problem to itself that guarantee their output to have a size not exceeding some bound. For example, d-Set Matching for integers d>2 is the problem of finding a matching of size…

Data Structures and Algorithms · Computer Science 2018-12-10 Holger Dell , Dániel Marx

Finding a shortest path in a graph is one of the most classic problems in algorithmic and graph theory. While we dispose of quite efficient algorithms for this ordinary problem (like the Dijkstra or Bellman-Ford algorithms), some slight…

Data Structures and Algorithms · Computer Science 2024-08-05 Abderrahim Bendahi , Adrien Fradin

An $r$-simple $k$-path is a {path} in the graph of length $k$ that passes through each vertex at most $r$ times. The $r$-SIMPLE $k$-PATH problem, given a graph $G$ as input, asks whether there exists an $r$-simple $k$-path in $G$. We first…

Data Structures and Algorithms · Computer Science 2014-01-23 Hasan Abasi , Nader H. Bshouty , Ariel Gabizon , Elad Haramaty

The problem of finding multiple simple shortest paths in a weighted directed graph $G=(V,E)$ has many applications, and is considerably more difficult than the corresponding problem when cycles are allowed in the paths. Even for a single…

Data Structures and Algorithms · Computer Science 2016-02-24 Udit Agarwal , Vijaya Ramachandran

The graph crossing number problem, cr(G)<=k, asks for a drawing of a graph G in the plane with at most k edge crossings. Although this problem is in general notoriously difficult, it is fixed- parameter tractable for the parameter k…

Computational Complexity · Computer Science 2016-02-19 Petr Hliněný , Marek Derňár

In the NP-hard Edge Dominating Set problem (EDS) we are given a graph $G=(V,E)$ and an integer $k$, and need to determine whether there is a set $F\subseteq E$ of at most $k$ edges that are incident with all (other) edges of $G$. It is…

Data Structures and Algorithms · Computer Science 2019-01-14 Eva-Maria C. Hols , Stefan Kratsch

The $k$-Detour problem is a basic path-finding problem: given a graph $G$ on $n$ vertices, with specified nodes $s$ and $t$, and a positive integer $k$, the goal is to determine if $G$ has an $st$-path of length exactly $\text{dist}(s, t) +…

Data Structures and Algorithms · Computer Science 2023-07-06 Shyan Akmal , Virginia Vassilevska Williams , Ryan Williams , Zixuan Xu
‹ Prev 1 2 3 10 Next ›