Welche Beweise haben wir für (und gegen) Unique Games Conjecture?

Die Unique Games Conjecture von Subhash Khot ist eines der aktiven Forschungsgebiete in der Komplexitätstheorie.

Welche Beweise haben wir dafür? Welche Beweise haben wir dagegen?

cc.complexity-theory unique-games-conjecture

— Kaveh
quelle

Könnten Sie einige Verweise, Links und Beweise für / gegen die Sie bereits haben? Andernfalls machen Sie bitte diese Biglist-Frage zu einem Community-Wiki.

— András Salamon

Ich bin damit einverstanden, dass es Community-Wiki sein sollte.

— Moritz

wie gesagt, es sollte definitiv CW sein.

— Suresh Venkat

Vielen Dank an Daniel für den Link zu Khots schöner Umfrage. (Ein relativ älterer verwandter Beitrag auf Computational Complexity Blog: blog.computationalcomplexity.org/2010/03/… )

— Kaveh

Antworten:

Khot hielt auf der CCC 2010 einen UGC-Umfragevortrag. Der Artikel ist hier . Das letzte Segment (unten auf Seite 30) hat seine Meinung zu dieser Frage.

— Daniel Apon
quelle

Eine weitere interessante Umfrage zu UGC von Khot, die in [1] zitiert wurde und sich mehr an Mathematik orientiert:

S. Khot, Inapproximierbarkeit von NP-vollständigen Problemen, Diskrete Fourier-Analyse und Geometrie , ICM 2010.

[1] S. Khot Über die Unique Games Conjecture , CCC 2010.

— Kaveh
quelle