Karp Sipser Implementation

Improved on greedy by making it choose the lowest degree vertex on the
right at any point.