協力ゲーム（きょうりょくゲーム、）とは、ゲーム理論において、複数のプレイヤーによる提携 (coalition) 行動が可能であるとされた場合のゲームである。協力ゲームにおける提携行動は、提携をする各プレイヤーの利得を増加される場合に行われるとされている。

提携行動を行うためには、事前の交渉と互いに拘束力のある合意が必要であると考えられている。この考え方にしたがって、協力ゲームを交渉を行う非協力ゲームから説明しようという研究計画をナッシュプログラムという。

数学的な定義
協力ゲームはあらゆるNの部分集合S(提携)にある値を特定することにより与えられる。数学的には、このゲーム (提携ゲーム) は有限なプレイヤー集合と関数 
によって定義される。この関数は特性関数 (characteristic function) とも呼ばれる。協力ゲームはプレイヤーの集合Nと特性関数vの組によって表される。協力ゲームの表現・解析には特性関数がよく用いられ、vをゲームと呼ぶこともある。

関数は、における提携それぞれに報酬を対応づけるものと解釈される。ある提携Sに対する特性関数の値v(S)はSのプレイヤーが獲得できる最良の値を表し、を提携値と呼ぶ。通常は（誰も参加しない提携への報酬を与えないこと）を仮定する。

また、提携ゲームにおける報酬とは反対に、における提携それぞれでの費用を対応づける費用関数(cost function) を用いて記述する方法もある。これを費用ゲーム(cost game)と呼ぶ。費用関数によって得られる値は提携したプレイヤーたちが支払う費用を示す。提携ゲームでの概念は費用ゲームにおける概念へ簡単に書き換えることができる。

双対性
 を報酬ゲームの関数とする。 の双対ゲーム(dual game)である費用ゲームの関数 の値は以下のように定められる。

 

直観的に、双対ゲームは全体提携 N に参加しないことによる提携 の機会費用(opportunity cost)を表現していると考えられる。

報酬ゲームは同様に、費用ゲームの双対報酬ゲームとして決まる。
協力ゲームとその双対ゲームはいくつかの意味において等価なものであり、
それらは多くの性質を共有している。
例えば、あるゲームとその双対ゲームにおいてそのコアは等しい。
(協力ゲームの双対についての詳細は を参照のこと。)

部分ゲーム
ある提携ゲーム において を空でないプレイヤーの集合とする。
での部分ゲームは自ずと
 
と定められる。

言い換えれば、単にSに含まれる提携に制限して注目するということである。
部分ゲームは、全体提携 N に対して定められた 解の概念 を N より小さな提携に適用することを可能とするため有用である。

特性関数の性質

優加法性
A と B が2つの非交和（）提携である場合、
A と B の大提携の値は単独での値の和以上になる。すなわち、

 if .

優加法性は特性関数の特徴であり、 を満たすと仮定される。

単調性
提携が大きいと報酬も大きい: .

単純ゲームの性質
「単純ゲーム」(シンプルゲーム; 投票ゲーム) とは 1 または 0 の利得 (値) だけを取る協力ゲームであり、利得が 1 となる提携を「勝利提携 (勝ち提携)」、利得が 0 となる提携を「敗北提携 (負け提携)」とよぶ。通常は単純ゲームは提携のあつまり として定義し、このばあいは に属する提携を勝利提携，属さないものを敗北提携とみなす。単純ゲームが非空であること、空集合をふくまないことを仮定することも多い。
 単純ゲーム が「単調である」とは、勝利提携をふくむ提携がかならず勝利提携になることをいう。すなわち かつ ならば となることをいう。
 単純ゲーム が「プロパーである」とは、勝利提携の補集合（補提携）がかならず敗北提携になることをいう。 すなわち ならば となることをいう。
 単純ゲーム が「強い」とは、敗北提携の補集合（補提携）はかならず勝利提携になることをいう。 すなわち ならば となることをいう。
 単純ゲーム がプロパーで強いとき、ある提携が勝つことと、その補提携が負けることは同値である。 すなわち と が同値である。 (プロパーで強い単純ゲームを提携ゲーム で表せば、任意の提携 について， となる。)
 単純ゲームにおける「拒否権プレイヤー」とは、どの勝利提携の要素（メンバー）にもなっているプレイヤーである。すなわち、拒否権プレイヤーが存在するような単純ゲームでは、拒否権プレイヤーがいない提携は必ず負ける。単純ゲーム が「弱い」とは、拒否権プレイヤーが存在することである。すなわち、すべての勝利提携のインターセクション が非空となることである。
 単純ゲームにおける「独裁者」とは、そのプレイヤーをふくむ任意の提携が勝利提携となるような拒否権プレイヤーのことである。独裁者が敗北提携に属することはない。
単純ゲーム の「キャリア」とは、集合 で、任意の提携 について、 と とが同値となるものである。キャリアに属さないプレイヤーは無視される。単純ゲームが有限のキャリアを持つとき、(たとえ が無限でも) その単純ゲームが「有限である」ということもある。
 単純ゲームの「中村ナンバー」とは、共通部分が空集合になるような勝利提携の最少数のことである。中村の定理によれば、この数は合理性の程度をはかる指標といえ、これ未満の数の選択肢までならうまくあつかえることが分かっている。

単純ゲームの持つ性質 (公理) のあいだの関係については以下が広く知られている (e.g., Peleg, 2002, Section 2.1):
 弱い単純ゲームはプロパーである。
 単純ゲームが独裁者を持つことは、それが強くて弱いことと同値である。
より一般的には、単純ゲームにかんする伝統的な４つの性質 (単調かどうか、プロパーかどうか、強いかどうか、拒否権プレーヤーなしかどうか) に加え、有限かどうか、「計算可能」かどうか
をふくめた６つの性質のあいだの関係が完全に解明されており (Kumabe and Mihara, 2011) 、その結果は以下の表「単純ゲームの存在」に要約できる。たとえば伝統的４性質の組合せで定義される「タイプ」が無限ゲームを含むとき、そのタイプには計算可能なものも計算不能なものも含まれることが分かる。
+ 単純ゲームの存在 Type 有限計算不能 有限計算可能 無限計算不能 無限計算可能 1111 no yes yes yes 1110 no yes no no 1101 no yes yes yes 1100 no yes yes yes 1011 no yes yes yes 1010 no no no no 1001 no yes yes yes 1000 no no no no 0111 no yes yes yes 0110 no no no no 0101 no yes yes yes 0100 no yes yes yes 0011 no yes yes yes 0010 no no no no 0001 no yes yes yes 0000 no no no no
単純ゲームにかかわる代表的な性質 (単調かどうか、プロパーかどうか、強いかどうか、拒否権プレーヤーなしかどうか、有限かどうか) がその中村ナンバーにあたえる制限については、完全に解明されている。特に、アルゴリズムによって計算可能でかつ拒否権プレーヤーをもたない単純ゲームが3より大きい中村ナンバーをもつとき、 その単純ゲームはプロパーかつ強くないことが分かっている。

解の概念
協力ゲームは提携に対する報酬を記述する。
プレイヤーは提携に参加した方がしない場合より得をする場合に限り提携に参加する。
したがって、どんな提携が実際に組まれるかを見出すには、異なる提携間の相対的な力関係および各提携内の異なるプレイヤーの強さを評価する必要がある。
報酬を各プレイヤーにどう分配するのかを考えるのが協力ゲームの重要な目的であり、この目的のためにさまざまな解概念が提示されている。

協力ゲームにおいて中心となる仮定は、全体提携 N が形成されるということである。
ここで公平な方法でプレイヤー達に全体提携で得られた v(N) を分配するよう取り組まなくてはならない。
(例え個人の提携や小規模な提携を形成しても、その形成された提携から部分ゲームを求めれば
解の概念を部分ゲームに適用できるので、この仮定は限定的なものではない。)

解の概念は、それぞれのプレイヤー得られる配分を示す
というベクトルによって与えられる。
様々な公平性の基準によって、複数種の解の概念が提案されている。

解の概念の性質

解の概念にはいくつかの性質が含まれることがある。
ここに解の概念に現れることのある性質について述べておく。

また、利得ベクトルのうち、全体合理性を満たす準配分 (pre-imputation) 、
全体合理性と個人合理性を満たすものを配分 (imputation) と呼ぶ。
ほとんどの解の概念は、ゲームの解として配分を与える。

 効率性 (Efficiency)・全体合理性
解の利得ベクトルが全体提携の提携値を分配する性質。すなわち、
 
が成り立つことを言う。

 個人合理性 (Individual rationality)
全てのプレイヤーは自身のみで獲得できる以上に利得を得られる性質。
 
であることを言う。

 対称性 (Symmetry)
利得ベクトルが対称なプレイヤー, に対して等しい利得を与える() 性質。
ここで対称なプレイヤーとは、が成り立つようなプレイヤー, のことである。
対称性のある解の概念は、入れ替え可能なプレイヤーについては利得に違いを与えない。

 加法性 (Additivity)
2つのゲームの和からなるゲームにおいて、プレイヤーへの利得が
(和を取った)それぞれのゲームでの利得の和に等しくなる性質。
 と をゲームとすると、
ゲームは、提携Sに対してそれぞれのゲームの提携値の和を
提携値 として与えるゲームである。
加法性のある解の概念は、の全てのプレイヤーに対して
 と で得られる利得の合計値を利得として割り振る。

 ナルプレイヤーに関する性質
ナルプレイヤー (Null Players) に与える利得がゼロになる性質。ナルプレイヤーとは、を満たすプレイヤーのことである。
経済的に言い換えれば、ナルプレイヤーはいかなる自身を含まない提携に対しても与える寄与分がゼロである。

 存在性 (Existence)
解の概念による解がいかなるゲームvについても存在する。

 唯一性 (Uniqueness)
解の概念による解がいかなるゲームvについても唯一である。

 計算容易性 (Computational ease)
解の概念が効率よく計算できる性質。すなわち、プレイヤーの人数に関して多項式時間計算可能である。

安定集合
ゲームの「安定集合」（フォン・ノイマン＝モルゲンシュテルン解）)　
は3人以上のゲームに関し提案された最初の解である。

安定集合の定義
安定集合はこれら2つの性質をもつ配分の集合である。

 「内部安定性」：安定集合の要素はどれ一つとして他の要素に支配されない。
 「対外安定性」：安定集合外の候補は安定集合の要素の少くとも一つに支配される。

フォン・ノイマンと
モルゲンシュテルンは安定集合を
社会的に受け入れられる振舞いの集合と見た。
どれも明らかに他よりも好かれてはいないが、
受け入れられない振舞いのどれにもそれより優れた代案がある。

この定義は非常に一般的であるため、広範な種類のゲームの形式に使われている。

安定集合の性質

安定集合は存在する場合もしない場合もあり、 存在しても典型的には一意ではない。. 安定集合を見出すのは普通は難しい。

この事実とその他の困難から、他に多数の解の概念が発展した。

協力ゲームの positive fraction はコアからなる一意な安定集合をもつ。.

協力ゲームの positive fraction は 人のプレイヤーを区別する安定集合をもつ。このような安定集合は少くとも の被差別プレイヤーを排除する。 

配分の支配
をゲームとして、とをそれぞれの配分とする。
 と を満たすような
提携 (ただし、)が存在するとき、
 は を支配するという。

すなわち、このときSのプレイヤー達はによって得る利得よりもによって得る利得を好み、
が使われれば全体提携を抜けると脅すだろうと考えられる。

コア

コアの定義

「コア」とは、ゲームにおいてプレイヤーに報酬を配分するベクトルの集合であり、以下の条件を満たすものである。

 「効率性」：プレイヤーが「大提携」（全プレイヤーからなる提携）を行い、各人への報酬の総額は大提携の値と等しくなるべきである。
 「戦略安定性」または「均衡」：どの連携も大連携を裏切って得をすることはできない。
（たとえば、どの提携も各成員の報酬の総額よりも大きくはならない。（疑問あり））

ここで、をゲームとすれば、のコアは、以下のような利得ベクトルの集合である。

 

言い換えれば、提携Sのメンバーの得られる利得の合計が提携値v(S)以上になるよう定めた配分の集合がコアである。
すなわち、コアの利得ベクトルによって利得を獲得するなら、
どの提携 S においても全体提携 N から抜けて多くの利得を獲得しようという動機が無くなる。

コアは空集合になる場合もあることに注意されたい。

 選好プロファイルにおける単純ゲームのコア 
単純ゲームについては、ある選択肢集合 上で各プレイヤーの選好が定義されるとき、上記と異なる「コア」の概念が存在する。
「選好プロファイル」とは各個人 の選好からなるリスト (列) 
 のことである。
ここで は、「個人 がプロファイル において、選択肢 を選択肢 より好む」ことを指す。
シンプルゲーム と選好プロファイル が与えられたとき、上で「支配関係」 を 以下のように定義する: とは、ある勝利提携 
(i.e., ) が存在して、すべての について となることである。
「選好プロファイルにかんする単純ゲームのコア」 とは、
関係によって支配されないような選択肢の集合
( についての集合 上の極大要素の集合) のことである:
 は、となるが存在しないことと同値である。

単純ゲームの「中村ナンバー」とは、共通部分が空集合となるような勝利提携の最少数のことである
(この数だけ勝利提携を集めればインターセクションを空にできることがあるが、これ未満の数だけ集めてもけっしてインターセクションを空にはできない)。
中村の定理によれば、すべての非循環的選好 (推移的選好としても同様) のプロファイル にかんしてコア が非空になることは、選択肢集合 が有限かつその濃度 (要素数) が の中村ナンバーよりも小さいことと同値である。
Kumabe and Mihara によるその定理の変種によれば、極大要素を持つ選好からなる任意のプロファイル にかんしてコア が非空になることは、選択肢集合の濃度が の中村ナンバーよりも小さいことと同値である。詳細は「中村ナンバー」参照。

カーネル
カーネルとは、報酬を割り当てるベクトルのうち、
 効率性
 個別合理性
を満足するものである。

シャープレイ値

協力ゲームの例
複数企業の共同事業を考えよう。それぞれの企業の利益を、
 
とする。

ここで、例えばとは企業 A, B が協力したときの利益を示す。この例では、「優加法性」が常に成立しているといえる。例えば、( である。)優加法的である場合、提携したほうが全体の利得は大きくなる。しかし、個々の企業にとって提携するかどうかは利得の分配によって変わる。

3社が共同したときの企業の利得をそれぞれとする。

例として、利得がの場合を考える。この場合、となるので、企業 A, B は2社だけで提携し、利得を受け取ったほうが有利である。そのため、この条件では企業 A, B は C を含んだ3社の提携を拒否するであろう。このような状態のことを、提携 に関して、配分は配分を支配するという。

他方、配分の場合、いずれの2社の提携によっても、その提携に参加したすべての企業の利得を増加させることができない。このような配分のみがコアに属する。