On pseudorandom generators with linear stretch in NC0

被引:36
作者
Applebaum, Benny [1 ]
Ishai, Yuval [2 ]
Kushilevitz, Eyal [2 ]
机构
[1] Princeton Univ, Dept Comp Sci, Princeton, NJ 08540 USA
[2] Technion Israel Inst Technol, Dept Comp Sci, IL-32000 Haifa, Israel
关键词
cryptography; constant depth circuits; nc0; pseudorandom generators;
D O I
10.1007/s00037-007-0237-6
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We consider the question of constructing cryptographic pseudorandom generators (PRGs) in NC0, namely ones in which each bit of the output depends on just a constant number of input bits. Previous constructions of such PRGs were limited to stretching a seed of n bits to n + o(n) bits. This leaves open the existence of a PRG with a linear (let alone superlinear) stretch in NC0. In this work we study this question and obtain the following main results: We show that the existence of a linear-stretch PRG in NC0 implies non-trivial hardness of approximation results without relying on PCP machinery. In particular, it implies that Max3SAT is hard to approximate to within some multiplicative constant. We construct a linear-stretch PRG in NC0 under a specific intractability assumption related to the hardness of decoding "sparsely generated" linear codes. Such an assumption was previously conjectured by Aleklmovich (FOCS 2003).
引用
收藏
页码:38 / 69
页数:32
相关论文
共 34 条
[1]   More on average case vs approximation complexity [J].
Alekhnovich, M .
44TH ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2003, :298-307
[2]   RANDOM CAYLEY-GRAPHS AND EXPANDERS [J].
ALON, N ;
ROICHMAN, Y .
RANDOM STRUCTURES & ALGORITHMS, 1994, 5 (02) :271-284
[3]   A FAST AND SIMPLE RANDOMIZED PARALLEL ALGORITHM FOR THE MAXIMAL INDEPENDENT SET PROBLEM [J].
ALON, N ;
BABAI, L ;
ITAI, A .
JOURNAL OF ALGORITHMS, 1986, 7 (04) :567-583
[4]  
[Anonymous], 1982, 23 ANN S FDN COMPUTE, DOI DOI 10.1109/SFCS.1982.45
[5]  
[Anonymous], 2004, FDN CRYPTOGRAPHY BAS, DOI DOI 10.1017/CBO9780511721656
[6]   Cryptography in NC0 [J].
Applebaum, Benny ;
Ishai, Yuval ;
Kushilevitz, Eyal .
SIAM JOURNAL ON COMPUTING, 2006, 36 (04) :845-888
[7]   Proof verification and the hardness of approximation problems [J].
Arora, S ;
Lund, C ;
Motwani, R ;
Sudan, M ;
Szegedy, M .
JOURNAL OF THE ACM, 1998, 45 (03) :501-555
[8]   Probabilistic checking of proofs: A new characterization of NP [J].
Arora, S ;
Safra, S .
JOURNAL OF THE ACM, 1998, 45 (01) :70-122
[9]  
ARORA S, 1992, P 33 FOCS
[10]  
BARAK B, 2003, P 7 C RAND COMP RAND