P

Initializing...

Optimal Decomposition Theorem — a Steiner tree splits at a node $p$ into Steiner trees for $\{p,q\}$, $\{p\} \cup D$, $\{p\} \cup (Y - D - \{q\})$ · Prove2Me