1。在游戏开始时,算法B从挑战者那里获得了挑战t r← - {0,1} n。我们正在为G的PRG安全游戏构建对手。这个游戏开始于挑战者向对手发送挑战t∈{0,1} n,其中t←g(s)或t r← - {0,1} n。2。算法B开始运行算法a。本质上,我们在这里构建了一个减少。我们的目标是将区分G的问题减少到区分G'的问题。为此,我们将依靠我们的对手a来区分g'。3。算法B将T⊕1N发送到A并输出任何输出。算法A是G'的对手,因此它期望单个输入t∈{0,1} n,其中t←g'(s)或t r← - - {0,1} n。请注意,这是我们唯一保证了a行为的设置。算法A上从某些其他分布绘制的字符串上的行为是未确定的。作为我们分析的一部分,我们需要争辩说B正确模拟了PRG中A中A的视图,以区分G'。