A Reachable-State Operator Formulation of Deferred Acceptance: Progress Invariants and Structural Diagnostics
We give a reachable-state operator formulation of one-to-one deferred acceptance with strict, possibly incomplete preference lists. A local update operator is defined for each active proposer, while a scheduler selects which local update is applied. On the states reachable from the canonical empty initial state, three invariants are immediate: the set of proposed edges grows strictly, every proposer visits each acceptable receiver at most once, and every receiver holds its most-preferred proposal received so far. These invariants yield termination after at most |E| proposals and stability of…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.19237
curl -X POST /api/v1/records/arxiv/2609.19237/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.19237/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'