批准型委員會投票在社會選擇領域中佔據了重要地位,其中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難。這表明,雖然某些結構化偏好域能夠帶來計算上的便利,但一旦泛化超出某一界限,問題又回到了難以處理的範疇。這項工作不僅解決了具體的理論難題,還透過揭示不同偏好結構之間的關係,為設計更高效的選舉演算法提供了新的視角。