判定问题和约束条件