English
Related papers

Related papers: New Planar Algorithms and a Full Complexity Classi…

200 papers

We present a deterministic way of assigning small (log bit) weights to the edges of a bipartite planar graph so that the minimum weight perfect matching becomes unique. The isolation lemma as described in (Mulmuley et al. 1987) achieves the…

Data Structures and Algorithms · Computer Science 2008-02-21 Samir Datta , Raghav Kulkarni , Sambuddha Roy

The partial representation extension problem generalizes the recognition problem for classes of graphs defined in terms of vertex representations. We exhibit circular-arc graphs as the first example of a graph class where the recognition is…

Data Structures and Algorithms · Computer Science 2021-08-31 Jiří Fiala , Ignaz Rutter , Peter Stumpf , Peter Zeman

Although NP-Complete problems are the most difficult decisional problems, it is possible to discover in them polynomial (or easy) observables. We study the Graph Partitioning Problem showing that it is possible to recognize in it two…

Condensed Matter · Physics 2009-11-07 M. A. Marchisio

We study the complexity of graph problems on graphs defined on groups, especially power graphs. We observe that an isomorphism invariant problem, such as Hamiltonian Path, Partition into Cliques, Feedback Vertex Set, Subgraph Isomorphism,…

Computational Complexity · Computer Science 2025-07-09 Bireswar Das , Dipan Dey , Jinia Ghosh

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

We prove the #P-hardness of the counting problems associated with various satisfiability, graph and combinatorial problems, when restricted to planar instances. These problems include \begin{romannum} \item[{}] {\sc 3Sat, 1-3Sat, 1-Ex3Sat,…

Computational Complexity · Computer Science 2007-05-23 Harry B. Hunt , Madhav V. Marathe , Venkatesh Radhakrishnan , Richard E. Stearns

This paper deals with the complexity of some natural graph problems when parametrized by {measures that are restrictions of} clique-width, such as modular-width and neighborhood diversity. The main contribution of this paper is to introduce…

Computational Complexity · Computer Science 2020-02-03 Gennaro Cordasco , Luisa Gargano , Adele Anna Rescigno

Graph packing and partitioning problems have been studied in many contexts, including from the algorithmic complexity perspective. Consider the packing problem of determining whether a graph contains a spanning tree and a cycle that do not…

Combinatorics · Mathematics 2014-09-09 Jed Yang

We consider Colouring on graphs that are $H$-subgraph-free for some fixed graph $H$, which are graphs that do not contain $H$ as a subgraph. To classify the complexity of Colouring on $H$-subgraph-free graphs for connected $H$, it remains…

Combinatorics · Mathematics 2026-02-23 Tala Eagling-Vose , Jorik Jooken , Felicia Lucke , Barnaby Martin , Daniël Paulusma

Valiant introduced some 25 years ago an algebraic model of computation along with the complexity classes VP and VNP, which can be viewed as analogues of the classical classes P and NP. They are defined using non-uniform sequences of…

Discrete Mathematics · Computer Science 2007-06-13 Laurent Lyaudet , Pascal Koiran , Uffe Flarup

A computable graph $\mathcal{G}$ is computably categorical relative to a degree $\mathbf{d}$ if and only if for all $\mathbf{d}$-computable copies $\mathcal{B}$ of $\mathcal{G}$, there is a $\mathbf{d}$-computable isomorphism…

Logic · Mathematics 2025-05-08 Java Darleen Villano

Inference and learning of graphical models are both well-studied problems in statistics and machine learning that have found many applications in science and engineering. However, exact inference is intractable in general graphical models,…

Machine Learning · Statistics 2015-02-04 Jason K. Johnson , Diane Oyen , Michael Chertkov , Praneeth Netrapalli

The complexity of graph homomorphism problems has been the subject of intense study. It is a long standing open problem to give a (decidable) complexity dichotomy theorem for the partition function of directed graph homomorphisms. In this…

Computational Complexity · Computer Science 2010-08-06 Jin-Yi Cai , Xi Chen

Let $\mathbb C$ be the set of complex numbers, and let $\mathcal P$ be a collection of complex polynomial maps in several variables. Assuming at least one $P\in\mathcal P$ depends on at least two variables, we classify all possibilities for…

Logic · Mathematics 2023-08-04 Benjamin Castle , Chieu-Minh Tran

Algorithmic extension problems of partial graph representations such as planar graph drawings or geometric intersection representations are of growing interest in topological graph theory and graph drawing. In such an extension problem, we…

Data Structures and Algorithms · Computer Science 2020-04-28 Eduard Eiben , Robert Ganian , Thekla Hamm , Fabian Klute , Martin Nöllenburg

We classify graphs and, more generally, finite relational structures that are identified by C2, that is, two-variable first-order logic with counting. Using this classification, we show that it can be decided in almost linear time whether a…

Logic in Computer Science · Computer Science 2015-03-31 Sandra Kiefer , Pascal Schweitzer , Erkal Selman

In a graph G, a dissociation set is a subset of vertices which induces a subgraph with vertex degree at most 1. Finding a dissociation set of maximum cardinality in a graph is NP-hard even for bipartite graphs and is called the maximum…

Combinatorics · Mathematics 2021-08-02 Jianhua Tu , Lei Zhang , Junfeng Du , Rongling Lang

A fundamental graph problem is to recognize whether the vertex set of a graph $G$ can be bipartitioned into sets $A$ and $B$ such that $G[A]$ and $G[B]$ satisfy properties $\Pi_A$ and $\Pi_B$, respectively. This so-called…

Computational Complexity · Computer Science 2019-08-27 Iyad Kanj , Christian Komusiewicz , Manuel Sorge , Erik Jan van Leeuwen

A graph is unipolar if it can be partitioned into a clique and a disjoint union of cliques, and a graph is a generalised split graph if it or its complement is unipolar. A unipolar partition of a graph can be used to find efficiently the…

Data Structures and Algorithms · Computer Science 2016-04-05 Colin McDiarmid , Nikola Yolov

In this paper, we consider distributed coloring for planar graphs with a small number of colors. We present an optimal (up to a constant factor) $O(\log{n})$ time algorithm for 6-coloring planar graphs. Our algorithm is based on a novel…

Data Structures and Algorithms · Computer Science 2018-04-03 Shiri Chechik , Doron Mukhtar