[논문 리뷰] Discrete Decreasing Minimization, Part II: Views from Discrete Convex Analysis

András Frank, Kazuo Murota|arXiv (Cornell University)|2018. 08. 25.

Complexity and Algorithms in Graphs참고 문헌 33인용 수 10

한 줄 요약

이 논문은 이산 볼록 해석학(DCA)을 적용하여 정수 기저다각형에서의 이산 감소 최소화를 특성화하며, M-볼록 집합, 유량, 그리고 부분순서 유량에 걸쳐 통합적인 결과를 제공한다. 감소적으로 최소인 원소들이 매트로이드적 M-볼록 집합을 이룬다는 것을 증명하고, 최소노름점과 연결된 이산 및 연속 감소 최소화성의 유사성을 보여주는 유사도 정리를 수립한다.

ABSTRACT

We continue to consider the discrete decreasing minimization problem on an integral base-polyhedron treated in Part I. The problem is to find a lexicographically minimal integral vector in an integral base-polyhedron, where the components of a vector are arranged in a decreasing order. This study can be regarded as a discrete counter-part of the work by Fujishige (1980) on the lexicographically optimal base and the principal partition of a base-polyhedron in continuous variables. The objective of Part II is two-fold. The first is to offer structural views from discrete convex analysis (DCA) on the results of Part I obtained by the constructive and algorithmic approach. The second objective is to pave the way of DCA approach to discrete decreasing minimization on other discrete structures such as the intersection of M-convex sets, flows, and submodular flows. We derive the structural results in Part I from fundamental facts on M-convex sets and M-convex functions in DCA. A direct characterization is given to the canonical partition, which was constructed by an iterative procedure in Part I. This reveals the precise relationship between the canonical partition for the discrete case and the principal partition for the continuous case. Moreover, this result entails a proximity theorem, stating that every decreasingly minimal element is contained in the small box containing the (unique) fractional decreasingly minimal element (the minimum-norm point), leading further to a continuous relaxation algorithm for finding a decreasingly minimal element of an M-convex set. Thus the relationship between the continuous and discrete cases is completely clarified. Furthermore, we present DCA min-max formulas for network flows, the intersection of two M-convex sets, and submodular flows.

연구 동기 및 목표

• 제1부의 알고리즘적 접근을 보완하여, 이산 볼록 해석학(DCA)을 활용한 이산 감소 최소화에 대한 구조적 통찰을 제공한다.
• M-볼록 집합, 네트워크 유량, 부분순서 유량 등의 이산 구조들에 걸쳐 감소 최소성에 관한 결과들을 통합하고 일반화한다.
• 이산 캐논컬 파artition와 연속 주요 파artition 사이의 관계를 명확히 한다.
• 모든 감소적으로 최소인 원소가 최소노름점 주위의 단위 상자 내에 존재한다는 유사도 정리를 수립한다.
• DCA에서 Fenchel 유형 쌍대성에 기반하여 M-볼록 집합 및 관련 구조에서 분리 가능한 볼록 함수에 대한 최소-최대 공식을 유도한다.

제안 방법

• DCA에서 M-볼록 함수의 M-최적성 기준을 바탕으로 1-타이트닝 단계를 통해 감소 최소성의 특성화를 도출한다.
• DCA에서 Fenchel 유형 이산 쌍대성을 적용하여 최소-최대 공식을 도출하며, 구성 요소의 제곱합에 대해서도 적용한다.
• Fenchel 유형 쌍대성을 사용하여 감소적으로 최소인 원소들의 집합이 매트로이드적 M-볼록 집합임을 짧게 증명한다.
• 연속 사례에서의 주요 파artition를 이용하여 캐논컬 파artition의 새로운 특성화를 수립한다.
• 유사도 정리와 최소노름점을 기반으로 한 연속적 허용 알고리즘을 개발하며, 모든 감소적으로 최소인 원소가 최소노름점 주위의 단위 상자 내에 존재한다.
• DCA에서 쌍대 함수를 사용하여 M-볼록 집합, 네트워크 유량, 부분순서 유량의 교차에서 분리 가능한 볼록 함수에 대한 최소-최대 공식을 확장한다.

실험 결과

연구 질문

• RQ1 정수 기저다각형에서의 이산 감소 최소화는 이산 볼록 해석학(DCA)의 프레임워크를 통해 어떻게 재해석될 수 있는가?
• RQ2 이산 캐논컬 파artition와 연속 주요 파artition 사이의 정확한 관계는 무엇인가?
• RQ3 DCA를 사용하여 M-볼록 집합에서 감소적으로 최소인 원소들의 집합이 매트로이드적 M-볼록 집합으로 특성화될 수 있는가?
• RQ4 최소노름점은 감소적으로 최소인 원소를 근사하거나 허용할 때 어떤 역할을 하는가?
• RQ5 DCA에서 Fenchel 유형 이산 쌍대성은 M-볼록 집합 및 관련 구조에서 분리 가능한 볼록 함수에 대한 최소-최대 공식을 유도하는 데 어떻게 적용될 수 있는가?

주요 결과

• M-볼록 집합에서 감소적으로 최소인 원소들의 집합은 DCA에서 Fenchel 유형 이산 쌍대성을 통해 매트로이드적 M-볼록 집합임을 증명한다.
• 유사도 정리가 성립한다: 모든 감소적으로 최소인 원소는 유일한 분수 감소적으로 최소인 원소(최소노름점)를 중심으로 하는 단위 상자(작은 상자) 내에 존재한다.
• 이산 사례에서의 캐논컬 파artition는 연속 사례에서의 주요 파artition의 제한으로 완전히 특성화된다.
• 제곱합과 기타 분리 가능한 볼록 함수에 대한 최소-최대 공식은 DCA에서 Fenchel 유형 이산 쌍대성의 특수한 경우로 도출된다.
• 이 논문은 유사도 정리와 최소노름점을 기반으로 한 연속적 허용 알고리즘을 제공하여 감소적으로 최소인 원소를 찾는다.
• DCA에서 쌍대 함수를 사용하여 M-볼록 집합, 네트워크 유량, 부분순서 유량의 교차에서 분리 가능한 볼록 함수에 대한 최소-최대 공식을 확장한다.