Как будет выглядеть следующий алгоритм:
алгоритм с линейным временем, который, учитывая неориентированный граф G и конкретное ребро e в нем, определяет, имеет ли G цикл, содержащий e
У меня есть следующая идея:
для каждого v, которое принадлежит V, если v является потомком e и (e, v) не было пройдено, тогда проверьте следующее:
, если мыпосетили e до v и оставили v до того, как мы покинули e, тогда график содержит цикл