[논문 리뷰] Tropical optimization problems

Nikolai Krivulin|arXiv (Cornell University)|2014. 08. 01.

Polynomial and algebraic computation참고 문헌 41인용 수 11

한 줄 요약

이 논문은 아이디포텐트 반체 위에서 비선형 목표 함수와 선형 제약 조건을 포함하는 새로운 및 기존의 열대 최적화 문제에 대한 직접적이고 폐형 해를 제시한다. 이는 열대 행렬 대수학과 스펙트럼 이론을 활용하여 해를 압축된 벡터 형태로 완전히 유도함으로써 기존 방법을 확장한 것으로, 주요 결과로는 최적 값에 대한 명시적 표현과 일반 해 집합의 표현을 포함한다.

ABSTRACT

We consider optimization problems that are formulated and solved in the framework of tropical mathematics. The problems consist in minimizing or maximizing functionals defined on vectors of finite-dimensional semimodules over idempotent semifields, and may involve constraints in the form of linear equations and inequalities. The objective function can be either a linear function or nonlinear function calculated by means of multiplicative conjugate transposition of vectors. We start with an overview of known tropical optimization problems and solution methods. Then, we formulate certain new problems and present direct solutions to the problems in a closed compact vector form suitable for further analysis and applications. For many problems, the results obtained are complete solutions.

연구 동기 및 목표

• 아이디포텐트 반체에서 비선형 목표 함수와 선형 제약 조건을 포함하는 열대 최적화 문제를 다루는 것.
• 기존의 해법을 확장하여 새로운 문제와 기존 문제에 대해 완전하고 폐형의 벡터 형태 해를 제공하는 것.
• 체비셰프 근사와 곱의 켤레 전치 연산을 포함하는 문제들의 해법 기법을 통합하고 일반화하는 것.
• 최적 해가 존재하고 행렬 스펙트럼 반경과 제약 조건 행렬에 따라 완전히 특성화될 수 있는 조건을 설정하는 것.
• 분석적으로 다룰 수 있는 해를 통해 스케줄링, 위치 분석, 이산 사건 시스템 등 실용적 응용을 지원하는 것.

제안 방법

• 최대-합 또는 최소-합 연산을 갖는 반체 위에서 열대(아이디포텐트) 대수를 사용하여 최적화 문제를 모델링하는 것.
• 다양한 문제에서 최적 값이 지배하는 스펙트럼 반경을 결정하기 위해 행렬의 스펙트럼 이론을 적용하는 것.
• 비선형 목표 함수를 대수적 조작에 적합한 형태로 표현하기 위해 곱의 켤레 전치 연산자를 활용하는 것.
• 해 집합을 표현하기 위해 스타-폐쇄 연산자(A*)와 역 척도화(θ⁻¹A)를 사용하여 일반 해를 도출하는 것.
• 불등식을 이용한 행렬과 벡터의 제약 조건을 설정하고, 선형 프로그래밍 기법의 열대 버전을 사용하여 이를 해결하는 것.
• 행렬의 트레이스와 경로 기반 표현을 결합하여 사이클 가중치와 경로 합의 형태로 최적 값을 유도하는 것.

실험 결과

연구 질문

• RQ1 비선형 목표 함수와 선형 제약 조건을 포함하는 열대 최적화 문제는 어떻게 폐형으로 해결할 수 있는가?
• RQ2 열대 대수학에서 완전한 해가 존재하기 위한 필수 및 필요조건은 무엇인가?
• RQ3 행렬의 스펙트럼 성질은 열대 최적화에서 최적 값에 어떻게 영향을 미치는가?
• RQ4 곱의 켤레 전치 연산자는 열대 환경에서 비선형 목표 함수를 어떻게 모델링하는 데 사용될 수 있는가?
• RQ5 행렬 불등식을 포함하는 제약 조건은 열대 행렬 대수학을 통해 어떻게 체계적으로 해결할 수 있는가?

주요 결과

• 문제 (15)의 최적 값은 μ = λ ⊕ ⨁ₘ₌₁ⁿ (q⁻Aᵐ⁻¹p)¹⁄⁽ᵐ⁺¹⁾ ⊕ c 로 주어지며, 여기서 λ는 A의 스펙트럼 반경이다.
• 문제 (16)의 최소값은 θ = ⨁ₖ₌₁ⁿ ⨁₀≤ᵢ₀₊⋯₊ᵢₖ≤ₙ₋ₖ tr¹⁄ᵏ(Bⁱ⁰(A Bⁱ¹⋯A Bⁱᵏ)(I⊕gh⁻C)) 로 주어지며, 일반 해는 (θ⁻¹A⊕B)*u 를 포함한다.
• 특수 케이스 (17)에서는 최적 값이 θ = λ ⊕ ⨁ₖ₌₁ⁿ⁻¹ ⨁₁≤ᵢ₁₊⋯₊ᵢₖ≤ₙ₋ₖ tr¹⁄ᵏ(A Bⁱ¹⋯A Bⁱᵏ) 로 단순화된다.
• 문제 (18)의 최적 값은 θ = λ ⊕ ⨁ₖ₌₁ⁿ (h⁻Aᵏg)¹⁄ᵏ 로 주어지며, 해 집합은 (θ⁻¹A)*u 이다. 여기서 g ≤ u ≤ (h⁻(θ⁻¹A)*)⁻ 이다.
• 문제 (19)는 θ = λ ⊕ ⨁ₖ₌₁ⁿ⁻¹ ⨁₁≤ᵢ₁₊⋯₊ᵢₖ≤ₙ₋ₖ tr¹⁄ᵏ(A Bⁱ¹⋯A Bⁱᵏ) 를 유도하며, 해는 x = (θ⁻¹A⊕B)*u 이고, u ≥ θ⁻¹p⊕g 를 만족한다.
• 모든 해는 향후 실제 시스템에서의 분석과 응용에 적합한 압축되고 일반적인 벡터 형태로 표현된다.