[논문 리뷰] Minimizing the Weighted Number of Tardy Jobs Is W[1]-Hard

Klaus Heeger, Danny Hermelin|arXiv (Cornell University)|2024. 01. 01.

Scheduling and Optimization Algorithms인용 수 1

한 줄 요약

이 논문은 단일 기계에서 퇴행 작업의 가중 수를 최소화하는 1 || ΣwjUj 스케줄링 문제의 W[1]-경우를, 서로 다른 처리 시간의 수(p#) 또는 서로 다른 가중치의 수(w#)로 매개변수화할 때, W[1]-경우임을 증명한다. 이 결과는 매개변수 복잡도 이론에서 오랫동안 열려 있던 문제를 해결하며, FPT = W[1]가 성립하지 않는 한 이러한 매개변수에 대해 고정 매개변수 가능 알고리즘이 존재하지 않음을 보여주고, 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).

연구 동기 및 목표

• p# 및 w#에 대해 1 || ΣwjUj 문제의 매개변수 복잡도 상태를 규명하기 위해.
• p# 또는 w#이 상수일 경우 다항식 시간 내에서 해법이 존재한다는 이전 연구에서 남겨진 격차를 메우기 위해.
• p# 또는 w#로 매개변수화된 알고리즘에 대해 Exponential Time Hypothesis(ETH) 기반의 거의 날것 같은 하한을 설정하기 위해.
• 값의 수에 따른 가역성과 비가역성의 경계를 '서로 다른 값의 수' 매개변수의 맥락에서 명확히 하기 위해.

제안 방법

• p# 및 w#에 대해 W[1]-경우성을 보이기 위해 Multicolored Clique 문제로의 축소를 수행한다.
• 작업별 처리 시간, 가중치 및 마감일을 사용하여 Multicolored Clique에서 1 || ΣwjUj로의 다항식 시간 다대일 축소를 구축한다.
• k-분할 그래프의 정점과 간선을 나타내는 작업을 포함하는 기반 장치 기반 구성법을 설계하여 클리크 존재 여부를 스케줄링 가능성으로 인코딩한다.
• ETH 기반 하한을 강화하기 위해 Partitioned Subgraph Isomorphism에서 수정된 축소를 사용한다.
• 그래프의 구조를 처리 시간과 마감일에 인코딩하기 위해 큰 정수 상수(N, F, G 등)를 활용한다.
• 하한의 날것을 높이기 위해 Multicolored Clique가 아닌 Partitioned Subgraph Isomorphism로의 축소를 표준 기법으로 적용한다.

실험 결과

연구 질문

• RQ1 p#로 매개변수화할 때 1 || ΣwjUj는 W[1]-경우인가?
• RQ2 w#로 매개변수화할 때 1 || ΣwjUj는 W[1]-경우인가?
• RQ3 ETH 하에서, 이전 연구에서 제시한 O(np#+1 lg n) 및 O(nw#+1 lg n) 알고리즘을 no(√p#) 또는 no(√w#) 시간 이내로 향상시킬 수 있는가?
• RQ4 p# 또는 w#로 매개변수화한 1 || ΣwjUj에 대해 현재의 하한과 상한 사이에 격차가 존재하는가?
• RQ5 p# 또는 w#로 매개변수화할 때 1 || ΣwjUj는 어떤 t ≥ 1에 대해 W[t]에 포함되는가?

주요 결과

• 1 || ΣwjUj 문제는 p# 및 w#에 대해 W[1]-경우이며, 이는 이전 연구에서 남겨진 열린 문제를 해결한다.
• FPT = W[1]가 성립하지 않는 한, p# 또는 w#에 대해 고정 매개변수 가능이 아니다.
• 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)로 더욱 날것처럼 조정할 수 있다.
• d#, p#, w#에 대해 1 || ΣwjUj의 매개변수 복잡도 그림을 완성한다.