English
Related papers

Related papers: The Art Gallery Problem is $\exists \mathbb{R}$-co…

200 papers

Many practical problems in almost all scientific and technological disciplines have been classified as computationally hard (NP-hard or even NP-complete). In life sciences, combinatorial optimization problems frequently arise in molecular…

Data Structures and Algorithms · Computer Science 2015-03-19 H. Jose Antonio Martin

A perfect matching in a hypergraph is a set of edges that partition the set of vertices. We study the complexity of deciding the existence of a perfect matching in orderable and separable hypergraphs. We show that the class of orderable…

Combinatorics · Mathematics 2022-02-03 Shmuel Onn

Several domination results have been obtained for maximal outerplanar graphs (mops). The classical domination problem is to minimize the size of a set $S$ of vertices of an $n$-vertex graph $G$ such that $G - N[S]$, the graph obtained by…

Combinatorics · Mathematics 2022-09-30 Peter Borg , Pawaton Kaemawichanurat

We propose and study the graph-theoretical problem EXISTS-PMVC: the existence of perfect matching under vertex-color constraints on graphs with bi-colored edges. EXISTS-PMVC is of special interest because of its motivation from…

Computational Complexity · Computer Science 2023-05-02 Moshe Y. Vardi , Zhiwei Zhang

Klavik et al. [arXiv:1207.6960] recently introduced a generalization of recognition called the bounded representation problem which we study for the classes of interval and proper interval graphs. The input gives a graph G and in addition…

Discrete Mathematics · Computer Science 2013-09-06 Martin Balko , Pavel Klavík , Yota Otachi

The independent set on a graph $G=(V,E)$ is a subset of $V$ such that no two vertices in the subset have an edge between them. The MIS problem on $G$ seeks to identify an independent set with maximum cardinality, i.e. maximum independent…

Data Structures and Algorithms · Computer Science 2017-05-26 Bhadrachalam Chitturi

We tackle the Art Gallery Problem and the Searchlight Scheduling Problem in 3-dimensional polyhedral environments, putting special emphasis on edge guards and orthogonal polyhedra.

Computational Geometry · Computer Science 2012-11-13 Giovanni Viglietta

We study the computational complexity of fundamental problems over the $p$-adic numbers ${\mathbb Q}_p$ and the $p$-adic integers ${\mathbb Z}_p$. Gu\'epin, Haase, and Worrell proved that checking satisfiability of systems of linear…

Computational Complexity · Computer Science 2025-04-21 Arno Fehm , Manuel Bodirsky

For all $k \geq 1$, we show that deciding whether a graph is $k$-planar is NP-complete, extending the well-known fact that deciding 1-planarity is NP-complete. Furthermore, we show that the gap version of this decision problem is…

Combinatorics · Mathematics 2020-05-19 John C. Urschel , Jake Wellens

Consider a sliding camera that travels back and forth along an orthogonal line segment $s$ inside an orthogonal polygon $P$ with $n$ vertices. The camera can see a point $p$ inside $P$ if and only if there exists a line segment containing…

Computational Geometry · Computer Science 2013-10-01 Stephane Durocher , Omrit Filtser , Robert Fraser , Ali Mehrabi , Saeed Mehrabi

It is well-known that the graph isomorphism problem can be posed as an equivalent problem of determining whether an auxiliary graph structure contains a clique of specific order. However, the algorithms that have been developed so far for…

Data Structures and Algorithms · Computer Science 2019-10-29 Giannis Nikolentzos , Michalis Vazirgiannis

A $k$-coloring of a graph is an assignment of integers between $1$ and $k$ to vertices in the graph such that the endpoints of each edge receive different numbers. We study a local variation of the coloring problem, which imposes further…

Combinatorics · Mathematics 2018-09-24 Jie You , Yixin Cao , Jianxin Wang

Many complex questions in biology, physics, and mathematics can be mapped to the graph isomorphism problem and the closely related graph automorphism problem. In particular, these problems appear in the context of network visualization,…

Data Structures and Algorithms · Computer Science 2012-11-14 Charo I. Del Genio , Thilo Gross

Let G denote a graph and let K be a subset of vertices that are a set of target vertices of G. The K-terminal reliability of G is defined as the probability that all target vertices in K are connected, considering the possible failures of…

Discrete Mathematics · Computer Science 2016-10-17 Min-Sheng Lin , Chien-Min Chen

A hedge graph is a graph whose edge set has been partitioned into groups called hedges. Here we consider a generalization of the well-known \textsc{Cluster Deletion} problem, named \textsc{Hedge Cluster Deletion}. The task is to compute the…

Data Structures and Algorithms · Computer Science 2025-12-05 Athanasios L. Konstantinidis , Charis Papadopoulos , Georgios Velissaris

This work establishes the complexity class of several instances of the S-packing coloring problem: for a graph G, a positive integer k and a non decreasing list of integers S = (s\_1 , ..., s\_k ), G is S-colorable, if its vertices can be…

Discrete Mathematics · Computer Science 2015-01-30 Nicolas Gastineau

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

In the past decades for more and more graph classes the Graph Isomorphism Problem was shown to be solvable in polynomial time. An interesting family of graph classes arises from intersection graphs of geometric objects. In this work we show…

Data Structures and Algorithms · Computer Science 2016-06-23 Daniel Neuen

We study the computational complexity of the map redistricting problem (gerrymandering). Mathematically, the electoral district designer (gerrymanderer) attempts to partition a weighted graph into $k$ connected components (districts) such…

Computer Science and Game Theory · Computer Science 2024-01-09 Jack Dippel , Max Dupré la Tour , April Niu , Sanjukta Roy , Adrian Vetta

The complexity class NP of decision problems that can be solved nondeterministically in polynomial time is of great theoretical and practical importance where the notion of polynomial-time reductions between NP-problems is a key concept for…

Computational Complexity · Computer Science 2022-12-23 Hans-Jörg Kreowski , Sabine Kuske , Aaron Lye , Aljoscha Windhorst