English
Related papers

Related papers: Strongly connectable digraphs and non-transitive d…

200 papers

We prove a descriptive version of Brooks's theorem for directed graphs. In particular, we show that, if $D$ is a Borel directed graph on a standard Borel space $X$ such that the maximum degree of each vertex is at most $d \geq 3$, then…

Logic · Mathematics 2026-04-09 Cecelia Higgins

For a 2-connected graph $G$ on $n$ vertices and two vertices $x,y\in V(G)$, we prove that there is an $(x,y)$-path of length at least $k$ if there are at least $\frac{n-1}{2}$ vertices in $V(G)\backslash \{x,y\}$ of degree at least $k$.…

Combinatorics · Mathematics 2020-09-09 Binlong Li , Bo Ning

We show that, in almost every $n$-vertex random directed graph process, a copy of every possible $n$-vertex oriented cycle will appear strictly before a directed Hamilton cycle does, except of course for the directed cycle itself.…

Combinatorics · Mathematics 2023-11-14 Richard Montgomery

Motivated by very large-scale communication networks, we newly introduce exponentiation of graphs. Using the exponential operation on graphs, we can construct various graphs of multi-exponential order with logarithmic diameter. We show that…

Combinatorics · Mathematics 2025-01-28 Toru Hasunuma

In this paper, we give a necessary and sufficient condition that discrete Morse functions on a digraph can be extended to be Morse functions on its transitive closure, from this we can extend the Morse theory to digraphs by using…

Combinatorics · Mathematics 2021-11-16 Yong Lin , Chong Wang , Shing-Tung Yau

It is well-known that an undirected graph has no odd cycle if and only if it is bipartite. A less obvious, but similar result holds for directed graphs: a strongly connected digraph has no odd cycle if and only if it is bipartite. Can this…

Combinatorics · Mathematics 2016-05-02 Gregory Gutin , Bin Sheng , Magnus Wahlström

Let $p$ be a prime, $e$ a positive integer, $q = p^e$, and let $\mathbb{F}_q$ denote the finite field of $q$ elements. Let $f_i : \mathbb{F}_q^2\to\mathbb{F}_q$ be arbitrary functions, where $1\le i\le l$, $i$ and $l$ are integers. The…

Combinatorics · Mathematics 2018-07-31 Alex Kodess , Felix Lazebnik

A digraph is {\bf \( k \)-linked} if for arbitary two disjoint vertex sets \(\{s_1, \ldots, s_k\}\) and \(\{t_1, \ldots, t_k\}\), there exist vertex-disjoint directed paths \(P_1, \ldots, P_k\) {such that \(P_i\) is a directed path from…

Combinatorics · Mathematics 2026-03-10 Xiaoying Chen , Jørgen Bang-Jensen , Jin Yan , Jia Zhou

We prove that the graph of a discontinuous $n$-monomial function $f:\mathbb{R}\to\mathbb{R}$ is either connected or totally disconnected. Furthermore, the discontinuous monomial functions with connected graph are characterized as those…

Classical Analysis and ODEs · Mathematics 2015-08-03 J. M. Almira , Z. Boros

Menger's Edge Theorem asserts that there exist $k$ pairwise edge-disjoint paths between two vertices in an undirected graph if and only if a deletion of any $k-1$ or less edges does not disconnect these two vertices. Alternatively, there…

Combinatorics · Mathematics 2022-04-05 Avraham Goldstein

We study the directed maximum common edge subgraph problem (DMCES) for the class of directed graphs that are finite, weakly connected, oriented, and simple. We use DMCES to define a metric on partially ordered sets that can be represented…

Data Structures and Algorithms · Computer Science 2020-12-07 Robert Nerem , Peter Crawford-Kahrl , Bree Cummins , Tomas Gedeon

A graph of order $n$ is $p$-factor-critical, where $p$ is an integer of the same parity as $n$, if the removal of any set of $p$ vertices results in a graph with a perfect matching. 1-factor-critical graphs and 2-factor-critical graphs are…

Combinatorics · Mathematics 2014-09-09 Wuyang Sun , Heping Zhang

A directed hypergraph is a hypergraph in which the vertex set of each hyperedge is partitioned into two disjoint parts, a head and a tail. Keszegh and P\'alv\"olgyi posed the following conjecture. Let $H$ be a directed hypergraph such that…

Combinatorics · Mathematics 2025-03-04 Balázs István Szabó

A property of finite graphs is called nondeterministically testable if it has a "certificate" such that once the certificate is specified, its correctness can be verified by random local testing. In this paper we study certificates that…

Combinatorics · Mathematics 2013-08-23 László Lovász , Katalin Vesztergombi

The aim of this thesis is to investigate how the structure of a digraph affects its dichromatic number and to extend various results on undirected colouring to digraphs. In the first part of this thesis, we examine how the dichromatic…

Combinatorics · Mathematics 2023-07-18 Guillaume Aubian

A class A of labelled graphs is bridge-addable if for all graphs G in A and all vertices u and v in distinct connected components of G, the graph obtained by adding an edge between u and u is also in A; the class A is monotone if for all G…

Combinatorics · Mathematics 2011-10-04 Louigi Addario Berry , Colin McDiarmid , Bruce Reed

The dichromatic number $\vec\chi(D)$ of a digraph $D$ is the minimum size of a partition of its vertices into acyclic induced subgraphs. We denote by $\lambda(D)$ the maximum local edge connectivity of a digraph $D$. Neumann-Lara proved…

Combinatorics · Mathematics 2023-09-14 Pierre Aboulker , Guillaume Aubian , Pierre Charbit

We study property testing of (di)graph properties in bounded-degree graph models. The study of graph properties in bounded-degree models is one of the focal directions of research in property testing in the last 15 years. However, despite…

Computational Complexity · Computer Science 2020-11-03 Hiro Ito , Areej Khoury , Ilan Newman

In this paper we consider the directed path-width and directed tree-width of recursively defined digraphs. As an important combinatorial tool, we show how the directed path-width and the directed tree-width can be computed for the disjoint…

Data Structures and Algorithms · Computer Science 2018-06-13 Frank Gurski , Carolin Rehs

Given a directed acyclic graph (DAG) $G = (V,E)$, we say that $G$ is $(e,d)$-depth-robust (resp. $(e,d)$-edge-depth-robust) if for any set $S \subset V$ (resp. $S \subseteq E$) of at most $|S| \leq e$ nodes (resp. edges) the graph $G-S$…

Data Structures and Algorithms · Computer Science 2020-12-14 Jeremiah Blocki , Mike Cinkoske