When Natural Variables Are Not Enough: Teaching Integer Programming with Sudoku
Sudoku is a compact and familiar setting for teaching a surprisingly deep lesson in integer linear programming, namely that the most natural decision variables are not always enough to produce an effective or convenient linear model. This paper compares two formulations of Sudoku. The first uses binary assignment variables indicating whether a particular digit is assigned to a particular cell. This formulation is less natural from the perspective of the puzzle board itself, but it encodes the puzzle rules through simple assignment constraints and extends easily to variants such as Killer…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.30227
curl -X POST /api/v1/records/arxiv/2606.30227/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.30227/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'