First Page | Document Content | |
---|---|---|
Date: 2011-11-07 20:15:16Complexity classes NTIME Circuit complexity P Bounded-error probabilistic polynomial Cook–Levin theorem Time hierarchy theorem NEXPTIME Time complexity Theoretical computer science Computational complexity theory Applied mathematics | A Casual Tour Around a Circuit Complexity Bound∗ arXiv:1111.1261v1 [cs.CC] 4 Nov 2011 Ryan Williams†Add to Reading ListSource URL: arxiv.orgDownload Document from Source WebsiteFile Size: 193,04 KBShare Document on Facebook |
1 Doc. Math. J. DMV Games, Complexity Classes, and Approximation Algorithms Joan FeigenbaumDocID: 1oKqW - View Document | |
Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Query Answering in the Description Logic S ⋆ Meghyn Bienvenu1 , Thomas Eiter2 , Carsten Lutz1 , 2 ˇDocID: 1kbPF - View Document | |
A Casual Tour Around a Circuit Complexity Bound∗ arXiv:1111.1261v1 [cs.CC] 4 Nov 2011 Ryan Williams†DocID: 18Jpc - View Document | |
Interactive proofs with competing teams of no-signaling proversDocID: 13Xht - View Document | |
A multiprover interactive proof system for the local Hamiltonian problem Joseph Fitzsimons∗ Thomas Vidick† AbstractDocID: 13PJR - View Document |