Let I = [0, N − 1] denote the set of indices. We define the set of states S to contain all maps of type I → R for fixed positive N ∈ N (representing the number of agents). For each s ∈ S, i ∈ I, s(i) represents the value held by the agent with ID i. We denote the arbitrarily fixed start state s0. We introduce the function g whose domain MR is the set of non-empty finite multisets of real number...
