https://ssc.moe/posts/pat-1146-topological-order/