Ответ:
Алгоритм верен, если в задаче ровно две группы животных: у одних по 2 ноги, а у других — одинаковое большее число ног (например, 4). В пункте 2 считают, сколько ног сверх двух на каждое животное приходится на самом деле; в пункте 3 — сколько дополнительных ног даёт одно животное из группы с большим количеством ног. Их частное показывает количество таких животных.
Если у животных из группы с наибольшим количеством ног по 4 ноги, разница в пункте 3 равна 2. В пункте 5 оставшиеся животные имеют по 2 ноги.
Если число ног или состав групп в условии другой, алгоритм нужно соответствующим образом изменить.
