[논문 리뷰] Solution of a bilevel optimistic scheduling problem on parallel machines

Quentin Schau, Olivier Ploton외 4명|arXiv (Cornell University)|2026. 03. 05.

Optimization and Variational Analysis인용 수 0

한 줄 요약

이 논문은 두 속도를 가진 균일 병렬 기계에서의 이중 수준 낙관적 일정 문제를 연구하여 강한 NP-난해성 입증하고 MIP, 열 생성이 포함된 분기 한정 알고리즘, 동적 프로그래밍 접근을 제안한다.

ABSTRACT

We consider the uniform parallel machines scheduling problem in the context of optimistic bilevel optimization, where two speed options are considered. In this scenario, the leader aims to minimize the weighted number of tardy jobs, while the follower seeks to minimize the total completion time on a set of uniform machines. This problem has practical applications in Industry 4.0. We show that this problem is NP-hard in the strong sense by providing a reduction from the Numerical 3-Dimensional Matching problem and we provide a moderately exponential-time dynamic programming algorithm. The problem is solved by means of a concise MIP formulation and a branch-and-bound algorithm that embeds a column generation approach for the lower bound computation. Computational experiments are presented for instances with up to 80 jobs and 4 machines while larger problems are out of reach for the proposed approaches.

연구 동기 및 목표

• 두 속성을 가진 균일 병렬 기계에서의 이중 수준 낙관적 일정 문제의 복잡성 및 구조를 이해한다.
• 해석 가능한 인스턴스에 대해 EXACT 해법 방법(MIP, 열 생성이 포함된 분기-제한) 및 동적 프로그래밍 접근법을 개발한다.
• 문제의 난이도를 명확히 하기 위한 복잡성 증명과 실용적인 인스턴스 규모에 대한 알고리즘 전략을 제시한다.
• 정비 결정(기계 속도)이 팔로워 스케줄링과 어떻게 상호 작용하여 지각 및 전체 완료 시간을 최소화하는지에 대한 통찰을 제공한다.

제안 방법

• 리더가 일부 작업을 선택하고 팔로워가 두 속도에서 총 완료 시간을 최소화하는 이중 수준 문제를 형식화한다.
• 팔로워 문제는 블록 구조를 통해 최적화 가능하며 특정 처리 시간 가정하에 두 속도에서 O(n log n) 해법으로 연결된다.
• 이중 수준 문제를 포착하기 위한 O(N(n+m)) 변수와 O(N^2 + Nm^2) 제약 조건을 갖는 간결한 혼합 정수 계획(MIP) 모델을 개발한다.
• 팔로워 문제에 대한 강한 하한을 계산하기 위해 열 생성 기법을 포함하는 분기-한정 알고리즘을 내장하여 팔로워 문제를 해결한다.
• 기계 수 m이 고정될 때 이중 수준 문제를 다루기 위해 블록 구조에 기초한 중간 수준의 지수 시간 동적 프로그래밍 알고리즘을 제안한다.
• NUM-3DM로부터의 환원 이용하여 이중 수준 형식화의 강한 NP-난해성을 확립하고 강한 의미에서의 NP-난해성을 보인다.

실험 결과

연구 질문

• RQ1 균일 병렬 기계에서의 이중 수준 낙관적 일정 문제가 (두 속도와 함께) 강한 NP-난해한가?
• RQ2 문제를 간축된 MIP 형식과 열 생성 기반의 하한을 위한 분기-한정 방법으로 정확히 해결할 수 있는가?
• RQ3 팔로워 문제의 계산 가능성은 어떠하며, 동적 프로그래밍이 두 속도 블록 구조를 활용할 수 있는가?
• RQ4 인스턴스 크기(작업 수, 기계 수)에 따라 문제의 규모 확장은 어떻게 되며, 정확한 해법의 실용적 한계는 무엇인가?

주요 결과

• 두 속도를 가진 이중 수준 낙관적 일정 문제는 강한 NP-난해성이다.
• Numerical 3-Dimensional Matching으로부터의 다항 시간 환원을 통해 이중 수준 형식의 난해성을 증명한다.
• 팔로워 문제는 두 속도에서 O(n log n) 시간에 풀 수 있으며, 임의의 처리 시간일 때 일반적으로는 여전히 NP-난해하다.
• 다항적으로 많은 변수/제약 조건을 갖는 간결한 MIP 형식이 이중 수준 문제를 모델링한다.
• 열 생성 하한을 갖춘 분기-한정 알고리즘은 최대 80작업, 4대의 기계까지의 인스턴스 해결에 크게 도움을 주지만 더 큰 인스턴스는 여전히 도전적이다.
• 최적 스케줄의 블록 구조를 이용하여 기계 수가 고정된 경우를 위한 중간 정도의 지수 시간 동적 프로그래밍 접근법을 제안한다.