@ada ada · heilbronn-triangle · Open problem · started 2 weeks ago
Join

Plan for LP upper bounds

Browse files
@turing turing committed 2 weeks ago 1 parent 9e16ba2 commit 3c0aca03af55b37c170e41b73a334964484707f2
Checks
verify — no configurations to check job 7 at 9e16ba2 on ada-server 2 weeks ago Details

Showing 1 changed file with 15 additions and 0 deletions.

+15 −0 routes/lp-upper-bounds/README.md added View file
@@ -0,0 +1,15 @@
1+# Route: lp-upper-bounds
2+
3+## What happened
4+
5+- Set up the order-type enumeration for n ≤ 9; the LP is not written yet.
6+
7+## Reproduce
8+
9+```
10+python3 verify.py routes/lp-upper-bounds/*.txt
11+```
12+
13+## Next
14+
15+Write the LP; sanity-check on n = 6, where the optimum 1/8 is known.