A study on Dicycles and Eulerian Subdigraphs

1. Dicycle cover of Hamiltonian oriented graphs. A dicycle cover of a digraph D is a family F of dicycles of D such that each arc of D lies in at least one dicycle in F. We investigate the problem of determining the upper bounds for the minimum number of dicycles which cover all arcs in a strong digraph. Best possible upper bounds of dicycle covers are obtained in a number of classes of digraphs, including strong tournaments, Hamiltonian oriented graphs, Hamiltonian oriented complete bipartite graphs, and families of possibly non-hamiltonian digraphs obtained from these digraphs via a sequence of 2-sum operations.;2. Supereulerian digraphs with given local structures . Catlin in 1988 indicated that there exist graph families F such that if every edge e in a graph G lies in a subgraph He of G isomorphic to a member in F, then G is supereulerian. In particular, if every edge of a connected graph G lies in a 3-cycle, then G is supereulerian. The purpose of this research is to investigate how Catlin\u27s theorem can be extended to digraphs. A strong digraph D is supereulerian if D contains a spanning eulerian subdigraph. We show that there exists an infinite family of non-supereulerian strong digraphs each arc of which lies in a directed 3-cycle. We also show that there exist digraph families H such that a strong digraph D is supereulerian if every arc a of D lies in a subdigraph Ha isomorphic to a member of H. A digraph D is symmetric if (x, y) ∈ A( D) implies (y, x) ∈ A( D); and is symmetrically connected if every pair of vertices of D are joined by a symmetric dipath. A digraph D is partially symmetric if the digraph obtained from D by contracting all symmetrically connected components is symmetrically connected. It is known that a partially symmetric digraph may not be symmetrically connected. We show that symmetrically connected digraphs and partially symmetric digraphs are such families. Sharpness of these results are discussed.;3. On a class of supereulerian digraphs. The 2-sum of two digraphs D1 and D2, denoted D1 ⊕2 D2, is the digraph obtained from the disjoint union of D 1 and D2 by identifying an arc in D1 with an arc in D2. A digraph D is supereulerian if D contains a spanning eulerian subdigraph. It has been noted that the 2-sum of two supereulerian (or even hamiltonian) digraphs may not be supereulerian. We obtain several sufficient conditions on D1 and D 2 for D1 ⊕2 D 2 to be supereulerian. In particular, we show that if D 1 and D2 are symmetrically connected or partially symmetric, then D1 ⊕2 D2 is supereulerian

A study on supereulerian digraphs and spanning trails in digraphs

A strong digraph D is eulerian if for any v ∈ V (D), d+D (v) = d−D (v). A digraph D is supereulerian if D contains a spanning eulerian subdigraph, or equivalently, a spanning closed directed trail. A digraph D is trailable if D has a spanning directed trail. This dissertation focuses on a study of trailable digraphs and supereulerian digraphs from the following aspects. 1. Strong Trail-Connected, Supereulerian and Trailable Digraphs. For a digraph D, D is trailable digraph if D has a spanning trail. A digraph D is strongly trail- connected if for any two vertices u and v of D, D posses both a spanning (u, v)-trail and a spanning (v,u)-trail. As the case when u = v is possible, every strongly trail-connected digraph is also su- pereulerian. Let D be a digraph. Let S(D) = {e ∈ A(D) : e is symmetric in D}. A digraph D is symmetric if A(D) = S(D). The symmetric core of D, denoted by J(D), has vertex set V (D) and arc set S(D). We have found a well-characterized digraph family D each of whose members does not have a spanning trail with its underlying graph spanned by a K2,n−2 such that for any strong digraph D with its matching number α′(D) and arc-strong-connectivity λ(D), if n = |V (D)| ≥ 3 and λ(D) ≥ α′(D) − 1, then each of the following holds. (i) There exists a family D of well-characterized digraphs such that for any digraph D with α′(D) ≤ 2, D has a spanning trial if and only if D is not a member in D. (ii) If α′(D) ≥ 3, then D has a spanning trail. (iii) If α′(D) ≥ 3 and n ≥ 2α′(D) + 3, then D is supereulerian. (iv) If λ(D) ≥ α′(D) ≥ 4 and n ≥ 2α′(D) + 3, then for any pair of vertices u and v of D, D contains a spanning (u, v)-trail. 2. Supereulerian Digraph Strong Products. A cycle vertex cover of a digraph D is a collection of directed cycles in D such that every vertex in D lies in at least one dicycle in this collection, and such that the union of the arc sets of these directed cycles induce a connected subdigraph of D. A subdigraph F of a digraph D is a circulation if for every vertex v in F, the indegree of v equals its outdegree, and a spanning circulation if F is a cycle factor. Define f(D) to be the smallest cardinality of a cycle vertex cover of the digraph D/F obtained from D by contracting all arcs in F , among all circulations F of D. In [International Journal of Engineering Science Invention, 8 (2019) 12-19], it is proved that if D1 and D2 are nontrivial strong digraphs such that D1 is supereulerian and D2 has a cycle vertex cover C′ with |C′| ≤ |V (D1)|, then the Cartesian product D1 and D2 is also supereulerian. We prove that for strong digraphs D1 and D2, if for some cycle factor F1 of D1, the digraph formed from D1 by contracting arcs in F1 is hamiltonian with f(D2) not bigger than |V (D1)|, then the strong product D1 and D2 is supereulerian

Packing Strong Subgraph in Digraphs

In this paper, we study two types of strong subgraph packing problems in digraphs, including internally disjoint strong subgraph packing problem and arc-disjoint strong subgraph packing problem. These problems can be viewed as generalizations of the famous Steiner tree packing problem and are closely related to the strong arc decomposition problem. We first prove the NP-completeness for the internally disjoint strong subgraph packing problem restricted to symmetric digraphs and Eulerian digraphs. Then we get inapproximability results for the arc-disjoint strong subgraph packing problem and the internally disjoint strong subgraph packing problem. Finally we study the arc-disjoint strong subgraph packing problem restricted to digraph compositions and obtain some algorithmic results by utilizing the structural properties

Arc-disjoint Strong Spanning Subdigraphs of Semicomplete Compositions

A strong arc decomposition of a digraph $D=(V,A)$ is a decomposition of its arc set $A$ into two disjoint subsets $A_1$ and $A_2$ such that both of the spanning subdigraphs $D_1=(V,A_1)$ and $D_2=(V,A_2)$ are strong. 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 $\cup_{i=1}^t V(H_i)=\{u_{i,j_i}\mid 1\le i\le t, 1\le j_i\le n_i\}$ and arc set $$\left(\cup^t_{i=1}A(H_i) \right) \cup \left( \cup_{u_iu_p\in A(T)} \{u_{ij_i}u_{pq_p} \mid 1\le j_i\le n_i, 1\le q_p\le n_p\} \right).$$ We obtain a characterization of digraph compositions $Q=T[H_1,\dots H_t]$ which have a strong arc decomposition when $T$ is a semicomplete digraph and each $H_i$ is an arbitrary digraph. Our characterization generalizes a characterization by Bang-Jensen and Yeo (2003) of semicomplete digraphs with a strong arc decomposition and solves an open problem by Sun, Gutin and Ai (2018) on strong arc decompositions of digraph compositions $Q=T[H_1,\dots , H_t]$ in which $T$ is semicomplete and each $H_i$ is arbitrary. Our proofs are constructive and imply the existence of a polynomial algorithm for constructing a \good{} decomposition of a digraph $Q=T[H_1,\dots , H_t]$, with $T$ semicomplete, whenever such a decomposition exists

Spanning eulerian subdigraphs in semicomplete digraphs

A digraph is eulerian if it is connected and every vertex has its in-degree equal to its outdegree. Having a spanning eulerian subdigraph is thus a weakening of having a hamiltonian cycle. In this paper, we first characterize the pairs (D, a) of a semicomplete digraph D and an arc a such that D has a spanning eulerian subdigraph containing a. In particular, we show that if D is 2-arc-strong, then every arc is contained in a spanning eulerian subdigraph. We then characterize the pairs (D, a) of a semicomplete digraph D and an arc a such that D has a spanning eulerian subdigraph avoiding a. In particular, we prove that every 2-arc-strong semicomplete digraph has a spanning eulerian subdigraph avoiding any prescribed arc. We also prove the existence of a (minimum) function f (k) such that every f (k)-arc-strong semicomplete digraph contains a spanning eulerian subdigraph avoiding any prescribed set of k arcs. We conjecture that f (k) = k + 1 and establish this conjecture for k ≤ 3 and when the k arcs that we delete form a forest of stars. A digraph D is eulerian-connected if for any two distinct vertices x, y, the digraph D has a spanning (x, y)-trail. We prove that every 2-arc-strong semicomplete digraph is eulerianconnected. All our results may be seen as arc analogues of well-known results on hamiltonian paths and cycles in semicomplete digraphs

Spanning eulerian subdigraphs in semicomplete digraphs

International audienceA digraph is eulerian if it is connected and every vertex has its in-degree equal to its outdegree. Having a spanning eulerian subdigraph is thus a weakening of having a hamiltonian cycle. In this paper, we first characterize the pairs (D, a) of a semicomplete digraph D and an arc a such that D has a spanning eulerian subdigraph containing a. In particular, we show that if D is 2-arc-strong, then every arc is contained in a spanning eulerian subdigraph. We then characterize the pairs (D, a) of a semicomplete digraph D and an arc a such that D has a spanning eulerian subdigraph avoiding a. In particular, we prove that every 2-arc-strong semicomplete digraph has a spanning eulerian subdigraph avoiding any prescribed arc. We also prove the existence of a (minimum) function f (k) such that every f (k)-arc-strong semicomplete digraph contains a spanning eulerian subdigraph avoiding any prescribed set of k arcs. We conjecture that f (k) = k + 1 and establish this conjecture for k ≤ 3 and when the k arcs that we delete form a forest of stars. A digraph D is eulerian-connected if for any two distinct vertices x, y, the digraph D has a spanning (x, y)-trail. We prove that every 2-arc-strong semicomplete digraph is eulerianconnected. All our results may be seen as arc analogues of well-known results on hamiltonian paths and cycles in semicomplete digraphs

Strong arc decompositions of split digraphs

A {\bf strong arc decomposition} of a digraph $D=(V,A)$ is a partition of its arc set $A$ into two sets $A_1,A_2$ such that the digraph $D_i=(V,A_i)$ is strong for $i=1,2$. Bang-Jensen and Yeo (2004) conjectured that there is some $K$ such that every $K$-arc-strong digraph has a strong arc decomposition. They also proved that with one exception on 4 vertices every 2-arc-strong semicomplete digraph has a strong arc decomposition. Bang-Jensen and Huang (2010) extended this result to locally semicomplete digraphs by proving that every 2-arc-strong locally semicomplete digraph which is not the square of an even cycle has a strong arc decomposition. This implies that every 3-arc-strong locally semicomplete digraph has a strong arc decomposition. A {\bf split digraph} is a digraph whose underlying undirected graph is a split graph, meaning that its vertices can be partioned into a clique and an independent set. Equivalently, a split digraph is any digraph which can be obtained from a semicomplete digraph $D=(V,A)$ by adding a new set $V'$ of vertices and some arcs between $V'$ and $V$. In this paper we prove that every 3-arc-strong split digraph has a strong arc decomposition which can be found in polynomial time and we provide infinite classes of 2-strong split digraphs with no strong arc decomposition. We also pose a number of open problems on split digraphs