topological sortにdag checkを入れた