【发布时间】：2017-11-14 19:15:55
【问题描述】：
我知道一个从不高估到目标的真实距离的启发式函数被称为可接受的。我发现启发式函数在实践中可以做到这一点，但我不知道如何给出正式的证明。我如何证明启发式函数是可接受的？例如：曼哈顿距离启发式。
【问题讨论】：
【发布时间】：2017-11-14 19:15:55
【问题描述】：
如果您可以正式定义与目标的实际距离，那么您可以简单地消除约束以开发出可接受的启发式。
例如： 从点 (x1, y1) 到点 (x2,y2) 的曼哈顿距离等于 |x1-x2|+|y1-y2|。 您可以简单地消除一个术语以提出启发式方法。例如 h = |x1-x2|。 为了证明这是一个可接受的启发式，你证明 |x1-x2|小于或等于 |x1-x2|+|y1-y2|
...对于所有 x1、x2、y1、y2。
另一个可接受的启发式方法是直线距离，您可以证明它总是小于曼哈顿距离。
一般来说，放宽约束会导致可接受的启发式方法。
如果您使用距离，直线距离将始终是可接受的启发式方法，因为这永远不会被高估。
如果这回答了你的问题，请告诉我:)
【讨论】：