The aim of this note is to point out some combinatorial applications of a lemma of Scarf, proved first in the context of game theory. The usefulness of the lemma in combinatorics has already been demonstrated in a paper by the first author and R. Holzman (J. Combin Theory Ser. B 73 (1) (1998) 1) where it was used to prove the existence of fractional kernels in digraphs not containing cyclic triangles. We indicate some links of the lemma to other combinatorial results, both in terms of its statement (being a relative of the Gale-Shapley theorem) and its proof (in which respect it is a kin of Sperner's lemma). We use the lemma to prove a fractional version of the Gale-Shapley theorem for hypergraphs, which in turn directly implies an extension of this theorem to general (not necessarily bipartite) graphs due to Tan (J. Algorithms 12 (1) (1991) 154). We also prove the following result, related to a theorem of Sands et al. (J. Combin. Theory Ser. B 33 (3) (1982) 271): given a family of partial orders on the same ground set, there exists a system of weights on the vertices, which is (fractionally) independent in all orders, and each vertex is dominated by them in one of the orders.
[1]
H. Scarf.
The Core of an N Person Game
,
1967
.
[2]
Robert W. Irving.
An Efficient Algorithm for the "Stable Roommates" Problem
,
1985,
J. Algorithms.
[3]
Ron Holzman,et al.
Fractional Kernels in Digraphs
,
1998,
J. Comb. Theory, Ser. B.
[4]
L. Shapley.
On Balanced Games Without Side Payments
,
1973
.
[5]
Tamás Fleiner,et al.
A Fixed-Point Approach to Stable Matchings and Some Applications
,
2003,
Math. Oper. Res..
[6]
Norbert Sauer,et al.
On monochromatic paths in edge-coloured digraphs
,
1982,
J. Comb. Theory, Ser. B.
[7]
Michel Balinski,et al.
Integer Programming: Methods, Uses, Computations
,
1965
.
[8]
L. Shapley,et al.
College Admissions and the Stability of Marriage
,
1962
.
[9]
T. Fleiner.
Stable and crossing structures
,
2000
.
[10]
Jimmy J. M. Tan.
A Necessary and Sufficient Condition for the Existence of a Complete Stable Matching
,
1991,
J. Algorithms.
[11]
László Lovász.
Matroids and Sperner's Lemma
,
1980,
Eur. J. Comb..