Graph two colorability algorithm.