关于限制域上策略证明规则范围的两个定理
Two Theorems on the Range of Strategy-proof Rules on a Restricted Domain
摘要：
设g是一个策略证明规则的域NP的配置文件，其中没有替代帕累托优于任何其他，并让g有范围S的NP。我们通过在NP的两个子域上建立全范围结果来完成Gibbard-Satterthwaite结果的证明-如果S包含两个以上的元素，那么g是独裁的。
英文摘要：
Let g be a strategy-proof rule on the domain NP of profiles where no alternative Pareto-dominates any other and let g have range S on NP. We complete the proof of a Gibbard-Satterthwaite result - if S contains more than two elements, then g is dictatorial - by establishing a full range result on two subdomains of NP.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
