[論文レビュー] Collective Schedules: Scheduling Meets Computational Social Choice

Fanny Pascual, Krzysztof Rzaḑca+1 more|arXiv (Cornell University)|Mar 20, 2018

Game Theory and Voting Systems参考文献 21被引用数 3

ひとこと要約

本稿は、スケジューリング理論と計算的社会選択を統合することで、作業時間と社会的好みの両方をバランスさせる公共計画問題に対処する「集団的スケジュール」の概念を導入する。位置スコアルール、ケメンィ規則、コンドルセ原理といった社会選択の根幹的ツールを、作業時間の要因を考慮する形で拡張し、それらの拡張が計算的に実行可能でかつ公平なスケジューリング解をもたらすことを示している。特に、PTA-コンドルセに基づく手法は、現実的インスタンスにおいて優れたスケーラビリティとほぼ最適な性能を示している。

ABSTRACT

When scheduling public works or events in a shared facility one needs to accommodate preferences of a population. We formalize this problem by introducing the notion of a collective schedule. We show how to extend fundamental tools from social choice theory---positional scoring rules, the Kemeny rule and the Condorcet principle---to collective scheduling. We study the computational complexity of finding collective schedules. We also experimentally demonstrate that optimal collective schedules can be found for instances with realistic sizes.

研究の動機と目的

• 公共スケジューリングの問題を、作業時間と社会的好みをバランスさせる集団的意思決定プロセスとして形式化すること。
• 位置スコアルール、ケメンィ規則、コンドルセ原理といった社会選択理論の基本的ツールを、スケジューリングにおける作業時間の要因を組み込む形で拡張すること。
• これらの拡張モデル下での集団スケジューリングの計算複雑性を分析すること。
• 現実的サイズのインスタンスを用いた実験的評価を通じて、提案されたスケジューリングメカニズムの公平性と最適性を評価すること。
• 集団スケジューリングにおける効率性、公平性、民主的原則への準拠の間のトレードオフを特定すること。

提案手法

• 作業を順序付け、社会的コスト（各エージェントの遅延の和または最大値）を最小化するようにスケジューリングする集団的スケジューリングの形式的モデルを提示する。
• 作業時間に基づいてスコアを重み付けすることで、位置スコアルールを拡張し、長時間の作業が最終順位に大きな影響を与えるようにする。
• ペアワイズ比較におけるスワップ距離を用いるケメンィ規則を、作業時間もコスト関数に組み込む形で適応する。
• コンドルセ原理を一般化し、作業時間の要因を考慮する。PTA-コンドルセ条件を定義：大多数が作業AをBより前に好む場合、Aが短ければ、時間差が正当化されない限りAをBより前にスケジューリングすべきである。
• PTA-コンドルセに基づくスケジューリングメカニズムを開発。多数派の好む順序に違反するかどうかをチェックし、短時間で支持度の高い作業を優先することで、社会的影響を低減する。
• 合成的および現実的インスタンスを用いた実験的評価により、コストベースとPTA-コンドルセに基づく手法の遅延、公平性（ジニ指数）、民主的原則への準拠の観点での性能を比較する。

実験結果

リサーチクエスチョン

• RQ1 古典的社會選択メカニズムは、集団スケジューリングにおける作業時間の要因をどのように意味的に拡張できるか？
• RQ2 作業時間の要因を考慮した場合、最適な集団スケジュールを求める計算複雑性はいかほどか？
• RQ3 合計遅延、最大遅延、またはPTA-コンドルセ整合性に基づく異なるスケジューリングメカニズムは、公平性と最適性の観点でどのように比較できるか？
• RQ4 PTA-コンドルセに基づく手法は、計算的スケーラビリティを保ちながら、公平性と効率性をどの程度維持できるか？
• RQ5 コンドルセ原理への準拠と、合計遅延や最大遅延といった集団コスト関数の最適化の間に、どのようなトレードオフが存在するか？

主な発見

• PTA-コンドルセに基づくスケジューリングメカニズムは、最適スケジュールと比較して合計遅延（Σ-T）で平均3%、最大遅延（max-T）で24%の劣化にとどまり、これらの基準を明示的に最適化していないにもかかわらず優れた性能を示している。
• Σ-Tメカニズムは、最大遅延を最小化するmax-Tと比較して、平均ジニ指数が小さいことから、より公平なスケジュールを生み出している。
• max-T目的は、最悪ケースに該当しないエージェントに顕著に影響を与え、Σ-Tよりも高いジニ指数を示すなど、社会的不平等を増大させる。
• Σ-Tおよびmax-Tスケジュールでは、PTA-コンドルセパラドックス（多数派の好みが最終スケジュールで違反する）が頻発しており、それぞれ比率为1.0および1.1であり、多数派の公平性への準拠が不十分であることを示している。
• コストベースのスケジューリング手法（例：Σ-T、max-T）は中規模インスタンスでのみ実行可能であるのに対し、PTA-コンドルセに基づく手法は大規模インスタンスに対しても効果的にスケーリング可能であり、実用的応用性に優れていることが示唆される。
• 本研究では明確な計算的境界を同定した：作業に単位時間でない長さがある場合、問題はNP困難にまで拡張され、標準的な投票モデルに加えてスケジューリングの追加の複雑性が生じることを示している。