共1个搜索策略学习笔记（3）：有界深度求证问题解的存在性实例相关