Szukam sposobu na wykonanie sortowania topologicznego na danym wykresie nieważonym kierowanym, który zawiera cykle. Wynik powinien zawierać nie tylko porządek wierzchołków, ale także zbiór krawędzi, które są naruszane przez dane zamówienie. Ten zestaw krawędzi będzie minimalny.

Ponieważ mój wykres wejściowy jest potencjalnie duży, nie mogę użyć algorytmu czasu wykładniczego. Jeśli niemożliwe jest obliczenie optymalnego rozwiązania w czasie wielomianowym, jaka heurystyka byłaby uzasadniona dla danego problemu?