Я ищу структуру данных, которая будет хранить любой DAG, но может эффективно (т.е. сублинейно по количеству ребер / вершин) определить, создаст ли добавление ребра цикл (и, таким образом, предотвратить нарушение ациклического инварианта). Кто-нибудь знает об этом?
Спасибо!