an algorithm for finding max. weighted independent sets(WIS) in a given
directed graph.