列举问题所涉及的所有情形，并使用一定条件检验每一种情形是否是问题的解，这种算法属于____