On the spanning tree packing number of a graph: a survey

AbstractThe spanning tree packing number or STP number of a graph G is the maximum number of edge-disjoint spanning trees contained in G. We use an observation of Paul Catlin to investigate the STP numbers of several families of graphs including quasi-random graphs, regular graphs, complete bipartite graphs, cartesian products and the hypercubes

Wiretapping a hidden network

We consider the problem of maximizing the probability of hitting a strategically chosen hidden virtual network by placing a wiretap on a single link of a communication network. This can be seen as a two-player win-lose (zero-sum) game that we call the wiretap game. The value of this game is the greatest probability that the wiretapper can secure for hitting the virtual network. The value is shown to equal the reciprocal of the strength of the underlying graph. We efficiently compute a unique partition of the edges of the graph, called the prime-partition, and find the set of pure strategies of the hider that are best responses against every maxmin strategy of the wiretapper. Using these special pure strategies of the hider, which we call omni-connected-spanning-subgraphs, we define a partial order on the elements of the prime-partition. From the partial order, we obtain a linear number of simple two-variable inequalities that define the maxmin-polytope, and a characterization of its extreme points. Our definition of the partial order allows us to find all equilibrium strategies of the wiretapper that minimize the number of pure best responses of the hider. Among these strategies, we efficiently compute the unique strategy that maximizes the least punishment that the hider incurs for playing a pure strategy that is not a best response. Finally, we show that this unique strategy is the nucleolus of the recently studied simple cooperative spanning connectivity game

Connectivity and spanning trees of graphs

This dissertation focuses on connectivity, edge connectivity and edge-disjoint spanning trees in graphs and hypergraphs from the following aspects.;1. Eigenvalue aspect. Let lambda2(G) and tau( G) denote the second largest eigenvalue and the maximum number of edge-disjoint spanning trees of a graph G, respectively. Motivated by a question of Seymour on the relationship between eigenvalues of a graph G and bounds of tau(G), Cioaba and Wong conjectured that for any integers d, k ≥ 2 and a d-regular graph G, if lambda 2(G)) \u3c d -- 2k-1d+1 , then tau(G) ≥ k. They proved the conjecture for k = 2, 3, and presented evidence for the cases when k ≥ 4. We propose a more general conjecture that for a graph G with minimum degree delta ≥ 2 k ≥ 4, if lambda2(G) \u3c delta -- 2k-1d+1 then tau(G) ≥ k. We prove the conjecture for k = 2, 3 and provide partial results for k ≥ 4. We also prove that for a graph G with minimum degree delta ≥ k ≥ 2, if lambda2( G) \u3c delta -- 2k-1d +1 , then the edge connectivity is at least k. As corollaries, we investigate the Laplacian and signless Laplacian eigenvalue conditions on tau(G) and edge connectivity.;2. Network reliability aspect. With graphs considered as natural models for many network design problems, edge connectivity kappa\u27(G) and maximum number of edge-disjoint spanning trees tau(G) of a graph G have been used as measures for reliability and strength in communication networks modeled as graph G. Let kappa\u27(G) = max{lcub}kappa\u27(H) : H is a subgraph of G{rcub}. We present: (i) For each integer k \u3e 0, a characterization for graphs G with the property that kappa\u27(G) ≤ k but for any additional edge e not in G, kappa\u27(G + e) ≥ k + 1. (ii) For any integer n \u3e 0, a characterization for graphs G with |V(G)| = n such that kappa\u27(G) = tau( G) with |E(G)| minimized.;3. Generalized connectivity. For an integer l ≥ 2, the l-connectivity kappal( G) of a graph G is defined to be the minimum number of vertices of G whose removal produces a disconnected graph with at least l components or a graph with fewer than l vertices. Let k ≥ 1, a graph G is called (k, l)-connected if kappa l(G) ≥ k. A graph G is called minimally (k, l)-connected if kappal(G) ≥ k but ∀e ∈ E( G), kappal(G -- e) ≤ k -- 1. A structural characterization for minimally (2, l)-connected graphs and some extremal results are obtained. These extend former results by Dirac and Plummer on minimally 2-connected graphs.;4. Degree sequence aspect. An integral sequence d = (d1, d2, ···, dn) is hypergraphic if there is a simple hypergraph H with degree sequence d, and such a hypergraph H is a realization of d. A sequence d is r-uniform hypergraphic if there is a simple r- uniform hypergraph with degree sequence d. It is proved that an r-uniform hypergraphic sequence d = (d1, d2, ···, dn) has a k-edge-connected realization if and only if both di ≥ k for i = 1, 2, ···, n and i=1ndi≥ rn-1r-1 , which generalizes the formal result of Edmonds for graphs and that of Boonyasombat for hypergraphs.;5. Partition connectivity augmentation and preservation. Let k be a positive integer. A hypergraph H is k-partition-connected if for every partition P of V(H), there are at least k(| P| -- 1) hyperedges intersecting at least two classes of P. We determine the minimum number of hyperedges in a hypergraph whose addition makes the resulting hypergraph k-partition-connected. We also characterize the hyperedges of a k-partition-connected hypergraph whose removal will preserve k-partition-connectedness