無限領域における投票手法の合成理論

arXiv cs.MA ・ 2026-08-09

原題: Voting Method Synthesis on an Infinite Domain: A Possibility Theorem for Positive Involvement

AI による要約

投票手法の合成問題に対し、制約付きホーン節と多面体計算に基づくアプローチで無限領域（任意の有限投票者数）における投票手法を合成。SMTとLeanを用いて性質を検証し、コンドルセ勝者・敗者基準や肯定的関与、解決可能性に関する可能性定理を示す。

この要約は当サイトの AI が生成したものです。正確な内容は元記事（arXiv cs.MA）をご確認ください。