[논문 리뷰] Exact interval solutions to the discrete Bellman equation and polynomial complexity of problems in interval idempotent linear algebra

Grigori Litvinov, Andreĭ Sobolevskiĭ|ArXiv.org|2001. 01. 05.

Numerical Methods and Algorithms참고 문헌 6인용 수 17

한 줄 요약

이 논문은 아이디포텐트 및 양의 반군에서 이산 벨만 방정식 $X = \mathbf{A}X \oplus \mathbf{B}$에 대한 정확한 간격 해를 제시하며, 대수적 해 $\mathbf{A}^*\mathbf{B}$가 모든 통합 해를 포함하는 닫힌 간격을 생성함을 보여준다. 이 해는 행렬 닫힘 알고리즘을 사용하여 다항 시간 내에 계산 가능하며, 전통적인 간격 분석의 NP-난이도와 대조된다.

ABSTRACT

In this note we construct a solution of a matrix interval linear equation of the form X=AX+B (the discrete stationary Bellman equation) over partially ordered semirings, including the semiring of nonnegative real numbers and all idempotent semirings. We discuss also the computational complexity of problems in interval idempotent linear algebra. In the traditional Interval Analysis problems of this kind are generally NP-hard. In the note we consider matrix equations over positive semirings; in this case the computational complexity of the problem is polynomial. Idempotent and other positive semirings arise naturally in optimization problems. Many of these problems turn out to be linear over appropriate idempotent semirings. In this case, the system of equations X=AX+B appears to be a natural analog of a usual linear system in the traditional linear algebra over fields. B. A. Carre showed that many of the well-known algorithms of discrete optimization are analogous to standard algorithms of the traditional computational linear algebra.

연구 동기 및 목표

• 아이디포텐트 및 양의 반군의 맥락에서 이산 벨만 방정식에 대한 정확한 간격 해를 개발하는 것.
• 이 프레임워크 내에서 간격 선형 대수 문제의 계산 복잡도를 분석하고, 전통적인 간격 분석의 NP-난이도와 대비하는 것.
• 아이디포텐트 반군에서의 행렬 닫힘 연산이 다항 시간 내에 해결 가능한 문제를 유도함을 확립하는 것.
• 대수적 해 $\mathbf{A}^*\mathbf{B}$가 모든 가능한 해를 둘러싸는 날것 있는 간격을 형성함을 증명하는 것.

제안 방법

• 논문은 양의 반군 $S$의 약한 간격 확장 $I(S)$를 사용하며, 하한과 상한을 통해 간격 연산을 정의한다.
• 에스칼레이터 방법과 유사한 재귀적 알고리즘을 통해 항등식 $A^* = A^*A \oplus E$에 의해 행렬 닫힘 $A^*$를 정의한다.
• 방정식 $X = \mathbf{A}X \oplus \mathbf{B}$의 해는 $\mathbf{A}^*$를 간격 행렬 닫힘으로 삼아 $\mathbf{A}^*\mathbf{B}$로 구성된다.
• 해의 간격 범위를 계산하기 위해 하한 행렬 $L(\mathbf{A})$와 상한 행렬 $U(\mathbf{A})$를 사용한다.
• $I(\mathrm{Mat}_{nn}(S))$와 $\mathrm{Mat}_{nn}(I(S))$ 사이의 동형사상은 간격 행렬 연산의 일관성을 보장한다.
• 행렬 곱셈과 닫힘 연산이 부분 순서를 유지함을 활용하여 다항 시간 계산이 가능함을 증명한다.

실험 결과

연구 질문

• RQ1 아이디포텐트 반군에서 이산 벨만 방정식에 대해 정확한 간격 해를 구성할 수 있는가?
• RQ2 이 프레임워크 내에서 간격 선형 대수 문제의 계산 복잡도는 다항 시간인지, 전통적인 간격 분석의 NP-난이도와 대비되는가?
• RQ3 대수적 해 $\mathbf{A}^*\mathbf{B}$는 모든 가능한 해를 포함하는 날것 있는 간격을 생성하는가?
• RQ4 어떤 조건에서 간격 $[L(\mathbf{A}^*\mathbf{B}), U(\mathbf{A}^*\mathbf{B})]$가 전체 해 집합 $\Sigma(\mathbf{A}, \mathbf{B})$와 일치하는가?

주요 결과

• 대수적 해 $\mathbf{A}^*\mathbf{B}$는 $X = \mathbf{A}X \oplus \mathbf{B}$의 모든 통합 해를 포함하는 정확한 간격 해이다.
• 해의 간격 $[L(\mathbf{A}^*\mathbf{B}), U(\mathbf{A}^*\mathbf{B})]$의 범위는 각각 $X = \underline{\mathbf{A}}X \oplus \underline{\mathbf{B}}$와 $X = \overline{\mathbf{A}}X \oplus \overline{\mathbf{B}}$의 점 방정식의 해이다.
• 행렬 닫힘 알고리즘을 통해 $\mathbf{A}^*$를 계산하는 데 소요되는 시간은 행렬 크기 $n$에 대해 다항식이다.
• 아이디포텐트 반군에서는 자연스러운 연산 조건 하에서 해의 간격이 날것 있다: $[L(\mathbf{A}^*\mathbf{B}), U(\mathbf{A}^*\mathbf{B})] = \Sigma(\mathbf{A}, \mathbf{B})$.
• 이 프레임워크에서 간격 선형 방정식을 푸는 문제는 전통적인 간격 분석와는 달리 NP-난이도가 아니다.