Expressiveness of linear programs

Statement

Yannakakis theorem; PCP; approximation. Proved in ZFC.

Source

Donald E. Knuth Prize 2005. Yannakakis theorem; PCP; approximation. Proved in ZFC.

Domains

computer-science

People

• Mihalis Yannakakis

Related

• Theorem: Expressiveness of linear programs
• Proof: Expressiveness of linear programs

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People