Первая идея - надо пытаться восстановить новый патерн из известных решений, для которых текущий шаблон W(r,s) не действует
Согласен, надо искать новые патерны. Любую линейку можно записать как {a1^b1, a2^b2, ..., a_n^b_n}, где n количество блоков и a^b означает b раз повторить разницу a. Для удобства сократим а^1 = а. Запишем все эти патерны в этом виде:
Код:
12
A1: {0, 1, 2, 3, 23, 28, 32, 36, 40, 44, 47, 50} = {1^3, 20, 5, 4^4, 3^2}
13
A2: {0, 1, 2, 3, 27, 32, 36, 40, 44, 48, 52, 55, 58} = {1^3, 24, 5, 4^5, 3^2}
D: {0, 1, 2, 6, 8, 17, 26, 35, 44, 47, 54, 57, 58} = {1^2, 4, 2, 9^4, 3, 7, 3, 1}
B1: {0, 1, 2, 8, 15, 16, 26, 36, 46, 49, 53, 55, 58} = {1^2, 6, 7, 1, 10^3, 3, 4, 2, 3}
C1: {0, 1, 3, 6, 17, 20, 27, 35, 45, 49, 53, 57, 58} = {1, 2, 3, 11, 3, 7, 8, 10, 4^3, 1}
C2: {0, 1, 3, 6, 17, 24, 27, 38, 45, 49, 53, 57, 58} = {1, 2, 3, 11, 7, 3, 11, 7, 4^3, 1} = {1, 2, {3, 11, 7}^2, 4^3, 1}
E: {0, 1, 5, 8, 12, 21, 30, 39, 48, 53, 54, 56, 58} = {1, 4, 3, 4, 9^4, 5, 1, 2^2}
14
B2: {0, 1, 2, 8, 15, 16, 26, 36, 46, 56, 59, 63, 65, 68} = {1^2, 6, 7, 1, 10^4, 3, 4, 2, 3}
Тут A1 похоже на А2, B1 на B2 и C1 на C2. Я проверил все эти патерны, ничего нового не нашёл.