P

Initializing...

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