{"id":"arxiv/2609.19237","url":"https://arxiv.org/abs/2609.19237","tags":["cs.DS","math.CO"],"score":0,"title":"A Reachable-State Operator Formulation of Deferred Acceptance: Progress Invariants and Structural Diagnostics","domain":"cs.DS","source":"arxiv","authors":["Yoshiteru Ishida"],"reviews":0,"subject":"cs.DS","summary":"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…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-07-13","reactions":{}}