Search - One of the Eight Stones

Search - One of the Eight Stones

このコードにいたく感心したので、探索について考えた。 dfs :: (a -> [a]) -> a -> [a] dfs f x = x:(f...概要を表示 このコードにいたく感心したので、探索について考えた。 dfs :: (a -> [a]) -> a -> [a] dfs f x = x:(f x >>= dfs f)bfs :: (a -> [a]) -> a -> [a] bfs f = bfs' . (:[]) where bfs' xs = xs ++ bfs' (xs >>= f)http://www.lab2.kuis.kyoto-u.ac.jp/~hanatani/tdiary/?date=20050107 シンプルで美しいdepth first searchとbreadth first searchであると思う。 しかし、探索とはいっても、これは一列に展開しているだけだ。 実際にある条件をみたすものを見付けたい場合には、 [ x | x <- bfs components graph, condition x ]のように使