12.5.3 NP问题