在常用的问题解决方法中，一一列举出问题所有可能的解，并逐一检验每个可能解，采纳问题的真正解，抛弃非真正解的方法，我们称之为()