По условиям задачи второй игрок должен КАК МИНИМУМ не проигрывать.По факту при правильной игре первый игрок выигрывает ВСЕГДА, и как раз этому компьютер можно обучить.Стравливаем две программы, одна правильно играет за первого, вторая - как угодно за второго. Вторая всегда будет проигрывать, а по условию задачи она этого делать не должна. Задача нерешаема.С тем же успехом можно пытаться решить задачу на поле 2х2, почему Вы упорно игнорируете этот вариант?Хоть как-то в математике не бывает. Если решения нет, его просто нет. И это ответ, как ни странно.Если же очень хочется, чтобы решение было, условие задачи должно быть другим.