RUS  ENG
Full version
JOURNALS // Zhurnal Vychislitel'noi Matematiki i Matematicheskoi Fiziki // Archive

Zh. Vychisl. Mat. Mat. Fiz., 2025 Volume 65, Number 1, Pages 120–138 (Mi zvmmf11911)

This article is cited in 2 papers

Computer science

Stable matchings, choice functions, and linear orders

A. V. Karzanov

Central Institute of Economics and Mathematics, Russian Academy of Sciences, 117418, Moscow, Russia

Abstract: We consider a model of stable edge sets (“matchings”) in a bipartite graph $G(V,E)$ where the preferences for vertices of one side (“firms”) are given via choice functions subject to standard axioms of consistency, substitutability and cardinal monotonicity, whereas the preferences for the vertices of the other side (“workers”) via linear orders. For such a model, we present a combinatorial description of the structure of rotations and develop an algorithm to construct the poset of rotations, in time $O(|E|^2)$ (including “oracle calls”). As consequences, we obtain a “compact” affine representation of stable matchings and efficiently solve some related problems.

Key words: bipartite graph, choice function, linear preferences, stable matching, affine representation, sequential choice.

UDC: 519.8

Received: 29.08.2024
Revised: 29.08.2024
Accepted: 26.09.2024

DOI: 10.31857/S0044466925010114


 English version:
Computational Mathematics and Mathematical Physics, 2025, 65:1, 192–212

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2026