uchijo on Nostr: ...

グラフに循環するパスがないことを示すアルゴリズムの高速化テクみたいなのを実装しようぜ！という内容で、本当にそのアルゴリズムあってんの？という証明