Denotar [r]\triangleq\{1,2,\ldots,r\}.
Considere la posibilidad de un juego con n los jugadores, [n], cada uno tiene m estrategias, [m].
Cada jugador i tiene asociada una función de la rentabilidad, la cual considera sólo su estrategia seleccionada, y el número de jugadores seleccionados de la misma estrategia: U_i:[m]\times[n]\a[0,1]
Además, la función de utilidad es monótonamente decreciente en el número de jugadores que eligió la misma estrategia, es decir, \forall i\in[n],j\in[m],k\in[n-1]:U_i(j,k)\geq U_i(j,k+1)
¿Este juego tiene siempre un puro equilibrio de Nash?
Podemos (computacionalmente) se encuentran de manera eficiente?
Observe que el caso especial, donde todos los jugadores son simétricas (\forall (i,j\in[n]: U_i\equiv U_j\equiv U), el juego se reduce a un potencial exacta juego y por lo tanto está garantizado para tener un puro equilibrio de Nash.
La función potencial para el simétrica caso sería, dada una estrategia perfil de s: \phi(s) = \sum_{j\in[m]}\sum_{k=1}^{\#_j(s)} U(j,k)
Donde \#_j(s) es el número de jugadores en s estrategia de juego j.