Fiduccia-Mattheyses algorithm