Unique games conjecture
In computational complexity theory, the unique games conjecture (often referred to as UGC) is a conjecture made by Subhash Khot in 2002. The conjecture postulates that the problem of determining the approximate value of a certain type of game, known as a unique game, has NP-hard computational complexity. It has broad applications in the theory of hardness of approximation. If the unique games conjecture is true and P ≠ NP, then for many important problems it is not only impossible to get an exact solution in polynomial time (as postulated by the P versus NP problem), but also impossible to get a good polynomial-time approximation. The problems for which such an inapproximability result would hold include constraint satisfaction problems, which crop up in a wide variety of disciplines.
Unique games conjecture - Wikipedia Jump to content From Wikipedia, the free encyclopedia Unsolved problem in computational complexity theory Unsolved problem in computer science Is the Unique Games Conjecture true? More unsolved problems in computer science In computational complexity theory , the unique games conjecture (often referred to as UGC ) is a conjecture made by Subhash Khot in 2002. [ 1 ] [ 2 ] [ 3 ] The conjecture postulates that the problem of determining the approximate value of a certain type of game, known as a unique game , has NP-hard computational co
Explore this link on the map →saved by
related reading
- 1404.5236 Sum-of-Squares Proofs and the Quest toward Optimal Algorithmsarxiv.org
- Shtetl-Optimized >> Blog Archive >> Ten Signs a Claimed Mathematical Breakthrough is Wrongscottaaronson.blog
- What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Taoterrytao.wordpress.com
- P versus NP problem - Wikipediaen.wikipedia.org
- Zero Knowledge Proofs: An illustrated primer – A Few Thoughts on Cryptographic Engineeringblog.cryptographyengineering.com
- Computational Complexityblog.computationalcomplexity.org
- PCP theorem - Wikipediaen.wikipedia.org
- Computational Complexity Theory (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- Cover times - spectralarxiv.org
- P vs NP and its application to zero knowledge proofs | RareSkillsrareskills.io
- NP-completeness - Wikipediaen.wikipedia.org
- Tim Roughgarden's Lecture Notestimroughgarden.org