присутствует каждое из чисел 0, 1 и 2. Затем среди всех таких l останется выбрать наибольшее – это и будет ответом в задаче.
1. В наборе k встречается каждое из чисел 0, 1 и 2. Тогда искомое l не превосходит 9;
2. Набор k состоит только из 1. Тогда u10=⋯=u17=2 и u18=0. Значит l=18;
3. В наборе k присутствуют и 1, и 2, но нет 0. Значит среди чисел u1,u2,…,u9 есть два соседних (us и u(s+1)), одно из которых равно 1, а другое 2. Тогда u(s+9)=0 и l≤17;
4. Набор k состоит из 0 и 1. Число 2 впоследствии дадут только две рядом стоящие 1. Поэтому рассмотрим варианты:
4.1.в k есть рядом стоящие 1. Тогда l<19;
4.2.в k нет рядом стоящих 1.
Здесь возможны следующие случаи:
4.2.1. Есть хоть одна 1 «не с краю». То есть найдется номер s такой, что 2≤s≤8 и ks=1.
Рядом стоящих 1 нет, поэтому k_(s-1)=k(s+1)=0. Тогда u(s+8)=u(s+9)=1. Следовательно, u(s+17)=2 и l≤25;
4.2.2. 1 есть только «с краю». Пусть k=(1,0,…,0). В этом случае начало последовательности u1,u2,… можно вычислить непосредственно: {un }= {1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 1, 2, 1, 0,…} и убедиться, что l=27. Пусть k=(1,0,…0,1). Тогда {un }={1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 1, 2, 1, 0…} и l=18. И, наконец, для k=(0,…0,1) находим {un }={0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 1, 2, 1, 0, …}, l=26.
Отметим, что случаи, «k состоит только из 2» и «k состоит только из 0 и 2» эквивалентны случаям 2 и 4 соответственно. Действительно, если в последовательности {un }, отвечающей набору 2∙k, заменить все 2 на 1, а 1 на 2, то получится последовательность, соответствующая набору k.