A * 算法（A* Search Algorithm）是一種啟發式搜索算法，它旨在找到從起點到終點的最短路徑。在滿足以下條件時，A*算法能夠保證找到最優路徑：

1. 啟發式函數的一致性（Consistency）或可采納性（Admissibility）：
   • 可采納性：啟發式函數h(n)必須永遠不超過從節點n到終點的實際成本（即h(n) ≤ h*(n)，其中h*(n)是從節點n到終點的真實成本）。
   • 一致性：對于任意兩個節點n和m，若存在一條從n到m的邊，則啟發式函數滿足h(n) ≤ c(n, m) + h(m)，其中c(n, m)是從n到m的邊成本。
2. 完備性：如果存在從起點到終點的路徑，A*算法將找到一條路徑。
3. 最優性：在滿足上述條件的情況下，A*算法保證找到的最短路徑是最優的，即沒有其他路徑具有更低的成本。

然而，如果啟發式函數不是可采納的或一致的，A算法可能會找到次優路徑。在實際應用中，選擇合適的啟發式函數對于A算法的性能至關重要。如果啟發式函數過于樂觀，可能會導致搜索過程中忽略實際的最優路徑。如果啟發式函數過于保守，可能會導致搜索過程效率低下，盡管最終仍然能夠找到最優路徑。
因此，要確保A*算法搜索的路徑是最優的，需要選擇一個既不過于樂觀也不過于保守的啟發式函數，這通常需要對特定問題的領域知識有深入的理解。