Lemke-Howson algorithm