Approximate Counting, Uniform Generation and Rapidly Mixing Markov Chains

The paper studies effective approximate solutions to combinatorial counting and uniform generation problems. Using a technique based on the simulation of ergodic Markov chains, it is shown that, for self-reducible structures, almost uniform generation is possible in polynomial time provided only that randomised approximate counting to within some arbitrary polynomial factor is possible in polynomial time. It follows that, for self-reducible structures, polynomial time randomised algorithms for counting to within factors of the form (1 +n-@) are available either for all fl E R or for no fi E R. A substantial part of the paper is devoted to investigating the rate of convergence of finite ergodic Markov chains, and a simple but powerful characterisation of rapid convergence for a broad class of chains based on a structural property of the underlying graph is established. Finally, the general techniques of the paper are used to derive an almost uniform generation procedure for labelled graphs with a given degree sequence which is valid over a much wider range of degrees than previous methods: this in turn leads to randomised approximate counting algorithms for these graphs with very good asymptotic behaviour.

[1]  Noga Alon,et al.  Eigenvalues and expanders , 1986, Comb..

[2]  D. Aldous Random walks on finite groups and rapidly mixing markov chains , 1983 .

[3]  J. Dodziuk Difference equations, isoperimetric inequality and transience of certain random walks , 1984 .

[4]  John T. Gill,et al.  Computational complexity of probabilistic Turing machines , 1974, STOC '74.

[5]  Nicholas C. Wormald,et al.  Generating Random Unlabelled Graphs , 1987, SIAM J. Comput..

[6]  Leslie G. Valiant,et al.  The Complexity of Computing the Permanent , 1979, Theor. Comput. Sci..

[7]  Nicholas C. Wormald,et al.  Generating Random Regular Graphs , 1984, J. Algorithms.

[8]  Herbert S. Wilf The Uniform Selection of Free Trees , 1981, J. Algorithms.

[9]  A. Sinclair Randomised algorithms for counting and generating combinatorial structures , 1988 .

[10]  Noga Alon,et al.  lambda1, Isoperimetric inequalities for graphs, and superconcentrators , 1985, J. Comb. Theory, Ser. B.

[11]  Larry J. Stockmeyer,et al.  The Polynomial-Time Hierarchy , 1976, Theor. Comput. Sci..

[12]  J. Keilson Markov Chain Models--Rarity And Exponentiality , 1979 .

[13]  Andrei Z. Broder,et al.  How hard is it to marry at random? (On the approximation of the permanent) , 1986, STOC '86.

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

[15]  Larry J. Stockmeyer,et al.  The complexity of approximate counting , 1983, STOC.

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

[17]  A S T E G E R,et al.  Generating random regular graphs quickly , 2022 .

[18]  Eric Bach,et al.  How to generate random integers with known factorization , 1983, STOC.

[19]  A. Nijenhuis Combinatorial algorithms , 1975 .

[20]  Richard M. Karp,et al.  Monte-Carlo algorithms for enumeration and reliability problems , 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).

[21]  Mark Jerrum,et al.  Approximate Counting, Uniform Generation and Rapidly Mixing Markov Chains , 1987, International Workshop on Graph-Theoretic Concepts in Computer Science.

[22]  D. Aldous On the Markov Chain Simulation Method for Uniform Combinatorial Distributions and Simulated Annealing , 1987, Probability in the Engineering and Informational Sciences.

[23]  Alain Guénoche Random Spanning Tree , 1983, J. Algorithms.

[24]  Jin-Yi Cai,et al.  Exact Counting is as Easy as Approximate Counting , 1986 .

[25]  Leslie G. Valiant,et al.  Random Generation of Combinatorial Structures from a Uniform Distribution , 1986, Theor. Comput. Sci..

[26]  P. Diaconis,et al.  SHUFFLING CARDS AND STOPPING-TIMES , 1986 .

[27]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[28]  Claus-Peter Schnorr,et al.  Optimal Algorithms for Self-Reducible Problems , 1976, ICALP.

[29]  J. Cheeger A lower bound for the smallest eigenvalue of the Laplacian , 1969 .

[30]  Béla Bollobás,et al.  A Probabilistic Proof of an Asymptotic Formula for the Number of Labelled Regular Graphs , 1980, Eur. J. Comb..

[31]  A. Sokal,et al.  Bounds on the ² spectrum for Markov chains and Markov processes: a generalization of Cheeger’s inequality , 1988 .

[32]  Mark Jerrum,et al.  Conductance and the rapid mixing property for Markov chains: the approximation of permanent resolved , 1988, STOC '88.

[33]  Frank E. Grubbs,et al.  An Introduction to Probability Theory and Its Applications , 1951 .

[34]  Feller William,et al.  An Introduction To Probability Theory And Its Applications , 1950 .

[35]  P. Diaconis,et al.  Strong uniform times and finite random walks , 1987 .

[36]  R. A. Silverman,et al.  Introductory Real Analysis , 1972 .

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

[38]  Leslie G. Valiant,et al.  The Complexity of Enumeration and Reliability Problems , 1979, SIAM J. Comput..

[39]  Herbert S. Wilf,et al.  The Random Selection of Unlabeled Graphs , 1983, J. Algorithms.