CMIMC 2019 Power Problem 1.2

Past Contests CMIMC CMIMC - 2019 Power
1

Prove that \mathrm{P} \subseteq \mathrm{NP}.