[判断]  如果问题有解，有序搜索不能保证找到问题的最优解。