Enumerative problems for arborescences and monotone paths on polytope graphs

Every generic linear functional $f$ on a convex polytope $P$ induces an orientation on the graph of $P$. From the resulting directed graph one can define a notion of $f$-arborescence and $f$-monotone path on $P$, as well as a natural graph structure on the vertex set of $f$-monotone paths. These concepts are important in geometric combinatorics and optimization. This paper bounds the number of $f$-arborescences, the number of $f$-monotone paths, and the diameter of the graph of $f$-monotone paths for polytopes $P$ in terms of their dimension and number of vertices or facets.     

Convexity in directed graphs

In this paper the concept of convexity in directed graphs is described. It is shown that the set of convex subgraphs of a directed graph G partially ordered by inclusion forms a complete, semimodular, A-regular lattice, denoted ?_G. The lattice theoretic properties of the convex subgraph lattice lead to inferences about the path structure of the original graph G. In particular, a graph factorization theorem is developed. In Section 4, several graph homomorphism concepts are investigated in relation to the preservation of convexity properties. Finally we characterize an interesting class of locally convex directed graphs.     

Packing algorithms for arborescences (and spanning trees) in capacitated graphs

In a digraph with real-valued edge capacities, we pack the greatest number of arborescences in time O(n ³m log(n ²/m)); the packing uses at mostm distinct arborescences. Heren andm denote the number of vertices and edges in the given graph, respectively. Similar results hold for integral packing: we pack the greatest number of arborescences in time O(min{n, logN}n ²m log(n ²/)) using at mostm + n – 2 distinct arborescences; hereN denotes the largest (integral) capacity of an edge. These resuts improve the best previous bounds for capacitated digraphs. The algorithm extends to several related problems, including packing spanning trees in an undirected capacitated graph, and covering such graphs by forests. The algorithm provides a new proof of Edmonds' theorem for arborescence packing, for both integral and real capacities, based on a laminar family of sets derived from the packing. © 1998 The Mathematical Programming Society, Inc. Published by Elsevier Science B.V.     

Hamilton cycles in random graphs and directed graphs

We prove that almost every digraph D_{2–in, 2–out} is Hamiltonian. As a corollary we obtain also that almost every graph G_4–out is Hamiltonian. © 2000 John Wiley & Sons, Inc. Random Struct. Alg., 16: 369–401, 2000     

Directed triangles in directed graphs

We show that each directed graph (with no parallel arcs) on n vertices, each with indegree and outdegree at least n/twhere t=2.888997… contains a directed circuit of length at most 3.     

Arc-disjoint in-trees in directed graphs

Given a directed graph D = (V,A) with a set of d specified vertices S = {s ₁,…, s _d } ⊆ V and a function f: S → ℕ where ℕ denotes the set of natural numbers, we present a necessary and sufficient condition such that there exist Σ _i=1 ^d f(s _i ) arc-disjoint in-trees denoted by T _i,1,T _i,2,…, for every i = 1,…,d such that T _i,1,…, are rooted at s _i and each T _i,j spans the vertices from which s _i is reachable. This generalizes the result of Edmonds [2], i.e., the necessary and sufficient condition that for a directed graph D=(V,A) with a specified vertex s∈V, there are k arc-disjoint in-trees rooted at s each of which spans V. Furthermore, we extend another characterization of packing in-trees of Edmonds [1] to the one in our case. Supported by JSPS Research Fellowships for Young Scientists. Supported by the project New Horizons in Computing, Grand-in-Aid for Scientific Research on Priority Areas, MEXT Japan.     

Directed triangles in directed graphs

We show that each directed graph on n vertices, each with indegree and outdegree at least n/t, where

Full-size image

, contains a directed circuit of length at most 3.     

Covering partially directed graphs with directed paths

We consider graphs which contain both directed and undirected edges (partially directed graphs). We show that the problem of covering the edges of such graphs with a minimum number of edge-disjoint directed paths respecting the orientations of the directed edges is polynomially solvable. We exhibit a good characterization for this problem in the form of a min-max theorem. We introduce a more general problem including weights on possible orientations of the undirected edges. We show that this more general weighted formulation is equivalent to the weighted bipartite b-factor problem. This implies the existence of a strongly polynomial algorithm for this weighted generalization of Euler's problem to partially directed graphs (compare this with the negative results for the mixed Chinese postman problem). We also provide a compact linear programming formulation for the weighted generalization that we propose.     

Independent trees in graphs

IfG is a finite undirected graph ands is a vertex ofG, then two spanning treesT ₁ andT ₂ inG are calleds — independent if for each vertexx inG the paths fromx tos inT ₁ andT ₂ are openly disjoint. It is known that the following statement is true fork3: IfG isk-connected, then there arek pairwises — independent spanning, trees inG. As a main result we show that this statement is also true fork=4 if we restrict ourselves to planar graphs. Moreover we consider similar statements for weaklys — independent spanning trees (i.e., the tree paths from a vertex tos are edge disjoint) and for directed graphs.     

On weighted directed graphs

The study of a mixed graph and its Laplacian matrix have gained quite a bit of interest among the researchers. Mixed graphs are very important for the study of graph theory as they provide a setup where one can have directed and undirected edges in the graph. In this article we present a more general structure, namely the weighted directed graphs and supply appropriate generalizations of several existing results for mixed graphs related to singularity of the corresponding Laplacian matrix. We also prove many new combinatorial results relating the Laplacian matrix and the graph structure.     

On antimagic directed graphs

An antimagic labeling of an undirected graph G with n vertices and m edges is a bijection from the set of edges of G to the integers {1, …, m} such that all n vertex sums are pairwise distinct, where a vertex sum is the sum of labels of all edges incident with that vertex. A graph is called antimagic if it admits an antimagic labeling. In (N. Hartsfield and G. Ringel, Pearls in Graph Theory, Academic Press, Boston, 1990, pp. 108–109), Hartsfield and Ringel conjectured that every simple connected graph, other than K₂, is antimagic. Despite considerable effort in recent years, this conjecture is still open. In this article we study a natural variation; namely, we consider antimagic labelings of directed graphs. In particular, we prove that every directed graph whose underlying undirected graph is “dense” is antimagic, and that almost every undirected d‐regular graph admits an orientation which is antimagic. © 2009 Wiley Periodicals, Inc. J Graph Theory 64: 219–232, 2010     

Infinite primitive directed graphs

A group G of permutations of a set Ω is primitive if it acts transitively on Ω, and the only G-invariant equivalence relations on Ω are the trivial and universal relations. A digraph Γ is primitive if its automorphism group acts primitively on its vertex set, and is infinite if its vertex set is infinite. It has connectivity one if it is connected and there exists a vertex α of Γ, such that the induced digraph Γ∖{α} is not connected. If Γ has connectivity one, a lobe of Γ is a connected subgraph that is maximal subject to the condition that it does not have connectivity one. Primitive graphs (and thus digraphs) with connectivity one are necessarily infinite.     

Edge-disjoint cycles in regular directed graphs

We prove that any k-regular directed graph with no parallel edges contains a collection of at least O(k²) edge-disjoint cycles; we conjecture that in fact any such graph contains a collection of at least (^k+1₂) disjoint cycles, and note that this holds for k ≤ 3. © 1996 John Wiley & Sons, Inc.     

Cost-minimal trees in directed acyclic graphs

Summary A number of examples are given where one seeks a minimal-cost tree to span a given subset of the nodes of a connected, directed, acyclic graph (we call such a graph monotonic). Some of these examples require an algorithm to transform the problem into the form of a minimization problem in a monotonic graph; this algorithm is also given. Finally, an implicit enumeration algorithm is presented for finding the cost-minimal tree of the graph, which spans the designated subset of the nodes, and some computational results are given.

---

Zusammenfassung Es werden Beispiele aufgezeigt, bei denen ein kostenminimaler Baum gesucht wird, der eine gegebene Untermenge von Knoten in einem verbundenen, gerichteten und azyklischen Graphen aufspannt. Ein solcher Graph wird hier als monotoner Graph bezeichnet. Einige dieser Beispiele erfordern einen Algorithmus, der das gegebene Problem in eine Minimierungsaufgabe in einem monotonen Graphen überträgt. Dieser Algorithmus zur Konstruktion des Graphen wird formuliert. Schließlich wird ein spezialisiertes implizites Enumerationsverfahren vorgestellt, das den kostenminimalen Baum zu der gegebenen Untermenge von Knoten in dem vorliegenden monotonen Graphen konstruiert. Rechenerfahrungen bilden den Abschluß.

     

On maximal circuits in directed graphs

An exact bound is obtained for the number of edges in a directed graph which ensures the existence of a circuit exceeding a prescribed length.Another proof of an analogous result of Erdös and Gallai for undirected graphs is supplied in the Appendix.     

Independent domination in triangle-free graphs

Let G be a simple graph of order n and minimum degree δ. The independent domination numberi(G) is defined to be the minimum cardinality among all maximal independent sets of vertices of G. We establish upper bounds, as functions of n and δ?n/2, for the independent domination number of triangle-free graphs, and over part of the range achieve best possible results.     

Independent packings in structured graphs

Packing a maximum number of disjoint triangles into a given graph G is NP-hard, even for most classes of structured graphs. In contrast, we show that packing a maximum number of independent (that is, disjoint and nonadjacent) triangles is polynomial-time solvable for many classes of structured graphs, including weakly chordal graphs, asteroidal triple-free graphs, polygon-circle graphs, and interval-filament graphs. These classes contain other well-known classes such as chordal graphs, cocomparability graphs, circle graphs, circular-arc graphs, and outerplanar graphs. Our results apply more generally to independent packings by members of any family of connected graphs. Research of both authors is supported by the Natural Sciences and Engineering Research Council of Canada.     

Independent sets in regular graphs

Lower and upper bounds for the maximal number of independent vertices in a regular graph are obtained, it is shown that the bounds are best possible. Some properties of regular graphs concerning the property ℋ defined below are investigated. This paper is to be a part of the author’s Ph. D. thesis written under the supervision of Prof. B. Grünbaum at the Hebrew University of Jerusalem.