English
Related papers

Related papers: Parameterized Lower Bounds for Problems in P via F…

200 papers

In the \textsc{Maximum Degree Contraction} problem, input is a graph $G$ on $n$ vertices, and integers $k, d$, and the objective is to check whether $G$ can be transformed into a graph of maximum degree at most $d$, using at most $k$ edge…

Data Structures and Algorithms · Computer Science 2020-09-25 Saket Saurabh , Prafullkumar Tale

We introduce the cross-composition framework for proving kernelization lower bounds. A classical problem L AND/OR-cross-composes into a parameterized problem Q if it is possible to efficiently construct an instance of Q with polynomially…

Computational Complexity · Computer Science 2015-03-20 Hans L. Bodlaender , Bart M. P. Jansen , Stefan Kratsch

The lower and the upper irredundance numbers of a graph $G$, denoted $ir(G)$ and $IR(G)$ respectively, are conceptually linked to domination and independence numbers and have numerous relations to other graph parameters. It is a…

Fine-grained reductions have established equivalences between many core problems with $\tilde{O}(n^3)$-time algorithms on $n$-node weighted graphs, such as Shortest Cycle, All-Pairs Shortest Paths (APSP), Radius, Replacement Paths, Second…

Data Structures and Algorithms · Computer Science 2020-05-07 Andrea Lincoln , Virginia Vassilevska Williams , Ryan Williams

We consider the NP-hard problem of finding a spanning tree with a maximum number of internal vertices. This problem is a generalization of the famous Hamiltonian Path problem. Our dynamic-programming algorithms for general and…

Data Structures and Algorithms · Computer Science 2009-06-12 Henning Fernau , Serge Gaspers , Daniel Raible

We consider global problems, i.e. problems that take at least diameter time, even when the bandwidth is not restricted. We show that all problems considered admit efficient solutions in low-treewidth graphs. By ``efficient'' we mean that…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-05-31 Taisuke Izumi , Naoki Kitamura , Takamasa Naruse , Gregory Schwartzman

We present linear time {\it in-place} algorithms for several basic and fundamental graph problems including the well-known graph search methods (like depth-first search, breadth-first search, maximum cardinality search), connectivity…

Data Structures and Algorithms · Computer Science 2019-07-24 Sankardeep Chakraborty , Kunihiko Sadakane , Srinivasa Rao Satti

We introduce a new technique for proving kernelization lower bounds, called cross-composition. A classical problem L cross-composes into a parameterized problem Q if an instance of Q with polynomially bounded parameter value can express the…

Computational Complexity · Computer Science 2015-03-17 Hans L. Bodlaender , Bart M. P. Jansen , Stefan Kratsch

Computing all-pairs shortest paths is a fundamental and much-studied problem with many applications. Unfortunately, despite intense study, there are still no significantly faster algorithms for it than the $\mathcal{O}(n^3)$ time algorithm…

Data Structures and Algorithms · Computer Science 2020-01-15 Stefan Kratsch , Florian Nelles

While most classical NP-hard graph problems cannot be solved in time $2^{o(n)}$ on general graphs under the Exponential Time Hypothesis (ETH), many exhibit the square-root phenomenon and admit optimal algorithms running in time…

Data Structures and Algorithms · Computer Science 2026-04-30 Malory Marin , Rémi Watrigant

The Max-Cut problem is known to be NP-hard on general graphs, while it can be solved in polynomial time on planar graphs. In this paper, we present a fixed-parameter tractable algorithm for the problem on `almost' planar graphs: Given an…

Data Structures and Algorithms · Computer Science 2019-05-27 Yasuaki Kobayashi , Yusuke Kobayashi , Shuichi Miyazaki , Suguru Tamaki

In the minimum planarization problem, given some $n$-vertex graph, the goal is to find a set of vertices of minimum cardinality whose removal leaves a planar graph. This is a fundamental problem in topological graph theory. We present a…

Data Structures and Algorithms · Computer Science 2017-08-17 Ken-ichi Kawarabayashi , Anastasios Sidiropoulos

We study the influence of a graph parameter called modular-width on the time complexity for optimally solving well-known polynomial problems such as Maximum Matching, Triangle Counting, and Maximum $s$-$t$ Vertex-Capacitated Flow. The…

Data Structures and Algorithms · Computer Science 2018-04-27 Stefan Kratsch , Florian Nelles

Given a graph $G = (V,E)$, $A \subseteq V$, and integers $k$ and $\ell$, the \textsc{$(A,\ell)$-Path Packing} problem asks to find $k$ vertex-disjoint paths of length $\ell$ that have endpoints in $A$ and internal points in $V \setminus A$.…

Data Structures and Algorithms · Computer Science 2020-08-11 Rémy Belmonte , Tesshu Hanaka , Masaaki Kanzaki , Masashi Kiyomi , Yasuaki Kobayashi , Yusuke Kobayashi , Michael Lampis , Hirotaka Ono , Yota Otachi

We investigate pseudopolynomial-time algorithms for Bounded Knapsack and Bounded Subset Sum. Recent years have seen a growing interest in settling their fine-grained complexity with respect to various parameters. For Bounded Knapsack, the…

Data Structures and Algorithms · Computer Science 2023-12-06 Lin Chen , Jiayi Lian , Yuchen Mao , Guochuan Zhang

Given two graphs $H$ and $G$, the Subgraph Isomorphism problem asks if $H$ is isomorphic to a subgraph of $G$. While NP-hard in general, algorithms exist for various parameterized versions of the problem: for example, the problem can be…

Data Structures and Algorithms · Computer Science 2013-08-27 Dániel Marx , Michał Pilipczuk

We give an algorithmic and lower-bound framework that facilitates the construction of subexponential algorithms and matching conditional complexity bounds. It can be applied to intersection graphs of similarly-sized fat objects, yielding…

Computational Geometry · Computer Science 2020-12-18 Mark de Berg , Hans L. Bodlaender , Sándor Kisfaludi-Bak , Dániel Marx , Tom C. van der Zanden

We obtain a number of lower bounds on the running time of algorithms solving problems on graphs of bounded treewidth. We prove the results under the Strong Exponential Time Hypothesis of Impagliazzo and Paturi. In particular, assuming that…

Data Structures and Algorithms · Computer Science 2010-08-02 Daniel Lokshtanov , Dániel Marx , Saket Saurabh

The dynamic shortest paths problem on planar graphs asks us to preprocess a planar graph $G$ such that we may support insertions and deletions of edges in $G$ as well as distance queries between any two nodes $u,v$ subject to the constraint…

Data Structures and Algorithms · Computer Science 2016-05-13 Amir Abboud , Søren Dahlgaard

We consider a classical scheduling problem on $m$ identical machines. For an arbitrary constant $q>1$, the aim is to assign jobs to machines such that $\sum_{i=1}^m C_i^q$ is minimized, where $C_i$ is the total processing time of jobs…

Computational Complexity · Computer Science 2021-07-14 Lin Chen , Liangde Tao , José Verschae