P

Initializing...

Eq. (3.7) — a blossom inequality is violated iff $\bar x(W:V-W)+d(T)-2\bar x(T)+\bar s(W)<1$ · Prove2Me