English
Related papers

Related papers: Packing identical simple polygons is NP-hard

200 papers

Given a linear equation L, a set A of integers is L-free if A does not contain any non-trivial solutions to L. Meeks and Treglown showed that for certain kinds of linear equations, it is NP-complete to decide if a given set of integers…

Combinatorics · Mathematics 2018-12-24 Keith J. Edwards , Steven D. Noble

The extension complexity of a polytope $P$ is the smallest integer $k$ such that $P$ is the projection of a polytope $Q$ with $k$ facets. We study the extension complexity of $n$-gons in the plane. First, we give a new proof that the…

Discrete Mathematics · Computer Science 2012-11-26 Samuel Fiorini , Thomas Rothvoß , Hans Raj Tiwary

Polyominoes are a subset of polygons which can be constructed from integer-length squares fused at their edges. A system of polygons P is interlocked if no subset of the polygons in P can be removed arbitrarily far away from the rest. It is…

Combinatorics · Mathematics 2011-12-20 Sidharth Dhawan , Zachary Abel

We introduce and study the complexity of Path Packing. Given a graph $G$ and a list of paths, the task is to embed the paths edge-disjoint in $G$. This generalizes the well known Hamiltonian-Path problem. Since Hamiltonian Path is…

Computational Complexity · Computer Science 2019-10-02 Jan Dreier , Janosch Fuchs , Tim A. Hartmann , Philipp Kuinke , Peter Rossmanith , Bjoern Tauer , Hung-Lung Wang

We prove that it is $\#\mathsf{P}$-complete to count the triangulations of a (non-simple) polygon.

Computational Geometry · Computer Science 2020-12-07 David Eppstein

We close three open problems in the separation complexity of valid inequalities for the knapsack polytope. Specifically, we establish that the separation problems for extended cover inequalities, (1,k)-configuration inequalities, and weight…

Optimization and Control · Mathematics 2023-01-03 Alberto Del Pia , Jeff Linderoth , Haoran Zhu

Finding a shortest path in a graph is one of the most classic problems in algorithmic and graph theory. While we dispose of quite efficient algorithms for this ordinary problem (like the Dijkstra or Bellman-Ford algorithms), some slight…

Data Structures and Algorithms · Computer Science 2024-08-05 Abderrahim Bendahi , Adrien Fradin

We consider extending visibility polygon $(VP)$ of a given point $q$ $(VP(q))$, inside a simple polygon $\P$ by converting some edges of $\P$ to mirrors. We will show that several variations of the problem of finding mirror-edges to add at…

Computational Geometry · Computer Science 2017-08-04 Arash Vaezi , Bodhayan Roy , Mohammad Ghodsi , Anil Maheshwari

The following class of problems arose out of vain attempts to show that the Pascal's triangle adic transformation has trivial spectrum. Partition a set of size $N$ into sets of size $S \equiv S(N)$ (ignoring leftovers). What is the…

Probability · Mathematics 2016-08-30 David Handelman

Let $k,p,q$ be three positive integers. A graph $G$ with order $n$ is said to be $k$-placeable if there are $k$ edge disjoint copies of $G$ in the complete graph on $n$ vertices. A $(p,\,q)$-graph is a graph of order $p$ with $q$ edges.…

Combinatorics · Mathematics 2020-12-14 Yun Wang , Jin Yan

We study the complexity of identifying the integer feasibility of reverse convex sets. We present various settings where the complexity can be either NP-Hard or efficiently solvable when the dimension is fixed. Of particular interest is the…

Optimization and Control · Mathematics 2024-09-10 Robert Hildebrand , Adrian Göß

We classify the time complexities of three important decoding problems for quantum stabilizer codes. First, regardless of the channel model, quantum bounded distance decoding is shown to be NP-hard, like what Berlekamp, McEliece and Tilborg…

Quantum Physics · Physics 2013-07-12 Kao-Yueh Kuo , Chung-Chin Lu

We consider a natural variation of the concept of stabbing a segment by a simple polygon: a segment is stabbed by a simple polygon $\mathcal{P}$ if at least one of its two endpoints is contained in $\mathcal{P}$. A segment set $S$ is…

Computational Complexity · Computer Science 2014-06-23 José Miguel Díaz-Báñez , Matias Korman , Pablo Pérez-Lantero , Alexander Pilz , Carlos Seara , Rodrigo I. Silveira

Given a point set $\mathcal{P}$ and a plane perfect matching $\mathcal{M}$ on $\mathcal{P}$, a flip is an operation that replaces two edges of $\mathcal{M}$ such that another plane perfect matching on $\mathcal{P}$ is obtained. Given two…

Computational Geometry · Computer Science 2025-03-05 Carla Binucci , Fabrizio Montecchiani , Daniel Perz , Alessandra Tappini

Let $P$ be an orthogonal polygon. Consider a sliding camera that travels back and forth along an orthogonal line segment $s\in P$ as its \emph{trajectory}. The camera can see a point $p\in P$ if there exists a point $q\in s$ such that $pq$…

Computational Geometry · Computer Science 2013-03-12 Stephane Durocher , Saeed Mehrabi

A strong geodetic set of a graph~$G=(V,E)$ is a vertex set~$S \subseteq V(G)$ in which it is possible to cover all the remaining vertices of~$V(G) \setminus S$ by assigning a unique shortest path between each vertex pair of~$S$. In the…

Computational Complexity · Computer Science 2022-08-04 Carlos V. G. C. Lima , Vinicius F. dos Santos , João H. G. Sousa , Sebastián A. Urrutia

Given a $k$-uniform hyper-graph, the E$k$-Vertex-Cover problem is to find the smallest subset of vertices that intersects every hyper-edge. We present a new multilayered PCP construction that extends the Raz verifier. This enables us to…

Computational Complexity · Computer Science 2007-05-23 Irit Dinur , Venkatesan Guruswami , Subhash Khot , Oded Regev

A graph $G$ is said to be a `set graph' if it admits an acyclic orientation that is also `extensional', in the sense that the out-neighborhoods of its vertices are pairwise distinct. Equivalently, a set graph is the underlying graph of the…

Discrete Mathematics · Computer Science 2015-03-20 Martin Milanič , Romeo Rizzi , Alexandru I. Tomescu

Cutting and packing problems arise in a large variety of industrial applications, where there is a need to cut pieces from a large object, or placing them inside a containers, without overlap. When the pieces or the containers have…

Computational Geometry · Computer Science 2019-03-28 Pedro Rocha

We explore the complexity of nucleolus computation in b-matching games on bipartite graphs. We show that computing the nucleolus of a simple b-matching game is NP-hard even on bipartite graphs of maximum degree 7. We complement this with…

Computer Science and Game Theory · Computer Science 2025-10-15 Jochen Koenemann , Justin Toth , Felix Zhou