Seja como um design parcial ( m , k ) ef : { 0 , 1 } m → { 0 , 1 } seja uma função booleana. O gerador Nisan-Wigderson G f : { 0 , 1 } l → { 0 , 1 } n é definido da seguinte forma:
Para calcular o th pouco de G f tomarmos os pedaços de x com índices em S i e depois aplicar f a eles.
Suponha que é 1 -hard para circuitos de tamanhoncondecé uma constante. Como podemos provar queGfé(nc- gerador de números pseudo-aleatórios seguros?
Definições:
Um design parcial é uma coleção de subconjuntos S 1 , … , S n ⊆ [ l ] = { 1 , … , l } de modo que
- para todos : | S i | = m , e
- para todo : | S i ∩ S j | ≤ k .
Uma função é hard - difícil para circuitos de tamanho s, se nenhum circuito de tamanho s pode prever f com probabilidade ϵ melhor do que um sorteio.
Uma função é ( s , ϵ ) gerador de número pseudo-aleatório seguro, se nenhum circuito do tamanho s puder distinguir entre um número aleatório e um número gerado por G f com probabilidade melhor que ϵ .
Nós usamos para a cadeia de caracteres composta por x bits de 's com índices em um .
Respostas:
Aqui está a resposta de Ran G. mencionada nos comentários: O Google fornece resultados bastante agradáveis: 1 , 2 .
fonte