Un juego de discrepancia es un tipo de juego posicional . Como la mayoría de los juegos posicionales, se describe por su conjunto de posiciones/puntos/elementos ( ) y una familia de conjuntos ( - una familia de subconjuntos de ). Lo juegan dos jugadores, llamados Balancer y Unbalancer . Cada jugador, a su vez, elige un elemento. El objetivo de Balancer es asegurar que cada conjunto en esté equilibrado, es decir, los elementos de cada conjunto se distribuyan de forma aproximadamente igualitaria entre los jugadores. El objetivo de Unbalancer es asegurar que al menos un conjunto esté desequilibrado.
Formalmente, el objetivo del equilibrador se define mediante un vector donde n es el número de conjuntos en . El equilibrador gana si en cada conjunto i , la diferencia entre el número de elementos tomados por el equilibrador y el número de elementos tomados por el desequilibrador es como máximo b i .
De manera equivalente, podemos pensar que Balancer etiqueta cada elemento con +1 y Unbalancer etiqueta cada elemento con -1, y el objetivo de Balancer es garantizar que el valor absoluto de la suma de etiquetas en el conjunto i sea como máximo b i .
El juego fue introducido por Frieze, Krivelevich, Pikhurko y Szabo, [1] y generalizado por Alon, Krivelevich, Spencer y Szabo. [2]
En un juego Maker-Breaker , Breaker tiene que tomar al menos un elemento de cada conjunto.
En un juego Avoider-Enforcer, Avoider debe tomar como máximo k-1 elemento en cada conjunto con k vértices.
En un juego de discrepancia, Balancer debe alcanzar ambos objetivos simultáneamente: debe tomar al menos una cierta fracción, y como máximo una cierta fracción, de los elementos de cada conjunto.
Sea n el número de conjuntos y k i el número de elementos del conjunto i .