Perfect Digraphs

The clique number of a digraph D is the size of the largest bidirectionally complete subdigraph of D. D is perfect if, for any induced subdigraph H of D, the dichromatic number defined by Neumann‐Lara (The dichromatic number of a digraph, J. Combin. Theory Ser. B 33 (1982), 265–270) equals the clique number . Using the Strong Perfect Graph Theorem (M. Chudnovsky, N. Robertson, P. Seymour, and R. Thomas, The strong perfect graph theorem, Ann. Math. 164 (2006), 51–229) we give a characterization of perfect digraphs by a set of forbidden induced subdigraphs. Modifying a recent proof of Bang‐Jensen et al. (Finding an induced subdivision of a digraph, Theoret. Comput. Sci. 443 (2012), 10–24) we show that the recognition of perfect digraphs is co‐‐complete. It turns out that perfect digraphs are exactly the complements of clique‐acyclic superorientations of perfect graphs. Thus, we obtain as a corollary that complements of perfect digraphs have a kernel, using a result of Boros and Gurvich (Perfect graphs are kernel solvable, Discrete Math. 159 (1996), 35–55). Finally, we prove that it is ‐complete to decide whether a perfect digraph has a kernel.     

Infinite Circulant Digraphs and Random Infinite Circulant Digraphs

In this paper, we completely determine the connectivity of every infinite circulant digraphs and prove that almost all infinite circulant digraphs are infinitely strongly connected and therefore have both one- and two-way infinite Hamiltonian paths. Received February 4, 1998, Accepted May 16, 2002     

Digraphs with real and gaussian spectra

The conventional binary operations of cartesian product, conjunction, and composition of two digraphs D₁ and D₂ are observed to give the sum, the product, and a more complicated combination of the spectra of D₁ and D₂ as the resulting spectrum. These formulas for analyzing the spectrum of a digraph are utilized to construct for any positive integer n, a collection of n nonisomorphic strong regular nonsymmetric digraphs with real spectra. Further, an infinite collection of strong nonsymmetric digraphs with nonzero gaussian integer value is found. Finally, for any n, it is shown that there are n cospectral strong nonsymmetric digraphs with integral spectra.     

Constructing Cospectral Digraphs with Arbitrary Centers

The center of graphs and digraphs have long been a topic of interest, as is establishing bounds on graph parameters using the spectrum of the graph. It may be that the spectrum of a digraph has some relationship with the center of the digraph. This turns out not to be the case. A construction is presented that yields cospectral digraphs with arbitrary centers.     

k-Walk-Regular Digraphs

In this paper,we define a class of strongly connected digraph,called the k-walk- regular digraph,study some properties of it,provide its some algebraic characterization and point out that the 0-walk-regular digraph is the same as the walk-regular digraph discussed by Liu and Lin in 2010 and the D-walk-regular digraph is identical with the weakly distance-regular digraph defined by Comellas et al in 2004.     

本原对称有向图上广义指数的极图

设D是n阶有向图(允许有环但不允许有重复弧),X C V(D),集指数expD(X)是这样的最小正整数P,使得对D中每个点v,存在从X的至少一个点到V的长为P的途径.若这样的正整数P不存在,则定义expD(X)=∞.D的第k重上广义指数F(D,k):=max{expD(X)| X C V(D),|X|=k},1≤k≤n.如果F(D,k)<∞,则称D是k-上本原的.本文完全刻划了k-上本原对称有向图的第k重上广义指数的极图.     

超欧拉扩展有向图

A digraph D is supereulerian if D has a spanning eulerian subdigraph. BangJensen and Thomass′e conjectured that if the arc-strong connectivity λ(D) of a digraph D is not less than the independence number α(D), then D is supereulerian. In this paper, we prove that if D is an extended cycle, an extended hamiltonian digraph, an arc-locally semicomplete digraph, an extended arc-locally semicomplete digraph, an extension of two kinds of eulerian digraph, a hypo-semicomplete digraph or an extended hypo-semicomplete digraph satisfyingλ(D) ≥α(D), then D is supereulerian.     

Homology of Digraphs

Mathematical Notes - A theory of singular cubic homology of digraphs is developed; the obtained homology groups are proved to be functorial and homotopy invariant. Commutative diagrams of exact...     

Adjusted Interval Digraphs

Interval digraphs were introduced by West et al. They can be recognized in polynomial time and admit a characterization in terms of incidence matrices. Nevertheless, they do not have a forbidden structure characterization nor a low-degree polynomial recognition algorithm.We introduce a new class of ‘adjusted interval digraphs,’ obtained by a slight change in the definition. We show that, by contrast, these digraphs have a natural forbidden structure characterization, parallel to a characterization for undirected graphs, and admit a simple recognition algorithm. We relate adjusted interval digraphs to a list homomorphism problem. Each digraph H defines a corresponding list homomorphism problem L-HOM(H). We observe that if H is an adjusted interval digraph, then the problem L-HOM(H) is polynomial time solvable, and conjecture that for all other reflexive digraphs H the problem L-HOM(H) is NP-complete. We present some preliminary evidence for the conjecture, including a proof for the special case of semi-complete digraphs.     

New Extensions of Kernel Perfect Digraphs to Kernel Imperfect Critical Digraphs

In this paper we develop a general method to extend a kernel-perfect digraph to a critical kernel-imperfect digraph.     

Digraphs with at most one trivial critical ideal

Critical ideals generalize the critical group, Smith group and the characteristic polynomials of the adjacency and Laplacian matrices of a graph. We give a complete characterization of the digraphs with at most one trivial critical ideal. Which implies the characterizations of the digraphs whose critical group has one invariant factor equal to one, and the digraphs whose Smith group has one invariant factor equal to one.     

Strong Asymmetric Digraphs with Prescribed Interior and Annulus

The directed distance d(u,v) from u to v in a strong digraph D is the length of a shortest u-v path in D. The eccentricity e(v) of a vertex v in D is the directed distance from v to a vertex furthest from v in D. The center and periphery of a strong digraph are two well known subdigraphs induced by those vertices of minimum and maximum eccentricities, respectively. We introduce the interior and annulus of a digraph which are two induced subdigraphs involving the remaining vertices. Several results concerning the interior and annulus of a digraph are presented.     

Zero Divisors Among Digraphs

A digraph C is called a zero divisor if there exist non-isomorphic digraphs A and B for which ${A \times C \cong B \times C}$ , where the operation is the direct product. In other words, C being a zero divisor means that cancellation property ${A \times C \cong B \times C \Rightarrow A \cong B}$ fails. Lovász proved that C is a zero divisor if and only if it admits a homomorphism into a disjoint union of directed cycles of prime lengths.Thus any digraph C that is homomorphically equivalent to a directed cycle (or path) is a zero divisor. Given such a zero divisor C and an arbitrary digraph A, we present a method of computing all solutions X to the digraph equation ${A \times C \cong X \times C}$ .     

Switching Reconstruction of Digraphs

Switching about a vertex in a digraph means to reverse the direction of every edge incident with that vertex. Bondy and Mercier introduced the problem of whether a digraph can be reconstructed up to isomorphism from the multiset of isomorphism types of digraphs obtained by switching about each vertex. Since the largest known nonreconstructible oriented graphs have eight vertices, it is natural to ask whether there are any larger nonreconstructible graphs. In this article, we continue the investigation of this question. We find that there are exactly 44 nonreconstructible oriented graphs whose underlying undirected graphs have maximum degree at most 2. We also determine the full set of switching‐stable oriented graphs, which are those graphs for which all switchings return a digraph isomorphic to the original.     

Kernels in Weighted Digraphs

A theorem of Sands, Sauer, and Woodrow, extending the Gale–Shapley theorem, states that if G is a digraph whose arc set is the union of the arc sets of two posets, then G has a kernel. We prove a weighted version of this theorem.     

Supereulerian Digraphs with Large Arc‐Strong Connectivity

Let D be a digraph and let be the arc‐strong connectivity of D, and be the size of a maximum matching of D. We proved that if , then D has a spanning eulerian subdigraph.