[論文レビュー] Minimizing the Weighted Number of Tardy Jobs Is W[1]-Hard

Klaus Heeger, Danny Hermelin|arXiv (Cornell University)|Jan 1, 2024

Scheduling and Optimization Algorithms被引用数 1

ひとこと要約

この論文は、1 || ΣwjUj スケジューリング問題—単一マシン上の遅延ジョブの重み付き数を最小化する問題—が、異なる処理時間の数（p#）または異なる重みの数（w#）をパrameterとしてパrameterizedした場合に、W[1]-hardであることを証明している。この結果は、パrameterized複雑性における長年の未解決問題を解決し、FPT = W[1] でない限り、これらのパrameterに対して固定パrameter可 tractable（FPT）なアルゴリズムが存在しないことを示しており、ETHに基づくほぼタイトな下界も提供している。

ABSTRACT

We consider the $1||\sum w_J U_j$ problem, the problem of minimizing the weighted number of tardy jobs on a single machine. This problem is one of the most basic and fundamental problems in scheduling theory, with several different applications both in theory and practice. We prove that $1||\sum w_J U_j$ is W[1]-hard with respect to the number $p_{\#}$ of different processing times in the input, as well as with respect to the number $w_{\#}$ of different weights in the input. This, along with previous work, provides a complete picture for $1||\sum w_J U_j$ from the perspective of parameterized complexity, as well as almost tight complexity bounds for the problem under the Exponential Time Hypothesis (ETH).

研究の動機と目的

• 1 || ΣwjUj 問題の p# および w# に関するパrameterized複雑性の状態を解明すること。
• p# または w# が定数のときの多項式時間解法が示された先行研究が残したギャップを埋めること。
• p# または w# をパrameterとするアルゴリズムに対して、Exponential Time Hypothesis (ETH) に基づくほぼタイトな下界を確立すること。
• 「異なる値の数」パrameterの文脈における tractable と intractable なケースの境界を明確にすること。

提案手法

• Multicolored Clique 問題からの還元により、p# および w# に関する W[1]-hardness を示す。
• ジョブ固有の処理時間、重み、締切日を用いて、Multicolored Clique から 1 || ΣwjUj への多対一多項式時間還元を構築する。
• k部グラフにおける頂点と辺を表すジョブを用いたガジェットベースの構成を行い、clique の存在をスケジューリングの可能性に符号化する。
• ETHに基づく下界を強化するために、Partitioned Subgraph Isomorphism からの修正還元を用いる。
• グラフ構造を処理時間と締切日に符号化するために、大きな整数定数（例：N, F, G）を用いる。
• 下界のタイトネスを向上させるために、標準的なテクニックとして、Multicolored Clique の代わりに Partitioned Subgraph Isomorphism からの還元を採用する。

実験結果

リサーチクエスチョン

• RQ1 1 || ΣwjUj は、異なる処理時間の数（p#）をパrameterとして W[1]-hard か？
• RQ2 1 || ΣwjUj は、異なる重みの数（w#）をパrameterとして W[1]-hard か？
• RQ3 ETHのもとで、先行研究の O(np#+1 lg n) および O(nw#+1 lg n) アルゴリズムは、no(√p#) や no(√w#) 時間を超えて改善可能か？
• RQ4 1 || ΣwjUj が p# や w# をパrameterとする場合、現在の下界と上界の間にギャップはあるか？
• RQ5 1 || ΣwjUj は、p# や w# をパrameterとして W[t] に属するか、ある t ≥ 1 に対して？

主な発見

• 1 || ΣwjUj 問題は、p# および w# に関して W[1]-hard であり、先行研究が残した未解決問題を解決した。
• FPT = W[1] でない限り、1 || ΣwjUj は p# や w# に関して固定パrameter可 tractable ではない。
• Exponential Time Hypothesis (ETH) のもとでは、k = p# または k = w# に対して、1 || ΣwjUj を no(k / lg k) 時間で解くアルゴリズムは存在しない。
• ETHに基づく下界は、O(np#+1 lg n) および O(nw#+1 lg n) 時間で実行される既存の最良アルゴリズムとほぼタイトである。
• Partitioned Subgraph Isomorphism からの還元により、k = p# または w# に対して no(k / lg k) の下界を厳密化できた。
• 1 || ΣwjUj のパrameterized複雑性の全体像は、d#、p#、w# に関して完全に完成した。