Towards a general theory of non-cooperative computation
Proceedings of the 9th conference on Theoretical aspects of rationality and knowledge
Rational secret sharing and multiparty computation: extended abstract
STOC '04 Proceedings of the thirty-sixth annual ACM symposium on Theory of computing
Non-cooperative computation: boolean functions with correctness and exclusivity
Theoretical Computer Science - Game theory meets theoretical computer science
Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing
K-SNCC: group deviations in subsidized non-cooperative computing
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
| Hi-index | 0.00 |
A function is non-cooperative computable [NCC] if honest agents can compute it by reporting truthfully their private inputs, while unilateral deviations by the players are not beneficial: if a deviation from truth revelation can mislead other agents, then the deviator might end up with a wrong result. Previous work provided full characterization of the boolean functions which are non-cooperatively computable. Later work have extended that study in various directions. This paper extends the study of NCC functions to the context of group deviations. A function is K-NCC if deviations by a group of at most K agents is not beneficial: in order to mislead other agents, at least one group member might compute the wrong outcome. A function which is K-NCC for every K is termed strong-NCC. In this paper we provide a full characterization of the K-NCC functions, for every K, and of strong-NCC functions in particular. We show that the hierarchy of K-NCC functions is strict. Surprisingly, we also show that an anonymous function is NCC iff it is strong-NCC; that is, an anonymous function which is non-cooperatively computable is stable against deviations by any coalition of the agents. In addition, we show that group deviations are stable: if there exists a deviating coalition of minimal size K, then there is no sub-coalition of it which will benefit by further deviation from the original deviating strategy.