支配 (配分の)のソースを表示

'''【しはい (domination of imputations)】'''

提携形ゲーム<math>(N,v)\,</math>において, 2つの配分<math>x=(x_1,x_2,...,x_n)\,</math>,<math>y=(y_1,y_2,...,y_n)\,</math>および提携<math>S\,</math>に対し, 2条件(1)<math>x_i > y_i \;\; \forall i \in S, \;\;\;(2)v(S) \ge \sum_{i \in S} x_i\,</math>が成り立つとき, 配分<math>x\,</math>は配分<math>y\,</math>を提携<math>S\,</math>を通して支配するという. ある提携<math>S\,</math>が存在して配分<math>x\,</math>が配分<math>y\,</math>を<math>S\,</math>を通して支配するとき, 単に, 配分<math>x\,</math>は配分<math>y\,</math>を支配するという.