Интересная задача, увлекся шесть лет спустя повторно, правда, не могу похвастаться тем, что решил. В OEIS такой последовательности нет. Поскольку поставить крестик рядом с уже поставленным, или через один, - означает проиграть, каждый поставленный крестик "запрещает" от

до

клеток. Буду в дальнейшем обозначать подобное как

.
Задачу можно сформулировать так: дано мультимножество натуральных чисел

; за один свой ход (полуход) игрок может и должен сделать одно из следующего:
- убрать одно любое

- уменьшить одно любое

на

так, чтобы результат был положительным
- убрать одно любое

и добавить два натуральных числа

Исходно

, выигрывает тот, после чьего хода

Теперь, начнем с конца и увидим, что второй игрок форсированно выигрывает ровно за два полухода при

или

. Двигаясь назад, найдем варианты, форсированно выигрываемые вторым ровно за четыре полухода при его оптимальной игре:

И есть еще одна неприятная вариация, когда второй выигрывает за два полухода или за четыре, в зависимости от поведения первого, это

. Такие вариации, зависящие от поведения первого игрока, будут всегда, поскольку в целом "извести" какое-то

можно за

полуходов. Для написания внятного алгоритма осталось четко сформулировать закономерность, по к-рой варианты двигаются "назад", этого у меня пока нет. Я, кхм, формально пишу, например,

, но как именно работает это

- не допер