Algorithms from Natural Lower Bounds.

作者: Russell Impagliazzo , Valentine Kabanets , Marco L. Carmosino , Antonina Kolokolova

DOI:

关键词:

摘要: Circuit analysis algorithms such as learning, SAT, minimum circuit size, and compression imply lower bounds. We show a generic implication in the opposite direction: natural properties (in sense of Razborov Rudich) randomized learning algorithms. This is first outside derandomization setting. As an application, we use known bounds for AC[p] circuits (due to Smolensky) get quasi-polynomial time algorithm functions, PAC model over uniform distribution, with membership queries. ∗This work was partially supported by Simons Foundation NSF grants #CNS-1523467 CCF-121351 (M. Carmosino, R. Impagliazzo) NSERC Discovery (V. Kabanets, A. Kolokolova). done part while all authors were visiting Institute Theory Computing. †Department Computer Science, University California San Diego, La Jolla, CA; mcarmosi@eng.ucsd.edu ‡Department russell@cs.ucsd.edu §School Computing Simon Fraser University, Burnaby, BC, Canada; kabanets@cs.sfu.ca ¶Department Memorial Newfoundland, St. John’s, NL, kol@mun.ca

参考文章(41)
Ruiwen Chen, Valentine Kabanets, Nitin Saurabh, An Improved Deterministic #SAT Algorithm for Small De Morgan Formulas mathematical foundations of computer science. pp. 165- 176 ,(2014) , 10.1007/978-3-662-44465-8_15
Christopher Umans, Pseudo-random generators for all hardnesses symposium on the theory of computing. ,vol. 67, pp. 627- 634 ,(2002) , 10.1145/509907.509997
Ruiwen Chen, Valentine Kabanets, Correlation bounds and #SAT algorithms for small linear-size circuits Theoretical Computer Science. ,vol. 654, pp. 2- 10 ,(2016) , 10.1016/J.TCS.2016.05.005
Adam Klivans, Pravesh Kothari, Igor C. Oliveira, Constructing Hard Functions Using Learning Algorithms 2013 IEEE Conference on Computational Complexity. pp. 86- 97 ,(2013) , 10.1109/CCC.2013.18
Rahul Santhanam, Fighting Perebor: New and Improved Algorithms for Formula and QBF Satisfiability 2010 IEEE 51st Annual Symposium on Foundations of Computer Science. pp. 183- 192 ,(2010) , 10.1109/FOCS.2010.25
Russell Impagliazzo, Raghu Meka, David Zuckerman, Pseudorandomness from Shrinkage 2012 IEEE 53rd Annual Symposium on Foundations of Computer Science. pp. 111- 119 ,(2012) , 10.1109/FOCS.2012.78
Russell Impagliazzo, Ragesh Jaiswal, Valentine Kabanets, Avi Wigderson, Uniform Direct Product Theorems: Simplified, Optimized, and Derandomized SIAM Journal on Computing. ,vol. 39, pp. 1637- 1665 ,(2010) , 10.1137/080734030
Noam Nisan, Avi Wigderson, Hardness vs randomness Journal of Computer and System Sciences. ,vol. 49, pp. 149- 167 ,(1994) , 10.1016/S0022-0000(05)80043-1
Ryan Williams, Improving Exhaustive Search Implies Superpolynomial Lower Bounds SIAM Journal on Computing. ,vol. 42, pp. 1218- 1244 ,(2013) , 10.1137/10080703X