I have a directed acyclic graph G. I want to generate some data structure which would tell me which new given edges (u,v) would be allowed while keeping the graph acyclic.