Инвариант

Разделим контакты на группы по контактов. Контакт в каждой группе пронумеруем номером от до и будем обозначать — контакты в соответствующих группах с номером Если Вася перерезает контакт в одной группе, например, то Петя режет Если Вася режет провод между контактами из разных групп с одинаковыми номерами, например, то Петя перережет провод Если Вася режет провод между контактами из разных групп, например, причем то Петя режет и Из описанной стратегии Пети следует, что провода, которые ему нужно перерезать, не будут отрезаны до его хода, поэтому ход Пети всегда возможен.

Таким образом, Петя всякий раз поддерживает на свой ход инвариант: у контактов отходит одинаковое число проводов, при этом от одного из них столько же проводов отходило уже после хода Васи. Поэтому отрезание последнего провода от одного из контактов случится после хода Васи и, следовательно, Петя выиграет.