P

Initializing...

The Coester--Koutsoupias potential is at most $(k+1)\,\mathrm{OPT} + \Delta k(k+1)$ · Prove2Me