同A算法类似，若s→N集存在解图，当h（n）≤h*（n）且h（n）满足单调限制条件时，则AO*一定能找到最佳解图，即AO*具有可采纳性。