Anda di halaman 1dari 2

Juegos Cooperativos En estos juegos se permite la comunicaci´on entre los jugadores,

tambi´en pueden firmar contratos de cooperaci´on. Esto es la cooperaci´on. Aparece una


nueva idea: Coalici´on. Una coalici´on esta formada por un subconjunto de jugadores que
est´an dispuestos a colaborar entre ellos. S´ı un conjunto S ⊆ N de jugadores forman una
coalici´on la utilidad total que ellos obtienen se denota por v(S). Dado un juego n−personal en
forma normal, la utilidad v(S) se puede calcular como el valor maximin (para S) del juego
bipersonal jugado entre S y N − S. De esta definici´on se sigue que: v(∅) = 0 y que v(S ∪ T) ≥ v(S)
+ v(T) si S ∩ T = ∅. Esta utilidad se puede dividir entre ellos de cualquier forma entre los
miembros de la coalici´on. Nosotros no estamos interesados en calcular la funci´on
caracter´ıstica de un juego n–personal en forma normal, sino dada el juego y su funci´on
caracter´ıstica estudiar propiedades. Definici´on 1 Un Juego de n−personas en forma de
funci´on caracter´ıstica es un par (N, v), donde N ={1, 2, ..., n}es el conjunto de jugadores y v :
2N → R tal que: v(∅) = 0 y que v(S ∪ T) ≥ v(S) + v(T) si S ∩ T = ∅. Definici´on 2 Un Juego (N, v) se
dice a suma constante si para todo S v(S) + v(N − S) = v(N). Definici´on 3 Una imputaci´on o una
distribuci´on de pago para el juego (N, v) es un vector x = (x1, ..., xn) que satisface: 1. Pn i=1 xi =
v(N) 2. xi ≥ v (i) para cada i ∈ N. El conjunto de todas las imputaciones para este juego se
denota por E(v). Definici´on 4 Un juego es esencial si v(N) > Xn i=1 v({i}) en otro caso decimos
que es inesencial. 1 1.1. Dominaci´on, equivalencia estrat´egica y normalizaci´on. Definici´on 5
Sean x, y dos imputaciones del juego (N, v) y sea S una coalici´on. Decimos que x domina a y
v´ıa S (x S y) si: 1. xi > yi para todo i ∈ S 2. P i∈S xi = v(S) Definici´on 6 Sean x, y dos
imputaciones del juego (N, v). Decimos que x domina a y si existe una coalici´on S tal que x S y.
Definici´on 7 Dos juegos n–personales (N, u) y (N, v) se dicen isomorfos si existe una funci´on
inyectiva f que mapea E(u) sobre E(v) tal que para cada x, y ∈ E(u), y S x S y ⇔ f(x) S f(y).
Definici´on 8 Dos juegos n–personales (N, u) y (N, v) se dicen S–equivalentes si existe un
n´umero r > 0 y n constantes reales α1, ..., αn tal que para todo S v(S) = ru(s) +X i∈S αi .
Teorema 1 Si u, v son S–equivalentes entonces son isomorfos. Definici´on 9 Un juego v se dice
normalizado (0, 1) si: 1. v(i) = 0 para todo i ∈ N 2. v(N) = 1. Teorema 2 Si u es un juego esencial,
este es equivalente a un ´unico juego normalizado (0, 1). Ejemplo 1 Sea u un juego de 3–
personas definido por: u(∅) = 0, u(i) = i+1, i = 1, 2, 3; u(i, j) = i+j +3, para cada i 6= j y u(1, 2, 3) =
10. Las constantes r, αi para el juego (0, 1) normalizado deben cumplir: 2r + α1 = 0 3r + α2 = 0
4r + α3 = 0 10r + α1 + α2 + α3 = 1. 2 Definici´on 10 Un juego v se dice sim´etrico si v(S) depende
solo del n´umero de elementos de S. Definici´on 11 Un juego v normalizado (0, 1) se dice
simple si para cada S ⊆ N se cumple que: v(S) = 0 o v(S) = 1. Un juego es simple si su
normalizaci´on (0, 1) es simple. Definici´on 12 Sea (p1, ..., pn)un vector no–negativo y q
satisface 0 < q ≤ Xn i=1 pi . Entonces el juego de mayor´ıa con peso [q; p1, ..., pn] es el juego
simple v definido por v(S) = 0 si P i∈S pi < q 1 si P i∈S pi ≥ q. 1.2. El Core y conjuntos
estables Definici´on 13 El core de un juego v es el conjunto de todas las imputaciones no–
dominadas. Se denota por C(v). Teorema 3 El core de un juego v es el conjunto de todos los n–
vectores x tal que: 1. P i∈S xi ≥ v(S) para cada S ⊆ N 2. P i∈N xi = v(N). Teorema 4 Si v es un
juego esencial a suma constante entonces C(v) = ∅. Ejemplo 2 Jugador 1 (vendedor) tiene un
caballo in´util para ´el, a menos que lo venda. Jugadores 2 y 3 (compradores) tasan el caballo
en 90 y 100 pesos, respectivamente. Si 1 vende el caballo a 2 a un precio de x, ´este ser´a su
beneficio, mientras que para el jugador 2 ser´a de 90 − x. El beneficio total de la coalici´on {1,2}
ser´a de $90. Es decir v({1, 2}) = 90, v{1, 3} = 100, v(i) = v({2, 3}) = 0 y v([1, 2, 3}) = 100. El core
es C(v) = [(t, 0, 100 − t) : 90 ≤ t ≤ 100}. Ejemplo 3 (Juego de Asignaci´on) Sea N = M ∪ M0 ,
donde M y M0 son conjuntos disjuntos, M = {1, ..., m} y M0 = {m + 1, m + 2, ..., 2m}. Jugador 3 i
∈ M (el i−´esimo vendedor) tiene una casa la cual la val´ua a ai . Jugadores m + j, j = 1, ..., m
desean comprar una casa, y val´uan con bi,j la casa del i–´esimo vendedor. As´ı la coalici´on
entre un vendedor y un comprador es v({i, m + j}) = bi,j − ai si bi,j ≥ ai 0 si bi,j ≤ ai Notar
que v(S) = 0 para cualquier coalici´on que contenga s´olo a vendedores o s´olo a compradores.
v(S) es igual al m´aximo beneficio total generado por los vendedores y compradores de la
colici´on S. Es decir que v(S) = m´ax X i∈S∩M ci,j(i) Para la gran coalici´on tenemos v(N) =
m´axXm i=1 ci,j(i) . Esto se puede escribir como un programa lineal M axPm i=1 Pm j=1 qi,j ci,j
M inPm i=1 yi + Pm j=1 zj s.a. s.a. Pm i=1 P qi,j = 1 para todo j = 1, ..., m yi + zj ≥ ci,j i, j = 1, ..., m.
m j=1 qi,j = 1 para todo i = 1, ..., m qi,j ≥ 0. Notar que Las variables duales no tienen porque ser
no–negativas La soluci´on del problema dual no es ´unica. Si (y ∗ , z∗ ) es soluci´on del dual
entonces (y 0 , z0 ) es soluci´on donde y 0 = y ∗ − t y z 0 = z ∗ + t para todo t. Construyamos una
soluci´on no–negativa. Sea t = m´ıni y ∗ i , con esto construimos y 0 ≥ 0 y z 0 ≥ 0. Por dualidad
tenemos que Xm i=1 y 0 i + Xm j=1 z 0 j = v(N) 4 Como v(S) = ci1,j1 + ... + ciq,jq entonces (y 0 ,
z0 ) ∈ C(v). Ejemplo 4 (Juegos Simples) Sea v un juego simple en la normalizaci´on (0, 1).
Decimos que el jugador i tiene poder de veto (o es un jugador veto) si v(N\{i}) = 0. Si el juego
no tiene jugadores vetos entonces el C(v) = ∅. Inversamente si el juego tiene al menos un
jugador veto entonces C(v) 6= ∅. 1.3. Colecciones balanceadas Queremos caracterizar juegos
que tengan Core no vac´ıos. Notemos que C(v) 6= ∅ si y s´olo si el programa lineal m´ınXn i=1 xi
= z sujeto a X i∈S xi ≥ v(S) para cada S ⊆ N tiene un m´ınimo z ∗ ≤ v(N). En este caso el vector x
∗ que est´a en el argumin est´a en el Core. El dual de este programa es m´ax X S⊆N ySv(S) = q
(1) sujeto a X S i∈S⊆N yS = 1 para todo i ∈ N (2) yS ≥ 0 para todo S ⊆ N (3) Los programas
duales anteriores salen como consecuencia de m´ax Cy m´ın xb s.a. s.a Ay = b xA ≥ C y ≥ 0 x sin
restricci´on 5 Teorema 5 Una condici´on necesaria y suficiente para que el juego v tenga core
no vac´ıo es que para cada vector no–negativo (yS)S⊆N satisfaciendo (2) tengamos que X S⊆N
ySv(S) ≤ v(N). Definici´on 14 Sea C = {S1, ..., Sm} una colecci´on de subconjuntos no vac´ıos de N
= {1, ..., n}. Decimos que C es N–balanceada (o balanceada) si existen n´umeros positivos y1, ...,
yn tal que para cada i ∈ N X j i∈Sj yj = 1. y = (y1, ..., yn) es el vector balance para C, y los yj son
los coeficientes balances. Ejemplo 5 Cualquier partici´on de N es balanceada Todos los
coeficientes balances son iguales a 1. Ejemplo 6 Sea N = {1, 2, 3, 4} y C = {{1, 2}, {1, 3}, {1, 4}, {2,
3, 4}} es balanceada, y = (1/3, 1/3, 1/3, 2/3) es el vector balance. Teorema 6 La uni´on de
conjuntos balanceados es balanceado. Lema 1 Sean C, D dos colecciones balanceadas tal que C
$ D, entonces existe una colecci´on balanceada B 6= D tal que B ∪ C = D. M´as a´un el vector
balance para D no es ´unico. Teorema 7 Cualquier colecci´on balanceada es la uni´on de
colecciones balanceadas minimales. Demostraci´on. Por inducci´on sobre el n´umero de
conjuntos de la colecci´on. Teorema 8 Una colecci´on balanceada tiene un ´unico vector
balance si y s´olo si es minimal. Teorema 9 Los puntos extremos de (1)–(3) son los vectores
balances de las colecciones balanceadas minimales. Corolario 1 Una colecci´on N–balanceada
minimal contiene a lo m´as n conjuntos. 6 Teorema 10 Una condici´on necesaria y suficiente
para que el juego n–personal v tenga core no vac´ıo es que, para cada colecci´on N–balanceada
minimal C = {S1, ..., Sm} con vector de balance y = (y1, ..., ym), Xm j=1 yjv(Sj ) ≤ v(N).