計算論的社会選択競技会COMPSOCにおける投票規則の公理の充足可能性の検証アルゴリズムの提案

抄録

集団意思決定において全員の選好を満たす結論を導くことは困難である．そこで，現実世界では，投票などの集計手法を用いることが多い．投票などの集計手法は，社会選択理論（Social Choice Theory）で広く研究されている．我々は，どのような投票手法がよりよい集団意思決定を実現できるかについて，様々な投票ルールを集め，様々な観点から評価することで競い合わせ，より良い投票規則を見出すために国際競技会COMPSOC(Computational Social Choice Competition)を2023年より開始している．これまでのCOMPSOCでは，投票ルールの評価は社会厚生（Social Welfare）に基づいていた．本稿では，投票ルールの評価手法として，社会的選択理論で標準的な公理（axiom）に基づく評価を提案する．特に既存の投票ルール（Borda、Copeland、Simpsonなど）の公理の充足可能性を評価するアルゴリズムを提案し，その効果を示す．