English
Related papers

Related papers: Detecting an odd hole

200 papers

Let $H$ be a $k$-graph on $n$ vertices, with minimum codegree at least $n/k + cn$ for some fixed $c > 0$. In this paper we construct a polynomial-time algorithm which finds either a perfect matching in $H$ or a certificate that none exists.…

Combinatorics · Mathematics 2015-09-15 Peter Keevash , Fiachra Knox , Richard Mycroft

Let $G = (V, E)$ be a connected graph, and let $T$ in $V$ be a subset of vertices. An orientation of $G$ is called $T$-odd if any vertex $v \in V$ has odd in-degree if and only if it is in $T$. Finding a T -odd orientation of G can be…

Discrete Mathematics · Computer Science 2025-11-25 Sylvain Gravier , Matthieu Petiteau , Isabelle Sivignon

An undirected graph G is d-degenerate if every subgraph of G has a vertex of degree at most d. By the classical theorem of Erd\H{o}s and Gallai from 1959, every graph of degeneracy d>1 contains a cycle of length at least d+1. The proof of…

Data Structures and Algorithms · Computer Science 2019-02-15 Fedor V. Fomin , Petr A. Golovach , Daniel Lokshtanov , Fahad Panolan , Saket Saurabh , Meirav Zehavi

Erd\H{o}s and Hajnal conjectured that, for every graph $H$, there exists a constant $c_H$ such that every graph $G$ on $n$ vertices which does not contain any induced copy of $H$ has a clique or a stable set of size $n^{c_H}$. We prove that…

Discrete Mathematics · Computer Science 2014-08-12 Marthe Bonamy , Nicolas Bousquet , Stéphan Thomassé

A graph is called t-perfect if its stable set polytope is defined by non-negativity, edge and odd-cycle inequalities. We show that it can be decided in polynomial time whether a given claw-free graph is t-perfect.

Discrete Mathematics · Computer Science 2013-10-31 Henning Bruhn , Oliver Schaudt

We study the problem of colouring visibility graphs of polygons. In particular, for visibility graphs of simple polygons, we provide a polynomial algorithm for 4-colouring, and prove that the 5-colourability question is already NP-complete…

Combinatorics · Mathematics 2019-06-06 Onur Çağirici , Petr Hliněný , Bodhayan Roy

Deciding whether a given graph has a square root is a classical problem that has been studied extensively both from graph theoretic and from algorithmic perspectives. The problem is NP-complete in general, and consequently substantial…

Data Structures and Algorithms · Computer Science 2018-10-09 Petr A. Golovach , Pinar Heggernes , Dieter Kratsch , Paloma T. Lima , Daniel Paulusma

Graph G is the square of graph H if two vertices x,y have an edge in G if and only if x,y are of distance at most two in H. Given H it is easy to compute its square H^2. Determining if a given graph G is the square of some graph is not easy…

Discrete Mathematics · Computer Science 2012-10-30 Babak Farzad , Majid Karimi

The definition of $1$-planar graphs naturally extends graph planarity, namely a graph is $1$-planar if it can be drawn in the plane with at most one crossing per edge. Unfortunately, while testing graph planarity is solvable in linear time,…

Computational Geometry · Computer Science 2019-11-05 Carla Binucci , Walter Didimo , Fabrizio Montecchiani

A polynomial time algorithm which detects all paths and cycles of all lengths in form of vertex pairs (start, finish).

Discrete Mathematics · Computer Science 2007-09-10 Sergey Gubin

A graph is an opposition graph, respectively, a coalition graph, if it admits an acyclic orientation which puts the two end-edges of every chordless 4-vertex path in opposition, respectively, in the same direction. Opposition and coalition…

Discrete Mathematics · Computer Science 2015-07-03 Van Bang Le , Thomas Podelleck

Let ${\cal{C}}_1$ be the set of fundamental cycles of breadth-first-search trees in a graph $G$ and ${\cal{C}}_2$ the set of the sums of two cycles in ${\cal{C}}_1$. Then we show that $(1) {\cal{C}}={\cal{C}}_1\bigcup{\cal{C}}_2$ contains a…

Combinatorics · Mathematics 2008-07-11 Han Ren , Ni Cao

An $H$-graph is an intersection graph of connected subgraphs of a suitable subdivision of a fixed graph $H$. Many important classes of graphs, including interval graphs, circular-arc graphs, and chordal graphs, can be expressed as…

Data Structures and Algorithms · Computer Science 2022-06-28 Deniz Ağaoğlu Çağırıcı , Peter Zeman

For a class $\mathcal{G}$ of graphs, the problem SUBGRAPH COMPLEMENT TO $\mathcal{G}$ asks whether one can find a subset $S$ of vertices of the input graph $G$ such that complementing the subgraph induced by $S$ in $G$ results in a graph in…

Data Structures and Algorithms · Computer Science 2021-03-05 Dhanyamol Antony , Jay Garchar , Sagartanu Pal , R. B. Sandeep , Sagnik Sen , R. Subashini

A Meyniel obstruction is an odd cycle with at least five vertices and at most one chord. A graph is Meyniel if and only if it has no Meyniel obstruction as an induced subgraph. Here we give a O(n^2) algorithm that, for any graph, finds…

Discrete Mathematics · Computer Science 2007-11-13 Kathie Cameron , Jack Edmonds , Benjamin Lévêque , Frédéric Maffray

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

A hole in a graph $G$ is an induced cycle of length at least four, and a $k$-multihole in $G$ is a set of pairwise disjoint and nonadjacent holes. It is well known that if $G$ does not contain any holes then its chromatic number is equal to…

Combinatorics · Mathematics 2022-02-21 Maria Chudnovsky , Alex Scott , Paul Seymour , Sophie Spirkl

We consider a planar graph $G$ in which the edges have nonnegative integer lengths such that the length of every cycle of $G$ is even, and three faces are distinguished, called holes in $G$. It is known that there exists a packing of cuts…

Combinatorics · Mathematics 2018-03-20 Alexander V. Karzanov

We define dual-critical graphs as graphs having an acyclic orientation, where the indegrees are odd except for the unique source. We have very limited knowledge about the complexity of dual-criticality testing. By the definition the problem…

Data Structures and Algorithms · Computer Science 2014-10-08 Zoltán Király , Sándor Kisfaludi-Bak

This paper presents the novel `uniqueness tree' algorithm, as one possible method for determining whether two finite, undirected graphs are isomorphic. We prove that the algorithm has polynomial time complexity in the worst case, and that…

Discrete Mathematics · Computer Science 2016-06-22 Jonathan Gorard