English
Related papers

Related papers: Abusing the Tutte Matrix: An Algebraic Instance Co…

200 papers

The k-Clique problem is a canonical hard problem in parameterized complexity. In this paper, we study the parameterized complexity of approximating the k-Clique problem where an integer k and a graph G on n vertices are given as input, and…

Computational Complexity · Computer Science 2025-01-28 Karthik C. S. , Subhash Khot

We provide a number of algorithmic results for the following family of problems: For a given binary m\times n matrix A and integer k, decide whether there is a "simple" binary matrix B which differs from A in at most k entries. For an…

Data Structures and Algorithms · Computer Science 2018-03-19 Fedor V. Fomin , Petr A. Golovach , Fahad Panolan

Many problems are NP-hard and, unless P = NP, do not admit polynomial-time exact algorithms. The fastest known exact algorithms exactly usually take time exponential in the input size. Much research effort has gone into obtaining faster…

Data Structures and Algorithms · Computer Science 2025-01-27 Stefan Kratsch , Pascal Kunz

An NP-hard graph problem may be intractable for general graphs but it could be efficiently solvable using dynamic programming for graphs with bounded width (or depth or some other structural parameter). Dynamic programming is a well-known…

Data Structures and Algorithms · Computer Science 2019-01-23 Mahdi Belbasi , Martin Fürer

In this paper, we consider the Cycle Packing problem on unit disk graphs defined as follows. Given a unit disk graph G with n vertices and an integer k, the goal is to find a set of $k$ vertex-disjoint cycles of G if it exists. Our…

Data Structures and Algorithms · Computer Science 2024-03-19 Shinwoo An , Eunjin Oh

A kernelization algorithm for a computational problem is a procedure which compresses an instance into an equivalent instance whose size is bounded with respect to a complexity parameter. For the Boolean satisfiability problem (SAT), and…

Computational Complexity · Computer Science 2017-06-20 Victor Lagerkvist , Magnus Wahlström

The k-CO-PATH SET problem asks, given a graph G and a positive integer k, whether one can delete k edges from G so that the remainder is a collection of disjoint paths. We give a linear-time fpt algorithm with complexity O^*(1.588^k) for…

Data Structures and Algorithms · Computer Science 2016-07-29 Blair D. Sullivan , Andrew van der Poel

Clustering trajectories is a central challenge when faced with large amounts of movement data such as GPS data. We study a clustering problem that can be stated as a geometric set cover problem: Given a polygonal curve of complexity $n$,…

Computational Geometry · Computer Science 2025-02-21 Jacobus Conradi , Anne Driemel

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

This article presents a strongly polynomial-time algorithm for the general linear programming problem. This algorithm is an implicit reduction procedure that works as follows. Primal and dual problems are combined into a special system of…

Optimization and Control · Mathematics 2026-03-24 Samuel Awoniyi

Many graph problems were first shown to be fixed-parameter tractable using the results of Robertson and Seymour on graph minors. We show that the combination of finite, computable, obstruction sets and efficient order tests is not just one…

Computational Complexity · Computer Science 2013-05-15 Michael R. Fellows , Bart M. P. Jansen

We investigate preprocessing for vertex-subset problems on graphs. While the notion of kernelization, originating in parameterized complexity theory, is a formalization of provably effective preprocessing aimed at reducing the total…

Data Structures and Algorithms · Computer Science 2022-07-04 Benjamin Merlin Bumpus , Bart M. P. Jansen , Jari J. H. de Kroon

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

We consider the parameterised $k,e$-Long Cycle problem, in which you are given an $n$-vertex undirected graph $G$, a specified edge $e$ in $G$, and a positive integer $k$, and are asked to decide if the graph $G$ has a simple cycle through…

Data Structures and Algorithms · Computer Science 2024-08-15 Andreas Björklund , Thore Husfeldt

In the Tree Deletion Set problem the input is a graph G together with an integer k. The objective is to determine whether there exists a set S of at most k vertices such that G-S is a tree. The problem is NP-complete and even NP-hard to…

Data Structures and Algorithms · Computer Science 2013-10-01 Archontia C. Giannopoulou , Daniel Lokshtanov , Saket Saurabh , Ondrej Suchy

We consider two basic algorithmic problems concerning tuples of (skew-)symmetric matrices. The first problem asks to decide, given two tuples of (skew-)symmetric matrices $(B_1, \dots, B_m)$ and $(C_1, \dots, C_m)$, whether there exists an…

Data Structures and Algorithms · Computer Science 2019-02-08 Gábor Ivanyos , Youming Qiao

A polynomial Turing compression (PTC) for a parameterized problem $L$ is a polynomial time Turing machine that has access to an oracle for a problem $L'$ such that a polynomial in the input parameter bounds each query. Meanwhile, a…

Data Structures and Algorithms · Computer Science 2023-12-15 Weidong Luo

In memory-constrained algorithms we have read-only access to the input, and the number of additional variables is limited. In this paper we introduce the compressed stack technique, a method that allows to transform algorithms whose space…

Computational Geometry · Computer Science 2014-06-26 Luis Barba , Matias Korman , Stefan Langerman , Kunikiko Sadakane , Rodrigo Silveira

Let ${\mathcal C}$ be a proper minor-closed family of graphs. We present a randomized algorithm that given a graph $G \in {\mathcal C}$ with $n$ vertices, finds a simple cycle of size $k$ in $G$ (if exists) in $2^{O(k)}n$ time. The…

Data Structures and Algorithms · Computer Science 2020-08-10 Raphael Yuster

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