많이 알려진 bfs구현체가 사실 DP의 위상정렬을 위한거라 bfs를 안해도 됨. 그러면 incremental이랑 persistent화 하는건 걍 됨.
라이브러리에 있는 아호코라식은 incremental이니까 persistent만 걍 하면 끝.
amortized 아니니까 https://cp-algorithms.com/data_structures/deleting_in_log_n.html 이것까지 될듯?

근데 관련 논문(https://arxiv.org/abs/1710.03395)도 있고 해서 그닥 좋은문제는 아닌듯.