跳到主要內容
AI News HubLIVE
站內改寫2 分鐘閱讀

計算區間選舉及其推廣中的Thiele規則

文章摘要

本文解決了Thiele規則在選民區間(VI)域上的計算複雜性公開問題,證明標準線性規劃存在最優整數解,並給出快速演算法。研究還擴充套件到選民-候選人區間(VCI)和線性一致(LC)域,揭示LC嚴格包含VCI,並發現樹形泛化導致NP難。

來源arXiv AI作者: Dimitris Avramidis, Alexandra Lassota, Ulrike Schmidt-Kraepelin, Adrian Vetta
計算區間選舉及其推廣中的Thiele規則
回報錯誤

更正管道尚未開通,可先複製下方文章資訊留存。

查看更正說明
直接讀正文

批准型委員會投票在社會選擇領域中佔據了重要地位,其中Thiele規則,特別是比例批准投票(PAV),因其比例代表性、帕累托最優性和支援單調性等理想特性而備受關注。然而,這些規則的主要缺點在於,一般情況下計算其結果是NP難的,這意味著不存在多項式時間內的有效演算法。

不過,研究人員發現,在結構化偏好下,Thiele規則的計算可以變得更加高效。之前的研究表明,在候選人區間(CI)域上,Thiele規則可以透過一個具有全么模約束矩陣的線性規劃在多項式時間內求解。然而,令人驚訝的是,同樣的方法在選民區間(VI)域上卻失效了,該問題的計算複雜性被反覆提出作為一個懸而未決的公開問題。

本文的主要成果正是解決了這一長期未解決的問題。作者證明,儘管在VI域上相關的約束矩陣不是全么模的,但“標準”線性規劃仍然至少存在一個最優整數解。更重要的是,他們提供了一種快速演算法來找到這個解。這一發現填補了理論上的空白,為在VI域上高效計算Thiele規則提供了可能。

該技術還自然地擴充套件到了選民-候選人區間(VCI)域(也稱為一維選民-候選人範圍(1D-VCR)域)和線性一致(LC)域。這兩個域都推廣了候選人區間域和選民區間域。儘管VCI和LC域在社會選擇理論中都有過研究,但兩者之間的關係此前並不明確。本文透過圖論工具證明了LC域嚴格包含VCI域,即所有VCI域中的偏好配置都是LC域的,但反之不成立。此外,他們還給出了一個更接近VCI精神的LC域等價定義,該定義在批准選舉中具有直觀的解釋,可能具有獨立的學術意義。

最後,作者研究了VCI域的另一種基於樹的泛化,並發現這一領域使得Thiele規則的計算再次變為NP難。這表明,雖然某些結構化偏好域能夠帶來計算上的便利,但一旦泛化超出某一界限,問題又回到了難以處理的範疇。這項工作不僅解決了具體的理論難題,還透過揭示不同偏好結構之間的關係,為設計更高效的選舉演算法提供了新的視角。

展開要點與分析

文章情報

研究者進階

要點

  • Thiele規則(如比例批准投票)在一般情形下計算困難,但在結構化偏好中可高效求解。
  • 解決了選民區間域上Thiele規則計算複雜性的長期公開問題,證明線性規劃存在整數最優解。
  • 技術擴充套件到選民-候選人區間和線性一致域,並證明線性一致嚴格包含選民-候選人區間。
  • 樹形泛化下Thiele規則計算變為NP難,明確了問題邊界。

技術影響

可能影響合規要求、模型釋出節奏、資料治理和企業採購。

要點與分析由自動化流程生成,可能有誤,請結合原始來源核實。

計算區間選舉及其推廣中的Thiele規則 | AI News Hub