Задача: два игрока, первый игрок может решить, играть ли дальше (G), или ничего не делать (N). Если он решает играть, разыгрывается подыгра, аналогичная дилемме заключенных, где сперва второй, а затем первый игроки выбирают из двух стратегий S и H.
Вот развернутая форма:
![$$\xymatrix{&N&&&(1,1)\\.\ar[ru]\ar[rdddd]&&&&&\\&&&S&(2,2)\\&&S\ar[ru]\ar[rd]&&\\&&&H&(3,0)\\&G\ar[ruu]\ar[rdd]&&&&\\&&&S&(0,3)\\&&H\ar[ru]\ar[rd]&&\\&&&H&(1,1)\\&1&2&1&}$$ $$\xymatrix{&N&&&(1,1)\\.\ar[ru]\ar[rdddd]&&&&&\\&&&S&(2,2)\\&&S\ar[ru]\ar[rd]&&\\&&&H&(3,0)\\&G\ar[ruu]\ar[rdd]&&&&\\&&&S&(0,3)\\&&H\ar[ru]\ar[rd]&&\\&&&H&(1,1)\\&1&2&1&}$$](https://dxdy-03.korotkov.co.uk/f/2/d/3/2d3537d2205a5b5972b68a404deb589782.png)
А вопрос у меня вот в чём: нужно построить нормальную форму, соответствующую данной игре.
Множество стратегий второго игрока, понятное дело,

. А вот с первым не могу осознать — я полагаю, что верным будет

. Но лектор утверждает, что

.
Разные следствия из этого получаются при попытке найти обыкновенные и совершенные по подыграм равновесия Нэша: у лектора равновесий три:

, а совершенные по подыграм из них, соответственно,

. Ну а у меня множества совпадают.
Это имеет смысл для понимания, или тут какие-то малозначительные тонкости в определениях?