ダイクストラ法
#wip
https://twitter.com/kazu_yamamoto/status/1740193875246112807
Haskellで最短経路問題(ダイクストラ法)を解くなら、PSQを使うんだけど、知らない人が多いみたいなので、論文を貼っておきます。
https://cs.ox.ac.uk/ralf.hinze/publications/ICFP01.pdf
ライブラリは
psqueus
を使ってね。
https://is.gd/iUXFs1
PSQというキーワードさえ分かれば、参考になるコードはいろいろ出てきます。
https://fetburner.hatenablog.com/entry/2021/02/28/200020
Coq
図がないと理解するのむずいので、動画が良い
https://www.youtube.com/watch?v=X1AsMlJdiok