On the Core of the $b$-Matching Game

The core is a quintessential solution concept for profit sharing in cooperative game theory. An imputation allocates the worth of the given game among its agents. The imputation lies in the core of the game if, for each sub-coalition, the amount allocated to its agents is at least the worth of this sub-coalition. Hence, under a core imputation, each of exponentially many sub-coalitions gets satisfied. The following computational question has received much attention: Given an imputation, does it ...