Strategyproofness
= Strategyproofness
= Strategyproof
{synonym}
A mechanism or <social choice function> is strategyproof if truthful reporting is a weakly dominant strategy: for every true type and every collection of other reports, no misreport yields strictly higher utility or a strictly preferred outcome. This is stronger than merely requiring truthful reports to form a <Nash equilibrium>.