A digraph $D$ is called {\bf noneven} if it is possible to assign weights of 0,1 to its arcs so that $D$ contains no cycle of even weight. A noneven digraph $D$ corresponds to one or more nonsingular sign patterns. Given an $n \times n$ sign pattern $H$, a {\bf symplectic pair} in $Q(H)$ is a pair of matrices $(A,D)$ such that $A \in Q(H)$, $D \in Q(H)$, and $A^T D = I$. An unweighted digraph $D$ allows a matrix property $P$ if at least one of the sign patterns whose digraph is $D$ allows $P$. Thomassen characterized the noneven, 2-connected symmetric digraphs (i.e., digraphs for which the existence of arc $(u,v)$ implies the existence of arc $(v ,u))$. In the first part of our paper, we recall this characterization and use it to determine which strong symmetric digraphs allow symplectic pairs. A digraph $D$ is called {\bf semi-complete} if, for each pair of distinct vertices $(u,v)$, at least one of the arcs digraph. In the second part of our paper, we fill a gap in these two characterizations and present and prove correct versions of the main theorems involved. We then pr oceed to determine which digraphs from these classes allow symplectic pairs. $(u,v)$ and $(v,u)$ exists in $D$. Thomassen presented a characterization of two classes of strong, noneven digraphs: the semi-complete class and the class of digraphs for which each vertex has total degree which exceeds or equals the size of the digraph. In the second part of our paper, we fill a gap in these two characterizations and present and prove correct versions of the main theorems involved. We then p oceed to determine which digraphs from these classes allow symplectic pairs.
We prove several new sufficient conditions for hamiltonicity and bipancyclicity in balanced bipartite digraphs, in terms of sums of degrees over dominating or dominated pairs of vertices.
Bang-Jensen, Bessy, Havet and Yeo showed that every digraph of independence number at most 2 and arc-connectivity at least 2 has an out-branching $B^+$ and an in-branching $B^-$ which are arc-disjoint (such two branchings are called a {\it good pair}), which settled a conjecture of Thomassen for digraphs of independence number 2. They also proved that every digraph on at most 6 vertices and arc-connectivity at least 2 has a good pair and gave an example of a 2-arc-strong digraph $D$ on 10 vertices with independence number 4 that has no good pair. They asked for the smallest number $n$ of verti…
An out-branching $B^+_u$ (in-branching $B^-_u$) in a digraph $D$ is a connected spanning subdigraph of $D$ in which every vertex except the vertex $u$, called the root, has in-degree (out-degree) one. A {\bf good $\mathbf{(u,v)}$-pair} in $D$ is a pair of branchings $B^+_u,B^-_v$ which have no arc in common. Thomassen proved that is NP-complete to decide if a digraph has any good pair. A digraph is {\bf semicomplete} if it has no pair of non adjacent vertices. A {\bf semicomplete composition} is any digraph $D$ which is obtained from a semicomplete digraph $S$ by substituting an arbitrary digr…
We prove that every digraph of independence number at most 2 and arc-connectivity at least 2 has an out-branching $B^+$ and an in-branching $B^-$ which are arc-disjoint (we call such branchings good pair). This is best possible in terms of the arc-connectivity as there are infinitely many strong digraphs with independence number 2 and arbitrarily high minimum in-and out-degrees that have good no pair. The result settles a conjecture by Thomassen for digraphs of independence number 2. We prove that every digraph on at most 6 vertices and arc-connectivity at least 2 has a good pair and give an e…
We construct for all $ k\in \mathbb{N} $ a $ k $-edge-connected digraph $ D $ with $ s,t\in V(D) $ such that there are no edge-disjoint $ s \rightarrow t $ and $t\rightarrow s $ paths. We use in our construction "self-similar" graphs which technique could be useful in other problems as well.
Continuing the program begun in the first paper of this series, we present a pair of non-reconstructable tournament on $p$ vertices for each $p=2^n \ge 4$.
A k-digraph is an orientation of a multi-graph that is without loops and contains at most k edges between any pair of distinct vertices. We obtain necessary and sufficient conditions for a sequence of non-negative integers in non-decreasing order to be a sequence of numbers, called marks (k-scores), attached to vertices of a k-digraph. We characterize irreducible mark sequences in k-digraphs and uniquely realizable mark sequences in 2-digraphs.
Let $D$ be a strongly connected balanced bipartite directed graph of order $2a\geq 10$ other than a directed cycle. Let $x,y$ be distinct vertices in $D$. $\{x,y\}$ dominates a vertex $z$ if $x\rightarrow z$ and $y\rightarrow z$; in this case, we call the pair $\{x,y\}$ dominating. In this paper we prove: If $ max\{d(x), d(y)\}\geq 2a-2$ for every dominating pair of vertices $\{x,y\}$, then $D$ contains cycles of all lengths $2,4, \ldots , 2a-2$ or $D$ is isomorphic to a certain digraph of order ten which we specify.
We prove two sharp sufficient conditions for hamiltonian cycles in balanced bipartite directed graph. Let $D$ be a strongly connected balanced bipartite directed graph of order $2a$. Let $x,y$ be distinct vertices in $D$. $\{x,y\}$ dominates a vertex $z$ if $x\rightarrow z$ and $y\rightarrow z$; in this case, we call the pair $\{x,y\}$ dominating. (i) {\it If $a\geq 4$ and $max \{d(x), d(y)\}\geq 2a-1$ for every dominating pair of vertices $\{x,y\}$, then either $D$ is hamiltonian or $D$ is isomorphic to one exceptional digraph of order eight.} (ii) {\it If $a\geq 5$ and $d(x)+d(y)\geq 4a-3$ f…
An out-branching $B^+_u$ (in-branching $B^-_u$) in a digraph $D$ is a connected spanning subdigraph of $D$ in which every vertex except the vertex $u$, called the root, has in-degree (out-degree) one. It is well-known that there exists a polynomial algorithm for deciding whether a given digraph has $k$ arc-disjoint out-branchings with prescribed roots ($k$ is part of the input). In sharp contrast to this, it is already NP-complete to decide if a digraph has one out-branching which is arc-disjoint from some in-branching. A digraph is {\bf semicomplete} if it has no pair of non adjacent vertices…
Let $D$ be a strongly connected balanced bipartite directed graph of order $2a\geq 10$. Let $x,y$ be distinct vertices in $D$. $\{x,y\}$ dominates a vertex $z$ if $x\rightarrow z$ and $y\rightarrow z$; in this case, we call the pair $\{x,y\}$ dominating. In this paper we prove: {\it If the underlying undirected graph of $D$ is not 2-connected and $max\{d(x), d(y)\}\geq 2a-2$ for every dominating pair of vertices $\{x,y\}$, then $D$ contains a cycle of length $2a-2$ unless $D$ is isomorphic to a certain digraph of order ten which we specify.
We prove that a strongly connected balanced bipartite directed graph of order $2a\geq 6$ with partite sets $X$ and $Y$ contains cycles of every length $2, 4, \ldots , 2a$, provided $d(x)+d(y)\geq 3a$ for every pair of vertices $x$, $y$ either both in $X$ or both in $Y$.
Let $D$ be a strongly connected balanced bipartite directed graph of order $2a\geq 4$. Let $x,y$ be distinct vertices in $D$. $\{x,y\}$ dominates a vertex $z$ if $x\rightarrow z$ and $y\rightarrow z$; in this case, we call the pair $\{x,y\}$ dominating. In this paper we prove: (i). If $a\geq 4$ and $ max\{d(x), d(y)\}\geq 2a-1$ for every dominating pair of vertices $\{x,y\}$, $D$ then contains a cycle of length $2a-2$ or $D$ is a directed cycle. (ii). If $D$ contains a cycle of length $2a-2\geq 6$ and $max \{d(x), d(y)\}\geq 2a-2$ for every dominating pair of vertices $\{x,y\}$, then for any $…
K-Arc-Strong Orientations Of Semicomplete Digraphs
School of Mathematics, Shandong University（山东大学数学学院）；Department of Mathematics and Computer Science, University of Southern Denmark（南丹麦大学数学与计算机科学系）；School of Mathematics and Statistics, Ningxia University（宁夏大学数学与统计学院）
Let $D$ be a strong digraph on $n\geq 4$ vertices. In [2, J. Graph Theory 22 (2) (1996) 181-187)], J. Bang-Jensen, G. Gutin and H. Li proved the following theorems: If (*) $d(x)+d(y)\geq 2n-1$ and $min \{d(x), d(y)\}\geq n-1$ for every pair of non-adjacent vertices $x, y$ with a common in-neighbour or (**) $min \{d^+(x)+ d^-(y),d^-(x)+ d^+(y)\}\geq n$ for every pair of non-adjacent vertices $x, y$ with a common in-neighbour or a common out-neighbour, then $D$ is hamiltonian. In this paper we show that: (i) if $D$ satisfies the condition (*) and the minimum semi-degree of $D$ at least two or (i…
We prove that for every digraph $F$ and every assignment of pairs of integers $(r_e,q_e)_{e \in A(F)}$ to its arcs there exists an integer $N$ such that every digraph $D$ with dichromatic number at least $N$ contains a subdivision of $F$ in which $e$ is subdivided into a directed path of length congruent to $r_e$ modulo $q_e$, for every $e \in A(F)$. This generalizes to the directed setting the analogous result by Thomassen for undirected graphs, and at the same time yields a novel short proof of his result.
Given two structures $\mathcal{M}$ and $\mathcal{N}$ on the same domain, we say that $\mathcal{N}$ is a reduct of $\mathcal{M}$ if all $\emptyset$-definable relations of $\mathcal{N}$ are $\emptyset$-definable in $\mathcal{M}$. In this article the reducts of the Henson digraphs are classified. Henson digraphs are homogeneous countable digraphs that omit some set of finite tournaments. As the Henson digraphs are $\aleph_0$-categorical, determining their reducts is equivalent to determining all closed supergroups $G<$ Sym$(\mathbb{N})$ of their automorphism groups. A consequence of the classific…
A digraph $D=(V, A)$ has a good pair at a vertex $r$ if $D$ has a pair of arc-disjoint in- and out-branchings rooted at $r$. Let $T$ be a digraph with $t$ vertices $u_1,\dots , u_t$ and let $H_1,\dots H_t$ be digraphs such that $H_i$ has vertices $u_{i,j_i},\ 1\le j_i\le n_i.$ Then the composition $Q=T[H_1,\dots , H_t]$ is a digraph with vertex set $\{u_{i,j_i}\mid 1\le i\le t, 1\le j_i\le n_i\}$ and arc set $$A(Q)=\cup^t_{i=1}A(H_i)\cup \{u_{ij_i}u_{pq_p}\mid u_iu_p\in A(T), 1\le j_i\le n_i, 1\le q_p\le n_p\}.$$ When $T$ is arbitrary, we obtain the following result: every strong digraph compo…
C. Thomassen (Proc. London Math. Soc. (3) 42 (1981), 231-251) gave a characterization of strongly connected non-Hamiltonian digraphs of order $p\geq 3$ with minimum degree $p-1$. In this paper we give an analogous characterization of strongly connected non-Hamiltonian digraphs with Meyniel-type condition (the sum of degrees of every pair of non-adjacent vertices $x$ and $y$ at least $2p-2$). Moreover, we prove that such digraphs $D$ contain cycles of all lengths $k$, for $2\leq k\leq m$, where $m$ is the length of a longest cycle in $D$.
We define a family of vertex colouring games played over a pair of graphs or digraphs $(G,H)$ by players $\forall$ and $\exists$. These games arise from work on a longstanding open problem in algebraic logic. It is conjectured that there is a natural number $n$ such that $\forall$ always has a winning strategy in the game with $n$ colours whenever $G\not\cong H$. This is related to the reconstruction conjecture for graphs and the degree-associated reconstruction conjecture for digraphs. We show that the reconstruction conjecture implies our game conjecture with $n=3$ for graphs, and the same i…
Let $D$ be a strong digraph on $n\geq 4$ vertices. In [3, Discrete Applied Math., 95 (1999) 77-87)], J. Bang-Jensen, Y. Guo and A. Yeo proved the following theorem: if (*) $d(x)+d(y)\geq 2n-1$ and $min \{d^+(x)+ d^-(y),d^-(x)+ d^+(y)\}\geq n-1$ for every pair of non-adjacent vertices $x, y$ with a common in-neighbour or a common out-neighbour, then $D$ is hamiltonian. In this note we show that: if $D$ is not directed cycle and satisfies the condition (*), then $D$ contains a cycle of length $n-1$ or $n-2$.
For the uniform random regular directed graph we prove concentration inequalities for (1) codegrees and (2) the number of edges passing from one set of vertices to another. As a consequence, we can deduce discrepancy properties for the distribution of edges essentially matching results for Erdős-Rényi digraphs obtained from Chernoff-type bounds. The proofs make use of the method of exchangeable pairs, developed for concentration of measure by Chatterjee. Exchangeable pairs are constructed using two involutions on the set of regular digraphs: a well-known "simple switching" operation, as well a…
Let $D$ be a digraph. We define the minimum semi-degree of $D$ as $δ^{0}(D) := \min \{δ^{+}(D), δ^{-}(D)\}$. Let $k$ be a positive integer, and let $S = \{s\}$ and $T = \{t_{1}, \dots ,t_{k}\}$ be any two disjoint subsets of $V(D)$. A set of $k$ internally disjoint paths joining source set $S$ and sink set $T$ that cover all vertices $D$ are called a one-to-many $k$-disjoint directed path cover ($k$-DDPC for short) of $D$. A digraph $D$ is semicomplete if for every pair $x,y$ of vertices of it, there is at least one arc between $x$ and $y$. In this paper, we prove that every semicomplete digra…
A directed graph is set-homogeneous if, whenever U and V are isomorphic finite subdigraphs, there is an automorphism g of the digraph with U^g=V. Here, extending work of Lachlan on finite homogeneous digraphs, we classify finite set-homogeneous digraphs, where we allow some pairs of vertices to have arcs in both directions. Under the assumption that such pairs of vertices are not allowed, we obtain initial results on countably infinite set-homogeneous digraphs, classifying those which are not 2-homogeneous.
Let $D$ be a strongly connected directed graph of order $n\geq 4$ which satisfies the following condition (*): for every pair of non-adjacent vertices $x, y$ with a common in-neighbour $d(x)+d(y)\geq 2n-1$ and $min \{ d(x), d(y)\}\geq n-1$. In \cite{[2]} (J. of Graph Theory 22 (2) (1996) 181-187)) J. Bang-Jensen, G. Gutin and H. Li proved that $D$ is Hamiltonian. In [9] it was shown that if $D$ satisfies the condition (*) and the minimum semi-degree of $D$ at least two, then either $D$ contains a pre-Hamiltonian cycle (i.e., a cycle of length $n-1$) or $n$ is even and $D$ is isomorphic to the …
A pair $(u, v)$ of (not necessarily distinct) vertices in a directed graph $D$ is called a reachable pair if there exists a directed path from $u$ to $v$. We define the weight of $D$ to be the number of reachable pairs of $D$, which equals the sum of the number of vertices in $D$ and the number of directed edges in the transitive closure of $D$. In this paper, we study the set $W(n)$ of possible weights of directed graphs on $n$ labeled vertices. We prove that $W(n)$ can be determined recursively and describe the integers in the set. Moreover, if $b(n) \geqslant n$ is the least integer for whi…
Algorithms and hardness for Metric Dimension on digraphs
Université Clermont Auvergne, CNRS, Clermont Auvergne INP, Mines Saint-Étienne, LIMOS（克莱蒙奥弗涅大学，法国国家科学研究中心，克莱蒙奥弗涅理工学院，圣艾蒂安国立高等矿业学校，LIMOS）；Department of Mathematics and Statistics, University of Turku（图尔库大学数学与统计系）；Turku Collegium for Science, Medicine and Technology TCSMT（图尔库科学技术医学学院）
This paper serves as the first extension of the topic of dominator colorings of graphs to the setting of digraphs. We establish the dominator chromatic number over all possible orientations of paths and cycles. In this endeavor we discover that there are infinitely many counterexamples of a graph and subgraph pair for which the subgraph has a larger dominator chromatic number than the larger graph into which it embeds. Finally, a new graph invariant measuring the difference between the dominator chromatic number of a graph and the chromatic number of that graph is established and studied. The …
In the homomorphism order of digraphs, a duality pair is an ordered pair of digraphs $(G,H)$ such that for any digraph, $D$, $G\to D$ if and only if $D\not\to H$. The directed path on $k+1$ vertices together with the transitive tournament on $k$ vertices is a classic example of a duality pair. This relation between paths and tournaments implies that a graph is $k$-colourable if and only if it admits an orientation with no directed path on more than $k$-vertices. In this work, for every undirected cycle $C$ we find an orientation $C_D$ and an oriented path $P_C$, such that $(P_C,C_D)$ is a dual…
We prove that the (non-symmetric) adjacency matrix of a uniform random $d$-regular directed graph on $n$ vertices is asymptotically almost surely invertible, assuming $\min(d,n-d)\ge C\log^2n$ for a sufficiently large constant $C>0$. The proof makes use of a coupling of random regular digraphs formed by "shuffling" the neighborhood of a pair of vertices, as well as concentration results for the distribution of edges recently obtained by the author (arXiv:1410.5595). We also apply our general approach to prove a.a.s.\ invertibility of Hadamard products $Σ\circ Ξ$, where $Ξ$ is a matrix of iid u…
Let H be a connected bipartite graph with n nodes and m edges. We give an O(nm) time algorithm to decide whether H is an interval bigraph. The best known algorithm has time complexity O(nm^6(m + n) \log n) and it was developed in 1997 [18]. Our approach is based on an ordering characterization of interval bigraphs introduced by Hell and Huang [13]. We transform the problem of finding the desired ordering to choosing strong components of a pair-digraph without creating conflicts. We make use of the structure of the pair-digraph as well as decomposition of bigraph H based on the special componen…
