algorithm - 純粋に機能的な深さ優先検索を使用するときに循環を防ぐ方法

Question

以下に定義されているデータ型を使用して、任意のノードを接続するエッジのリストとして実装されているグラフがあります。

type edge = int * int;;
type graph = edge list;;

サイクルに行き詰まるのを避けながら、純粋に機能的な深さ優先検索を実行するにはどうすればよいですか? 純粋に機能を維持しながら、アクセスしたすべてのノードを追跡する方法がよくわかりません。答えはおそらく、何らかの理由で私が概念的に把握していない些細なことです。