2.11 在判定性问题中的应用