假设我们有一组启发式函数, 其中每个是可接受的和一致的(单调的)。是是否仍然一致?
是否有任何证据或反例来证明这一矛盾?
假设我们有一组启发式函数, 其中每个是可接受的和一致的(单调的)。是是否仍然一致?
是否有任何证据或反例来证明这一矛盾?
不,它不一定是一致的或可接受的。考虑这个例子,其中是开始,是目标,它们之间的距离是1。
小号 --1-- 克
假使,假设和是完美的启发式。然后和. 在这种情况下,启发式是不可接受的,因为. 类似地,作为无向图,启发式将是不一致的,因为.
如果您想了解启发式总和一致且可接受的条件,我会查看关于additive PDB heuristics的工作。