強コア配分

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

• $y_i \succsim_i x_i \quad \forall i \in T$
• $y_j \succ_j x_j \quad \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 \quad \forall i \in I$

• $w_i$は初期保有