English
Related papers

Related papers: Finding Even Cycles Faster via Capped k-Walks

200 papers

In 1952, Dirac proved the following theorem about long cycles in graphs with large minimum vertex degrees: Every $n$-vertex $2$-connected graph $G$ with minimum vertex degree $\delta\geq 2$ contains a cycle with at least $\min\{2\delta,n\}$…

Data Structures and Algorithms · Computer Science 2024-04-15 Fedor V. Fomin , Petr A. Golovach , Danil Sagunov , Kirill Simonov

Let $r_k(C_{2m+1})$ be the $k$-color Ramsey number of an odd cycle $C_{2m+1}$ of length $2m+1$. It is shown that for each fixed $m\ge2$, \[r_k(C_{2m+1})<c^{k}\sqrt{k!}\] for all sufficiently large $k$, where $c=c(m)>0$ is a constant. This…

Combinatorics · Mathematics 2018-10-25 Qizhong Lin , Weiji Chen

Given a clique-width $k$-expression of a graph $G$, we provide $2^{O(k)}\cdot n$ time algorithms for connectivity constraints on locally checkable properties such as Node-Weighted Steiner Tree, Connected Dominating Set, or Connected Vertex…

Computational Complexity · Computer Science 2018-08-21 Benjamin Bergougnoux , Mamadou Moustapha Kanté

For two integers $k$ and $\ell$, an $(\ell \text{ mod }k)$-cycle means a cycle of length $m$ such that $m\equiv \ell\pmod{k}$. In 1977, Bollob\'{a}s proved a conjecture of Burr and Erd\H{o}s by showing that if $\ell$ is even or $k$ is odd,…

Combinatorics · Mathematics 2025-07-18 Hojin Chu , Boram Park , Homoon Ryu

For an integer $k\ge 2$, let $G$ be a graph with $m$ edges and without cycles of length $2k$. The pivotal Alon-Krivelevich-Sudakov Theorem on Max-Cuts states that $G$ has a bipartite subgraph with at least $m/2+\Omega(m^{(2k+1)/(2k+2)})$…

Combinatorics · Mathematics 2025-07-22 Jianfeng Hou , Siwei Lin , Qinghou Zeng

Let $k \geq 3$ be an integer, $h_{k}(G)$ be the number of vertices of degree at least $2k$ in a graph $G$, and $\ell_{k}(G)$ be the number of vertices of degree at most $2k-2$ in $G$. Dirac and Erd\H{o}s proved in 1963 that if $h_{k}(G) -…

Combinatorics · Mathematics 2017-07-14 Henry A. Kierstead , Alexandr V. Kostochka , Andrew McConvey

In 2021, Gupta and Suzumura proposed a novel algorithm for enumerating all bounded-length simple cycles in directed graphs. In this work, we present concrete examples demonstrating that the proposed algorithm fails to enumerate certain…

Data Structures and Algorithms · Computer Science 2025-12-11 Frank Bauernöppel , Jörg-Rüdiger Sack

We consider the problem of approximate counting of triangles and longer fixed length cycles in directed graphs. For triangles, T\v{e}tek [ICALP'22] gave an algorithm that returns a $(1 \pm \eps)$-approximation in…

Data Structures and Algorithms · Computer Science 2024-10-01 Keren Censor-Hillel , Tomer Even , Virginia Vassilevska Williams

It is a classical result that a random permutation of $n$ elements has, on average, about $\log n$ cycles. We generalise this fact to all directed $d$-regular graphs on $n$ vertices by showing that, on average, a random cycle-factor of such…

Combinatorics · Mathematics 2025-08-26 Micha Christoph , Nemanja Draganić , António Girão , Eoin Hurley , Lukas Michel , Alp Müyesser

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

In this paper, we prove that, given a clique-width $k$-expression of an $n$-vertex graph, \textsc{Hamiltonian Cycle} can be solved in time $n^{\mathcal{O}(k)}$. This improves the naive algorithm that runs in time $n^{\mathcal{O}(k^2)}$ by…

Data Structures and Algorithms · Computer Science 2019-06-11 Benjamin Bergougnoux , Mamadou Moustapha Kanté , O-joung Kwon

A lemma of Fouquet implies that a claw-free graph contains an induced $C_5$, contains no odd hole, or is quasi-line. In this paper we use this result to give an improved shortest-odd-hole algorithm for claw-free graphs by exploiting the…

Discrete Mathematics · Computer Science 2011-05-25 W. Sean Kennedy , Andrew D. King

An oriented graph is a directed graph without directed 2-cycles. Poljak and Turz\'{i}k (1986) proved that every connected oriented graph $G$ on $n$ vertices and $m$ arcs contains an acyclic subgraph with at least $\frac{m}{2}+\frac{n-1}{4}$…

Data Structures and Algorithms · Computer Science 2012-10-01 Robert Crowston , Gregory Gutin , Mark Jones

If a graph has $n\ge4k$ vertices and more than $n^2/4$ edges, then it contains a copy of $C_{2k+1}$. In 1992, Erd\H{o}s, Faudree and Rousseau showed even more, that the number of edges that occur in a triangle is at least $2\lfloor…

Combinatorics · Mathematics 2018-08-14 Andrzej Grzesik , Ping Hu , Jan Volec

There has been extensive research on cycle lengths in graphs with large minimum degree. In this paper, we obtain several new and tight results in this area. Let $G$ be a graph with minimum degree at least $k+1$. We prove that if $G$ is…

Combinatorics · Mathematics 2015-09-01 Chun-Hung Liu , Jie Ma

We give an algorithm that decides whether the bipartite crossing number of a given graph is at most $k$. The running time of the algorithm is upper bounded by $2^{O(k)} + n^{O(1)}$, where $n$ is the number of vertices of the input graph,…

Data Structures and Algorithms · Computer Science 2015-12-21 Yasuaki Kobayashi , Hisao Tamaki

In this paper we provide some sufficient conditions for the existence of an odd or even cycle that passing a given vertex or an edge in $2$-connected or $2$-edge connected graphs. We provide some similar conditions for the existence of an…

Discrete Mathematics · Computer Science 2015-12-09 Saieed Akbari , Khashayar Etemadi , Peyman Ezzati , Mehrdad Ghadiri

Let $G=(V, E)$ be an undirected $n$-vertices $m$-edges graph with non-negative edge weights. In this paper, we present three new algorithms for constructing a $(2k-1)$-stretch distance oracle with $O(n^{1+\frac{1}{k}})$ space. The first…

Data Structures and Algorithms · Computer Science 2026-04-24 Avi Kadria , Liam Roditty

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

In graph theory, the longest path problem is the problem of finding a simple path of maximum length in a given graph. For some small classes of graphs, the problem can be solved in polynomial time [2, 4], but it remains NP-hard on general…

Data Structures and Algorithms · Computer Science 2014-09-15 Lajos L. Pongrácz