P

Initializing...

Lemma 4.2 (facility cost): $\mathrm{cost}_f(S) \le \mathrm{cost}_f(O) + 2\,\mathrm{cost}_s(O)$ · Prove2Me