Niewrażliwe generatory są zdefiniowane następująco: Niech będzie relacją NP, a M będzie maszyną, która akceptuje L ( R ) . Nieformalnie program jest niewrażliwym generatorem, jeśli na wejściu 1 n wytwarza pary instancji-świadka ( x , w ) ∈ R , z | x | = n , zgodnie z rozkładem, zgodnie z którym...
10
Światy, w stosunku do których nie istnieją „nietykalne generatory”