文章基本信息

标题：Nisan-Wigderson generators in proof systems with forms of interpolation
本地全文：下载
作者：Ján Pich
期刊名称：Electronic Colloquium on Computational Complexity
印刷版ISSN：1433-8092
出版年度：2010
卷号：2010
出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
摘要：We prove that the Nisan-Wigderson generators based on computationally hard functions and suitable matrices are hard for propositional proof systems that admit feasible interpolation.
关键词：Feasible Interpolation, Nisan-Wigderson generators