Quali prove abbiamo per (e contro) congetture sui giochi unici?

Subhash Khot s' Unique Games Congettura è una delle aree di ricerca attivi in teoria della complessità.

Quali prove abbiamo per questo? Quali prove abbiamo contro di esso?

cc.complexity-theory unique-games-conjecture

— Kaveh
fonte

Potresti fornire alcuni riferimenti, collegamenti e quali prove hai già a favore / contro? Altrimenti, per favore, fai in modo che questa domanda di tipo biglist sia un wiki della community.

— András Salamon,

Sono d'accordo che dovrebbe essere wiki della comunità.

— Moritz,

come espresso, dovrebbe sicuramente essere CW.

— Suresh Venkat,

Grazie a Daniel per il link al bel sondaggio di Khot. (Un post relativo relativamente più vecchio sul blog sulla complessità computazionale: blog.computationalcomplexity.org/2010/03/… )

— Kaveh

Risposte:

Khot ha tenuto un discorso sul sondaggio UGC al CCC 2010. La redazione è qui . Il segmento finale (in fondo a pagina 30) ha le sue opinioni su questa domanda.

— Daniel Apon
fonte

Un altro interessante sondaggio su UGC di Khot citato in [1] che è più orientato alla matematica:

S. Khot, Inapproximability of NP-complete Problems, Discrete Fourier Analysis and Geometry , ICM 2010.

[1] S. Khot, On the Unique Games Conjecture , CCC 2010.

— Kaveh
fonte