深度受限搜索遞歸僞代碼

Question

我正在查看Depth-Limited Search的僞代碼實現，但我無法理解它。

僞代碼：

Function Recursive-DLS(node, problem, limit) 
    cutoff-occurred? = false 
    if Goal-Test(problem, State[node]) then return node 
    else if Depth[node] = limit then return cutoff 
    else for each successor in Expand(node, problem) do 
      result = Recursive-DLS(successor, problem, limit-1) 
      if result = cutoff then cutoff-occurred? = true 
      else if result != failure then return result   
    if cutoff-occurred? then return cutoff else return failure 

林主要有無法理解與限制-1的重複的算法中每一個繼任者的原因。有人能和我一起跑過這個嗎？一些圖形解釋將是很好的哈哈。

我打算在此期間查看其他來源。謝謝閱讀！

Answer 1

該僞代碼似乎是錯誤的。 （如果節點深度/限制值跳過彼此，實際上可能不會遇到基本情況 - 在每次遞歸調用中同時增加和減少）

遞歸情況是用limit - 1寫的，所以基本情況下可以達到（而不是「限制」，認爲「剩餘」）。

但是，限制的基本情況是if Depth[node] = limit then return cutoff。大衛陳的建議後，它應該是if 0 = limit then return cutoff，這將與遞歸情況下的limit - 1一致。

或者，只需在遞歸情況下傳遞limit，並保留當前的基本情況。