中村ナンバーのソースを表示

[[協力ゲーム | 協力ゲーム理論]]および[[社会選択理論]]において、'''中村ナンバー''' (なかむらナンバー、'''Nakamura 数'''、[[:en:Nakamura number | Nakamura number]]) とは、投票ルールに代表される集合的意思決定ルールの合理性の度合いをはかる指標となる整数のことである。この名称は、以下の事実を証明した日本人ゲーム理論家[[中村健二郎]] (1947-1979) による。<ref>{{cite book|last=Suzuki|first=Mitsuo|year=1981|title=Game theory and social choice: Selected papers of Kenjiro Nakamura|publisher=Keiso Shuppan}} 
(鈴木光男編, ゲーム理論と社会選択: 中村健二郎遺稿集) 中村は 1975年に東京工業大学から社会工学専攻で初の博士号を授与されている。</ref>

*中村ナンバー未満の選択肢から選ぶ状況では、そのルールは必ず最適な選択肢を選び出せる（ただし、最適な選択肢が1つだけとは限らない）。

*中村ナンバー以上の選択肢から選ぶ状況では、人々の[[選好]]の組合せにより当該ルールでは最適なものが定まらない場合がある。そのような状況は、[[投票のパラドックス]]に見られるように、選択肢 a が b より、b が c より、c が a より集団的に好まれるといったサイクルが存在する場合に発生する。

つまり、選択の合理性は選択肢数とこの数の大小関係により左右され、大きい中村ナンバーを持つルールほど多くの選択肢を矛盾なく扱える。

==概要==
中村ナンバーの正確な定義を与える前に、中村ナンバーを付与することのできる意思決定ルールの例を挙げる。
個人1, 2, 3, 4, 5 からなる「多数決ルール」では、多数派となる個人の集合全てを含む集合
:<math>\{\{1,2,3\},\{1,2,4\},\{1,2,5\},\{1,3,4\},\{1,3,5\},\{1,4,5\},\{2,3,4\},\{2,3,5\},\{2,4,5\},\{3,4,5\},</math>
::<math>\{1,2,3,4\},\{1,2,3,5\},\{1,2,4,5\},\{1,3,4,5\},\{2,3,4,5\},\{1,2,3,4,5\} \}</math>

が考えられる。このような集合（[[協力ゲーム#単純ゲームの性質|シンプルゲーム]]）が中村ナンバーを与えることのできる対象である。勝利提携（シンプルゲームの元である集合のこと）に属する個人が共有する選好が、社会（この例では5人からなる社会）全体の選好（社会選好）となる。

シンプルゲームの「'''中村ナンバー'''」とは、勝利提携からなる集合で、その集合に含まれる全ての勝利提携の[[共通部分 (数学)|共通部分]]が空集合となるようなもののうち、最も元の個数が少ない集合の元の個数のことである。よって、この例における中村ナンバーは3である。このことは、任意の2つの勝利提携の共通部分は少なくとも1人の同じ個人を含むが、<math>\{1,2,3\}</math>, <math>\{4,5,1\}</math>, <math>\{2,3,4\}</math>という3つの勝利提携の共通部分は空になることから確認できる。

'''中村の定理''' (Nakamura, 1979<ref name = nakamura79>{{cite journal|last1=Nakamura|first1=K.|title=The vetoers in a simple game with ordinal preferences|journal=International Journal of Game Theory|volume=8|issue=1|year=1979|pages=55–61|issn=0020-7276|doi=10.1007/BF01763051}}</ref>) は、シンプルゲームが全ての選好順序に対して非空のコア<ref>シンプルゲームのコアとは、ある勝利提携に属する個人すべてが選択肢 <math>x</math> より好むような選択肢 <math>y</math> が存在しないような選択肢 <math>x</math> の集合（すなわち社会選好の極大要素の集合）のことである。</ref>を持つための必要条件（選択肢集合が有限の場合は十分条件でもある）として、選択肢の数がそのシンプルゲームの中村ナンバーよりも小さいことを挙げている。上記のシンプルゲームの例でいえば、この定理から選択肢が3個以上ある場合選好順序の選び方によってはコアに属する選択肢がなくなるということがわかる。{{#tag:ref |日本語でコンパクトにまとまった中村の定理の解説としては、岡田 (1997, 9.5節, 10.4節)<ref name=okada97> {{cite book | author = 岡田 章 | title = ゲーム理論 | publisher = 有斐閣 | year = 1997 | isbn = 978-4641067943}}</ref> を挙げることができる。}}

選択肢を「順序づける」ことに関しては、社会選択理論における「[[アローの不可能性定理]]」その困難さを指摘しているが、選択肢を「選ぶ」ことに関しては、中村の定理がより直接的な関連性を持っている。{{#tag:ref | 
もとの中村の定理は直接的には「シンプルな」選好集計ルールにかんするものである。
ここで「シンプルな」ルールとは、そのルールにおける「決定的な」提携の族によって完全に規定されるルールであり、
ある提携 <math>S</math> が「決定的である」とは、<math>S</math> に属するすべての個人が <math>x</math> を <math>y</math> より好むときはかならず、
社会選好でも <math>x</math> を <math>y</math> より好むことになることをいう。
中村ナンバーの役割を重視した社会選択理論のテキストである
Austen-Smith and Banks (1999)<ref name=austensmith-b99>{{Cite book  | author = Austen-Smith, David; Banks, Jeffrey S. | title = [https://books.google.co.jp/books?id=nxXDn3nPxIAC&q=%22nakamura+number%22&redir_esc=y&hl=ja Positive political theory I: Collective preference] | date = 1999 | publisher = University of Michigan Press | location = Ann Arbor  | isbn = 978-0-472-08721-1 | pages =  }}</ref>
は、中村ナンバーをよりひろい (経験上重要な) クラスの選好集計ルールに拡張し (Theorem 3.3)、中村と同様の結果 (Theorem 3.4) を得ている。
そのクラスとは、中立性 (選択肢のラベルは重要ではないこと) と単調性 (もし <math>x</math> が社会的に <math>y</math> より好まれるなら、
<math>x</math> への <math>y</math> と比較しての各人の支持を増やしても、この社会選好がたもたれること) を持つ集計ルールからなるものである。}}

==定義の準備==

=== シンプルゲーム ===
<math>N</math> を個人からなる空でない集合とする。 <math>N</math> の部分集合を'''提携'''という。提携の集合 <math>W</math> を'''シンプルゲーム''' ('''投票ゲーム''') という（それぞれの提携に 1 または 0 の値を与える提携ゲームと考えることもできる）。ここでは <math>W</math> は空集合でなく、かつ空集合を含まないと仮定する。<math>W</math> に属する提携は'''勝利提携'''、属さない提携は'''敗北提携'''という。シンプルゲーム <math>W</math> が'''単調'''であるとは、任意の <math>S \in W</math> と <math>S\subseteq T</math>について、<math>T \in W</math> が成り立つことをいう。<math>W</math> が'''プロパー'''であるとは、任意の <math>S \in W</math> に対して <math>N\setminus S \notin W</math> となることをいう。<math>W</math> が'''強い'''とは、任意の <math>S \notin W</math> に対して <math>N\setminus S \in W</math> となることをいう。'''拒否権プレーヤー'''とは、すべての勝利提携に属する個人のことである。シンプルゲームが'''弱い'''とは、そのシンプルゲームが拒否権プレーヤーを含むことをいう。<math>W</math> が'''有限'''であるとは、ある有限集合 <math>T \subseteq N</math>（キャリアと呼ばれることがある）が存在して、任意の提携 <math>S</math> について<math>S \in W</math> と <math>S\cap T \in W</math>が同値になることをいう。

<math>X</math> を「選択肢」の集合とし、その[[濃度_(数学) |濃度]]（要素数）<math>\# X</math> は最小でも2とする。ここで（強い、あるいは狭義の）'''選好'''とは、<math>X</math> 上の非対称的な関係、すなわち <math>x \succ y</math> (「<math>x</math> は <math>y</math> より好まれる」の意) ならば、<math>y\not \succ x</math> となる関係 <math>\succ</math> を指す。選好 <math>\succ</math> が'''非循環的'''である、あるいはサイクルを含まないとは、任意の有限個の選択肢 <math>x_1, \ldots, x_m</math> について、もし <math>x_1 \succ x_2</math>, <math>x_2 \succ x_3</math>,…, <math>x_{m-1} \succ x_m</math> ならば <math>x_m \not\succ x_1</math> となることをいう。非循環的な関係は非対称的であるため、選好に該当することに注意しなければならない。

'''(選好) プロファイル'''とは、個人の選好 <math>\succ_i^p</math> の列 (リスト) <math>p=(\succ_i^p)_{i \in N}</math> のことである。ここで、<math>x \succ_i^p y</math> は個人 <math>i</math> がプロファイル <math>p</math> において、選択肢 <math>x</math> を選択肢 <math>y</math> より好むことを表している。

=== 選好付きシンプルゲーム ===
シンプルゲーム <math>W</math> とプロファイル <math>p</math> のペア <math>(W, p)</math> を'''選好付きシンプルゲーム'''（'''譲渡可能な効用を前提としない投票ゲーム'''）という。 <math>(W, p)</math> が与えられたとき、任意の <math>x,y\in W</math>に対して、ある勝利提携 <math>S \in W</math> が存在して、すべての <math>i \in S</math> に対して <math>x \succ_i^p y</math> となることを <math>x \succ^p_W y</math> と表す。この <math>\succ^p_W</math>を <math>X</math> 上の'''支配関係'''（社会選好）という。

選好付きシンプルゲーム <math>(W, p)</math> に対し、<math>\succ^p_W</math>によって支配されない選択肢全てからなる集合（つまり、<math>\succ^p_W</math> に関して <math>X</math> 上で極大要素となる選択肢の全てからなる集合）を <math>(W, p)</math> の'''コア'''といい  <math>C(W,p)</math>と表す。この定義は、<blockquote><math>C(W,p):=\{x\in W\mid</math><math>y \succ^p_W x</math>となる <math>y\in X</math> が存在しない<math>\}</math></blockquote>と言い換えることができる。

== 定義 == 
シンプルゲーム <math>W</math> の'''中村ナンバー''' <math>\nu(W)</math> とは、共通部分が空集合となるような勝利提携の集合のうち、最も小さな濃度（提携数）をもつ集合のその濃度のことである。なお、

* <math>\cap W = \cap_{S \in W} S = \emptyset</math> (拒否権プレーヤーが存在しない) となるとき<ref>次の集合の最小要素は存在する。なぜなら任意の非空の[[順序数]]の集合は最小要素を持つためである。</ref>、<math>\nu(W)=\min\{\# W': W'\subseteq W;  \cap W'=\emptyset \}</math><ref name="nakamura79" />
* それ以外のとき <math>\nu(W)= +\infty</math> (任意の濃度より大きい) 

であるとする。<math>W</math>が拒否権プレーヤーなしのシンプルゲームであれば、<math>2\le \nu(W)\le \# N</math> が成り立つ。

== 例 ==

=== 人数が有限の場合の例 ===
（Austen-Smith and Banks (1999), Lemma 3.2<ref name="austensmith-b99" /> を参照）以下では <math>N=\{1, \ldots, n\}</math>（有限集合）、 <math>W</math> は単調でプロパーとする.

*<math>W</math> が拒否権プレーヤーなしの強いシンプルゲームなら、<math>\nu(W)=3</math> である。
*<math>W</math> が過半数ゲーム（半分を超える個人を含む提携を勝利提携とするシンプルゲーム）なら、<math>n\ne 4</math> のケースでは <math>\nu(W)=3</math> となり、<math>n=4</math> のケースでは <math>\nu(W)=4</math> となる。
*<math>W</math> が <math>q</math>-ルール（すなわち <math>q</math> 人以上の個人を含む提携を勝利提携とするシンプルゲーム）で、 <math>n/2<q<n</math> のとき、<math>\nu(W)=[n/(n-q)]</math> となる。ただし <math>[x]</math> は <math>x</math> 以上の最小の整数。

=== たかだか可算個の個人がいる場合の例 ===
シンプルゲームに関わる代表的な性質（単調かどうか、プロパーかどうか、強いかどうか、拒否権プレーヤーなしかどうか、有限かどうか）がその中村ナンバーにあたえる制限については、Kumabe and Mihara (2008)<ref name="kumabe-m08scw">{{cite journal|last1=Kumabe|first1=Masahiro|last2=Mihara|first2=H. Reiju|title=The Nakamura numbers for computable simple games|journal=Social Choice and Welfare|volume=31|issue=4|year=2008|pages=621–640|issn=0176-1714|doi=10.1007/s00355-008-0300-5}}</ref> が調べ上げている（その結果は以下の表「可能な中村ナンバー」に要約されている）。特に、アルゴリズムによって「計算可能」で<ref>シンプルゲームが「計算可能である」ことの定義は、[[ライスの定理#ライスの定理に類する結果|ライスの定理に類する結果]]を参照。特に、任意の有限ゲームは計算可能である。</ref>かつ拒否権プレーヤーをもたないシンプルゲームが3より大きい中村ナンバーをもつとき、そのシンプルゲームはプロパーかつ強くないことが分かっている。

{| class="wikitable"
|+ 可能な中村ナンバー<ref>各エントリーには、計算可能なシンプルゲームの持ち得る中村ナンバーを記入している。
ただし空集合は敗北提携であると仮定している。
16個あるタイプは以下の基準によって定義されている: 単調かどうか、プロパーかどうか、強いかどうか、拒否権プレーヤーなしかどうか。
たとえばタイプ 1110 に対応する行は、単調 (1) でプロパー (1) で強く (1) て拒否権プレーヤーのある (0) 計算可能シンプルゲームのなかで、
有限であるものは <math>+\infty</math> に等しい中村ナンバーを持ち、無限であるものは存在しないことを表している。
タイプ 1101 に対応する行は、任意の整数 <math>k\ge 3</math> 
が、このタイプに属するある有限の (また、ある無限の) シンプルゲームの中村ナンバーになる
(かつそれ以外の整数 <math>k< 3</math> はそういう中村ナンバーになり得ない) ことを表している。
拒否権プレーヤーなしのシンプルゲームのなかでは、タイプ 1101 と 0101 のみが3より大きい中村ナンバーを持つことが分かる。</ref>
|-
! タイプ
! 有限ゲーム
! 無限ゲーム
|-
| 1111
| 3
| 3
|-
| 1110
| +∞
| none
|-
| 1101
| ≥3
| ≥3
|-
| 1100
| +∞
| +∞
|-
| 1011
| 2
| 2
|-
| 1010
| none
| none
|-
| 1001
| 2
| 2
|-
| 1000
| none
| none
|-
| 0111
| 2 
| 2
|-
| 0110
| none
| none
|-
| 0101
| ≥2
| ≥2
|-
| 0100
| +∞
| +∞
|-
| 0011
| 2
| 2
|-
| 0010
| none
| none
|-
| 0001
| 2
| 2
|-
| 0000
| none
| none
|}

== 非循環的な選好に対する中村の定理 ==
'''中村の定理''' (Nakamura, 1979, Theorems 2.3 and 2.5<ref name = nakamura79 />).
<math>W</math> をシンプルゲームとする。非循環的な選好からなる任意のプロファイル <math>p</math> にたいしてコア <math>C(W,p)</math> が非空となることは、<math>X</math> が有限かつ <math>\# X < \nu(W)</math> となることと[[同値]]である。

'''リマーク'''

*中村の定理は、以下に近い形で (コアへの言及なく) 参照されることも多い (e.g., Austen-Smith and Banks, 1999, Theorem 3.2<ref name=austensmith-b99 />): 非循環的な選好からなる任意のプロファイル <math>p</math> にたいして支配関係 <math>\succ_W^p</math> が非循環的になることは、任意の有限な <math>B \subseteq X</math> にたいして <math>\# B< \nu(W)</math> となることと同値である (Nakamura 1979, Theorem 3.1<ref name = nakamura79 />)。

*定理中で「非循環的な選好からなる任意のプロファイル <math>p</math> にたいして」を「否定推移的な (negatively transitive) 選好からなる任意のプロファイル <math>p</math> にたいして」あるいは「線形順序である (すなわち推移的で total) 選好からなる任意のプロファイル <math>p</math> にたいして」と言い換えても、得られたステートメントは正しい。{{#tag:ref | "<math>\Longleftarrow</math>" 方向はあきらか。
"<math>\Longrightarrow</math>" 方向は上記定理よりは強いステートメントになっている
(証明は本質的に同じ)。
これらの結果は「以上に好む」を表す弱選好で述べられることも多い (e.g, Austen-Smith and Banks, 1999, Theorem 3.2<ref name=austensmith-b99 />)。
ここで弱選好 <math>\succeq</math> は以下で定義できる: <math>x \succeq y \iff y\not\succ x</math>.
このとき <math>\succ</math> が非対称的であることと <math>\succeq</math> が完備である (complete) こととは同値である。
また、<math>\succ</math> が否定推移的であることと <math>\succeq</math> が推移的であることとは同値である。
<math>\succ</math> が ''total'' とは、<math>x\ne y</math> のとき、<math>x\succ y</math> あるいは <math>y\succ x</math> となることである。}}

*上記定理は <math>\mathcal{B}</math>-シンプルゲームに拡張できる。<ref name=kumabe-m10geb /> ここで <math>\mathcal{B}</math> は、<math>N</math> の部分集合からなる任意の[[ブール代数]]であり、それに属する要素を「提携」とみなす。<math>\mathcal{B}</math> の例としては、[[ルベーグ可測]]集合の<math> \sigma</math>-代数などがある。「<math>\mathcal{B}</math>-シンプルゲーム」とは、<math>\mathcal{B}</math> の部分族である。選好プロファイルは以下の意味で可測なものに限定するのが適切である: プロファイル <math>p</math> が「可測である」とは、任意の <math>x, y \in X</math> について、<math>\{i: x\succ_i^p y\} \in \mathcal{B}</math> となることである。

== サイクルを含み得る選好に対する中村の定理の変種 ==
このセクションでは「非循環的な選好」という通常の仮定を捨てることにする。
そのかわり与えられた「アジェンダ」(agenda, 個人のグループが当面直面している「機会集合」) 上で極大要素を持つような選好をここでは考える。<ref>ここで
「アジェンダ」とは、選択肢全体を表すなんらかの集合の部分集合のことで、
(いま意思決定が行われれば実際に採用できるような) 実現可能な選択肢からなる集合とみなすことができる。
(ミクロ経済学の消費者理論で言えば、選択肢全体の集合は任意の消費バンドルのあつまりに、アジェンダは予算集合に対応。)</ref>
単純な考察にするため、ここでは集合 <math>X</math> 自体をアジェンダとみなすことにする。
選択肢 <math>x \in X</math> が選好 <math>\succ_i^p</math> に関して「極大 (要素) である」
(あるいは <math>\succ_i^p</math> が「極大要素 <math>x</math> を持つ」) とは、
<math>y\succ_i^p x</math> となるような <math>y \in X</math>が存在しないことである。
もし選好が選択肢全体の集合上で非循環的であれば、その選好は任意の「有限」部分集合 <math>X</math> 上で極大値を持つ。

中村の定理の変種 (variant) を述べる前に、「コア」を強めた解概念を導入しておく。
たとえある提携が存在してそれに属するすべての個人 <math>i</math> が選択肢 <math>x</math> に「不満を持っている」
(各 <math>i</math> がなんらかのべつの選択肢 <math>y_i</math> を <math>x</math> より好むの意) としても、
選択肢 <math>x</math> がコア <math>C(W,p)</math> には属してしまうことがある。
次の解概念はそのような選択肢 <math>x</math> を除外するものである:<ref name=kumabe-m10geb />
:選択肢 <math>x\in X</math> が「'''多数不満なきコア'''」('''core without majority dissatisfaction''') <math>C^+(W,p)</math> に属するとは、任意の <math>i \in S</math> にとって <math>x</math> が極大でない (<math>y_i \in X</math> が存在して <math>y_i \succ_i^p x</math> となる) ような勝利提携 <math>S\in W</math> が存在しないことである。

以下の結果は容易に示すことができる: <math>C^+(W,p)</math> は各人の選好の極大要素集合だけに依存し、それらの集合のユニオンにふくまれる。
また、任意の選好プロファイル <math>p</math> について、<math>C^+(W,p) \subseteq C(W,p)</math> となる。

'''中村定理の変種''' ([[隈部正博 |Kumabe]] and Mihara, 2011, Theorem 2<ref name=kumabe-m10geb>{{cite journal|last1=Kumabe|first1=Masahiro|last2=Mihara|first2=H. Reiju|title=Preference aggregation theory without acyclicity: The core without majority dissatisfaction|journal=Games and Economic Behavior|volume=72|issue=1|year=2011|pages=187–201|issn=08998256|doi=10.1016/j.geb.2010.06.008}}</ref>).
<math>W</math> をシンプルゲームとする。以下の3つのステートメントは同値である:
#<math>\# X < \nu(W)</math>;
#極大要素を持つ選好からなる任意のプロファイル <math>p</math> に対して多数不満なきコア <math>C^+(W,p)</math> が非空となる;
#極大要素を持つ選好からなる任意のプロファイル <math>p</math> に対してコア <math>C(W,p)</math> が非空となる。

'''注意'''

*もとの中村の定理と異なり、この変種定理において <math>X</math> が有限であることは、任意のプロファイル <math>p</math> にたいして <math>C^+(W,p)</math>  あるいは <math>C(W,p)</math> が非空となるための'''必要条件ではない'''ことに注意。すなわち無限個の選択肢を持つアジェンダ <math> X</math> 上でも、不等式 <math>\# X < \nu(W)</math> さえみたせば、それらコアに属する要素が存在する。
* 定理の 2, 3 中で「極大要素を持つ選好からなる任意のプロファイル <math>p</math> にたいして」を「極大要素をひとつだけ持つ選好からなる任意のプロファイル <math>p</math> にたいして」あるいは「極大要素を持ち線形順序である選好からなる任意のプロファイル <math>p</math> にたいして」と言い換えても、得られたステートメントは正しい (Kumabe and Mihara, 2011, Proposition 1)。
*もとの中村の定理と同様、この変種定理は <math>\mathcal{B}</math>-シンプルゲームに拡張できる。さらにこの定理は「中村ナンバー」の概念を拡張することにより「勝利提携の族」<math>W' \subseteq \mathcal{B}'</math> にも拡張できる (ステートメント 1, 2 が同値で、それらから 3 が導ける)。{{#tag:ref | 拡張されたフレームワークでは、「提携」から成るブール代数 <math>\mathcal{B}</math> と、 それより大きな族である 「個人の集合で、勝利あるいは敗北のステータスを与えることのできるもの」たちの族 <math>\mathcal{B}'</math> とを区別する。たとえば<math>\mathcal{B}</math> を[[帰納的集合]] (recursive sets) から成るブール代数、<math>\mathcal{B}'</math> を[[帰納的可算集合]]の[[束 (束論)|束]]とするのは自然である
 (Kumabe and Mihara, 2011, Section 4.2)。}}

== 脚注 ==
{{脚注ヘルプ}}
{{Reflist}}

== 関連項目 ==
*[[アローの不可能性定理]]
*[[多数決]]
*[[投票の逆理]]

{{DEFAULTSORT:なかむらなんはあ}}
[[Category:社会選択理論]]
[[Category:ゲーム理論]]
[[Category:投票理論]]
[[Category:選挙方式]]
[[Category:離散数学]]
[[Category:経済学の定理]]