必要性探路原理

必要性探路原理是一種通過某種判斷，取出一個集合，正確解集是這個集合的一個子集的方法。