English
Related papers

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

200 papers

The problem of when a given digraph contains a subdivision of a fixed digraph $F$ is considered. Bang-Jensen et al. laid out foundations for approaching this problem from the algorithmic point of view. In this paper we give further support…

Combinatorics · Mathematics 2017-08-08 Frédéric Havet , A. Karolinna Maia , Bojan Mohar

Let $P$ be a polygonal curve in $\mathbb{R}^D$ of length $n$, and $S$ be a point set of size $k$. The Curve/Point Set Matching problem consists of finding a polygonal curve $Q$ on $S$ such that its Fr\'echet distance from $P$ is less than a…

Computational Geometry · Computer Science 2014-05-06 Paul Accisano , Alper Üngör

Proximity graphs are used in several areas in which a neighborliness relationship for input data sets is a useful tool in their analysis, and have also received substantial attention from the graph drawing community, as they are a natural…

Computational Geometry · Computer Science 2010-08-06 Boris Aronov , Muriel Dulieu , Ferran Hurtado

We study unit disk visibility graphs, where the visibility relation between a pair of geometric entities is defined by not only obstacles, but also the distance between them. That is, two entities are not mutually visible if they are too…

Computational Geometry · Computer Science 2021-03-29 Onur Çağırıcı , Deniz Ağaoğlu

We show that the decision problem of determining whether a given (abstract simplicial) $k$-complex has a geometric embedding in $\mathbb R^d$ is complete for the Existential Theory of the Reals for all $d\geq 3$ and $k\in\{d-1,d\}$. This…

Computational Complexity · Computer Science 2021-11-08 Mikkel Abrahamsen , Linda Kleist , Tillmann Miltzow

The Near-Bipartiteness problem is that of deciding whether or not the vertices of a graph can be partitioned into sets $A$ and $B$, where $A$ is an independent set and $B$ induces a forest. The set $A$ in such a partition is said to be an…

Data Structures and Algorithms · Computer Science 2017-08-01 Marthe Bonamy , Konrad K. Dabrowski , Carl Feghali , Matthew Johnson , Daniel Paulusma

The (\textsc{Weighted}) \textsc{Subset Feedback Vertex Set} problem is a generalization of the classical \textsc{Feedback Vertex Set} problem and asks for a vertex set of minimum (weighted) size that intersects all cycles containing a…

Data Structures and Algorithms · Computer Science 2018-05-21 Charis Papadopoulos , Spyridon Tzimas

Deciding whether a graph can be embedded in a grid using only unit-length edges is NP-complete, even when restricted to binary trees. However, it is not difficult to devise a number of graph classes for which the problem is polynomial, even…

Data Structures and Algorithms · Computer Science 2012-04-13 Vinícius G. P. de Sá , Guilherme D. da Fonseca , Raphael Machado , Celina M. H. de Figueiredo

In this letter we study the NP-complete vertex cover problem on finite connectivity random graphs. When the allowed size of the cover set is decreased, a discontinuous transition in solvability and typical-case complexity occurs. This…

Disordered Systems and Neural Networks · Physics 2009-10-31 Martin Weigt , Alexander K. Hartmann

The visibility graph of a simple polygon represents visibility relations between its vertices. Knowing the correct order of the vertices around the boundary of a polygon and its visibility graph, it is an open problem to locate the vertices…

Computational Geometry · Computer Science 2019-05-03 Sahar Mehrpour , Alireza Zarei

We consider the large-$N$ asymptotics of a system of discrete orthogonal polynomials on an infinite regular lattice of mesh $\frac{1}{N}$, with weight $e^{-NV(x)}$, where $V(x)$ is a real analytic function with sufficient growth at…

Mathematical Physics · Physics 2010-07-07 Pavel Bleher , Karl Liechty

A non-empty subset $S$ of the vertices of a digraph $D$ is called a {\it safe set} if \begin{itemize} \item[(i)] for every strongly connected component $M$ of $D-S$, there exists a strongly connected component $N$ of $D[S]$ such that there…

Computational Complexity · Computer Science 2019-08-20 Yandong Bai , Jørgen Bang-Jensen , Shinya Fujita , Anders Yeo

It has recently been shown that the problem of testing global convexity of polynomials of degree four is {strongly} NP-hard, answering an open question of N.Z. Shor. This result is minimal in the degree of the polynomial when global…

Optimization and Control · Mathematics 2019-03-14 Amir Ali Ahmadi , Georgina Hall

In this paper, we study two classic optimization problems: minimum geometric dominating set and set cover. In the dominating-set problem, for a given set of objects in {the} plane as input, the objective is to choose a minimum number of…

Computational Geometry · Computer Science 2022-03-22 Minati De , Abhiruk Lahiri

The complexity of representing a polynomial by a Read-Once Oblivious Algebraic Branching Program (ROABP) is highly dependent on the chosen variable ordering. Bhargava et al. prove that finding the optimal ordering is NP-hard, and provide…

Computational Complexity · Computer Science 2025-09-17 C. Ramya , Pratik Shastri

What is the minimum amount of information and time needed to solve 2SAT? When the instance is known, it can be solved in polynomial time, but is this also possible without knowing the instance? Bei, Chen and Zhang (STOC '13) considered a…

Computational Complexity · Computer Science 2016-06-14 Itai Arad , Adam Bouland , Daniel Grier , Miklos Santha , Aarthi Sundaram , Shengyu Zhang

We study the classical Art Gallery Problem first proposed by Klee in 1973 from a mobile multi-agents perspective. Specifically, we require an optimally small number of agents (also called guards) to navigate and position themselves in the…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-05-13 Barath Ashok , John Augustine , Aditya Mehekare , Sridhar Ragupathi , Srikkanth Ramachandran , Suman Sourav

In this paper we study the Product Partition Problem (PPP), i.e. we are given a set of $n$ natural numbers represented on $m$ bits each and we are asked if a subset exists such that the product of the numbers in the subset equals the…

Combinatorics · Mathematics 2024-05-22 Marius Costandin

Let $G=(V,E)$ be a graph and $P\subseteq V$ a set of points. Two points are mutually visible if there is a shortest path between them without further points. $P$ is a mutual-visibility set if its points are pairwise mutually visible. The…

Combinatorics · Mathematics 2021-07-16 Gabriele Di Stefano

Many problems are NP-hard and, unless P = NP, do not admit polynomial-time exact algorithms. The fastest known exact algorithms exactly usually take time exponential in the input size. Much research effort has gone into obtaining faster…

Data Structures and Algorithms · Computer Science 2025-01-27 Stefan Kratsch , Pascal Kunz