4.3.2 判定问题和优化问题