LP-Duality Theory and the Cores of Games

LP-duality theory has played a central role in the study of the core, right from its early days to the present time. The 1971 paper of Shapley and Shubik, which gave a characterization of the core of the assignment game, has been a paradigm-setting work in this regard. However, despite extensive follow-up work, basic gaps still remain. We address these gaps using the following building blocks from LP-duality theory: 1). Total unimodularity (TUM). 2). Complementary slackness conditions and strict complementarity. TUM plays a vital role in the Shapley-Shubik theorem. We define several generalizations of the assignment game whose LP-formulations admit TUM; using the latter, we characterize their cores. The Hoffman-Kruskal game is the most general of these. Its applications include matching students to schools and medical residents to hospitals, and its core imputations provide a way of enforcing constraints arising naturally in these applications: encouraging diversity and discouraging over-representation. Complementarity enables us to prove new properties of core imputations of the assignment game and its generalizations.