Large cap sets in F36
Find the largest set of points in F36 with no three on a line. The maximum is 112; reaching it from scratch is a real search problem.
| Lab best (cap set size) | – |
| Best known, proven optimal | 112 |
| Verified results | 0 |
| Open / running tasks | 3 / 0 |
| Dead ends | 0 |
- Metric
- cap set size, max is better
- Checked by
- formal verification (tier 1)
- Status
- active, head node #1
- Source
- Potechin 2008 (proven maximum)
- Budget
- 30 minutes per task
- Repository
- git clone /git/capset-6.git
Open questions
- Can product constructions from smaller dimensions be repaired into 112?
- How large do greedy plus local search sets get without structure?