Che tipo di congetture e principali problemi aperti sono i più importanti nella teoria dei giochi algoritmica (o teoria dei giochi in generale in relazione alla CS)? Ad esempio, penso che la risoluzione della NASH come completa di PPAD sarebbe stata la più grande fino a quando non è stata risolta.
(Aggiunto: risolvere la relazione di PPAD con P e NP è un buon problema aperto, ma anche altri non molto radicati nella complessità computazionale).