Для прямого графа (V, E) множество ребер обратной связи - это множество ребер F ⊆ E, такое, что удаление этих ребер оставляет ациклический подграф. То есть F - множество ребер обратной связи, если (V, E \ F) - ориентированный ациклический граф. Разработайте программу ASP.
vertex(1..10).
edge(1,2). edge(2,3). edge(3,4). edge(4,5). edge(5,1).
edge(6,8). edge(8,10). edge(10,7). edge(7,9). edge(9,6).
edge(1,6). edge(2,7). edge(3,8). edge(4,9). edge(5,10).
edge(U, V) :- edge(V, U).
Это график того, как удалить эти ребра, оставляет ациклический подграф, например,
edge(1,2). edge(2,3). edge(3,4). edge(4,5). edge(5,1).
Я хочу удалить ребро (1,2), выход:
edge(2,3). edge(3,4). edge(4,5). edge(5,1).