P
Initializing...
Algorithm A computes the length of the Steiner tree connecting $Y$ · Prove2Me