Strength Of A Graph
   HOME

TheInfoList



OR:

In
graph theory In mathematics and computer science, graph theory is the study of ''graph (discrete mathematics), graphs'', which are mathematical structures used to model pairwise relations between objects. A graph in this context is made up of ''Vertex (graph ...
, the strength of an undirected
graph Graph may refer to: Mathematics *Graph (discrete mathematics), a structure made of vertices and edges **Graph theory, the study of such graphs and their properties *Graph (topology), a topological space resembling a graph in the sense of discret ...
corresponds to the minimum ratio of ''edges removed''/''components created'' in a decomposition of the graph in question. It is a method to compute partitions of the set of vertices and detect zones of high concentration of edges, and is analogous to graph toughness which is defined similarly for vertex removal.


Definitions

The strength \sigma(G) of an undirected
simple graph In discrete mathematics, particularly in graph theory, a graph is a structure consisting of a Set (mathematics), set of objects where some pairs of the objects are in some sense "related". The objects are represented by abstractions called ''Ver ...
''G'' = (''V'', ''E'') admits the three following definitions: * Let \Pi be the set of all partitions of V, and \partial \pi be the set of edges crossing over the sets of the partition \pi\in\Pi, then \displaystyle\sigma(G)=\min_\frac. * Also if \mathcal T is the set of all spanning trees of ''G'', then :: \sigma(G)=\max\left\. * And by
linear programming Linear programming (LP), also called linear optimization, is a method to achieve the best outcome (such as maximum profit or lowest cost) in a mathematical model whose requirements and objective are represented by linear function#As a polynomia ...
duality, :: \sigma(G)=\min\left\.


Complexity

Computing the strength of a graph can be done in
polynomial time In theoretical computer science, the time complexity is the computational complexity that describes the amount of computer time it takes to run an algorithm. Time complexity is commonly estimated by counting the number of elementary operations p ...
, and the first such algorithm was discovered by Cunningham (1985). The algorithm with best complexity for computing exactly the strength is due to Trubin (1993), uses the flow decomposition of Goldberg and Rao (1998), in time O(\min(\sqrt,n^ )mn\log(n^2/m+2)).


Properties

* If \pi=\ is one partition that maximizes, and for i\in\{1,\dots,k\}, G_i=G/V_i is the restriction of ''G'' to the set V_i, then \sigma(G_k)\geq\sigma(G). * The Tutte-Nash-Williams theorem: \lfloor\sigma(G)\rfloor is the maximum number of edge-disjoint spanning trees that can be contained in ''G''. * Contrary to the
graph partition In mathematics, a graph partition is the reduction of a Graph (discrete mathematics), graph to a smaller graph by partition of a set, partitioning its set of nodes into mutually exclusive groups. Edges of the original graph that cross between the g ...
problem, the partitions output by computing the strength are not necessarily balanced (i.e. of almost equal size).


References

*W. H. Cunningham
''Optimal attack and reinforcement of a network,''
J of ACM, 32:549–561, 1985. * A. Schrijver. Chapter 51
''Combinatorial Optimization,''
Springer, 2003. *V. A. Trubin
''Strength of a graph and packing of trees and branchings,''
Cybernetics and Systems Analysis, 29:379–384, 1993. Graph connectivity Graph invariants