Evolving Local Corrections for Global Constructions in Combinatorics
Many open problems in combinatorics admit reformulations in which a global construction can be achieved by the repeated application of small, finite correcting steps. This paper presents three computational case studies of this principle, carried out using AlphaEvolve as an experimental engine for proposing and iteratively refining such certificates. The problems we studied are: reconstruction of bipartite and planar graphs from vertex-deleted subgraphs; the Alon-Tarsi parity problem for Latin squares, approached via sign-reversing involutions built from local trades; Rota's Basis…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2603.06692
curl -X POST /api/v1/records/arxiv/2603.06692/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.06692/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'