English
Related papers

Related papers: Witness Set: A Visibility Problem in $NP\cap XP$

200 papers

We present a proof architecture for \(P \neq NP\) based on an upper--lower clash in polytime-capped conditional description length. We construct an efficiently samplable family of SAT instances \(Y\) such that every satisfying witness for…

Computational Complexity · Computer Science 2026-04-24 Ben Goertzel

Visibility plays an important role for decision making in cluttered, uncertain environments. This paper considers the problem of identifying optimal hiding spots for an agent against line-of-sight detection by an adversary whose location is…

Optimization and Control · Mathematics 2026-02-02 Neilabh Banzal , Jorge Cortés , Sonia Martínez

In the art gallery problem, we are given a closed polygon $P$, with rational coordinates and an integer $k$. We are asked whether it is possible to find a set (of guards) $G$ of size $k$ such that any point $p\in P$ is seen by a point in…

Computational Geometry · Computer Science 2026-03-18 Lucas Meijer , Tillmann Miltzow

This paper studies visibility problems in Euclidean spaces $\mathbb{R}^d$ where the obstacles are the points of infinite discrete sets $Y\subseteq\mathbb{R}^d$. A point $x\in\mathbb{R}^d$ is called $\varepsilon$-visible for $Y$ (notation:…

Metric Geometry · Mathematics 2018-05-31 Michael Boshernitzan , Yaar Solomon

In subset selection we search for the best linear predictor that involves a small subset of variables. From a computational complexity viewpoint, subset selection is NP-hard and few classes are known to be solvable in polynomial time. Using…

Optimization and Control · Mathematics 2020-02-07 Alberto Del Pia , Santanu S. Dey , Robert Weismantel

We consider extending the visibility polygon of a given point $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 precisely $k$…

Computational Complexity · Computer Science 2018-11-20 Arash Vaezi , Mohammad Ghodsi

Sumsets are central objects in additive combinatorics. In 2007, Granville asked whether one can efficiently recognize whether a given set $S$ is a sumset, i.e. whether there is a set $A$ such that $A+A=S$. Granville suggested an algorithm…

Data Structures and Algorithms · Computer Science 2024-10-29 Amir Abboud , Nick Fischer , Ron Safier , Nathan Wallheimer

Let $P$ be a simple polygon with $n$ vertices, and let $A$ be a set of $m$ points or line segments inside $P$. We develop data structures that can efficiently count the number of objects from $A$ that are visible to a query point or a query…

Computational Geometry · Computer Science 2022-01-11 Kevin Buchin , Bram Custers , Ivor van der Hoog , Maarten Löffler , Aleksandr Popov , Marcel Roeloffzen , Frank Staals

We consider discretization of the 'geometric cover problem' in the plane: Given a set $P$ of $n$ points in the plane and a compact planar object $T_0$, find a minimum cardinality collection of planar translates of $T_0$ such that the union…

Computational Geometry · Computer Science 2014-11-26 Dae-Sung Jang , Han-Lim Choi

The distinguishing result of this paper is a $\mathbf{P}$-time enumerable partition of all the potential perfect matchings in a bipartite graph. This partition is a set of equivalence classes induced by the missing edges in the potential…

Computational Complexity · Computer Science 2017-10-31 Javaid Aslam

Let $P$ be a simple polygon, then the art gallery problem is looking for a minimum set of points (guards) that can see every point in $P$. We say two points $a,b\in P$ can see each other if the line segment $seg(a,b)$ is contained in $P$.…

Computational Geometry · Computer Science 2023-05-31 Daniel Bertschinger , Nicolas El Maalouly , Tillmann Miltzow , Patrick Schnider , Simon Weber

We present polynomial-time approximation schemes based on local search} technique for both geometric (discrete) independent set (\mdis) and geometric (discrete) dominating set (\mdds) problems, where the objects are arbitrary radii disks…

Computational Geometry · Computer Science 2025-04-17 Raghunath Reddy Madireddy , Apurva Mudgal , Supantha Pandit

The subset sum problem is one of the simplest and most fundamental NP-hard problems in combinatorial optimization. We consider two extensions of this problem: The subset sum problem with digraph constraint (SSG) and subset sum problem with…

Discrete Mathematics · Computer Science 2020-06-24 Frank Gurski , Dominique Komander , Carolin Rehs

We study the fair k-set selection problem where we aim to select $k$ sets from a given set system such that the (weighted) occurrence times that each element appears in these $k$ selected sets are balanced, i.e., the maximum (weighted)…

Data Structures and Algorithms · Computer Science 2025-05-20 Shi Li , Chenyang Xu , Ruilong Zhang

We show the following problems are in $\textsf{P}$: 1. The contiguous art gallery problem -- a variation of the art gallery problem where each guard can protect a contiguous interval along the boundary of a simple polygon. This was posed at…

Computational Geometry · Computer Science 2025-06-24 Eliot W. Robson , Jack Spalding-Jamieson , Da Wei Zheng

One of the earliest and most well known problems in computational geometry is the so-called art gallery problem. The goal is to compute the minimum possible number guards placed on the vertices of a simple polygon in such a way that they…

Computational Geometry · Computer Science 2009-11-25 Menelaos I. Karavelas , Elias P. Tsigaridas

While the P vs NP problem is mainly approached form the point of view of discrete mathematics, this paper proposes reformulations into the field of abstract algebra, geometry, fourier analysis and of continuous global optimization - which…

Computational Complexity · Computer Science 2022-10-25 Jarek Duda

We study the problem of guarding the boundary of a simple polygon with a minimum number of guards such that each guard covers a contiguous portion of the boundary. First, we present a simple greedy algorithm for this problem that returns a…

Computational Geometry · Computer Science 2025-05-09 Ahmad Biniaz , Anil Maheshwari , Joseph S. B. Mitchell , Saeed Odak , Valentin Polishchuk , Thomas Shermer

A dominating set of a graph $G=(V,E)$ is a subset of vertices $S\subseteq V$ such that every vertex $v\in V\setminus S$ has at least one neighbor in set $S$. The corresponding optimization problem is known to be NP-hard. The best known…

Discrete Mathematics · Computer Science 2024-12-23 Ernesto Parra Inza , José María Sigarreta Almira , Nodari Vakhania

Visibility graph of a polygon corresponds to its internal diagonals and boundary edges. For each vertex on the boundary of the polygon, we have a vertex in this graph and if two vertices of the polygon see each other there is an edge…

Computational Geometry · Computer Science 2024-02-22 Hossein Boomari , Mojtaba Ostovari , Alireza Zarei