Visão geral
Coerência, também chamada de uniformidade ou consistência, é um critério para avaliar regras de divisão justa. A coerência requer que o resultado de uma regra de justiça seja justo não apenas para o problema geral, mas também para cada subproblema. Cada parte de uma divisão justa deve ser justa.
O requisito de coerência foi estudado primeiro no contexto de rateio. Nesse contexto, a falha em satisfazer a coerência é chamada de paradoxo dos novos estados: quando um novo estado entra na união, e o tamanho da casa é ampliado para acomodar o número de cadeiras alocadas a esse novo estado, alguns outros estados não relacionados são afetados. A coerência também é relevante para outros problemas de divisão justa, como problemas de falência.
Definição
Existe um recurso a ser alocado, denotado por . Por exemplo, pode ser um inteiro representando o número de cadeiras em uma casa de representantes. O recurso deve ser alocado entre alguns agentes. Por exemplo, estes podem ser estados federais ou partidos políticos. Os agentes têm direitos diferentes, denotados por um vetor . Por exemplo, ti pode ser a fração de votos obtidos pelo partido i. Uma alocação é um vetor com . Uma regra de alocação é uma regra que, para qualquer e vetor de direitos , retorna um vetor de alocação .
Uma regra de alocação é chamada coerente (ou uniforme) se, para todo subconjunto S de agentes, se a regra for ativada no subconjunto do recurso , e no vetor de direitos , então o resultado for o vetor de alocação . Isto é: quando a regra é ativada em um subconjunto dos agentes, com o subconjunto dos recursos que eles receberam, o resultado para eles é o mesmo.
Da Wikipédia (CC BY-SA 4.0).