Bit-flip symmetry: $Q$ is $\varepsilon$-safe iff $-1-Q$ is $(1-\varepsilon)$-safe · Prove2Me

P

Initializing...

Bit-flip symmetry: $Q$ is $\varepsilon$-safe iff $-1-Q$ is $(1-\varepsilon)$-safe · Prove2Me