Считаю что всех баранов не перевести.
Попробуйте с тремя. Если не получится, гляньте спойлер, после чего попробуйте применить это решение для решения задачи с четырмя так же, как в нём использовалось решение для двух (и в принципе ещё можно рассмотреть, как решение для двух получается с использованием решения для одного — это если хочется написать алгоритм в точности, а не ограничиться эвристиками, возникшими в голове).
я имел ввиду перевести хотя бы двух баранов на 1 сторону
В том смысле, что слева от пропуска есть два правых барана где угодно и справа от пропуска два левых где угодно? Тогда надо просто взять решение для двух из двух и приставить везде слева и справа от представления по два нейтральных барана. Если нужно, чтобы бараны дошли до самого конца влево и вправо, всё не сразу очевидно, но так же неочевидна невозможность.
-- Сб янв 13, 2018 22:45:00 --Чтобы считать, что всех не перевести, неплохо иметь какие-то основания. Чем 4 хуже 3? Понятное дело, такое вполне в математике случается: полиномиальные уравнения одной неизвестной степеней вплоть до 4 разрешимы в радикалах, а начиная с пятой — в общем случае уже нет, но этому (уже давно) найдены конкретные причины: симметрические группы
при
не обладают определённым свойством (которое назвали «разрешимость», но это не важно). Так же и здесь, если допустить, что конфигурация с 4 баранами с каждой стороны уже «необратима», этому должны быть какие-то причины — стоит ожидать, человекопонятные (это не обязательно, но в данном случае не видно каких-то особых причин, чтобы сложность вопроса была чрезвычайной). На деле решение, конечно, есть, но если вы в этом не уверены, для уверенности в альтернативной гипотезе нужны не менее веские основания, чем для уверенности в том, что решение есть.
правых баранов.
. Без понятия, правда, как это доказать в общем случае.