title: Cœur (théorie des jeux)
text: # Cœur (théorie des jeux)
  
  Le cœur (en anglais core), est l'ensemble des allocations possibles pour une coalition tel qu'aucune sous-coalition ne peut obtenir une meilleure imputation. Le cœur est dit vide lorsqu'il n'existe aucune imputation satisfaisant cette condition. Une imputation est une allocation où chaque coalition d'un groupe reçoit au moins ce qu'elle pourrait obtenir à elle seule.
  
  ## Notation et définition
  
  Un jeu coopératif à utilité transférable est une paire $(N,v)$, où $N$ est un ensemble fini et non-vide représentant le groupe, et $v$ est la fonction caractéristique qui associe une valeur à chaque coalition (sous-ensemble) $S\subseteq N$ telle que,
  
      $v:2^{N}\rightarrow \mathbb {R} ,\quad v(\emptyset )=0$
  
  Ainsi, dans un jeu $(N,v)$, il existe $2^{N}-1=\{S\subseteq N\}$ coalitions différentes non-vides. L'ensemble des vecteurs de réalisations possibles de $(N,v)$ se note,
  
      $X(N,v)=\{x\in \mathbb {R} ^{N}|x(N)\leq v(N)\}$
  
  Similairement, $x(S)=\sum _{i\in S}x_{i},\ x(\emptyset )=0$, est l'ensemble des vecteurs de réalisations possibles d'une coalition $S\subseteq N$. L'excès d'une coalition $S\subseteq N$ se note,
  
      $e(S,x,v)=v(S)-x(S)$
  
  Plus l'excès est élevé, moins la coalition est intéressante pour un agent $i\in S$ et si l'excès est supérieur à la valeur $v(S)$, alors l'allocation est sous-optimale pour l'agent rationnel. Le cœur de $(N,v)$ est défini par,
  
      ${\mathcal {C}}(N,v)=\{x\in X(N,v)|e(S,x,v)\leq 0\ \forall S\subseteq N\}$
  
  Ce sont les vecteurs de valeurs possibles qui génèrent un excès non-positif, c'est-à-dire les coalitions qui sont d'intérêt pour $i\in S$. Si la fonction caractéristique est une fonction de coût, alors l'excès sera non-positif lorsque la coalition est sous-additive. Inversement pour une fonction de profit, l'excès sera non-positif lorsque la coalition est superadditive.
  
  ### Le noyau et le pré-noyau
  
  L'ensemble des vecteurs de réalisations possibles qui sont individuellement rationnels, i.e. les imputations, se note,
  
      ${\mathcal {I}}(N,v)=\{x\in {\mathcal {I}}^{*}(N,v)|x_{k}\geq v({k})\ \forall k\in N\}$
  
  Où ${\mathcal {I}}^{*}$ est l'ensemble de pré-imputation (lorsque la rationalité individuelle n'est pas intégrée),
  
      ${\mathcal {I}}^{*}(N,v)=\{x\in \mathbb {R} ^{N}|x(N)=v(N)\}$
  
  Pour deux agents différents $i,j\in N$, l'ensemble des coalitions contenant $i$ mais pas $j$ se note, ${\mathcal {T}}_{ij}=\{S\subseteq N|j\notin S\ni i\}$, alors l'excès maximum de $i$ sans $j$ est noté,
  
      $s_{ij}(x,v)=\max\{e(S,x,v)|S\in {\mathcal {T}}_{ij}\}$
  
  Une imputation fait partie du noyau dès le moment où l'excès des coalitions s'équilibre, le noyau se note donc,
  
      ${\mathcal {K}}(N,v)=\{x\in {\mathcal {I}}(N,v)|s_{ij}(x,v)\leq s_{ji}(x,v)\Rightarrow x_{j}=V(\{j\})\ \forall i,j\in N,i\neq j\}$
  
  Le pré-noyau est,
  
      ${\mathcal {K}}^{*}(N,v)=\{x\in {\mathcal {I}}^{*}(N,v)|s_{ij}(x,v)\leq s_{ji}(x,v)\ \forall i,j\in N,i\neq j\}$
  
  C'est analogue au cas du noyau mais il s'agit d'une pré-imputation et du pré-noyau (lorsque la rationalité individuelle n'est pas intégrée).
  
  