English
Related papers

Related papers: Orthogonal Terrain Guarding is NP-complete

200 papers

Given a closed simple polygon $P$, we say two points $p,q$ see each other if the segment $pq$ is fully contained in $P$. The art gallery problem seeks a minimum size set $G\subset P$ of guards that sees $P$ completely. The only currently…

Computational Geometry · Computer Science 2024-08-07 Simon Hengeveld , Tillmann Miltzow

This thesis focuses on two concepts which are widely studied in the field of computational geometry. Namely, visibility and unit disk graphs. In the field of visibility, we have studied the conflict-free chromatic guarding of polygons, for…

Computational Geometry · Computer Science 2021-11-02 Onur Çağırıcı

Upward planarity testing and Rectilinear planarity testing are central problems in graph drawing. It is known that they are both NP-complete, but XP when parameterized by treewidth. In this paper we show that these two problems are…

Computational Geometry · Computer Science 2023-09-06 Bart M. P. Jansen , Liana Khazaliya , Philipp Kindermann , Giuseppe Liotta , Fabrizio Montecchiani , Kirill Simonov

A graph is rectilinear planar if it admits a planar orthogonal drawing without bends. While testing rectilinear planarity is NP-hard in general (Garg and Tamassia, 2001), it is a long-standing open problem to establish a tight upper bound…

Data Structures and Algorithms · Computer Science 2023-06-23 Walter Didimo , Michael Kaufmann , Giuseppe Liotta , Giacomo Ortali

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

We resolve the complexity of the point-boundary variant of the art gallery problem, showing that it is $\exists\mathbb{R}$-complete, meaning that it is equivalent under polynomial time reductions to deciding whether a system of polynomial…

Computational Geometry · Computer Science 2025-04-11 Jack Stade

We explore an Art Gallery variant where each point of a polygon must be seen by k guards, and guards cannot see through other guards. Surprisingly, even covering convex polygons under this variant is not straightforward. For example,…

Computational Geometry · Computer Science 2025-09-18 MIT CompGeom Group , Hugo A. Akitaya , Erik D. Demaine , Adam Hesterberg , Anna Lubiw , Jayson Lynch , Joseph O'Rourke , Frederick Stock

Orthogonal drawings, i.e., embeddings of graphs into grids, are a classic topic in Graph Drawing. Often the goal is to find a drawing that minimizes the number of bends on the edges. A key ingredient for bend minimization algorithms is the…

Computational Geometry · Computer Science 2019-03-13 Benjamin Niedermann , Ignaz Rutter , Matthias Wolf

We study the problem of Covering Orthogonal Polygons with Rectangles. For polynomial-time algorithms, the best-known approximation factor is $O(\sqrt{\log n})$ when the input polygon may have holes [Kumar and Ramesh, STOC '99, SICOMP '03],…

Computational Geometry · Computer Science 2024-06-25 Aniket Basu Roy

We provide an O(log log OPT)-approximation algorithm for the problem of guarding a simple polygon with guards on the perimeter. We first design a polynomial-time algorithm for building epsilon-nets of size O(1/epsilon log log 1/epsilon) for…

Computational Geometry · Computer Science 2010-01-26 James King , David Kirkpatrick

We consider the problem of monitoring an art gallery modeled as a polygon, the edges of which are arcs of curves, with edge or mobile guards. Our focus is on piecewise-convex polygons, i.e., polygons that are locally convex, except possibly…

Computational Geometry · Computer Science 2011-03-01 Menelaos I. Karavelas

Treedepth is a central parameter to algorithmic graph theory. The current state-of-the-art in computing and approximating treedepth consists of a $2^{O(k^2)} n$-time exact algorithm and a polynomial-time $O(\text{OPT} \log^{3/2}…

Computational Complexity · Computer Science 2025-07-21 Édouard Bonnet , Daniel Neuen , Marek Sokołowski

Ordered matchings, defined as graphs with linearly ordered vertices, where each vertex is connected to exactly one edge, play a crucial role in the area of ordered graphs and their homomorphisms. Therefore, we consider related problems from…

Computational Complexity · Computer Science 2025-12-01 Michal Čertík , Andreas Emil Feldmann , Jaroslav Nešetřil , Paweł Rzążewski

The Art Gallery Problem (AGP) asks for placing a minimum number of stationary guards in a polygonal region P, such that all points in P are guarded. The problem is known to be NP-hard, and its inherent continuous structure (with both the…

Computational Geometry · Computer Science 2014-12-19 Sándor P. Fekete , Stephan Friedrichs , Alexander Kröller , Christiane Schmidt

We revisit a standard polygon containment problem: given a convex $k$-gon $P$ and a convex $n$-gon $Q$ in the plane, find a placement of $P$ inside $Q$ under translation and rotation (if it exists), or more generally, find the largest copy…

Computational Geometry · Computer Science 2024-03-21 Timothy M. Chan , Isaac M. Hair

We investigate a variety of problems of finding tours and cycle covers with minimum turn cost. Questions of this type have been studied in the past, with complexity and approximation results as well as open problems dating back to work by…

Computational Geometry · Computer Science 2019-04-26 Sándor P. Fekete , Dominik Krupke

We consider the following problem: Given a finite set of straight line segments in the plane, determine the positions of a minimal number of points on the segments, from which guards can see all segments. This problem can be interpreted as…

Computational Geometry · Computer Science 2015-03-14 Valentin E. Brimkov

The orthogonality dimension of a graph $G$ over $\mathbb{R}$ is the smallest integer $k$ for which one can assign a nonzero $k$-dimensional real vector to each vertex of $G$, such that every two adjacent vertices receive orthogonal vectors.…

Computational Complexity · Computer Science 2023-11-16 Dror Chawin , Ishay Haviv

Capacitated Vertex Cover is the hard-capacitated variant of Vertex Cover: given a graph, a capacity for every vertex, and an integer $k$, the task is to select at most $k$ vertices that cover all edges and assign each edge to one of its…

Data Structures and Algorithms · Computer Science 2026-04-22 Michael Lampis , Manolis Vasilakis

We study the computational complexity of the graph modification problems Threshold Editing and Chain Editing, adding and deleting as few edges as possible to transform the input into a threshold (or chain) graph. In this article, we show…

Data Structures and Algorithms · Computer Science 2015-05-05 Pål Grønås Drange , Markus Sortland Dregi , Daniel Lokshtanov , Blair D. Sullivan