English
Related papers

Related papers: Wataridori is NP-Complete

200 papers

Given a property (graph class) $\Pi$, a graph $G$, and an integer $k$, the \emph{$\Pi$-completion} problem consists in deciding whether we can turn $G$ into a graph with the property $\Pi$ by adding at most $k$ edges to $G$. The…

The Hamiltonian cycle problem is to decide whether a given graph has a Hamiltonian cycle. Bertossi and Bonuccelli (1986, Information Processing Letters, 23, 195-200) proved that the Hamiltonian Cycle Problem is NP-Complete even for…

Discrete Mathematics · Computer Science 2008-09-16 B. S. Panda , D. Pradhan

In a typical regular expression (regex) crossword puzzle, you are given two nonempty lists $R_1,\ldots,R_m$ and $C_1,\ldots,C_n$ of regular expressions over some alphabet, and your goal is to fill in an $m\times n$ grid with letters from…

Computational Complexity · Computer Science 2014-12-01 Stephen A. Fenner

Matroid varieties are the closures in the Grassmannian of sets of points defined by specifying which Pl\"ucker coordinates vanish and which don't --- the set of nonvanishing Pl\"ucker coordinates forms a well-studied object called a…

Algebraic Geometry · Mathematics 2015-08-11 Nicolas Ford

A circle graph is the intersection graph of a set of chords in a circle. Keil [Discrete Applied Mathematics, 42(1):51-63, 1993] proved that Dominating Set, Connected Dominating Set, and Total Dominating Set are NP-complete in circle graphs.…

Data Structures and Algorithms · Computer Science 2012-05-17 Nicolas Bousquet , Daniel Gonçalves , George B. Mertzios , Christophe Paul , Ignasi Sau , Stéphan Thomassé

It has been known since 1996 that deciding whether a collection of creases on a piece of paper can be fully folded flat without causing self-intersection or adding new creases is an NP-Hard problem (Bern and Hayes). In their proof, a binary…

Computational Complexity · Computer Science 2024-06-25 Michael Assis

A partial complement of the graph $G$ is a graph obtained from $G$ by complementing all the edges in one of its induced subgraphs. We study the following algorithmic question: for a given graph $G$ and graph class $\mathcal{G}$, is there a…

Computational Complexity · Computer Science 2020-06-11 Fedor V. Fomin , Petr A. Golovach , Torstein J. F. Strømme , Dimitrios M. Thilikos

A calligraph is a graph that for almost all edge length assignments moves with one degree of freedom in the plane, if we fix an edge and consider the vertices as revolute joints. The trajectory of a distinguished vertex of the calligraph is…

Algebraic Geometry · Mathematics 2024-09-16 Georg Grasegger , Boulos El Hilany , Niels Lubbes

Let $S$ be a connected graph which contains an induced path of $n-1$ vertices, where $n$ is the order of $S.$ We consider a puzzle on $S$. A configuration of the puzzle is simply an $n$-dimensional column vector over $\{0, 1\}$ with…

Combinatorics · Mathematics 2009-10-30 Hau-wen Huang , Chih-wen Weng

We introduce a simple, efficient and precise polynomial heuristic for a key NP complete problem, minimum vertex cover. Our method is iterative and operates in probability space. Once a stable probability solution is found we find the true…

Statistical Mechanics · Physics 2007-05-23 P. M. Duxbury , C. W. Fay

We consider the problem of finding a 1-planar drawing for a general graph, where a 1-planar drawing is a drawing in which each edge participates in at most one crossing. Since this problem is known to be NP-hard we investigate the…

Data Structures and Algorithms · Computer Science 2018-12-18 Michael J. Bannister , Sergio Cabello , David Eppstein

We study compact straight-line embeddings of trees. We show that perfect binary trees can be embedded optimally: a tree with $n$ nodes can be drawn on a $\sqrt n$ by $\sqrt n$ grid. We also show that testing whether a given binary tree has…

Computational Geometry · Computer Science 2018-09-03 Hugo A. Akitaya , Maarten Löffler , Irene Parada

Nonogram is a popular combinatorial puzzle (similar in nature to Sudoku or Minesweeper) in which a puzzle solver must determine if there exists a setting of the puzzle parameters that satisfy a given set of constraints. It has long been…

Computational Complexity · Computer Science 2025-09-12 Aaron Foote , Danny Krizanc

Solving Sudoku puzzles is one of the most popular pastimes in the world. Puzzles range in difficulty from easy to very challenging; the hardest puzzles tend to have the most empty cells. The current paper explains and compares three…

Optimization and Control · Mathematics 2013-05-17 Eric C. Chi , Kenneth Lange

Riddles are concise linguistic puzzles that describe an object or idea through indirect, figurative, or playful clues. They are a longstanding form of creative expression, requiring the solver to interpret hints, recognize patterns, and…

Computation and Language · Computer Science 2026-01-28 Niharika Sri Parasa , Chaitali Diwan , Srinath Srinivasa

Given a bipartite graph $G=(V_b,V_r,E)$, the $2$-Level Quasi-Planarity problem asks for the existence of a drawing of $G$ in the plane such that the vertices in $V_b$ and in $V_r$ lie along two parallel lines $\ell_b$ and $\ell_r$,…

Data Structures and Algorithms · Computer Science 2020-11-05 Patrizio Angelini , Giordano Da Lozzo , Giuseppe Di Battista , Fabrizio Frati , Maurizio Patrignani

We prove that the quiver problem is NP complete.

Representation Theory · Mathematics 2025-08-06 Victor Kac , Bangzheng Li

We explore the capabilities of physical computing with Oscillatory Neural Networks (ONN) to solve combinatorial optimization problems. To solve Sudokus with ONNs, we define a novel mapping strategy that utilizes the unique characteristics…

Disordered Systems and Neural Networks · Physics 2025-12-09 Bram F. Haverkort , Federico Sbravati , Stefan Porfir , Aida Todri-Sanial

Jigsaw puzzle solving, the problem of constructing a coherent whole from a set of non-overlapping unordered visual fragments, is fundamental to numerous applications, and yet most of the literature of the last two decades has focused thus…

Computer Vision and Pattern Recognition · Computer Science 2026-04-15 Peleg Harel Ofir Itzhak Shahar , Ohad Ben-Shahar

The {\sc weak 2-linkage} problem for digraphs asks for a given digraph and vertices $s_1,s_2,t_1,t_2$ whether $D$ contains a pair of arc-disjoint paths $P_1,P_2$ such that $P_i$ is an $(s_i,t_i)$-path. This problem is NP-complete for…

Computational Complexity · Computer Science 2019-07-02 Jørgen Bang-Jensen , Thomas Bellitto , William Lochet , Anders Yeo