-Metric spaces: a set equipped with a function that tells you how far apart any given pair of points are. Hence there's some geometry, but no concept of "different directions". A manifold equipped with a nice metric is called Riemannian.
-Metric spaces: a set equipped with a function that tells you how far apart any given pair of points are. Hence there's some geometry, but no concept of "different directions". A manifold equipped with a nice metric is called Riemannian.
-Manifolds: spaces that locally look like Euclidean space, but globally may have some more complicated structure, and...
-Manifolds: spaces that locally look like Euclidean space, but globally may have some more complicated structure, and...
1. Pick a true literal at random
2. Pick any two other literals at random
3. Permute the three literals randomly to produce a clause
4. Repeat until you have enough clauses
I think the issue is making a hard instance of 3-SAT
1. Pick a true literal at random
2. Pick any two other literals at random
3. Permute the three literals randomly to produce a clause
4. Repeat until you have enough clauses
I think the issue is making a hard instance of 3-SAT