机构名称：
¥ 3.0
接下来，我们为 SP 和 OSP 问题的复杂性建立上限。当选择规则不是策略证明时，可以通过为一个代理提供类型配置文件和可获利偏差来证明这一点。这种证明可以在多项式时间内进行检查，因此具有电路输入的 SP 决策问题属于共同 NP 。具有电路输入的 OSP 问题是否属于共同 NP ？也就是说，当给定选择规则不存在 OSP 机制时，是否总能快速证明不存在？我们通过利用先前开发的 O-dag 结构来证明这一点。我们发现，当且仅当其 O-dag 的某个非单例顶点没有子节点时，选择规则不存在 OSP 机制。因此，可以通过展示这样的顶点并证明它没有子节点来证明 OSP 问题不存在 -实例，这可以在多项式时间内完成。上述结果表明 SP 和 OSP 问题在电路输入下是共同 NP 完全的。也就是说，它们与共同 NP 中最难的问题一样难，但不会比它们更难。这意味着任何一个问题都可以在多项式时间内归结为另一个问题。总之，我们的结果表明，尽管考虑扩展形式会带来明显的障碍，但决定选择规则是否具有相应的 SP 机制或 OSP 机制同样复杂。有了表输入，人们可以在多项式时间内决定 OSP 问题并构建机制。有了电路输入，当所需的机制不存在时，总会有一个简短的断言证明。
关于明显策略的计算特性——......
主要关键词
相关文件推荐
