Решение задачи Игра с телефонным номером с Codeforces

Телефонный номер — это последовательность из ровно 11 цифр, в которой первая цифра это 8.

Вася и Петя играют в игру. Изначально у них есть строка s длины n (n нечетно), состоящая из десятичных цифр. Игроки ходят по очереди, первым ходит Вася. Во время своего хода игрок должен удалить символ из строки по своему выбору. Например, строка 1121 после хода игрока может превратиться в строки 112, 111 или 121. Игра заканчивается, когда длина строки s становится равной 11. Если получившаяся строка является телефонным номером, то выиграл Вася, иначе — Петя.

Вам нужно определить, есть ли у Васи выигрышная стратегия (т. е. может ли победить Вася вне зависимости от того, как будет действовать Петя).