Combinatorica

, Volume 15, Issue 1, pp 67–83

An analysis of a Monte Carlo algorithm for estimating the permanent

  • Alan Frieze
  • Mark Jerrum
Article

Abstract

Karmarkar, Karp, Lipton, Lovász, and Luby proposed a Monte Carlo algorithm for approximating the permanent of a non-negativen×n matrix, which is based on an easily computed, unbiased estimator. It is not difficult to construct 0,1-matrices for which the variance of this estimator is very large, so that an exponential number of trials is necessary to obtain a reliable approximation that is within a constant factor of the correct value.

Nevertheless, the same authors conjectured that for a random 0,1-matrix the variance of the estimator is typically small. The conjecture is shown to be true; indeed, for almost every 0,1-matrixA, just O(nw(n)e-2) trials suffice to obtain a reliable approximation to the permanent ofA within a factor 1±ɛ of the correct value. Here ω(n) is any function tending to infinity asn→∞. This result extends to random 0,1-matrices with density at leastn−1/2ω(n).

It is also shown that polynomially many trials suffice to approximate the permanent of any dense 0,1-matrix, i.e., one in which every row- and column-sum is at least (1/2+α)n, for some constant α>0. The degree of the polynomial bounding the number of trials is a function of α, and increases as α→0.

Mathematics Subject Classification (1991)

68 Q 25 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Béla Bollobás:Random Graphs, Academic Press, 1985.Google Scholar
  2. [2]
    Andrei Z. Broder: How hard is it to marry at random? (On the approximation of the permanent),Proceedings of the 18th ACM Symposium on Theory of Computing, 1986, 50–58. Erratum inProceedings of the 20th ACM Symposium on Theory of Computing, 1988, 551.Google Scholar
  3. [3]
    G. A. Dirac:Some theorems on abstract graphs, Proceedings of the London Mathematical Society2 (1952) 69–81.MATHMathSciNetGoogle Scholar
  4. [4]
    Martin Dyer, Alan Frieze, andMark Jerrum: Approximately counting Hamilton cycles in dense graphs,Proceedings of the 4th ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 1994, 336–343.Google Scholar
  5. [5]
    Alan Frieze, andStephen Suen: Counting the number of Hamiltonian cycles in random digraphs,Random Structures and Algorithms 3 (1992), 235–241.MATHMathSciNetGoogle Scholar
  6. [6]
    Peter Gemmell, andMadhu Sudan: Highly resilient correctors for polynomials,Information Processing Letters 34 (1992), 169–174.MathSciNetCrossRefGoogle Scholar
  7. [7]
    C. D. Godsil, andI. Gutman: On the matching polynomial of a graph,Algebraic Methods in Graph Theory, I (L. Lovász and V. T. Sós, editors), Colloquia Mathematica Societatis János Bolyai25, North-Holland, 1981.Google Scholar
  8. [8]
    Marshall Hall Jr:Combinatorial Theory, Blaisdell, Waltham Massachusetts, 1967.MATHGoogle Scholar
  9. [9]
    Svante Janson: The Number of Spanning Trees, Hamilton Cycles and Perfect Matchings in a Random Graph,Combinatorics, Probability and Computing 3 (1994), 97–126.MATHMathSciNetCrossRefGoogle Scholar
  10. [10]
    Mark Jerrum, andAlistair Sinclair: Approximating the permanent,SIAM Journal on Computing 18 (1989), 1149–1178.MATHMathSciNetCrossRefGoogle Scholar
  11. [11]
    Mark R. Jerrum, Leslie G. Valiant, andVijay V. Vazirani: Random generation of combinatorial structures from a uniform distribution,Theoretical Computer Science 43 (1986), 169–188.MATHMathSciNetCrossRefGoogle Scholar
  12. [12]
    N. Karmarkar, R. Karp, R. Lipton, L. Lovász, andM. Luby:A Monte-Carlo Algorithm for Estimating the Permanent.SIAM Journal on Computing 22 (1993), 284–293.MATHMathSciNetCrossRefGoogle Scholar
  13. [13]
    R. M. Karp, andM. Luby: Monte-Carlo algorithms for enumeration and reliability problems,Proceedings of the 24th IEEE Symposium on Foundations of Computer Science, 1983, 56–64.Google Scholar
  14. [14]
    László Lovász:Combinatorial Problems and Exercises, North-Holland, 1979.Google Scholar
  15. [15]
    Milena Mihail: On coupling and the approximation of the permanent,Information Processing Letters 30 (1989), 91–95.MATHMathSciNetCrossRefGoogle Scholar
  16. [16]
    Henryk Minc:Permanents, Addison Wesley, 1978.Google Scholar
  17. [17]
    Lars Eilstrup Rasmussen: Approximating the Permanent: a Simple Approach,Random Structures and Algorithms 5 (1994), 349–361.MATHMathSciNetGoogle Scholar
  18. [18]
    L. G. Valiant: The complexity of computing the permanent,Theoretical Computer Science 8 (1979), 189–201.MATHMathSciNetCrossRefGoogle Scholar

Copyright information

© Akadémiai Kiadó 1995

Authors and Affiliations

  • Alan Frieze
    • 1
  • Mark Jerrum
    • 2
  1. 1.Department of MathematicsCarnegie Mellon UniversityPittsburghU.S.A.
  2. 2.Department of Computer ScienceUniversity of EdinburghEdinburghUK

Personalised recommendations