Прибавляем двойку
На доске написано \(4\). За ход можно прибавить \(2\). Можно ли получить \(99\)?
Чётность не меняется.
Начальное число чётно, и прибавление \(2\) сохраняет чётность. Число \(99\) нечётно, значит получить его нельзя.
Глава
Теория
Инвариант — это величина или свойство, которое не меняется при разрешённых операциях. Если начальное и конечное состояния имеют разные значения инварианта, то перейти из одного состояния в другое невозможно.
В олимпиадных задачах инвариант часто не виден сразу. Его нужно искать среди чётности, суммы, остатка по модулю, раскраски, произведения знаков, числа объектов определённого цвета или паритета перестановки.
Спросите: что операция точно не меняет? Если меняется число объектов, проверьте чётность. Если переносятся предметы, проверьте сумму. Если операция локальная на доске, раскрасьте доску. Если меняются знаки, проверьте произведение или число минусов.
Иногда инвариант — не сама величина, а её остаток. Например, сумма может меняться, но всегда на число, кратное \(3\), поэтому сохраняется остаток суммы по модулю \(3\).
Примеры
Самый частый инвариант — чётность.
Задача. На доске написано число \(0\). За ход можно прибавить \(2\) или вычесть \(2\). Можно ли получить число \(101\)?
Чётность числа не меняется: к числу прибавляют или вычитают чётное число. Начальное число \(0\) чётно, а \(101\) нечётно. Значит получить \(101\) нельзя.
Комментарий. Инвариант: остаток по модулю \(2\).
Количество орлов меняется на чётное число.
Задача. Есть \(15\) монет орлом вверх. За ход переворачивают ровно две монеты. Можно ли получить все монеты решкой вверх?
Число орлов при перевороте двух монет меняется на \(-2\), \(0\) или \(2\). Поэтому чётность числа орлов сохраняется. В начале орлов \(15\), это нечётно; в конце должно быть \(0\), это чётно. Нельзя.
Комментарий. Неважно, какие именно монеты переворачивают.
Операция переносит единицу из одного места в другое.
Задача. В двух кучах \(7\) и \(11\) камней. За ход можно переложить один камень из одной кучи в другую. Можно ли получить кучи \(5\) и \(20\)?
Общее число камней сохраняется. В начале \(18\), а в состоянии \(5\) и \(20\) всего \(25\). Значит получить его невозможно.
Комментарий. Инвариант может быть совсем простым.
Сумма может меняться, но остаток сохраняется.
Задача. На доске написана сумма чисел. За ход к ней можно прибавить \(6\) или вычесть \(9\). Если в начале сумма равна \(2\), можно ли получить \(100\)?
Оба изменения кратны \(3\), значит остаток суммы по модулю \(3\) сохраняется. В начале \(2\pmod3\), а \(100\equiv1\pmod3\). Получить \(100\) нельзя.
Комментарий. Инвариант: сумма по модулю \(3\).
Домино покрывает одну чёрную и одну белую клетку.
Задача. Можно ли покрыть домино доску \(8\) на \(8\), если удалены две противоположные угловые клетки?
В шахматной раскраске противоположные углы имеют один цвет. После удаления двух таких клеток одного цвета остаётся на две клетки меньше, чем другого. Каждое домино покрывает одну чёрную и одну белую клетку, значит покрытие невозможно.
Комментарий. Это главный пример раскрасочного инварианта.
Смена двух знаков сохраняет произведение.
Задача. На доске \(9\) плюсов. За ход можно изменить знаки у ровно двух символов. Можно ли получить ровно один минус?
Произведение всех знаков при смене двух знаков не меняется: оно умножается на \((-1)^2=1\). В начале произведение \(+1\), а при одном минусе произведение \(-1\). Нельзя.
Комментарий. Можно также смотреть на чётность числа минусов.
Некоторые ходы меняют цвет обязательно.
Задача. Конь стоит на чёрной клетке шахматной доски. Может ли он после \(7\) ходов оказаться на чёрной клетке?
Ход коня всегда меняет цвет клетки. После нечётного числа ходов цвет будет противоположным начальному. После \(7\) ходов конь будет на белой клетке, значит на чёрной оказаться не может.
Комментарий. Инвариант: цвет плюс чётность числа ходов.
Иногда сохраняется сумма двух паритетов.
Задача. Из строки \(12345678\) соседними обменами хотят получить \(87654321\) ровно за \(27\) ходов. Возможно ли это?
Один соседний обмен меняет чётность числа инверсий. В начале инверсий \(0\). В обратной строке инверсий \(C(8,2)=28\), чётность снова чётная. После \(27\) обменов чётность инверсий должна быть нечётной, противоречие. Нельзя.
Комментарий. Инвариант: чётность инверсий совпадает с чётностью числа сделанных соседних обменов.
Задачи
На доске написано \(4\). За ход можно прибавить \(2\). Можно ли получить \(99\)?
Чётность не меняется.
Начальное число чётно, и прибавление \(2\) сохраняет чётность. Число \(99\) нечётно, значит получить его нельзя.
Есть \(9\) монет орлом вверх. За ход переворачивают ровно две монеты. Можно ли получить все монеты решкой вверх?
Чётность числа орлов сохраняется.
Число орлов меняется на \(-2\), \(0\) или \(2\), значит его чётность сохраняется. Было \(9\) орлов, должно стать \(0\). Нечётность не может стать чётностью.
В кучах \(3\), \(5\), \(7\) камней. За ход можно переложить камень из одной кучи в другую. Можно ли получить \(4\), \(6\), \(10\)?
Сохраняется общее число камней.
В начале всего \(15\) камней, в требуемом состоянии \(20\). Так как перенос камня не меняет сумму, получить такое состояние нельзя.
Число на доске можно менять, прибавляя \(6\) или вычитая \(9\). Из \(5\) можно ли получить \(100\)?
Изменения кратны \(3\).
Остаток по модулю \(3\) сохраняется. \(5\equiv2\pmod3\), а \(100\equiv1\pmod3\). Значит получить \(100\) нельзя.
На доске \(8\) плюсов. За ход можно заменить два знака на противоположные. Можно ли получить ровно \(3\) минуса?
Чётность числа минусов сохраняется.
При смене двух знаков число минусов меняется на \(-2\), \(0\) или \(2\). Чётность числа минусов сохраняется. В начале \(0\), в конце должно быть \(3\), невозможно.
На доске \(7\) плюсов. За ход меняют знаки у ровно двух символов. Можно ли получить все минусы?
Произведение всех знаков сохраняется.
Смена двух знаков умножает произведение на \((-1)^2=1\). В начале произведение \(+1\). При \(7\) минусах произведение \(-1\). Значит нельзя.
В трёх коробках лежит \(1\), \(4\), \(9\) фишек. За ход можно переложить одну фишку из одной коробки в другую. Можно ли получить \(2\), \(6\), \(7\)?
Проверьте сумму.
В начале всего \(14\) фишек, в конце \(15\). Перекладывание фишки сохраняет общее число, поэтому состояние невозможно.
Есть \(15\) монет орлом вверх. За ход переворачивают любые \(4\) монеты. Можно ли получить ровно \(2\) орла?
Чётность числа орлов сохраняется, потому что переворачивается чётное число монет.
Если среди перевёрнутых \(h\) орлов, число орлов меняется на \(4-2h\), то есть на чётное число. Чётность сохраняется. Было \(15\) орлов, нечётно; \(2\) орла — чётно. Нельзя.
С парой чисел \((a,b)\) разрешено делать ход \((a,b) o(a+1,b-1)\). Можно ли из \((3,8)\) получить \((10,5)\)?
Сохраняется сумма \(a+b\).
В начале сумма \(11\), в конце сумма \(15\). Операция сохраняет сумму, значит получить нельзя.
На шахматной доске фишка стоит на чёрной клетке. За ход она переходит на соседнюю по диагонали клетку. Может ли она попасть на белую клетку?
Диагональный ход сохраняет цвет клетки.
На шахматной раскраске клетки, соседние по диагонали, имеют один цвет. Поэтому цвет клетки фишки сохраняется. С чёрной клетки попасть на белую нельзя.
На доске \(6\) плюсов. За ход можно поменять знаки у ровно \(4\) символов. Можно ли получить ровно один минус?
Произведение знаков сохраняется.
Смена \(4\) знаков умножает произведение на \((-1)^4=1\). В начале произведение \(+1\), а при одном минусе \(-1\). Нельзя.
На доске записаны числа. За ход можно увеличить два числа на \(1\) и одно число уменьшить на \(2\). Докажите, что сумма чисел по модулю \(3\) не меняется.
Посчитайте изменение суммы.
За ход сумма меняется на \(1+1-2=0\). Значит сумма вообще сохраняется, а тем более сохраняется её остаток по модулю \(3\).
Есть \(2025\) выключенных ламп. За ход можно изменить состояние ровно \(100\) ламп. Можно ли сделать все лампы включёнными?
Чётность числа включённых ламп сохраняется.
Если среди выбранных \(h\) включённых ламп, то число включённых меняется на \(100-2h\), чётное число. В начале включённых \(0\), чётно; в конце должно быть \(2025\), нечётно. Нельзя.
В коробках лежат фишки. За ход можно добавить \(4\) фишки в одну коробку и убрать \(1\) фишку из другой. Докажите, что сумма числа фишек по модулю \(3\) сохраняется.
Сумма меняется на \(3\).
За ход общее число фишек меняется на \(4-1=3\), значит остаток суммы по модулю \(3\) не меняется.
Можно ли покрыть домино доску \(8\) на \(8\), если удалены две противоположные угловые клетки?
В шахматной раскраске противоположные углы одного цвета.
В исходной доске \(32\) чёрных и \(32\) белых клетки. Противоположные углы одного цвета, значит после удаления остаётся \(30\) клеток одного цвета и \(32\) другого. Домино всегда покрывает одну чёрную и одну белую клетку, поэтому покрытие невозможно.
В таблице \(4\) на \(4\) все знаки \(+\). За ход можно изменить все знаки в одной строке или в одном столбце. Можно ли получить таблицу с ровно одним минусом?
Меняется \(4\) знака, произведение всех знаков сохраняется.
Каждый ход меняет \(4\) знака, значит произведение всех \(16\) знаков умножается на \((-1)^4=1\). В начале произведение \(+1\). При ровно одном минусе произведение \(-1\). Нельзя.
Можно ли расставить перед числами \(1,2,\ldots,10\) знаки \(+\) и \(-\) так, чтобы сумма стала \(0\)?
Посмотрите на чётность суммы.
Сумма \(1+2+\cdots+10=55\) нечётна. Замена знака у числа \(a\) меняет сумму на \(-2a\), то есть на чётное число. Поэтому чётность суммы сохраняется и остаётся нечётной. Ноль чётен, значит невозможно.
Конь стоит на белой клетке шахматной доски. Может ли он после \(2025\) ходов оказаться на белой клетке?
Каждый ход коня меняет цвет клетки.
Ход коня меняет цвет клетки. После нечётного числа ходов цвет будет противоположным начальному. \(2025\) нечётно, значит конь будет на чёрной клетке, не на белой.
На доске написано число \(1\). За ход можно заменить число \(x\) на \(x+6\) или \(x+10\). Можно ли получить \(100\)?
Оба прибавления чётные.
Чётность числа сохраняется, потому что прибавляются чётные числа. Начальное число \(1\) нечётно, а \(100\) чётно. Получить нельзя.
Фишка стоит в клетке \((0,0)\). За ход можно перейти на \((x+2,y+1)\) или \((x+1,y+2)\). Может ли фишка попасть в \((10,10)\)?
Посмотрите на сумму координат по модулю \(3\).
Каждый ход увеличивает \(x+y\) на \(3\). Значит остаток \(x+y\) по модулю \(3\) сохраняется и равен \(0\). В точке \((10,10)\) сумма координат \(20\equiv2\pmod3\). Попасть нельзя.
В таблице \(6\) на \(6\) все числа равны \(1\). За ход можно изменить знаки всех чисел в выбранной строке или выбранном столбце. Можно ли получить таблицу, в которой ровно одна клетка равна \(-1\), а остальные \(1\)?
Каждый ход меняет \(6\) знаков.
Произведение всех \(36\) чисел сохраняется: за ход оно умножается на \((-1)^6=1\). В начале произведение \(1\). В таблице с одной \(-1\) произведение \(-1\). Значит такая таблица недостижима.
Конь стоит на чёрной клетке. Докажите, что он не может вернуться на эту же клетку ровно за \(15\) ходов.
После каждого хода цвет меняется.
Каждый ход коня меняет цвет клетки. После \(15\) ходов, поскольку \(15\) нечётно, конь окажется на клетке противоположного цвета. Исходная клетка чёрная, значит вернуться на неё нельзя.
Дана тройка \((1,1,1)\). За ход можно прибавить \(2\) к двум числам и вычесть \(1\) из третьего. Можно ли получить \((10,10,10)\)?
Посмотрите на сумму по модулю \(3\).
За ход сумма меняется на \(2+2-1=3\), значит её остаток по модулю \(3\) сохраняется. В начале сумма \(3\equiv0\pmod3\). В конце сумма \(30\equiv0\pmod3\), этот инвариант не запрещает. Попробуем сумму квадратов по модулю \(3\): числа \(1\) и \(10\) сравнимы по модулю \(3\), а операция меняет остатки двух чисел на \(-1\) и одного на \(-1\), то есть все три остатка уменьшаются на \(1\). После каждого хода все три числа остаются равными по модулю \(3\). В начале они все \(1\), в конце \(10\equiv1\), инвариант тоже не запрещает. Значит по этим инвариантам запрета нет; действительно, состояние достижимо: применим ход три раза, каждый раз вычитая из разной координаты, все координаты увеличатся на \(3\). Повторив три таких цикла, получим \((10,10,10)\).
Из строки \(12345678\) разрешено за ход менять местами два соседних символа. Можно ли получить \(87654321\) ровно за \(27\) ходов?
Соседний обмен меняет чётность числа инверсий.
Число инверсий в начале равно \(0\). Каждый соседний обмен меняет чётность числа инверсий. После \(27\) ходов чётность инверсий должна быть нечётной. Но в строке \(87654321\) число инверсий равно \(C(8,2)=28\), оно чётно. Противоречие, значит ровно за \(27\) ходов получить нельзя.
Лестницы