English
Related papers

Related papers: The parameterized complexity of finding a 2-sphere…

200 papers

The Minimum Fill-in problem is to decide if a graph can be triangulated by adding at most k edges. Kaplan, Shamir, and Tarjan [FOCS 1994] have shown that the problem is solvable in time O(2^(O(k)) + k2 * nm) on graphs with n vertices and m…

Data Structures and Algorithms · Computer Science 2011-04-13 Fedor V. Fomin , Yngve Villanger

In this paper we formulate a weighted version of minimum problem (1.4) on the sphere and we show that, for $K\le L$, if $\set{\phi_k}^K_{k=1}$ consists of the spherical functions with degree less than $N$ we can localize the points…

Classical Analysis and ODEs · Mathematics 2008-08-11 Margit Pap

In the k-Path problem, the input is a directed graph $G$ and an integer $k\geq 1$, and the goal is to decide whether there is a simple directed path in $G$ with exactly $k$ vertices. We give a deterministic algorithm for k-Path with time…

Data Structures and Algorithms · Computer Science 2019-01-25 Dekel Tsur

For a family of graphs $\mathcal{G}$, the $\mathcal{G}$-\textsc{Contraction} problem takes as an input a graph $G$ and an integer $k$, and the goal is to decide if there exists $F \subseteq E(G)$ of size at most $k$ such that $G/F$ belongs…

Discrete Mathematics · Computer Science 2020-08-19 Saket Saurabh , Uéverton dos Santos Souza , Prafullkumar Tale

Subexponential parameterized algorithms are known for a wide range of natural problems on planar graphs, but the techniques are usually highly problem specific. The goal of this paper is to introduce a framework for obtaining…

Data Structures and Algorithms · Computer Science 2021-10-29 Dániel Marx , Pranabendu Misra , Daniel Neuen , Prafullkumar Tale

We show that the following algorithmic problem is decidable: given a $2$-dimensional simplicial complex, can it be embedded (topologically, or equivalently, piecewise linearly) in $\mathbf{R}^3$? By a known reduction, it suffices to decide…

Geometric Topology · Mathematics 2014-02-06 Jiří Matoušek , Eric Sedgwick , Martin Tancer , Uli Wagner

We revisit the complexity of the classical $k$-Coloring problem parameterized by clique-width. This is a very well-studied problem that becomes highly intractable when the number of colors $k$ is large. However, much less is known on its…

Computational Complexity · Computer Science 2018-04-24 Michael Lampis

The cyclability of a graph is the maximum integer $k$ for which every $k$ vertices lie on a cycle. The algorithmic version of the problem, given a graph $G$ and a non-negative integer $k,$ decide whether the cyclability of $G$ is at least…

Combinatorics · Mathematics 2016-01-26 Petr A. Golovach , Marcin Kamiński , Spyridon Maniatis , Dimitrios M. Thilikos

Local search is a widely-employed strategy for finding good solutions to Traveling Salesman Problem. We analyze the problem of determining whether the weight of a given cycle can be decreased by a popular $k$-opt move. Earlier work has…

Data Structures and Algorithms · Computer Science 2019-09-04 Édouard Bonnet , Yoichi Iwata , Bart M. P. Jansen , Łukasz Kowalik

The geodesic $k$-center problem in a simple polygon with $n$ vertices consists in the following. Find a set $S$ of $k$ points in the polygon that minimizes the maximum geodesic distance from any point of the polygon to its closest point in…

Computational Geometry · Computer Science 2017-10-26 Eunjin Oh , Jean-Lou De Carufel , Hee-Kap Ahn

Given a simplicial complex with $n$ simplices, we consider the Connected Subsurface Recognition (c-SR) problem of finding a subcomplex that is homeomorphic to a given connected surface with a fixed boundary. We also study the related…

Computational Geometry · Computer Science 2022-03-16 Mitchell Black , Nello Blaser , Amir Nayyeri , Erlend Raa Vågset

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

We give a randomized algorithm that determines if a given graph has a simple path of length at least k in O(2^k poly(n,k)) time.

Data Structures and Algorithms · Computer Science 2010-01-05 Ryan Williams

Subgraph Isomorphism is a very basic graph problem, where given two graphs $G$ and $H$ one is to check whether $G$ is a subgraph of $H$. Despite its simple definition, the Subgraph Isomorphism problem turns out to be very broad, as it…

Data Structures and Algorithms · Computer Science 2015-04-14 Marek Cygan , Jakub Pachocki , Arkadiusz Socała

We present a polynomial-time quantum algorithm for the Hidden Subgroup Problem over $\mathbb{D}_{2^n}$. The usual approach to the Hidden Subgroup Problem relies on harmonic analysis in the domain of the problem, and the best known algorithm…

Quantum Physics · Physics 2022-02-24 Matthew Moore , Grace Young

In this paper, we devise a scheme for kernelizing, in sublinear space and polynomial time, various problems on planar graphs. The scheme exploits planarity to ensure that the resulting algorithms run in polynomial time and use O((sqrt(n) +…

Data Structures and Algorithms · Computer Science 2023-07-04 Arindam Biswas , Johannes Meintrup

Let EMBED(k,d) be the following algorithmic problem: Given a finite simplicial complex K of dimension at most k, does there exist a (piecewise linear) embedding of K into R^d? Known results easily imply polynomiality of EMBED(k,2) (k=1,2;…

Computational Geometry · Computer Science 2009-04-22 Jiří Matoušek , Martin Tancer , Uli Wagner

We present randomized algorithms for some well-studied, hard combinatorial problems: the k-path problem, the p-packing of q-sets problem, and the q-dimensional p-matching problem. Our algorithms solve these problems with high probability in…

Data Structures and Algorithms · Computer Science 2010-07-08 Andreas Björklund , Thore Husfeldt , Petteri Kaski , Mikko Koivisto

We show that if a closed, oriented 3-manifold M is promised to be homeomorphic to a lens space L(n,k) with n and k unknown, then we can compute both n and k in polynomial time in the size of the triangulation of M. The tricky part is the…

Geometric Topology · Mathematics 2018-03-16 Greg Kuperberg

We consider parameterised subgraph-counting problems of the following form: given a graph G, how many k-tuples of its vertices have a given property? A number of such problems are known to be #W[1]-complete; here we substantially generalise…

Computational Complexity · Computer Science 2014-09-26 Mark Jerrum , Kitty Meeks