CMIMC 2017 Power Problem 25

Past Contests CMIMC CMIMC - 2017 Power
1

Conclude that, after the algorithm terminates,

\mathbf{E}[|S|] \leq 2 \cdot|C|