A study on supereulerian digraphs and spanning trails in digraphs

Abstract

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