English
Related papers

Related papers: Point visibility graph recognition is NP-hard

200 papers

Presentation of a Method for determining whether a problem 3Sat has solution, and if yes to find one, in time max O(n^15). Is thus proved that the problem 3Sat is fully resolved in polynomial time and therefore that it is in P, by the work…

Computational Complexity · Computer Science 2010-09-14 Luigi Salemi

A graph $G$ is {\em $k$-choosable} if for every assignment of a set $S(v)$ of $k$ colors to every vertex $v$ of $G$, there is a proper coloring of $G$ that assigns to each vertex $v$ a color from $S(v)$. We consider the complexity of…

Discrete Mathematics · Computer Science 2008-02-20 Shai Gutner

The mim-width of a graph is a powerful structural parameter that, when bounded by a constant, allows several hard problems to be polynomial-time solvable - with a recent meta-theorem encompassing a large class of problems [SODA2023]. Since…

Discrete Mathematics · Computer Science 2025-12-09 Max Dupré la Tour , Manuel Lafond , Ndiamé Ndiaye

A 3-SAT problem is called positive and planar if all the literals are positive and the clause-variable incidence graph (i.e., SAT graph) is planar. The NAE 3-SAT and 1-in-3-SAT are two variants of 3-SAT that remain NP-complete even when…

Computational Complexity · Computer Science 2021-08-31 Md. Manzurul Hasan , Debajyoti Mondal , Md. Saidur Rahman

Like simpler graphs, nested (hypernodal) graphs consist of two components: a set of nodes and a set of edges, where each edge connects a pair of nodes. In the hypernodal graph model, however, a node may contain other graphs, so that a node…

Computational Complexity · Computer Science 2007-05-23 D. B. Powell

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 work we present a simple and fast computational method, the visibility algorithm, that converts a time series into a graph. The constructed graph inherits several properties of the series in its structure. Thereby, periodic series…

Data Analysis, Statistics and Probability · Physics 2009-11-13 Lucas Lacasa , Bartolo Luque , Fernando Ballesteros , Jordi Luque , Juan Carlos Nuno

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ı

Obstacle representations of graphs have been investigated quite intensely over the last few years. We focus on graphs that can be represented by a single obstacle. Given a (topologically open) polygon $C$ and a finite set $P$ of points in…

Computational Geometry · Computer Science 2016-09-02 Steven Chaplick , Fabian Lipp , Ji-won Park , Alexander Wolff

A labelling of a graph is an assignment of labels to its vertex or edge sets (or both), subject to certain conditions, a well established concept. A labelling of a graph G of order n is termed a numbering when the set of integers {1,...,n}…

Combinatorics · Mathematics 2023-06-06 Les Foulds , Humberto J. Longo

We consider the Densest-Subgraph problem, where a graph and an integer k is given and we search for a subgraph on exactly k vertices that induces the maximum number of edges. We prove that this problem is NP-hard even when the input graph…

Computational Complexity · Computer Science 2013-06-28 Manuel Sorge

This paper investigates the computational complexity of deciding whether the vertices of a graph can be partitioned into a disjoint union of cliques and a triangle-free subgraph. This problem is known to be $\NP$-complete on arbitrary…

Discrete Mathematics · Computer Science 2014-04-10 Carl Feghali , Faisal N. Abu-Khzam , Haiko Müller

Tolerance graphs model interval relations in such a way that intervals can tolerate a certain degree of overlap without being in conflict. This subclass of perfect graphs has been extensively studied, due to both its interesting structure…

Computational Complexity · Computer Science 2010-02-03 George B. Mertzios , Ignasi Sau , Shmuel Zaks

This paper presents an algorithm for 3-SAT problems. First, logical formulas are transformed into elementary algebraic formulas. Second, complex trigonometric functions are assigned to the variables in the elementary algebraic formulas, and…

Data Structures and Algorithms · Computer Science 2017-08-01 Hiroshi Tsukimoto

There are many fundamental algorithmic problems on triangulated 3-manifolds whose complexities are unknown. Here we study the problem of finding a taut angle structure on a 3-manifold triangulation, whose existence has implications for both…

Geometric Topology · Mathematics 2019-10-24 Benjamin A. Burton , Jonathan Spreer

In the point set embeddability problem, we are given a plane graph $G$ with $n$ vertices and a point set $S$ with $n$ points. Now the goal is to answer the question whether there exists a straight-line drawing of $G$ such that each vertex…

Computational Geometry · Computer Science 2020-05-13 Tanaeem M. Moosa , M. Sohel Rahman

A $3$-uniform hypergraph is a generalization of simple graphs where each hyperedge is a subset of vertices of size $3$. The degree of a vertex in a hypergraph is the number of hyperedges incident with it. The degree sequence of a hypergraph…

Combinatorics · Mathematics 2023-12-04 Runze Li , Istvan Miklos

A graph is reconstructible if it is determined up to isomorphism by the multiset of its proper induced subgraphs. The reconstruction conjecture postulates that every graph of order at least 3 is reconstructible. We show that interval graphs…

Combinatorics · Mathematics 2026-05-13 Irene Heinrich , Masashi Kiyomi , Yota Otachi , Pascal Schweitzer

Let $t>0$ be a real number and $G$ be a graph. We say $G$ is $t$-tough if for every cutset $S$ of $G$, the ratio of $|S|$ to the number of components of $G-S$ is at least $t$. Determining toughness is an NP-hard problem for arbitrary…

Combinatorics · Mathematics 2019-01-10 Songling Shan

We introduce and study the problem of optimizing arbitrary functions over degree sequences of hypergraphs and multihypergraphs. We show that over multihypergraphs the problem can be solved in polynomial time. For hypergraphs, we show that…

Optimization and Control · Mathematics 2018-08-21 Antoine Deza , Asaf Levin , Syed M. Meesum , Shmuel Onn