P

Initializing...

§3, p. 6 — |S_i| ≤ |V_{n,G}|^i (the cardinality bound of the running-time analysis) · Prove2Me