Mechanism design, a reverse problem of game theory, is an important branch of economics. Nash implementation is the cornerstone of the theory of mechanism design. The well-known Maskin's theorem describes the sufficient conditions for Nash implementation when the number of agents are at least...