Рядом с вами находятся две корзины. первая наполнена яблоками разных размеров, вторая - пустая.
шаг 1. вы берете любое яблоко из первой корзины и кладете его на стол перед собой.
шаг 2. вы достаете следующее яблоко из первой корзины и выполняете сравнение:
- если яблоко в руках больше, чем яблоко на столе, то вы опускаете яблоко, которое у вас в руках, во вторую корзину;
- если яблоко в руках меньше яблока на столе, вы кладете яблоко на стол, а яблоко которое лежало на столе, перекладываете во вторую корзину.
вы повторяете шаг 2 до тех пор , пока первая корзина не опустеет. какое яблоко окажется на столе в самом конце? попытайтесь сформулировать, что является инвариантом цикла в алгоритме сформулируйте условие с использованием терминологии, рассмотренной в этом параграфе.