 | This article may be too technical for most readers to understand.(July 2025) |
 | It has been suggested that this article be merged into Strategyproofness . (Discuss) Proposed since July 2025. |
In mechanism design, obvious strategyproofness (OSP) is a strengthening of strategyproofness that captures a robustness of strategyproofness to cognitively-limited agents. [1]
Informally, a strategyproof mechanism is obviously strategyproof if the strategyproofness is robust to agents who don't understand or don't trust that their actions won't affect other players' actions.
The formal definition uses the extensive form formulation of a mechanism. It compares pairs of strategies by considering the possible trajectories from an earliest information set where they diverge. A strategy obviously dominates another strategy if, starting from each earliest information set where they diverge, the worst possible outcome for is better than the worst possible outcome for .
The sealed-bid second-price auction is strategyproof but not obviously strategyproof because bidders have to trust that their bids remain sealed. [2] [3] In contrast, the ascending clock auction is obviously strategyproof, [1] even though for fully rational agents the two auctions are equivalent.
Other examples of strategyproof but not obviously strategyproof mechanisms include:
