English
Related papers

Related papers: On planar variants of the monotone satisfiability …

200 papers

Given a graph, when can we orient the edges to satisfy local constraints at the vertices, where each vertex specifies which local orientations of its incident edges are allowed? This family of graph orientation problems is a special kind of…

Computational Complexity · Computer Science 2026-03-05 MIT Hardness Group , Zachary Abel , Erik D. Demaine , Jenny Diomidova , Jeffery Li , Zixiang Zhou

The strong geodetic problem is to find the smallest number of vertices such that by fixing one shortest path between each pair, all vertices of the graph are covered. In this paper we study the strong geodetic problem on complete bipartite…

Combinatorics · Mathematics 2018-06-04 Vesna Iršič , Matjaž Konvalinka

We consider the algorithmic complexity of recognizing bipartite temporal graphs. Rather than defining these graphs solely by their underlying graph or individual layers, we define a bipartite temporal graph as one in which every layer can…

Computational Complexity · Computer Science 2021-11-18 Till Fluschnik , Pascal Kunz

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 presented material is devoted to the equivalent conversion from the vertex graphs to the edge graphs. We suggest that the proved theorems solve the problem of the isomorphism of graphs, the problem of the graph's enumeration with the…

Computational Complexity · Computer Science 2012-10-22 Leonid Malinin , Natalia Malinina

Beyond-planarity focuses on combinatorial properties of classes of non-planar graphs that allow for representations satisfying certain local geometric or topological constraints on their edge crossings. Beside the study of a specific graph…

Data Structures and Algorithms · Computer Science 2019-08-27 Patrizio Angelini , Michael A. Bekos , Michael Kaufmann , Thomas Schneck

This article is devoted to propose some lower and upper bounds for the coupled-tasks scheduling problem in presence of compatibility constraints according to classical complexity hypothesis ($\mathcal{P} \neq \mathcal{NP}$,…

Computational Complexity · Computer Science 2017-06-08 Rodolphe Giroudeau , Jean-Claude König , Benoit Darties , Gilles Simonin

The NP-hard general factor problem asks, given a graph and for each vertex a list of integers, whether the graph has a spanning subgraph where each vertex has a degree that belongs to its assigned list. The problem remains NP-hard even if…

Data Structures and Algorithms · Computer Science 2015-03-19 Gregory Gutin , Eun Jung Kim , Arezou Soleimanfallah , Stefan Szeider , Anders Yeo

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

We consider the problem of finding a subgraph of a given graph minimizing the sum of given functions at vertices evaluated at their subgraph degrees. While the problem is NP-hard already for bipartite graphs when the functions are convex on…

Optimization and Control · Mathematics 2021-04-27 Gabriel Deza , Shmuel Onn

In a graph, a matching cut is an edge cut that is a matching. Matching Cut is the problem of deciding whether or not a given graph has a matching cut, which is known to be NP-complete even when restricted to bipartite graphs. It has been…

Computational Complexity · Computer Science 2018-10-29 Hoang-Oanh Le , Van Bang Le

We consider the problem of finding a 1-planar drawing for a general graph, where a 1-planar drawing is a drawing in which each edge participates in at most one crossing. Since this problem is known to be NP-hard we investigate the…

Data Structures and Algorithms · Computer Science 2018-12-18 Michael J. Bannister , Sergio Cabello , David Eppstein

In the Planar 3-SAT problem, we are given a 3-SAT formula together with its incidence graph, which is planar, and are asked whether this formula is satisfiable. Since Lichtenstein's proof that this problem is NP-complete, it has been used…

Computational Complexity · Computer Science 2023-06-22 Alexander Pilz

Matching minors are a specialisation of minors fit for the study of graph with perfect matchings. The notion of matching minors has been used to give a structural description of bipartite graphs on which the number of perfect matchings can…

Combinatorics · Mathematics 2021-06-03 Archontia C Giannopoulou , Stephan Kreutzer , Sebastian Wiederrecht

Let $G$ be a bipartite graph without loops and multiple edges on $v\ge 4$ vertices, which can be drawn on the plane such that any edge intersects at most one other edge. We prove that such graph has at most $3v-8$ edges for even $v\ne 6$…

Combinatorics · Mathematics 2014-05-29 Dmitri Karpov

A matching is a set of edges in a graph with no common endpoint. A matching M is called acyclic if the induced subgraph on the endpoints of the edges in M is acyclic. Given a graph G and an integer k, Acyclic Matching Problem seeks for an…

Computational Complexity · Computer Science 2022-10-05 Sahab Hajebi , Ramin Javadi

We show that finding orthogonal grid-embeddings of plane graphs (planar with fixed combinatorial embedding) with the minimum number of bends in the so-called Kandinsky model (which allows vertices of degree $> 4$) is NP-complete, thus…

Computational Geometry · Computer Science 2014-05-12 Thomas Bläsius , Guido Brückner , Ignaz Rutter

The feedback set problems are about removing the minimum number of vertices or edges from a graph to break all its cycles. Much effort has gone into understanding their complexity on planar graphs as well as on graphs of bounded degree. We…

Computational Complexity · Computer Science 2026-05-13 Tian Bai , Yixin Cao , Mingyu Xiao

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

We consider the problem of minimal correction of the training set to make it consistent with monotonic constraints. This problem arises during analysis of data sets via techniques that require monotone data. We show that this problem is…

Machine Learning · Computer Science 2007-05-23 Rustem Takhanov