Still not quite grokking the Revelation Principle, although that’s probably a function of inexperience with these kinds of problems. Is the idea that if I can assume or establish the sufficient properties of the players’ utility functions then I can assume they announce their types to me, the mechanism designer, and proceed with design on that basis?
I added some explanation right after the diagram to clarify. The idea is that if I can design a game where players have dominant strategies, then I can also design a game where they have a dominant strategy to honestly reveal their types to me and proceed on that basis.
Still not quite grokking the Revelation Principle, although that’s probably a function of inexperience with these kinds of problems. Is the idea that if I can assume or establish the sufficient properties of the players’ utility functions then I can assume they announce their types to me, the mechanism designer, and proceed with design on that basis?
I added some explanation right after the diagram to clarify. The idea is that if I can design a game where players have dominant strategies, then I can also design a game where they have a dominant strategy to honestly reveal their types to me and proceed on that basis.
It’s funny—the parent doesn’t state anything that you didn’t already put in the OP, and yet I think I understand the point a little better. Thanks!