Skip to main content
Name of article, while this is on the front page
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

One example: A 3-uniform hypergraph is the natural way to model the variable/clause structure of a 3-Sat instance. Since 3-Sat is one of the most important algorithmic problems in computational complexity theory, hypergraphs play an important role there.

For just one of many possible examples, take a look at the following paper of Feige, Kim, and Ofek:

   https://www.microsoft.com/en-us/research/wpWitnesses for non-content/uploads/2017/03/unsat.pdfsatisfiability of dense random 3CNF formulas.

One example: A 3-uniform hypergraph is the natural way to model the variable/clause structure of a 3-Sat instance. Since 3-Sat is one of the most important algorithmic problems in computational complexity theory, hypergraphs play an important role there.

For just one of many possible examples, take a look at the following paper of Feige, Kim, and Ofek:

 https://www.microsoft.com/en-us/research/wp-content/uploads/2017/03/unsat.pdf

One example: A 3-uniform hypergraph is the natural way to model the variable/clause structure of a 3-Sat instance. Since 3-Sat is one of the most important algorithmic problems in computational complexity theory, hypergraphs play an important role there.

For just one of many possible examples, take a look at the paper of Feige, Kim, and Ofek:  Witnesses for non-satisfiability of dense random 3CNF formulas.

working URL
Source Link
Ed.
  • 101
  • 3

One example: A 3-uniform hypergraph is the natural way to model the variable/clause structure of a 3-Sat instance. Since 3-Sat is one of the most important algorithmic problems in computational complexity theory, hypergraphs play an important role there.

For just one of many possible examples, take a look at the following paper of Feige, Kim, and Ofek:

http://research.microsoft.com/en-us/um/redmond/groups/theory/feige/homepagefiles/witness5.9.06.pdfhttps://www.microsoft.com/en-us/research/wp-content/uploads/2017/03/unsat.pdf

One example: A 3-uniform hypergraph is the natural way to model the variable/clause structure of a 3-Sat instance. Since 3-Sat is one of the most important algorithmic problems in computational complexity theory, hypergraphs play an important role there.

For just one of many possible examples, take a look at the following paper of Feige, Kim, and Ofek:

http://research.microsoft.com/en-us/um/redmond/groups/theory/feige/homepagefiles/witness5.9.06.pdf

One example: A 3-uniform hypergraph is the natural way to model the variable/clause structure of a 3-Sat instance. Since 3-Sat is one of the most important algorithmic problems in computational complexity theory, hypergraphs play an important role there.

For just one of many possible examples, take a look at the following paper of Feige, Kim, and Ofek:

https://www.microsoft.com/en-us/research/wp-content/uploads/2017/03/unsat.pdf

Post Made Community Wiki by Todd Trimble
Source Link
Ryan O'Donnell
  • 6.7k
  • 3
  • 33
  • 46

One example: A 3-uniform hypergraph is the natural way to model the variable/clause structure of a 3-Sat instance. Since 3-Sat is one of the most important algorithmic problems in computational complexity theory, hypergraphs play an important role there.

For just one of many possible examples, take a look at the following paper of Feige, Kim, and Ofek:

http://research.microsoft.com/en-us/um/redmond/groups/theory/feige/homepagefiles/witness5.9.06.pdf