同意和标签可以简化为最小搜索吗？

本文提出了最小搜索的形式化定义，以评价将Agree和Labeling简化为最小搜索的思想。最小搜索中搜索算法的不同方面，即广度优先与深度优先搜索，并行与串行搜索，全局与模块化搜索进行了比较，并根据对其理论和经验结果的详细检查给出了在这些对之间进行选择的原因。基于最小搜索的形式化定义，本文认为最小搜索只能部分地统一Agree和Labeling，即最小搜索可以统一Agree和Labeling中的搜索算法，但搜索目标和搜索域的值是由Agree和Labeling独立确定的。本文(重新)定义了基于最小搜索的Agree和Labeling，以捕捉这两种操作之间的异同。