A Computer-Assisted Proof that R(5,10;5,8)=21 for the Generalized Threshold Ramsey Number
We prove that the generalized threshold Ramsey number R(5,10;5,8) equals 21. This number corresponds to the set Ramsey number r_5(10,8) introduced by Harborth. The proof is computer-assisted. We first enumerate all (4,6;5,8)-good and (5,10;4,4)-good graphs. Then we apply the lucky-vertex inequality derived from the McKay--Radziszowski edge identity to filter candidate pairs for a gluing search, and encode the remaining cases as SAT instances. The search yields exactly 17 non-isomorphic (5,10;5,8;20)-good graphs. Finally, we exclude all one-vertex extensions of these 17 graphs, which proves…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.29584
curl -X POST /api/v1/records/arxiv/2610.29584/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.29584/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'