{"id":"arxiv/2608.11211","url":"https://arxiv.org/abs/2608.11211","tags":["cs.AI","cs.SC","math.CO"],"score":0,"title":"A Forced-Structure Reduction and Verifiable Bounds for Conway's 99-Graph","domain":"cs.AI","source":"arxiv","authors":["Aalok Thakkar","Simone Severini"],"reviews":0,"subject":"cs.AI","summary":"Conway's 99-graph problem asks whether a strongly regular graph with parameters $\\mathrm{srg}(99,14,1,2)$ exists. We develop two complementary lines of attack. Fixing one vertex, the conditions $λ=1$ and $μ=2$ force its neighbourhood to be a perfect matching and determine every edge between that neighbourhood and the remaining vertices. For $(99,14,1,2)$, the unresolved part is therefore a constrained $12$-regular graph on $84$ vertices. We encode this reduction in CP-SAT and validate it by recovering the unique $\\mathrm{srg}(9,4,1,2)$. We also prove by exhaustive enumeration that no…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-07-13","reactions":{}}