P
Initializing...
The polynomial work bound for the algorithm (Section 5) · Prove2Me