[論文レビュー] Tight Lower Bounds on Envy-Free Makespan Approximation

Amos Fiat, Ariel Levavi|arXiv (Cornell University)|May 8, 2012

Optimization and Search Problems参考文献 7被引用数 4

ひとこと要約

この論文は、分割不能なジョブを伴う無作為なマシンのスケジューリングにおける、 envy-freeなマクスパン最小化の近似比に対して、Ω(log m)のタイトな下界を確立する。著者らは、任意の envy-freeな割り当てが最適値の log m 倍以上のマクスパンを持つ必要があるようなコスト行列を構築することで、いかなるメカニズムでも O(log m) よりも良い近似比を保証できないことを証明し、既知の上界と下界の差を埋めた。

ABSTRACT

In this work we give a tight lower bound on makespan approximations for envy-free allocation mechanism dedicated to scheduling tasks on unrelated machines. Specifically, we show that no mechanism exists that can guarantee an envy-free allocation of jobs to $m$ machines with a makespan of less than a factor of $O(\log m)$ of the minimal makespan. Combined with previous results, this paper definitively proves that the optimal algorithm for obtaining a minimal makespan for any envy-free division can at best approximate the makespan to a factor of $O(\log m)$.

研究の動機と目的

• 無作為なマシンスケジューリングにおける envy-free マクスパン近似の既知の上界と下界の差を埋めること。
• いかなるメカニズムでも、最適マクスパンの O(log m) 倍より良い envy-free 割り当てを達成できないことを証明すること。
• 先行研究で得られた O(log m) の上界が漸近的にタイトであることを確立すること。
• 特定のコスト行列に対して、すなわち局所的に効率的な envy-free 割り当てであっても、マクスパンが少なくとも Ω(log m) に達することを示すこと。
• 最適マクスパンが 1 であるが、いかなる envy-free 割り当ても少なくとも log m のマクスパンを必要とするようなコスト行列の構築を形式化すること。

提案手法

• n 個のジョブと m = n + l 台のマシンを持つコスト行列を構築する。ここで l = log n であり、c_{i,j} = 1（i ≤ n かつ j = i の場合）、c_{i,j} = 2^{i−n}（n < i ≤ n+l かつすべての j の場合）。
• 背理法によるマクスパンの下界の定義：局所的に効率的な割り当てでマクスパン < 2^l = log n であると仮定し、ジョブバンドルを高インデックスのマシンに再配置することで総コストを削減できることを示す。
• 調和数の近似を用いて、マシン 1 から n−1 に属するバンドルをマシン 2 から n に移動させた際のコスト削減量を評価する。
• マシンごとのジョブ数の上限を活用する：マシン i ≤ n には 2^{l+1} 個未満のジョブ、マシン n+1 から n+l には合計で 2^l 個未満のジョブが割り当てられる。
• 初期のマシン（低コスト）から後のマシン（高コスト）へジョブを移動させることによるコスト削減は、コスト増加に打ち消され、マクスパン ≥ log n でなければ矛盾が生じることを示す。
• 結論として、すべての envy-free 割り当てはマクスパン Ω(log m) を有する必要があり、これは既知の O(log m) 上界と一致する。

実験結果

リサーチクエスチョン

• RQ1 分割不能なジョブを伴う無作為なマシンスケジューリングにおいて、いかなるメカニズムでも、最適マクスパンの O(log m) 倍より良い envy-free 割り当てを保証できるか？
• RQ2 envy-free マクスパン近似の O(log m) 上界はタイトか、それより良い近似比が達成可能か？
• RQ3 どのようなコスト行列の構造的性質が、いかなる envy-free 割り当ても少なくとも Ω(log m) のマクスパンを有することを強いるか？
• RQ4 局所的に効率的な envy-free 割り当ての存在は、特定の難しいインスタンスにおいてマクスパンの下界を意味するか？
• RQ5 最適マクスパンが 1 であるようなコスト行列を構築可能か？ その場合、いかなる envy-free 割り当ても少なくとも Ω(log m) のマクスパンを有する。

主な発見

• この論文は、分割不能なジョブを伴う無作為なマシンスケジューリングにおける envy-free マクスパン最小化の近似比に対して、Ω(log m) のタイトな下界を確立する。
• いかなるメカニズムでも、最適マクスパンの O(log m) 倍より良い envy-free 割り当てを保証できない。これにより、O(log m) の上界が漸近的にタイトであることが証明される。
• 最適マクスパンが 1 である構築されたコスト行列に対して、いかなる envy-free 割り当ても少なくとも log n = log m のマクスパンを有する。これにより下界が確立される。
• 下界は局所的に効率的な envy-free 割り当てに対しても成立するため、割り当てプロセスの精錬に対しても堅牢である。
• 証明では、n 台を超えるマシンではコストが指数関数的に増加するようなコスト行列を用い、低コストマシンから高コストマシンへのバンドル移動を回避できないこと、かつ envy-freeness を破る可能性があることを示している。
• この結果により、既知の O(log m) 上界と最良の下界との差が完全に埋められ、envy-free マクスパンの最適近似比が O(log m) であることが明確に証明された。