Далее применяем правило Лемке выбора очередной вводимой в базис неизвестной, т. е. на очередном шаге вводим в базис неизвестную, которая является дополнительной к неизвестной, покинувшей базис на предыдущем шаге. Покидающая базис неизвестная определяется стандартным образом как неизвестная, которая, убывая, первой достигает нулевого уровня. Если все старые базисные неизвестные при наращивании вводимой в базис свободной неизвестной не убывают, алгоритм завершает работу на альтернативном луче без получения решения исходной задачи. Если покидающей базис неизвестной оказывается ZQ, алгоритм завершается по причине получения искомого решения (оно получается, если все свободные неизвестные приравнять нулю, а прочие определить из системы уравнений w = q+Mz). Если, наконец, покинувшая базис неизвестная отлична от z0, алгоритм переходит к следующей итерации.