Probabilistic Analysis of Network Flow Algorithms

This paper is concerned with the design and probabilistic analysis of algorithms for the maximum-flow problem and capacitated transportation problems. These algorithms run in linear time and, under certain assumptions about the probability distribution of edge capacities, obtain an optimal solution with high probability. The design of our algorithms is based on the following general method, which we call the mimicking method, for solving problems in which some of the input data are deterministic and some are random with a known distribution: 1. Replace each random variable in the problem by its expectation; this gives a deterministic problem instance that has a special form, making it particularly easy to solve; 2. Solve the resulting deterministic problem instance; 3. Taking into account the actual values of the random variables, mimic the solution of the deterministic instance to obtain a near-optimal solution to the original problem; 4. Fine-tune this suboptimal solution to obtain an optimal solution. We present linear time algorithms to compute a feasible flow in directed and undirected capacitated transportation problem instances. The algorithms are shown to be successful with high probability when the probability distribution of the input data satisfies certain assumptions. We also consider the maximum flow problem with multiple sources and sinks. We show that with high probability the minimum cut isolates either the sources or the sinks, and we give a linear-time algorithm that produces a maximum flow with high probability.

[1]  G. V. Balakin On Random Matrices , 1967 .

[2]  E. A. Dinic Algorithm for solution of a problem of maximal flow in a network with power estimation , 1970 .

[3]  A. Rí,et al.  On random matrices II , 1968 .

[4]  William Feller,et al.  An Introduction to Probability Theory and Its Applications , 1951 .

[5]  B. Harshbarger An Introduction to Probability Theory and its Applications, Volume I , 1958 .

[6]  Rajeev Motwani,et al.  Probabilistic analysis of matching and network flow algorithms , 1988 .

[7]  Dorit S. Hochbaum An Exact Sublinear Algorithm for the Max-Flow, Vertex Disjoint Paths and Communication Problems on Random Graphs , 1992, Oper. Res..

[8]  Micha Hofri,et al.  Probabilistic Analysis of Algorithms , 1987, Texts and Monographs in Computer Science.

[9]  D. Gale A theorem on flows in networks , 1957 .

[10]  Ivan T. Frisch,et al.  Communication, transmission, and transportation networks , 1971 .

[11]  G. Grimmett,et al.  Flow in networks with random capacities , 1982 .

[12]  Béla Bollobás,et al.  Random Graphs , 1985 .

[13]  J. K. Lenstra,et al.  Combinatorial optimization : annotated bibliographies , 1985 .

[14]  Refael Hassin,et al.  Probabilistic Analysis of the Capacitated Transportation Problem , 1988, Math. Oper. Res..

[15]  Leslie G. Valiant,et al.  Fast probabilistic algorithms for hamiltonian circuits and matchings , 1977, STOC '77.

[16]  Noga Alon,et al.  Generating Pseudo-Random Permutations and Maximum Flow Algorithms , 1990, Inf. Process. Lett..

[17]  H. Chernoff A Measure of Asymptotic Efficiency for Tests of a Hypothesis Based on the sum of Observations , 1952 .

[18]  N. S. Mendelsohn,et al.  Some generalizations of the problem of distinct representatives , 1958 .

[19]  Dorit S. Hochbaum,et al.  A Fast Perfect-Matching Algorithm in Random Graphs , 1990, SIAM J. Discret. Math..

[20]  Rajeev Motwani,et al.  Expanding graphs and the average-case analysis of algorithms for matchings and related problems , 1989, STOC '89.

[21]  Geoffrey Grimmett,et al.  The maximal flow through a directed graph with random capacities , 1982 .

[22]  D. R. Fulkerson,et al.  Flows in Networks. , 1964 .

[23]  Andrew V. Goldberg,et al.  A new approach to the maximum flow problem , 1986, STOC '86.

[24]  E. Jamoulle,et al.  Transportation networks with random arc capacities , 1972 .

[25]  D. R. Fulkerson,et al.  Widths and heights of (0,1)-matrices. , 1961 .

[26]  H. Frank,et al.  Probabilistic Flows Through a Communication Network , 1965 .

[27]  Torben Hagerup,et al.  A randomized maximum-flow algorithm , 1989, 30th Annual Symposium on Foundations of Computer Science.

[28]  H. Ryser Combinatorial Properties of Matrices of Zeros and Ones , 1957, Canadian Journal of Mathematics.