Added helper for independence ratio proving

For finding good 3-partitions to contract.