·LC-检索(结点成本函数) 0 C()定义 o如果X是答案结点,则CX)是由状态空 间树的根结点到X的成本(即花费的代 价,可以是级数、计算复杂度等) 如果X不是答案结点且子树X不包含任 何答案结点,则C(X)=∞ 。如果X不是答案结点但子树X包含答案 结点,则C)等于子树X中具有最小成 本的答案结点的成本LC-检索(结点成本函数) C(·)定义 如果X是答案结点,则C(X)是由状态空 间树的根结点到X的成本(即花费的代 价,可以是级数、计算复杂度等) 如果X不是答案结点且子树X不包含任 何答案结点,则C(X)=∞ 如果X不是答案结点但子树X包含答案 结点,则C(X)等于子树X中具有最小成 本的答案结点的成本