Skip to main content
Log in

How Many Needles are in a Haystack, or How to Solve #P-Complete Counting Problems Fast

  • Published:
Methodology and Computing in Applied Probability Aims and scope Submit manuscript

Abstract

We present two randomized entropy-based algorithms for approximating quite general #P-complete counting problems, like the number of Hamiltonian cycles in a graph, the permanent, the number of self-avoiding walks and the satisfiability problem. In our algorithms we first cast the underlying counting problem into an associate rare-event probability estimation, and then apply dynamic importance sampling (IS) to estimate efficiently the desired counting quantity. We construct the IS distribution by using two different approaches: one based on the cross-entropy (CE) method and the other one on the stochastic version of the well known minimum entropy (MinxEnt) method. We also establish convergence of our algorithms and confidence intervals for some special settings and present supportive numerical results, which strongly suggest that both ones (CE and MinxEnt) have polynomial running time in the size of the problem.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  • T. M. Cover and J. A. Thomas, Elements of Information Theory, John Wiley & Sons, inc, 1991.

  • P. T. de Boer, D. P. Kroese, S. Mannor, and R. Y. Rubinstein, “A tutorial on the cross-entropy method,” Annals of Operations Research, 2005.

  • M. Dyer, A. Frieze, and M. Jerrum, “Approximately counting Hamiltonian paths and cycles in dense graphs,” SIAM Journal of Computing vol. 27(5) pp. 1262–1272, 1998.

    Article  MathSciNet  Google Scholar 

  • M. Jerrum, A. Sinclair, and E. Vigoda, “A polynomial-time approximation algorithm for the permanent of a matrix with the nonnegarive entries,” Journal of the ACM vol. 51(4) pp. 671–697, 2004.

    Article  MathSciNet  Google Scholar 

  • Jun Gu et al., “Algorithms for the satisfiability (SAT) problem: A survey,” DIMACS Series in Discrete Mathematics, 1991.

  • J. N. Kapur and Kesavan H. K., Entropy Optimization with Applications, Academic Press, Inc., 1992.

  • D. Lieber, R. Y. Rubinstein, and D. Elmakis, “Quick estimation of rare events in stochastic networks,” IEEE Transactions on Reliability Systems vol. 46(2) pp. 254–265, 1997.

    Article  Google Scholar 

  • R. Motwani and R. Raghavan, Randomized Algorithms, Cambridge University Press, 1997.

  • R. Y. Rubinstein, “The cross-entropy method for combinatorial and continuous optimization,” Methodology and Computing in Applied Probability vol. 2 pp. 127–190, 1999.

    Article  MATH  Google Scholar 

  • R. Y. Rubinstein, “A stochastic minimum cross-entropy method for combinatorial optimization and rare-event estimation,” Methodology and Computing in Applied Probability (1) pp. 1–46, 2005.

  • R. Y. Rubinstein and B. Melamed, Modern Simulation and Modeling, John Wiley & Sons, Inc., 1998.

  • R. Y. Rubinstein and D. P. Kroese, The Cross-Entropy Method: a Unified Approach to Combinatorial Optimization, Monte-Carlo Simulation and Machine Learning, Springer, 2004.

  • D. J. A. Welsh, Complexity: Knots, Colouring and Counting, Cambridge University Press, 1993.

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Reuven Y. Rubinstein.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Rubinstein, R.Y. How Many Needles are in a Haystack, or How to Solve #P-Complete Counting Problems Fast. Methodol Comput Appl Probab 8, 5–51 (2006). https://doi.org/10.1007/s11009-006-7287-0

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11009-006-7287-0

Keywords

Navigation