On the proof complexity of the Nisan-Wigderson generator based on a hard NP cap coNP function.

Published in: Electron. Colloquium Comput. Complex. (2010)

Keyphrases

decision problems
computational complexity
np complete
conp complete
database
computational cost
approximation error
conjunctive queries
theorem proving
data complexity
double exponential
lower complexity
complexity analysis
piecewise linear
worst case
search engine
data mining
real time