26.11.2012, 21:10
общий
это ответ
Здравствуйте, Aleksandrkib!
Если оба числа нечетны, то цикл не выполняется. Из первого условия видно, что если K четно, то оно делится на 2 на кождом шаге, в результате получится нечетное число через конечное число шагов.
Если M=2K, то после выполнения второго условия значение M не поменяется.
Если в первом условии K=2M, то числа поменяются местами.
Вывод: алгоритм завершится, если только не K=2M и не M=2K