p. 62, display "In general" — total elapsed time $= \sum_i B_i + \max_u K_u$ · Prove2Me

P

Initializing...

p. 62, display "In general" — total elapsed time $= \sum_i B_i + \max_u K_u$ · Prove2Me