Distributed Cycle Detection and Removal
Reducibility Among Combinatorial Problems