Advertisement

computational complexity

, Volume 6, Issue 2, pp 101–132 | Cite as

On the hardness of computing the permanent of random matrices

  • Uriel Feige
  • Carsten Lund
Article

Abstract

Extending a line of research initiated by Lipton, we study the complexity of computing the permanent of randomn byn matrices with integer values between 0 andp−1, for any suitably large primep. Previous to our work, it was shown hard to compute the permanent of half these matrices (by Gemmell and Sudan), and to enumerate for any matrix a polynomial number of options for its permanent (by Cai and Hemachandra, and by Toda). We show that unless the polynomial-time hierarchy collapses to its second level, no polynomial time algorithm can compute the permanent of every matrix with probability at least 13n3/p, nor can it compute the permanent of at least a\((49n^3 /\sqrt p )\)-fraction of the matrices. Asp may be expenential inn, these represent very low success probabilities for any efficient algorithm that attempts to compute the permanent. For 0/1 matrices, our results show that their permanents cannot be guessed with probability greater than\(1/2^{n^{1 - \in } }\).

We also show that it is hard to get even partial information about the value of the permanent modulop. For random matrices we show that any balanced polynomial-time 0/1 predicate (e.g., the least significant bit, the parity of all the bits, the quadratic residuosity character) cannot be guessed with probability significantly greater than 1/2 (unless the polynomial-time hierarchy collapses). This result extends to showing simultaneous hardness for linear size groups of bits.

Key words

Permanent computational complexity heuristics interactive proof systems 

Subject classifications

15A15 68Q15 68Q25 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. W. Alexi, B. Chor, O. Goldreich, and C. Schnorr, RSA/Rabin bits are 1/2+1/poly(logN) secure. InProceedings of the 25th Annual IEEE Symposium on Foundations of Computer Science, 1984, 449–457.Google Scholar
  2. A. Amir, R. Beigel, and W. I. Gasarch, Some connections between bounded query classes and non-uniform complexity. InProceedings of the 5th Annual Conference on Structure in Complexity Theory, 1990, 232–243.Google Scholar
  3. L. Babai andS. Moran, Arthur-Merlin games: a randomized proof system, and a hierarchy of complexity classes.Journal of Computer and System Sciences 36(2) (1988), 254–276.Google Scholar
  4. D. Beaver and J. Feigenbaum, Hiding instances in multioracle queries. InProceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Sciencs, Lecture Notes in Computer Science415 (1990), 37–48.Google Scholar
  5. E. Berlekamp and L. Welch, Error correction of algebraic block codes. US Patent Number 4,633, 470, 1991.Google Scholar
  6. M. Blum andS. Micali, How to generate cryptographically strong sequences of pseudo-random bits.SIAM Journal on Computing 13(4) (1984), 850–864.Google Scholar
  7. R. Boppana, J. Håstad, andS. Zachos, Does co-NP have short interactive proofs?Information Processing Letters 25(2) (1987), 127–132.Google Scholar
  8. J. Cai andL. Hemachandra, A Note on Enumerative Counting.Information Processing Letters 38(4) (1991), 215–219.Google Scholar
  9. P. Gemmell andM. Sudan, Highly resilient correctors for polynomials.Information Processing Letters 43, (1992), 169–174.Google Scholar
  10. P. Gemmell, R. Lipton, R. Rubinfeld, M. Sudan, and A. Wigderson, Selftesting/correcting for polynomials and for approximate functions. InProceedings of the Twenty-third Annual ACM Symposium on the Theory of Computing, 1991, 32–42.Google Scholar
  11. S. Goldwasser and M. Sipser, Private coins versus public coins in interactive proof systems. InRandomness and Computation, ed.S. Micali, vol. 5 ofAdvances in Computing Research, JAI Press, 1989, 73–90.Google Scholar
  12. S. Goldwasser, S. Micali, andC. Rackoff, The knowledge complexity of interactive proof-systems.SIAM Journal on Computing 18(1) (1989), 186–208.Google Scholar
  13. R. Lipton, New directions in testing. InDistributed computing and Cryptography, ed.J. Feigenbaum and M. Merritt, vol. 2 ofDIMACS Series in Discrete Mathematics and Theoretical Computer Science, American Mathematical Society, 1991, 191–202.Google Scholar
  14. C. Lund, L. Fortnow, H. Karloff, andN. Nisan, Algebraic methods for interactive proof systems.Journal of the ACM 39(4) (1992), 859–868.Google Scholar
  15. F. MacWilliams and N. Sloane,The Theory of Error-Correcting Codes. North-Holland, 1981.Google Scholar
  16. H. J. Ryser,Combinatorial Mathematics. Carus Mathematics Monograph14 (1963).Google Scholar
  17. A. Schrift and A. Shamir, The discrete log is very discreet. InProceedings of the Twenty-second Annual ACM Symposium on the Theory of Computing, 1990, 405–415.Google Scholar
  18. J. T. Schwartz, Probabilistic algorithms for verification of polynomial identities.Journal of the ACM 27 (1980), 701–717.Google Scholar
  19. L. Stockmeyer, The complexity of approximate counting. InProceedings of the Twnty-first Annual ACM Symposium on the Theory of Computing, 1983, 118–126.Google Scholar
  20. S. Toda, On the computational power of PP and ⊕P. InProceedings of the 30th Annual IEEE Symposium on Foundations of Computer Science, 1989, 514–519.Google Scholar
  21. S. Toda, 1990. Personal communication in Cai & Hemachandra (1991).Google Scholar
  22. L. Valiant, The complexity of computing the permanent.Theoretical Computer Science 8 (1979), 189–201.Google Scholar
  23. L. Valiant andV. Vazirani, NP is as easy as detecting unique solutions.Theoretical Computer Science 47(1) (1986), 85–93.Google Scholar
  24. V. Zanko,#P-completeness via many-one reductions.International Journal of Foundations of Computer Science (1991).Google Scholar

Copyright information

© Birkhäuser Verlag 1997

Authors and Affiliations

  • Uriel Feige
    • 1
  • Carsten Lund
    • 2
  1. 1.Department of Applied MathematicsThe Weizmann InstituteRehovotIsrael
  2. 2.AT&T ResearchMurray Hill

Personalised recommendations