4 ms·
>With the help of my time machine, I'll switch Alice's input from 1 to 0. This execution, E k + 1 , is indistinguishable to E k for Alice, so she still outpu
by ikeboy 8y ago
>With the help of my time machine, I'll switch Alice's input from 1 to 0. This execution,
E
k
+
1
, is indistinguishable to
E
k
for Alice, so she still outputs 1, as does Bob. Next, I'll switch Bob's input to 0. Again, this execution,
E
k
+
2
, is indistinguishable to the previous execution,
E
k
+
1
, for Bob, so both Bob and Alice output 1.
This is wrong. Alice and Bob should be switched.