解集判定