English
Related papers

Related papers: Odd holes in bull-free graphs

200 papers

Bollob\'as proved that for every $k$ and $\ell$ such that $k\mathbb{Z}+\ell$ contains an even number, an $n$-vertex graph containing no cycle of length $\ell \bmod k$ can contain at most a linear number of edges. The precise (or asymptotic)…

Combinatorics · Mathematics 2023-12-18 Ervin Győri , Binlong Li , Nika Salia , Casey Tompkins , Kitti Varga , Manran Zhu

The longest induced (or chordless) cycle problem is a graph problem classified as NP-complete and involves the task of determining the largest possible subset of vertices within a graph in such a way that the induced subgraph forms a cycle.…

Discrete Mathematics · Computer Science 2023-11-28 Ahmad T. Anaqreh , Boglárka G. -Tóth , Tamás Vinkó

A $t$-emulator of a graph $G$ is a graph $H$ that approximates its pairwise shortest path distances up to multiplicative $t$ error. We study fault tolerant $t$-emulators, under the model recently introduced by Bodwin, Dinitz, and Nazari…

Data Structures and Algorithms · Computer Science 2022-11-16 Greg Bodwin , Michael Dinitz , Yasamin Nazari

Let $P_t$ and $C_\ell$ denote a path on $t$ vertices and a cycle on $\ell$ vertices, respectively. In this paper we study the $k$-coloring problem for $(P_t,C_\ell)$-free graphs. Maffray and Morel, and Bruce, Hoang and Sawada, have proved…

Discrete Mathematics · Computer Science 2013-10-02 Pavol Hell , Shenwei Huang

Given two graphs $G$ and $H$, we say that $G$ contains $H$ as an induced minor if a graph isomorphic to $H$ can be obtained from $G$ by a sequence of vertex deletions and edge contractions. We study the complexity of Graph Isomorphism on…

Discrete Mathematics · Computer Science 2016-05-30 Rémy Belmonte , Yota Otachi , Pascal Schweitzer

We prove that for any given $\varepsilon>0$ and $d\in [0,1]$, every sufficiently large $(\varepsilon, d)$-dense graph $G$ contains for each odd integer $r$ at least $(d^r-\varepsilon)|V(G)|^r$ cycles of length $r$. Here, $G$ being…

Combinatorics · Mathematics 2016-04-26 Christian Reiher

This is the first paper in a series whose goal is to give a polynomial time algorithm for the $4$-coloring problem and the $4$-precoloring extension problem restricted to the class of graphs with no induced six-vertex path, thus proving a…

Combinatorics · Mathematics 2018-07-16 Maria Chudnovsky , Sophie Spirkl , Mingxian Zhong

Using Razborov's flag algebras we show that a triangle-free graph on n vertices contains at most (n/5)^5 cycles of length five. It settles in the affirmative a conjecture of Erdos.

Combinatorics · Mathematics 2012-04-05 Andrzej Grzesik

We address the induced matching enumeration problem. An edge set $M$ is an induced matching of a graph $G =(V,E)$. The enumeration of matchings are widely studied in literature, but the induced matching has not been paid much attention. A…

Data Structures and Algorithms · Computer Science 2018-09-21 Kazuhiro Kurita , Kunihiro Wasa , Takeaki Uno , Hiroki Arimura

Fan-planar graphs were recently introduced as a generalization of 1-planar graphs. A graph is fan-planar if it can be embedded in the plane, such that each edge that is crossed more than once, is crossed by a bundle of two or more edges…

Computational Geometry · Computer Science 2014-09-02 Michael A. Bekos , Sabine Cornelsen , Luca Grilli , Seok-Hee Hong , Michael Kaufmann

A "hole-with-hat" in a graph $G$ is an induced subgraph of $G$ that consists of a cycle of length at least four, together with one further vertex that has exactly two neighbours in the cycle, adjacent to each other, and the "house" is the…

Combinatorics · Mathematics 2020-06-16 Maria Chudnovsky , Paul Seymour

We study the complexity of the problems of finding, given a graph $G$, a largest induced subgraph of $G$ with all degrees odd (called an odd subgraph), and the smallest number of odd subgraphs that partition $V(G)$. We call these parameters…

Data Structures and Algorithms · Computer Science 2021-04-30 Rémy Belmonte , Ignasi Sau

Let $P_k$ be a path, $C_k$ a cycle on $k$ vertices, and $K_{k,k}$ a complete bipartite graph with $k$ vertices on each side of the bipartition. We prove that (1) for any integers $k, t>0$ and a graph $H$ there are finitely many subgraph…

Combinatorics · Mathematics 2017-03-08 Marcin Kamiński , Anna Pstrucha

Answering a question of Kalai and Meshulam, we prove that graphs without induced cycles of length $3k$ have bounded chromatic number. This implies the very first case of a much broader question asserting that every graph with large…

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

We prove that every internally 4-connected non-planar bipartite graph has an odd K_3,3 subdivision; that is, a subgraph obtained from K_3,3 by replacing its edges by internally disjoint odd paths with the same ends. The proof gives rise to…

Combinatorics · Mathematics 2017-03-28 Robin Thomas , Peter Whalen

A polynomial algorithm for graphs' isomorphism testing is constructed in assumption that there exists a corresponding polynomial algorithm for graphs with trivial automorphism group.

Combinatorics · Mathematics 2007-05-23 Aleksandr Golubchik

It is an intriguing question to see what kind of information on the structure of an oriented graph $D$ one can obtain if $D$ does not contain a fixed oriented graph $H$ as a subgraph. The related question in the unoriented case has been an…

Combinatorics · Mathematics 2010-11-22 Omid Amini , Simon Griffiths , Florian Huc

In this note, we provide a proof of a technical result of Erd\H{o}s and Hajnal about the existence of disjoint type graphs with no odd cycles. We also prove that this result is sharp in a certain sense.

Logic · Mathematics 2020-04-10 Chris Lambie-Hanson

The independence polynomial of a graph is the generating polynomial for the number of independent sets of each size. Two graphs are said to be \textit{independence equivalent} if they have equivalent independence polynomials. We extend…

Combinatorics · Mathematics 2018-10-15 Iain Beaton , Jason I. Brown , Ben Cameron

A {\em net} is a graph consisting of a triangle $C$ and three more vertices, each of degree one and with its neighbour in $C$, and all adjacent to different vertices of $C$. We give a polynomial-time algorithm to test whether an input graph…

Discrete Mathematics · Computer Science 2020-12-01 Maria Chudnovsky , Paul Seymour , Nicolas Trotignon