arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2108.12949cs.GT
收藏

多赢家赞成投票中的群组证明

Justifying Groups in Multiwinner Approval Voting

Edith Elkind, Piotr Faliszewski, Ayumi Igarashi, Pasin Manurangsi, Ulrike Schmidt-Kraepelin, Warut Suksompong

AI总结:

本文从理论与实验两方面研究了多赢家赞成投票中的$n/k$-证明群组,提出了计算小规模该群组的高效近似算法与树表示下的多项式时间精确算法,并证明其有助于构建性别平衡的公正代表委员会。

摘要:

公正代表(JR)是多人赞成投票中代表权的标准概念。不仅公正代表委员会始终存在,先前的工作还通过实验表明,JR条件通常可由少于$k$个候选人的群组满足。本文从理论和经验两方面研究此类群组——即$n/k$-证明群组。首先,我们证明在无偏文化模型下,大小小于$k/2$的$n/k$-证明群组很可能存在,这意味着JR委员会的数量通常很大。随后,我们提出高效的近似算法,为任意给定实例计算小型$n/k$-证明群组,并在实例允许树表示时给出多项式时间精确算法。此外,我们证明,尽管该问题是NP难的,小型$n/k$-证明群组通常有助于获得性别平衡的JR委员会。

英文摘要:

Justified representation (JR) is a standard notion of representation in multiwinner approval voting. Not only does a JR committee always exist, but previous work has also shown through experiments that the JR condition can typically be fulfilled by groups of fewer than $k$ candidates. In this paper, we study such groups -- known as $n/k$-justifying groups -- both theoretically and empirically. First, we show that under the impartial culture model, $n/k$-justifying groups of size less than $k/2$ are likely to exist, which implies that the number of JR committees is usually large. We then present efficient approximation algorithms that compute a small $n/k$-justifying group for any given instance, and a polynomial-time exact algorithm when the instance admits a tree representation. In addition, we demonstrate that small $n/k$-justifying groups can often be useful for obtaining a gender-balanced JR committee even though the problem is NP-hard.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑