P
Initializing...
Theorem 10, second claim — a randomized spin-block algorithm is $e/(e-1)$-competitive · Prove2Me