Neblux 知識圖譜
遞迴
遞迴是指依據相同結構的其他實例來定義或計算某個實體的原則。
概觀
歸納式定義通常給出基底情況與遞迴規則。在計算中,遞迴可以直接呼叫自身,也可以經由其他函式返回自身。常見的終止證明會讓每次遞迴呼叫的非負整數度量嚴格減少,並確認基底情況能結束;這是充分的證明方法,不是遞迴的定義。
為什麼重要
遞迴遍歷可用於樹與圖。一般圖可能含有環;深度優先搜尋可標記已訪問的頂點,避免反覆沿著它們走訪。遞迴文法規則也可描述巢狀句子。這些是遞迴結構的不同應用,不表示所有圖都具有階層結構。
Neblux 知識圖譜
遞迴是指依據相同結構的其他實例來定義或計算某個實體的原則。
歸納式定義通常給出基底情況與遞迴規則。在計算中,遞迴可以直接呼叫自身,也可以經由其他函式返回自身。常見的終止證明會讓每次遞迴呼叫的非負整數度量嚴格減少,並確認基底情況能結束;這是充分的證明方法,不是遞迴的定義。
遞迴遍歷可用於樹與圖。一般圖可能含有環;深度優先搜尋可標記已訪問的頂點,避免反覆沿著它們走訪。遞迴文法規則也可描述巢狀句子。這些是遞迴結構的不同應用,不表示所有圖都具有階層結構。