Approval voting provides a simple, practical framework for multi-issue elections, and the most representative example among such election rules is the classic Minisum approval voting rule. We consider a generalization of Minisum, introduced by the work of Barrot and Lang [2016], referred to as Conditional Minisum, where voters are also allowed to express dependencies between issues. The price we have to pay when we move to this higher level of expressiveness is that we end up with a computationally hard rule. Motivated by this, we focus on the computational aspects of Conditional Minisum, where progress has been rather scarce so far. We identify restrictions that concern the voters' dependencies and the value of an optimal solution, under which we provide the first multiplicative approximation algorithms for the problem. At the same time, by additionally requiring certain structural properties for the union of dependencies cast by the whole electorate, we obtain optimal efficient algorithms for well-motivated special cases. Overall, our work provides a better understanding on the complexity implications introduced by conditional voting.
翻译:批准投票为多问题选举提供了一个简单、实用的框架,这种选举规则中最有代表性的例子就是经典的微型批准投票规则。我们考虑对被Barrot和Lang的工作(2016年)所引入的迷你书进行概括化,称之为有条件的迷你书,选民也可以在其中表达问题之间的依赖性。当我们进入这一更高层次的表达性时,我们必须付出的代价是,我们最终会得到一个计算性硬性的规则。受此驱动,我们集中关注有条件的迷你书的计算方面,因为迄今为止,在这种方面进展相当稀少。我们找出了与选民依赖性和最佳解决办法价值有关的限制,根据这种限制,我们为问题提供了第一个多倍的近似算法。与此同时,通过进一步要求整个选民对依赖性的结合具有某些结构性属性,我们就能为动机良好的特殊案例获得最佳的有效算法。总体而言,我们的工作使人们更好地了解了有条件投票带来的复杂影响。