This paper discusses an aspect of computational complexity in social choice theory. We consider the problem of designing voting rules, which is formulated in terms of simple games. We prove that it is an NP-complete problem to decide whether a given simple game is stable, or not. --...

This paper discusses an aspect of computational complexity in social choice theory. We consider the problem of designing voting systems, which is formulated in terms of simple games. We point out that it is an NP-complete problem to decide whether a given simple game is stable, or not