Задача заключается в поиске количества начальных чисел шариков \( N \) (от 1 до 1000) таких, что, применяя к \( N \) операции деления пополам (если число чётное) и вычитания 5, можно прийти к 0.
Рассмотрим обратный ход:
Таким образом, чтобы прийти к 0, последняя операция должна была быть вычитанием 5 (если предыдущее число было 5). Перед этим шариком могло быть либо 10 (при делении пополам, если было чётное число) или 5 (при вычитании 5).
Давайте проследим возможные пути, начиная с 0:
Это сложная задача для прямого перебора. Попробуем рассуждать иначе.
Обозначим операцию \( A(n) \) — переложить ровно половину (если \( n \) чётно), \( B(n) \) — переложить 5 шариков.
Условие победы: \( N \) должно привести к 0, используя операции \( A \) и \( B \).
Ключевой момент: операция \( A \) возможна только если количество шариков чётное.
Рассмотрим числа, которые можно получить, начиная с 0:
Числа, которые могут привести к победе, должны быть представимы в виде \( N = \alpha \cdot 2^k - 5m \) или \( N = \alpha \cdot 2^k + 5m \) где \( \alpha \) — результат применения операции \( B^{-1} \) и \( k \) — число применений \( A^{-1} \).
Рассмотрим возможные конечные состояния перед 0:
Значит, последней операцией всегда было «переложить 5». Таким образом, все числа, приводящие к победе, должны оканчиваться на 5 (если мы идем от 0 к N).
Давайте рассмотрим числа, которые могут привести к 0:
Любое число, которое мы можем получить, является результатом применения операций \( +5 \) или \( \times 2 \) к 0 (в обратном порядке). Однако, операция \( \times 2 \) требует, чтобы число перед ней было чётным. В обратном ходе, если мы имеем число, которое получилось делением на 2, то оно должно быть чётным. Но в прямом ходе, если число чётное, мы можем разделить пополам.
Важно, что если мы применяем \( +5 \) то следующее число будет \( n+5 \). Если \( n+5 \) чётно, то мы можем применить \( /2 \). Если \( n+5 \) нечётно, мы можем применить \( +5 \) снова.
Давайте рассмотрим числа \( N \) от 1 до 1000, для которых можно достичь 0.
Ключевой момент: Любое число, которое мы хотим достичь (т.е. 0), должно быть получено либо вычитанием 5, либо делением на 2. Поэтому, идя обратно от 0:
Если число \( x \) является достижимым, то \( x+5 \) также является достижимым (если \( x+5 \) чётно, то \( (x+5)/2 \) может быть достижимо, если \( x \) достижимо). Это не совсем верно.
Правильный подход: начнем с 0 и применим обратные операции: \( +5 \) и \( \times 2 \). При этом \( \times 2 \) можно применять к любому числу, а \( +5 \) нужно применять так, чтобы следующее число стало чётным (для обратного \( /2 \)).
Давайте построим дерево достижимых чисел, начиная с 0, применяя \( +5 \) и \( \times 2 \). Нас интересуют числа \( \notin [1, 1000] \) которые в итоге приведут к 0.
Все числа, которые могут привести к победе, должны быть вида \( N \). Если \( N \) чётное, мы можем получить \( N/2 \). Если \( N > 5 \), мы можем получить \( N-5 \).
Рассмотрим числа, которые могут привести к 0:
Любое число, приведённое к 0, должно быть в таком виде, что последовательное применение \( -5 \) или \( /2 \) (если чётное) приводит к 0.
Это эквивалентно тому, что если мы начинаем с \( N \) и применяем \( +5 \) или \( \times 2 \), мы можем получить 0. Но это неверно.
Начнём с 0 и будем применять обратные операции: \( +5 \) и \( \times 2 \). Однако, \( \times 2 \) — обратная к \( /2 \). Если мы получили число \( x \) путём \( /2 \), то \( x \) должно быть чётным. В обратном ходе, если мы применяем \( \times 2 \), то нет ограничений.
Итак, все достижимые числа, начиная с 0, с операциями \( +5 \) и \( \times 2 \) (бесконечно):
Не все числа из этого ряда являются