Why couldn’t you just use a smaller circuit that runs one single-step simulator, and outputs the result? It seems like that would output an accurate prediction of Paul’s behavior iff the k-step simulator outputs an accurate prediction.
Why couldn’t you just use a smaller circuit that runs one single-step simulator, and outputs the result? It seems like that would output an accurate prediction of Paul’s behavior iff the k-step simulator outputs an accurate prediction.