Two-sided matchings are an important theoretical tool used to model markets and social interactions. In many real life problems the utility of an agent is influenced not only by their own choices, but also by the choices that other agents make. Such an influence is called an externality. Whereas fully expressive representations of externalities in matchings require exponential space, in this paper we propose a compact model of externalities, in which the influence of a match on each agent is computed additively. In this framework, we analyze many-to-many and one-to-one matchings under neutral, optimistic, and pessimistic behaviour, and provide both computational hardness results and polynomial-time algorithms for computing stable outcomes.
We consider several notions of setwise stability for many-to-many matching markets with contracts and provide an analysis of the relations between the resulting sets of stable allocations for general, substitutable, and strongly substitutable preferences. Apart from obtaining "set inclusion results" on all three domains, we introduce weak setwise stability as a new stability concept and prove that for substitutable preferences the set of pairwise stable matchings is nonempty and coincides with the set of weakly setwise stable matchings. For strongly substitutable preferences the set of pairwise stable matchings coincides with the set of setwise stable matchings. In many matching problems, it is natural to consider that agents may have preferences not only over the set of potential partners but also over what other matches occur. Once such externalities are considered, the set of stable matchings will depend on what agents believe will happen if they deviate. In this paper, we introduce endogenously generated beliefs (which depend on the preferences). We introduce a particular notion of endogenous beliefs, called sophisticated expectations, and show that with these beliefs, stable matchings always exist. We develop a theory of stability in many-to-many matching markets. We give conditions under which the setwise-stable set, a core-like concept, is nonempty and can be approached through an algorithm. The usual core may be empty. The setwise-stable set coincides with the pairwise-stable set and with the predictions of a non-cooperative bargaining model. The setwise-stable set possesses the conflict coincidence of interest properties from many-to-one, and one-to-one models. The theory parallels the standard theory of stability for many-to-one, and one-to-one, models. We provide results for a number of core-like solutions, besides the setwise-stable set. The stable marriage problem is a well-known problem of matching men to women so that no man and woman, who are not married to each other, both prefer each other. Such a problem has a wide variety of practical applications, ranging from matching resident doctors to hospitals, to matching students to schools or more generally to any two-sided market. In the classical stable marriage problem, both men and women express a strict preference order over the members of the other sex, in a qualitative way. Here we consider stable marriage problems with weighted preferences: each man (resp., woman) provides a score for each woman (resp., man). Such problems are more expressive than the classical stable marriage problems. Moreover, in some real-life situations it is more natural to express scores (to model, for example, profits or costs) rather than a qualitative preference ordering. In this context, we define new notions of stability and optimality, and we provide algorithms to find marriages which are stable and or optimal according to these notions. While expressivity greatly increases by adopting weighted preferences, we show that in most cases the desired solutions can be found by adapting existing algorithms for the classical stable marriage problem. In the standard two-sided matching models, agents on one side of the market (the institutions) can each be matched to a set of agents ( the individuals) on the other side of the market, and the individuals only have preferences defined over institutions ti which they can be matched. We explicitly study the consequences for stability when the composition of one's coworkers or colleagues can affect the preferences over institutions. Abstract In this paper, we develop a model of two-sided matching markets with externalities. A new concept of stability of matchings is proposed and it is shown to be the unique one that ensures the general existence. Moreover, it is demonstrated that our stability does not contradict Pareto optimality. Some extensions of the model are also discussed. Journal of Economic Literature Classification Numbers: C71, C78, D62.