同A算法类似,若s→N集存在解图,当h(n)≤h*(n)且h(n)满足单调限制条件时,则AO*一定能找到最佳解图,即AO*具有可采纳性。
出自:计算机科学