強コア配分

配分$x$が強コア配分であるとは

• $y_i{\succsim }_i{x}_i\forall i\in T$
• $y_j{\succ }_j{x}_j\exists j\in T$
• $\{y_i:i\in T\}=\{w_i:i\in T\}$ を満たす $T\subseteq I$ および $y\in X$ が存在しないこと。 メカニズムデザイン(書籍) p.138

強コア配分であるなら効率的であり個人合理性である。

個人合理性:$x_i{\succsim }_i{w}_i\forall i\in I$

• $w_i$は初期保有