English
Related papers

Related papers: 2-Layer Fan-Planarity in Polynomial Time

200 papers

We study a graph partitioning problem motivated by the simulation of the physical movement of multi-body systems on an atomistic level, where the forces are calculated from a quantum mechanical description of the electrons. Several advanced…

Subgraph enumeration problems ask to output all subgraphs of an input graph that belongs to the specified graph class or satisfy the given constraint. These problems have been widely studied in theoretical computer science. As far, many…

Data Structures and Algorithms · Computer Science 2018-07-03 Kunihiro Wasa , Takeaki Uno

In this paper, an algorithm for determining 3-colorability, i.e. the decision problem (YES/NO), in planar graphs is presented. The algorithm, although not exact (it could produce false positives) has two very important features: (i) it has…

Discrete Mathematics · Computer Science 2011-02-01 Jose Antonio Martin H

We consider the question of whether a given graph drawing $\Gamma$ of a triconnected planar graph $G$ is a weighted barycenter drawing. We answer the question with an elegant arithmetic characterisation using the faces of $\Gamma$. This…

Computational Geometry · Computer Science 2018-09-05 Peter Eades , Patrick Healy , Nikola S. Nikolov

We solve the subgraph isomorphism problem in planar graphs in linear time, for any pattern of constant size. Our results are based on a technique of partitioning the planar graph into pieces of small tree-width, and applying dynamic…

Data Structures and Algorithms · Computer Science 2007-05-23 David Eppstein

The determination of the computational complexity of multi-agent pathfinding on directed graphs has been an open problem for many years. For undirected graphs, solvability can be decided in polynomial time, as has been shown already in the…

Artificial Intelligence · Computer Science 2022-09-20 Bernhard Nebel

We give a linear-time algorithm to decide 3-colorability of a triangle-free graph embedded in a fixed surface, and a quadratic-time algorithm to output a 3-coloring in the affirmative case. The algorithms also allow to prescribe the…

Discrete Mathematics · Computer Science 2020-11-10 Zdenek Dvorak , Daniel Kral , Robin Thomas

Multiagent planning and coordination problems are common and known to be computationally hard. We show that a wide range of two-agent problems can be formulated as bilinear programs. We present a successive approximation algorithm that…

Artificial Intelligence · Computer Science 2014-01-16 Marek Petrik , Shlomo Zilberstein

We consider the disjoint bilinear programming problem in which one of the disjoint subsets has the structure of an acute-angled polytope. An optimality criterion for such a problem is formulated and proved, and based on this, a polynomial…

Optimization and Control · Mathematics 2025-02-13 Dmitrii Lozovanu

We show NP-completeness for several planar variants of the monotone satisfiability problem with bounded variable appearances. With one exception the presented variants have an associated bipartite graph where the vertex degree is bounded by…

Computational Complexity · Computer Science 2016-04-20 Andreas Darmann , Janosch Döcker , Britta Dorn

In this paper we show that it can be decided in polynomial time whether or not the visibility graph of a given point set is 4-colourable, and such a 4-colouring, if it exists, can also be constructed in polynomial time. We show that the…

Computational Geometry · Computer Science 2017-06-27 Ajit Arvind Diwan , Bodhayan Roy

We give a polynomial-time algorithm that, with input a graph $G$ and two vertices $u,v$ of $G$, decides whether there is an induced $uv$-path that is longer than the shortest $uv$-path.

Combinatorics · Mathematics 2020-05-27 Eli Berger , Paul Seymour , Sophie Spirkl

The bipartition polynomial of a graph is a generalization of many other graph polynomials, including the domination, Ising, matching, independence, cut, and Euler polynomial. We show in this paper that it is also a powerful tool for proving…

Combinatorics · Mathematics 2017-02-14 Seongmin Ok , Peter Tittmann

Given a planar graph $G$ and an integer $b$, OrthogonalPlanarity is the problem of deciding whether $G$ admits an orthogonal drawing with at most $b$ bends in total. We show that OrthogonalPlanarity can be solved in polynomial time if $G$…

Computational Geometry · Computer Science 2019-08-15 Emilio Di Giacomo , Giuseppe Liotta , Fabrizio Montecchiani

In this paper, we characterize planar point sets that can be partitioned into disjoint polygons of arbitrarily specified sizes. We provide an algorithm to construct such a partition, if it exists, in polynomial time. We show that this…

Computational Geometry · Computer Science 2016-05-19 Ajit Arvind Diwan , Bodhayan Roy

We study the classic graph drawing problem of drawing a planar graph using straight-line edges with a prescribed convex polygon as the outer face. Unlike previous algorithms for this problem, which may produce drawings with exponential…

Computational Geometry · Computer Science 2012-03-01 Erin W. Chambers , David Eppstein , Michael T. Goodrich , Maarten Löffler

Let $G=(X,Y;E)$ be a bipartite graph, where $X$ and $Y$ are color classes and $E$ is the set of edges of $G$. Lov\'asz and Plummer \cite{LoPl86} asked whether one can decide in polynomial time that a given bipartite graph $G=(X,Y; E)$…

Combinatorics · Mathematics 2023-06-22 Hongliang Lu , Wei Wang , Juan Yan

General factors are a generalization of matchings. Given a graph $G$ with a set $\pi(v)$ of feasible degrees, called a degree constraint, for each vertex $v$ of $G$, the general factor problem is to find a (spanning) subgraph $F$ of $G$…

Discrete Mathematics · Computer Science 2024-05-24 Shuai Shao , Stanislav Živný

In this paper, we give a polynomial time algorithm which determines if a given graph containing a triangle and no induced seven-vertex path is 3-colorable, and gives an explicit coloring if one exists. In previous work, we gave a polynomial…

Discrete Mathematics · Computer Science 2015-03-25 Maria Chudnovsky , Peter Maceli , Mingxian Zhong

We study space and time efficient quantum algorithms for two graph problems -- deciding whether an $n$-vertex graph is a forest, and whether it is bipartite. Via a reduction to the s-t connectivity problem, we describe quantum algorithms…

Quantum Physics · Physics 2016-10-04 Chris Cade , Ashley Montanaro , Aleksandrs Belovs