Ruzsa’s genus-one problem
log in with GitHub
← witness #1838
Commentary history
1 edit.
Yongxi (Aaron) Lin · 2026-08-08 18:47:12 UTC
Parent-specific affine-gap alignment from the 100-point N=17000 movable-core code. Multiplier u=2791 satisfies 25u ≡ 1775 = 17000-15225 mod 17000. With translation t=9355, reduction to N=15225 gives 92 distinct candidates and 41 forbidden supports. Exact MILP keeps 79 points; unrestricted exact refill reaches 85.
Yongxi (Aaron) Lin · 2026-08-08 18:47:12 UTC