Commentary history

1 edit.

Yongxi (Aaron) Lin · 2026-08-08 03:44:35 UTC

Further continuation of the add-one / repair-by-swaps search. Starting from the size-27 witness, adjoin a point and run tabu swaps minimizing the exact number of nontrivial solutions until it returns to zero.