[논문 리뷰] Explicit solution of a tropical optimization problem with application to project scheduling

Nikolai Krivulin|arXiv (Cornell University)|2013. 03. 21.

Polynomial and algebraic computation참고 문헌 26인용 수 6

한 줄 요약

이 논문은 아이디포텐트 세미필드에서 코너주드 전치를 통해 정의된 비선형 목표 함수를 포함하는 다차원 트로피컬 최적화 문제에 대한 명시적 해를 제시한다. 주요 기여는 날카운 하한과 행렬 대수를 이용해 유도된 간결한 벡터 형태의 해이며, 이는 선순서 및 시작 시점 제약 조건이 있는 제시간 프로젝트 스케줄링 문제를 해결하는 데 응용되어 최소 스파니트 노름을 갖는 최적 스케줄을 도출한다.

ABSTRACT

A new multidimensional optimization problem is considered in the tropical mathematics setting. The problem is to minimize a nonlinear function defined on a finite-dimensional semimodule over an idempotent semifield and given by a conjugate transposition operator. A special case of the problem, which arises in just-in-time scheduling, serves as a motivation for the study. To solve the general problem, we derive a sharp lower bound for the objective function and then find vectors that yield the bound. Under general conditions, an explicit solution is obtained in a compact vector form. This result is applied to provide new solutions for scheduling problems under consideration. To illustrate, numerical examples are also presented.

연구 동기 및 목표

• 아이디포텐트 세미필드에서 코너주드 전치를 포함하는 비선형 목표 함수를 갖는 트로피컬 최적화 문제에 대한 일반적 해 프레임워크를 개발하는 것.
• 완료 시간의 스파니트 노름을 최소화하는 것을 목표로 하는 제시간 제약 조건 하에서의 프로젝트 스케줄링 문제를 다루는 것.
• 이전 연구에서 고려되지 않은 추가적인 스타트-스타트 선순서 제약 조건을 포함하여 기존 해법을 확장하는 것.
• 이론적 분석과 실용적 구현에 모두 적합한 간결한 벡터 형태의 직접적 명시적 해를 제공하는 것.
• 수치 예제를 통해 실제 스케줄링 문제에 대한 해법의 적용을 보여주는 것.

제안 방법

• 선순서 제약 조건을 표현하기 위해 아이디포텐트 세미필드 내 선형 벡터 등식 및 부등식을 사용하여 문제를 재구성한다.
• 스파니트 노름으로 정의된 비선형 목표 함수를 코너주드 전치를 포함하는 벡터 형태로 표현한다.
• 세미필드의 성질과 행렬 역행렬을 이용해 목표 함수에 대한 날카운 하한을 유도한다.
• 하한을 달성하는 벡터를 식별함으로써, 캐리어 세미필드에 따라 표현된 명시적 해를 구성한다.
• 트로피컬 대수에서 선형 부등식을 푸는 이전 연구 결과를 활용하여 제약 조건이 있는 문제를 제약 조건이 없는 문제로 환원한다.
• 최종 해는 일반 조건 하에서 유효한 행렬 곱셈과 역연산을 포함하는 간결한 벡터 형태로 표현된다.

실험 결과

연구 질문

• RQ1 아이디포텐트 세미필드 환경에서 코너주드 전치를 포함하는 비선형 목표 함수를 갖는 일반적인 트로피컬 최적화 문제는 어떻게 명시적으로 해결할 수 있는가?
• RQ2 선형 제약 조건 하에서 스파니트 노름을 최소화하는 목표를 달성할 때 해의 구조는 어떻게 되는가?
• RQ3 분석적 취급 가능성의 손실 없이 트로피컬 프로젝트 스케줄링 문제에 추가적인 시작 시점 제약 조건을 어떻게 통합할 수 있는가?
• RQ4 간결하고 명시적인 벡터 형태의 해가 존재하기 위한 조건는 무엇인가?
• RQ5 기존의 간접적 또는 알고리즘 기반의 해법에 비해 제안된 방법은 스케줄링 문제 해결에 어떻게 향상되는가?

주요 결과

• 스파니트 노름의 최소값은 $\Delta = (\bm{C}\bm{D}^\ast(\mathbb{1}^T\bm{C}\bm{D}^\ast)^{-})^{-}\mathbb{1}$ 로 주어지며, 특정 클래스의 해에서 달성된다.
• 최적 해 벡터는 임의의 $\alpha > \mathbb{0}$ 에 대해 $\bm{x} = \alpha\bm{D}^\ast(\mathbb{1}^T\bm{C}\bm{D}^\ast)^{-}$ 와 $\bm{y} = \alpha\bm{C}\bm{D}^\ast(\mathbb{1}^T\bm{C}\bm{D}^\ast)^{-}$ 로 주어지며, 스케일 불변성이 나타난다.
• 스타트-스타트 제약 조건이 없는 특수한 경우, 최소 스파니트 노름은 $\Delta = 0$ 이며, 이는 동일한 완료 시간을 갖는 제시간 스케줄을 의미한다.
• 스타트-스타트 제약 조건이 포함된 경우, 스파니트 노름은 $\Delta = 2$ 로 증가하여 시간 제약 조건이 스케줄의 유연성에 미치는 영향을 반영한다.
• 이 해법은 등식 및 부등식 제약 조건을 모두 효과적으로 처리하며, 이전 방법이 반복적 또는 계산 기반 방법을 요구했던 데 비해 직접적인 분석적 해를 제공한다.
• 수치 예제는 방법의 효과성을 확인한다: $\bm{C}$ 와 $\bm{D}$ 가 주어지면 최적의 $\Delta = 2$ 가 $\bm{x} = \alpha(-4, -3, -5)^T$, $\bm{y} = \alpha(0, 0, -2)^T$ 에서 달성된다.