![Complexity classes / Structural complexity theory / Mathematical optimization / Probabilistic complexity theory / NP / P versus NP problem / Propositional proof system / PP / Mathematical proof / Theoretical computer science / Computational complexity theory / Applied mathematics Complexity classes / Structural complexity theory / Mathematical optimization / Probabilistic complexity theory / NP / P versus NP problem / Propositional proof system / PP / Mathematical proof / Theoretical computer science / Computational complexity theory / Applied mathematics](https://www.pdfsearch.io/img/7dba304a201801f52b9899769c6ea65f.jpg) Date: 2010-03-28 09:40:37Complexity classes Structural complexity theory Mathematical optimization Probabilistic complexity theory NP P versus NP problem Propositional proof system PP Mathematical proof Theoretical computer science Computational complexity theory Applied mathematics | | Optimal acceptors and optimal proof systems Edward A. Hirsch? Steklov Institute of Mathematics at St. Petersburg, 27 Fontanka, St. Petersburg[removed], Russia http://logic.pdmi.ras.ru/~hirsch/Add to Reading ListSource URL: logic.pdmi.ras.ruDownload Document from Source Website File Size: 197,46 KBShare Document on Facebook
|