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