English
Related papers

Related papers: The 2-Attractor Problem is NP-Complete

200 papers

The Kneser graph $K(n,k)$ is defined for integers $n$ and $k$ with $n \geq 2k$ as the graph whose vertices are all the $k$-subsets of $\{1,2,\ldots,n\}$ where two such sets are adjacent if they are disjoint. A classical result of Lov\'asz…

Data Structures and Algorithms · Computer Science 2024-11-27 Ishay Haviv

The notion of string attractor has been introduced in [Kempa and Prezza, 2018] in the context of Data Compression and it represents a set of positions of a finite word in which all of its factors can be "attracted". The smallest size…

Formal Languages and Automata Theory · Computer Science 2022-06-02 Antonio Restivo , Giuseppe Romana , Marinella Sciortino

Let G and H be two cographs. We show that the problem to determine whether H is a retract of G is NP-complete. We show that this problem is fixed-parameter tractable when parameterized by the size of H. When restricted to the class of…

Discrete Mathematics · Computer Science 2013-03-26 Ton Kloks , Yue-Li Wang

In this paper, we consider the maximum $k$-edge-colorable subgraph problem. In this problem we are given a graph $G$ and a positive integer $k$, the goal is to take $k$ matchings of $G$ such that their union contains maximum number of…

Combinatorics · Mathematics 2025-10-15 Vahan Mkrtchyan

The Kneser graph $K(n,k)$ is defined for integers $n$ and $k$ with $n \geq 2k$ as the graph whose vertices are all the $k$-subsets of $[n]=\{1,2,\ldots,n\}$ where two such sets are adjacent if they are disjoint. The Schrijver graph $S(n,k)$…

Data Structures and Algorithms · Computer Science 2024-02-14 Ishay Haviv

In the field of algorithmic self-assembly, a long-standing unproven conjecture has been that of the NP-hardness of binary pattern tile set synthesis (2-PATS). The $k$-PATS problem is that of designing a tile assembly system with the…

Computational Complexity · Computer Science 2014-04-04 Lila Kari , Steffen Kopecki , Pierre-Étienne Meunier , Matthew J. Patitz , Shinnosuke Seki

For a positive integer $k \ge 1$, a $k$-star ($k^+$-star, $k^-$-star, respectively) is a connected graph containing a degree-$\ell$ vertex and $\ell$ degree-$1$ vertices, where $\ell = k$ ($\ell \ge k$, $1 \le \ell \le k$, respectively).…

Data Structures and Algorithms · Computer Science 2024-11-19 Mengyuan Hu , An Zhang , Yong Chen , Mingyang Gong , Guohui Lin

The knapsack problem (KP) is a very famous NP-hard problem in combinatorial optimization. Also its generalization to multiple dimensions named d-dimensional knapsack problem (d-KP) and to multiple knapsacks named multiple knapsack problem…

Computational Complexity · Computer Science 2016-11-24 Carolin Albrecht , Frank Gurski , Jochen Rethmann , Eda Yilmaz

For all $k \geq 1$, we show that deciding whether a graph is $k$-planar is NP-complete, extending the well-known fact that deciding 1-planarity is NP-complete. Furthermore, we show that the gap version of this decision problem is…

Combinatorics · Mathematics 2020-05-19 John C. Urschel , Jake Wellens

A $k$-coloring of a graph is an assignment of integers between $1$ and $k$ to vertices in the graph such that the endpoints of each edge receive different numbers. We study a local variation of the coloring problem, which imposes further…

Combinatorics · Mathematics 2018-09-24 Jie You , Yixin Cao , Jianxin Wang

We study the problem of computing the minimum vertex cover on k-uniform k-partite hypergraphs when the k-partition is given. On bipartite graphs (k = 2), the minimum vertex cover can be computed in polynomial time. For general k, the…

Computational Complexity · Computer Science 2011-05-24 Sushant Sachdeva , Rishi Saket

A finite deterministic (semi)automaton $\mathcal{A} =(Q,\Sigma,\delta)$ is $k$-compressible if there is some word $w\in \Sigma^+$ such that the image of its state set $Q$ under the natural action of $w$ is reduced by at least $k$ states.…

Combinatorics · Mathematics 2015-08-17 Alessandra Cherubini , Achille Frigeri , Zuhua Liu

An edge clique cover of a graph is a set of cliques that covers all edges of the graph. We generalize this concept to "$K_t$ clique cover", i.e. a set of cliques that covers all complete subgraphs on $t$ vertices of the graph, for every $t…

Combinatorics · Mathematics 2019-10-17 Hoang Dau , Olgica Milenkovic , Gregory J. Puleo

The \textsc{Bipartite Contraction} problem is to decide, given a graph $G$ and a parameter $k$, whether we can can obtain a bipartite graph from $G$ by at most $k$ edge contractions. The fixed-parameter tractability of the problem was shown…

Data Structures and Algorithms · Computer Science 2013-09-05 Sylvain Guillemot , Dániel Marx

We present approximation algorithms for the following NP-hard optimization problems related to bottleneck spanning trees in metric spaces. 1. The disjoint bottleneck spanning tree problem: Given $n$ pairs of points in a metric space, find…

Computational Geometry · Computer Science 2021-11-11 Ahmad Biniaz , Anil Maheshwari , Michiel Smid

The component size of a graph is the maximum number of edges in any connected component of the graph. Given a graph $G$ and two integers $k$ and $c$, $(k,c)$-Decomposition is the problem of deciding whether $G$ admits an edge partition into…

Computational Complexity · Computer Science 2021-10-05 Rain Jiang , Kai Jiang , Minghui Jiang

We give an algebraic, determinant-based algorithm for the K-Cycle problem, i.e., the problem of finding a cycle through a set of specified elements. Our approach gives a simple FPT algorithm for the problem, matching the $O^*(2^{|K|})$…

Data Structures and Algorithms · Computer Science 2013-01-09 Magnus Wahlström

In the spanning tree congestion problem, given a connected graph $G$, the objective is to compute a spanning tree $T$ in $G$ that minimizes its maximum edge congestion, where the congestion of an edge $e$ of $T$ is the number of edges in…

Computational Complexity · Computer Science 2023-07-12 Huong Luu , Marek Chrobak

Firstly studied by Kempa and Prezza in 2018 as the cement of text compression algorithms, string attractors have become a compelling object of theoretical research within the community of combinatorics on words. In this context, they have…

Combinatorics · Mathematics 2024-03-25 France Gheeraert , Giuseppe Romana , Manon Stipulanti

We consider the problem of reducing the (semi)total domination number of graph by one by contracting edges. It is known that this can always be done with at most three edge contractions and that deciding whether one edge contraction…

Discrete Mathematics · Computer Science 2022-05-26 Esther Galby