[논문 리뷰] Discrete Decreasing Minimization, Part I: Base-polyhedra with Applications in Network Optimization

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

Complexity and Algorithms in Graphs참고 문헌 46인용 수 8

한 줄 요약

이 논문은 M-볼록 집합 위에서 이산 감소 최소화를 위한 통합 프레임워크를 제안하며, 기본다면체의 감소적으로 최소(minimal)한 원소(dec-min elements)를 특성화하고, 이들이 매트로이드 기저다면체의 이동을 통해 유도된 특수한 M-볼록 집합을 이룬다는 것을 증명한다. 이는 하위모듈러 함수 최소화를 이용한 강력 다항식 시간 알고리즘을 수립하고, 제곱합 최소화를 위한 min-max 공식을 유도하며, 네트워크 흐름, 그래프 방향화, 자원 할당 문제 등에 적용 가능하다.

ABSTRACT

Borradaile et al. (2017) investigated orientations of an undirected graph in which the sequence of in-degrees of the nodes is lexicographically minimal, which we call decreasingly minimal (=dec-min). They proved that an orientation is dec-min if and only if there is no dipath from $s$ to $t$ with in-degrees $\varrho (t) \geq \varrho (s)+2$. They conjectured that an analogous statement holds for strongly connected dec-min orientations, as well. We prove not only this conjecture but its extension to $k$-edge-connected orientations, as well. We also provide a solution to a discrete version of Megiddo's lexicographically optimal (fractional) network flow problem (1974, 1977). Our main goal is to integrate these cases into a single framework. Namely, we characterize dec-min elements of an M-convex set (which is nothing but the set of integral points of an integral base-polyhedron), and prove that the set of dec-min elements is a special M-convex set arising from a matroid base-polyhedron by translation. The topic of our investigations may be interpreted as a discrete counter-part of the work by Fujishige (1980) on the (unique) lexicographically optimal base of a base-polyhedron. We also exhibit a canonical chain (and partition) associated with a base-polyhedron. We also show that dec-min elements of an M-convex set are exactly those which minimize the square-sum of components, and describe a new min-max formula for the minimum square-sum. Our approach gives rise to a strongly polynomial algorithm for computing a dec-min element, as well as the canonical chain. The algorithm relies on a submodular function minimizer oracle in the general case, which can, however, be replaced by more efficient classic flow- and matroid algorithms in the relevant special cases.

연구 동기 및 목표

• 기본다면체의 정수점인 M-볼록 집합의 감소적으로 최소한 원소(dec-min elements)를 특성화하기 위해.
• dec-min 원소의 집합이 매트로이드 기저다면체의 이동을 통해 유도된 특수한 M-볼록 집합을 이룬다는 것을 증명하기 위해.
• 하위모듈러 함수 최소화 오рак루를 사용하여 dec-min 원소를 계산하는 강력 다항식 시간 알고리즘을 제공하기 위해.
• 결정된, k-에지연결 및 진입도 제약이 있는 그래프 방향화, 그리고 초그래프 방향화로 결과를 확장하기 위해.
• 메지도의 렉시코그래픽 네트워크 흐름 문제의 이산형을 해결하고, 레빈-온의 이동된 매트로이드 최적화를 일반화하기 위해.

제안 방법

• 기본다면체의 구조에서 유도된 표준 체인과 분할을 사용하여 M-볼록 집합의 dec-min 원소를 특성화한다.
• dec-min 원소가 구성 요소의 제곱합을 최소화하며, 최소 제곱합을 위한 min-max 공식을 유도한다.
• 뉴턴-딘켈바흐 알고리즘을 사용하여 하위모듈러 함수 값의 비율을 최대화하여 필수 값 시퀀스의 효율적 계산을 가능하게 한다.
• 방향화 보조정리를 적용하여, 교차 초모듈러 함수를 커버하는 진입도 벡터가 M-볼록 집합을 이룬다는 것을 보여준다.
• 하위모듈러 함수 최소화 오라클을 활용하며, 특수한 경우에는 더 빠른 플로우 및 매트로이드 기반 알고리즘으로 대체 가능하다.
• 결정된, k-에지연결 및 (k,ℓ)-에지연결 방향화, 그리고 진입도 제약이 있는 방향화로 결과를 확장한다.

실험 결과

연구 질문

• RQ1 M-볼록 집합 내 감소적으로 최소한 원소의 집합은 무엇으로 특성화되며, 체계적으로 어떻게 식별할 수 있는가?
• RQ2 기본다면체와 관련된 표준 체인과 분할은 어떻게 계산할 수 있으며, 그 구조적 의미는 무엇인가?
• RQ3 dec-min 원소와 정수 벡터의 구성 요소 제곱합 최소화 사이의 관계는 무엇인가?
• RQ4 이 프레임워크는 k-에지연결 및 진입도 제약이 있는 그래프 방향화로 확장될 수 있으며, 필요한 및 충분한 조건은 무엇인가?
• RQ5 이산 감소 최소화 프레임워크는 연속 렉시코그래픽 최적화와 네트워크 흐름 및 매트로이드 이론의 기존 결과와 어떻게 관련되어 있는가?

주요 결과

• M-볼록 집합의 dec-min 원소 집합은 자체적으로 M-볼록 집합이며, 구체적으로 매트로이드 기저다면체의 이동으로 유도된 집합이다.
• dec-min 원소는 구성 요소의 제곱합을 최소화하며, 최소 제곱합을 위한 min-max 공식이 도출된다.
• 하위모듈러 함수 최소화 오라클에 의존하는 강력 다항식 시간 알고리즘을 개발하여 dec-min 원소를 계산할 수 있다.
• k-에지연결 및 진입도 제약이 있는 방향화의 경우, dec-min 방향화가 존재하는 것은, 어떤 두 정점 s와 t에 대해 ϱ(t) ≥ ϱ(s)+2, ϱ(t) > f(t), ϱ(s) < g(s), 그리고 k+1개의 서로소 st-방향 간선 경로가 존재하지 않는 것과 동치이다.
• 초그래프의 k-에지연결 및 진입도 제약이 있는 방향화의 진입도 벡터는 M-볼록 집합을 이룬다. 이는 이 설정에서 dec-min 최적화를 가능하게 한다.
• 이 프레임워크는 이전의 반합성, 네트워크 흐름 및 매트로이드 최적화 결과를 일반화하고 확장하며, 메지도의 렉시코그래픽 흐름 문제의 이산형을 포함한다.