关于条件最小和批准投票规则可计算性 landscapes 的研究

本工作考察了涉及多个相互依赖议题的选举中的条件批准框架，具体聚焦于条件最小和批准投票规则。我们首先对该规则的计算复杂性进行详细分析，证明在常见的计算复杂性假设以及各种自然输入限制下，没有任何方法能显著超越暴力求解算法。作为响应，本文提出了两种实用限制（第一种在文献中尚未出现），使问题变得可计算，且证明这些限制本质上是紧密的。总体而言，本工作提供了问题可计算性 landscapes 的清晰图景，为全面理解条件投票箱引入的复杂性提供了依据，表明条件批准投票可以在特定条件下实用化。