人工判断，排除那些不太可能的选项——有时候还要走回头路
大部分的选项排除，也都交给机器了
所以这大型计算机组，除了贵一点，还真的香啊