After trimming, you can also branch on edges: either it is in a cycle, in which ...

		JohnKemeny on Sept 11, 2024 \| parent \| context \| favorite \| on: Possibly all the ways to get loop-finding in graph... After trimming, you can also branch on edges: either it is in a cycle, in which you find one, otherwise you can remove it and further reduce the instance by trimming more edges.