Hay tres jugadores con tres alternativas A,B y C. Los jugadores votan simultáneamente y gana la mayoría. Si no hay mayoría, gana A. Los resultados son:
$U_1(A) = U_2(B) = U_3(C) = 2$
$U_1(B) = U_2(C) = U_3(A) = 1$
$U_1(C) = U_2(A) = U_3(B) = 0$
Los estados de ejemplo (A,B,C), (A,A,A) y (A,B,A) son todos NE. Entiendo por qué son NE (puedo razonar esto) pero no entiendo el proceso para llegar a esto. Podría escribir todos los perfiles estratégicos posibles y tratar de razonar cada uno de ellos, pero tiene que haber una manera mejor y más eficiente. Tampoco puedo dibujar la matriz para este juego como normalmente lo haría para resolver para NE para encontrar la mejor respuesta. Las preferencias aquí también violan la transitividad, lo que aumenta mi confusión.
Mi pregunta es ¿cómo puedo encontrar todas las NE?
¿Hay más NE que estas 3 que menciona el ejemplo?
Cómo encontrar múltiples perfiles de estrategia que soporten estas NE, es decir, veo que A puede ser soportada por (A,B,C) y (A,A,A) (si hay otras NE).
Este es el ejemplo 1.5 de Fudenburg y Tirole.
Edit: Ok creo que (B,B,B) y (C,C,C) y (A,C,C) son los otros NE. No encuentro más. ¿Es correcto?