간단한 답은 DAG와 inv DAG에서 reachability 판정을 한 것의 합집합이 정점 전체 집합일 때 그 정점인데

edge를 뒤집어야 하는 점에서 상수가 좀 커지고, 공간 면에서도 약간 비효율적일 것 같음.

이거보다 더 효율적인 방법이 있을까?