Solutions to Five Challenge Problems in Enumerative and Algorithmic Combinatorics, with an Account of the Human-Machine Methodology Employed
We report solutions to five challenge problems posed by Doron Zeilberger and his collaborators, together with substantial partial progress on two further problems, and we describe the method by which they were obtained. The solved problems are: the Second Computational Chomp Challenge of Ekhad and Zeilberger, for which we exhibit a bar with three winning opening moves; the third challenge of Spahn and Zeilberger, asking whether the restricted permutation counts a_{r,s} and b_{r,s} are holonomic for all r,s>1, answered affirmatively; the First Rigorous Solid Standard Young Tableaux Challenge,…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.11290
curl -X POST /api/v1/records/arxiv/2608.11290/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.11290/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'