some functions for computing relative improvements and the superclique
Merge branch 'master' of github.com:pliz/gunfolds
added complement function to return a graph with edges that

are missing in the input
uncommented memoization
swapped the search order to first try single heads for fork edges