Abstract
The stable matching (or stable marriage) model of Gale and Shapley [Gale D, Shapley LS (1962) College admissions and the stability of marriage. Amer. Math. Monthly 69(1):9–15.] has been generalized in various directions, such as matroid kernels by Fleiner [Fleiner T (2001) A matroid generalization of the stable matching polytope. Aardal K, Gerards AMH, eds. Proc. 8th Internat. Conf. Integer Programming Combin. Optim., Lecture Notes in Computer Science, vol. 2081 (Springer-Verlag, Berlin), 105–114.] and stable allocations in bipartite networks by Baïou and Balinski [Baïou M, Balinski M (2002) Erratum: The stable allocation (or ordinal transportation) problem. Math. Oper. Res. 27(4):662–680.]. Unifying these generalizations, we introduce the concept of stable allocations in polymatroid intersection. Our framework includes both integer and real variable versions. The integer variable version corresponds to a special case of the discrete concave function model of Eguchi et al. [Eguchi A, Fujishige S, Tamura A (2003) A generalized Gale-Shapley algorithm for a discrete-concave stable-marriage model. Ibaraki T, Katoh N, Ono H, eds. Proc. 14th Internat. Sympos. Algorithms Comput., Lecture Notes in Computer Science, vol. 2906 (Springer-Verlag, Berlin), 495–504.], who established the existence of a stable allocation by showing that a simple extension of the deferred acceptance algorithm of Gale and Shapley finds a stable allocation in pseudopolynomial time. It has been open to develop a polynomial time algorithm even for our special case. In this paper, we present the first strongly polynomial algorithm for finding a stable allocation in polymatroid intersection. To achieve this, we utilize the augmenting path technique for polymatroid intersection. In each iteration, the algorithm searches for an augmenting path by simulating a chain of proposes and rejects in the deferred acceptance algorithm. The running time of our algorithm is O(n3γ), where n and γ denote the cardinality of the ground set and the time for computing the saturation and exchange capacities, respectively. Moreover, we show that the output of our algorithm is optimal for one side, where this optimality is a generalization of the man optimality in the stable marriage model.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.