Ich lese den Klassiker "Hardness vs Randomness" von Nisan und Wigderson. Sei und fixiere eine Funktion . Sie definieren eine Familie von Funktionen , die für jeden Stromkreis der Größe pseudozufällig sindL : N → N G = { G n : B L ( n ) → B n }
(wobei einheitliche Zufallsvariablen sind).
Ich verstehe, dass ich und als Zufallsvariablen betrachten und den Abstand zwischen und als Zufallsvariablen vergleichen möchte . Ich habe die Intuition, dass Schaltkreise als eine Art "Test" verwendet werden, um zu sehen, ob "herausgefunden" werden kann. Ich habe wirklich Probleme damit, warum die Bedingung die richtige ist. Hat jemand einen Rat, wie man an diese Definition denkt?y x G ( y ) G ( ∗ )