論文の概要: Multi-Winner Voting with Argumentative Ballots

• arxiv url: http://arxiv.org/abs/2608.23247v2
• Date: Fri, 28 Aug 2026 10:05:50 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-08-31 15:11:36.06837
• Title: Multi-Winner Voting with Argumentative Ballots
• Title（参考訳）: 調書投票によるマルチウィンナー投票
• Abstract要約: 議論的投票(MVArg)による多票制を導入し,理論的特性について検討する。 投票者の結束を一般化し、JR・PJR・EJRの公理を正当化する。
• 参考スコア（独自算出の注目度）: 0.7734726150561088
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: We introduce multi-winner voting with argumentative ballots (MVArg) and investigate theoretical properties. As our conceptual contribution, we generalise approval ballots to argumentative ballots, thereby allowing voters to express defeasible preferences over candidates. We accordingly generalise voter cohesion and justified representation axioms JR, PJR and EJR. As our theoretical contribution, we establish several key results. First, MVArg is strictly more expressive than multi-winner voting with approval ballots (MV). Second, our notions of cohesion and justified representation are conservative generalisations of their counterparts in MV. Third, the MVArg counterpart of JR can always be satisfied, whereas the counterparts of PJR and EJR cannot always be. Fourth, although verifying whether a winner set satisfies the MVArg counterpart of JR is already coNP-hard, such a winner set can be constructed in polynomial time. All definitions, propositions, auxiliary lemmas and theorems have been formalised and mechanically checked in Lean 4.
• Abstract（参考訳）: 議論的投票(MVArg)による多票制を導入し,理論的特性について検討する。 我々の概念的貢献として、我々は承認投票を議論的な投票に一般化し、有権者が候補者よりもデファシブルな選好を表現できるようにする。 投票者の結束を一般化し,JR,PJR,EJRの表現公理を正当化する。 理論的貢献として、いくつかの重要な結果が得られます。 まず、MVArgは承認投票(MV)によるマルチウィンナー投票よりも厳格に表現力がある。 第二に、結束と正当表現の概念は、MVにおけるそれらの対の保守的な一般化である。 第3に、JRのMVArg対応はいつでも満足できるが、PJR・EJR対応は必ずしも満足できない。 第4に、勝者集合がJRのMVArgに満足するかどうかを検証することは、既にcoNPハードであるにもかかわらず、そのような勝者集合は多項式時間で構築することができる。 定義、命題、補助補題、定理はすべてLean 4で形式化され、機械的にチェックされています。

関連論文リスト

• Algorithms for Structured Elections under Thiele Voting Rules [50.74668888214481]
  我々は、ティーレ投票規則の下での承認ベース委員会選挙における勝者決定問題の計算複雑性について検討する。 まず、各候補者を承認する有権者の集合に基づいて最適解の構造を分析する。 ここでは、VI 上のすべてのティーレ則が FPT であり、問題が一般のインスタンス上でNP-hard であるパラメータであることを示す。
  論文  参考訳（メタデータ） (2026-07-30T17:37:14Z)
• Strengthening Proportionality in Temporal Voting [19.55552582336426]
  承認投票による時間投票の枠組みにおける比例表現について検討する。 我々は,JR,PJR,EJRのより強力な変種について検討し,より要求の高い多元公理の時相適応を導入する。 我々は,EJR+とFJRの2つの公理が,いずれの選挙においても満足できるまま,EJRを強化していることを示す。
  論文  参考訳（メタデータ） (2025-05-28T16:02:52Z)
• Drawing a Map of Elections [53.92343633736932]
  選挙の地図は、選挙のデータセット、選挙間の類似性を測定する方法、および2Dユークリッド空間における選挙の表現の3つの主要な要素で構成されている。 様々な基準に従って地図上で選挙を彩色することは、多くの実験の結果を分析するのにどう役立つかを示す。
  論文  参考訳（メタデータ） (2025-04-04T11:44:56Z)
• Full Proportional Justified Representation [6.62942789921787]
  マルチウィンター投票では、有権者の承認投票を比例代表する委員会を形成することが不可欠である。 正当性表現(JR)の概念は、いかなる大きな「結束的な」有権者集団も比例的に「代表」すべきだと要求する。 FPJR(Full Proportional Justified Representation)と呼ばれる組み合わせ(C2)-(R1)について検討する。
  論文  参考訳（メタデータ） (2025-01-21T10:13:28Z)
• Optimal bounds for dissatisfaction in perpetual voting [84.02572742131521]
  我々は、投票者が何回も不満を抱いていないことを保証し、永遠の投票方法を考える。 我々は、不満のサブ線形成長が可能な有権者行動に関する十分な条件を特定する。 本稿では,専門家の助言による予測から得られた標準手法に基づいて,紛争条件下での不満をサブ線形に保証する投票手法を提案する。
  論文  参考訳（メタデータ） (2024-12-20T19:58:55Z)
• Improving the Computational Efficiency of Adaptive Audits of IRV Elections [54.427049258408424]
  AWAIREは、任意の数の候補でIRVコンテストを監査できるが、当初の実装では、候補数とともに指数関数的に増加するメモリと計算コストが増大していた。 本稿では,従来の6候補と比較して,55候補のIRVコンテストを実際に実施する3つの方法で,AWAIREのアルゴリズム実装を改善した。
  論文  参考訳（メタデータ） (2024-07-23T13:28:00Z)
• Proportional Aggregation of Preferences for Sequential Decision Making [11.729565632882725]
  投票者の選好を適度に決定する問題について検討する。 各ラウンドにおいて、決定ルールは、各投票者が承認した選択肢のどれかを報告する一連の選択肢から決定を選ばなければならない。 3つの魅力的な投票規則がこのスタイルの公理を満たすことを示す。
  論文  参考訳（メタデータ） (2023-06-26T17:10:10Z)
• Learning to Elect [7.893831644671976]
  投票システムには、推薦システム、ウェブ検索、製品デザイン、選挙など幅広いアプリケーションがある。 本研究では,セットトランスフォーマーや完全連結グラフネットワーク,DeepSetsといったセットインプットニューラルネットワークアーキテクチャが,理論的にも経験的にも投票ルールの学習に適していることを示す。
  論文  参考訳（メタデータ） (2021-08-05T17:55:46Z)
• Bribery as a Measure of Candidate Success: Complexity Results for Approval-Based Multiwinner Rules [58.8640284079665]
  有権者が承認投票(すなわち、承認した候補者の集合)を投じた場合のマルチウィナー選挙における贈収賄の問題を研究する。 我々は、いくつかの承認ベースのマルチウィナールール(AV、SAV、GAV、RAV、承認ベースのチェンバリン--Courant、およびPAV)を検討します。 一般に、我々の問題は、勝利した委員会の候補者の承認数を増やすための贈収賄行為を制限した場合、より容易になる傾向がある。
  論文  参考訳（メタデータ） (2021-04-19T08:26:40Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。