[논문 리뷰] L-convexity on graph structures

Hiroshi Hirai|arXiv (Cornell University)|2016. 10. 08.

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

한 줄 요약

이 논문은 정렬된 모듈러 그래프 위의 L-볼록 함수와 모듈러 상반순서집합 위의 하위모듈러 함수를 도입하여 정수 격자 외부로 이산 볼록 분석을 일반화한다. Lovász 확장 프레임워크를 수립하고, 가장 급강하 알고리즘에 대한 날카로운 반복 횟수 경계를 증명하며, CAT(0) 공간과 유클리드 건물과의 연결을 통해 다중물류 흐름 및 다중방식 컷 문제에의 적용을 보인다.

ABSTRACT

In this paper, we study classes of discrete convex functions: submodular functions on modular semilattices and L-convex functions on oriented modular graphs. They were introduced by the author in complexity classification of minimum 0-extension problems. We clarify the relationship to other discrete convex functions, such as $k$-submodular functions, skew-bisubmodular functions, L$^ atural$-convex functions, tree submodular functions, and UJ-convex functions. We show that they are actually viewed as submodular/L-convex functions in our sense. We also prove a sharp iteration bound of the steepest descent algorithm for minimizing our L-convex functions. The underlying structures, modular semilattices and oriented modular graphs, have rich connections to projective and polar spaces, Euclidean building, and metric spaces of global nonpositive curvature (CAT(0) spaces). By utilizing these connections, we formulate an analogue of the Lovász extension, introduce well-behaved subclasses of submodular/L-convex functions, and show that these classes can be characterized by the convexity of the Lovász extension. We demonstrate applications of our theory to combinatorial optimization problems that include multicommodity flow, multiway cut, and related labeling problems: these problems have been outside the scope of discrete convex analysis so far.

연구 동기 및 목표

• 정수 격자 Z^n 이외의 그래프 이론적 구조, 예를 들어 정렬된 모듈러 그래프와 모듈러 상반순서집합으로 이산 볼록 분석을 확장하는 것.
• 이러한 그래프 구조 위에서 L-볼록 함수와 하위모듈러 함수를 위한 통합된 프레임워크를 수립하여, L♮-볼록성과 하위모듈러성의 일반화를 이루는 것.
• 이전에 이산 볼록 분석의 범위를 벗어났던 문제들, 예를 들어 다중물류 흐름 및 다중방식 컷 문제들이 이제 이 프레임워크 내에서 다룰 수 있음을 보여주는 것.
• 이러한 구조 위에서 L-볼록 함수에 대한 가장 급강하 알고리즘의 날카로운 반복 횟수 경계를 증명하는 것.
• L-볼록 함수의 Lovász 확장이 볼록임을 보여주며, 잘 정의된 부분 클래스에 대한 기하학적 특성화를 제공하는 것.

제안 방법

• 이산 중점 볼록성과 격자 이론적 연산을 이용하여 정렬된 모듈러 그래프 위의 L-볼록 함수와 모듈러 상반순서집합 위의 하위모듈러 함수를 정의한다.
• 나무의 바리센터릭 분할을 활용하여 그래프 구조를 유클리드 건물에 통합함으로써, 거리 볼록성과 CAT(0) 공간 이론의 적용을 가능하게 한다.
• 결과로 얻어진 거리 공간 위에서 L-볼록 함수의 Lovász 확장을 구성하고, 바리센터릭 분할의 성질을 이용하여 그 볼록성을 증명한다.
• Lovász 확장이 볼록임과 이산 중점 볼록성 조건이 동치임을 수립함으로써, 잘 정의된 부분 클래스를 특성화한다.
• L-볼록 함수의 최소화를 위해 가장 급강하 알고리즘(SDA)을 적용하며, 반복 횟수는 도메인의 l∞-지름에 의해 경계됨을 보인다.
• 사영 기하학 및 극좌표 공간, 비음성 곡률을 가진 거리 공간(CAT(0) 공간)와의 연결을 활용하여 구조적 및 알고리즘적 결과를 도출한다.

실험 결과

연구 질문

• RQ1 L-볼록 함수와 하위모듈러 함수는 Z^n 에서 정의된 것에서 정렬된 모듈러 그래프와 모듈러 상반순서집합과 같은 그래프 구조로 어떻게 일반화될 수 있는가?
• RQ2 CAT(0) 공간과 유클리드 건물은 그래프 위의 이산 함수에 대한 Lovász 확장의 볼록성을 특성화하는 데 어떤 역할을 하는가?
• RQ3 정렬된 모듈러 그래프 위에서 L-볼록 함수에 대한 가장 급강하 알고리즘이 날카로운 반복 횟수 경계를 달성할 수 있으며, 그 종속성은 도메인 기하학에 따라 어떻게 달라지는가?
• RQ4 기존의 이산 볼록 클래스들—예를 들어 k-하위모듈러 함수, 비대칭 이하위모듈러 함수, UJ-볼록 함수—는 이 일반화된 프레임워크에 얼마나 잘 맞는가?
• RQ5 이 이론은 이전에 이산 볼록 분석의 범위를 벗어났던 조합 최적화 문제, 예를 들어 다중물류 흐름 및 다중방식 컷 문제에 적용될 수 있는가?

주요 결과

• 정렬된 모듈러 그래프 위의 L-볼록 함수는 Z^n 위의 L♮-볼록성의 일반화인 이산 중점 볼록성 조건을 만족한다.
• 정렬된 모듈러 그래프 위의 L-볼록 함수의 Lovász 확장이 볼록임은 그 함수가 이산 중점 볼록성 조건을 만족할 때이고 그 때에만 성립한다.
• 이러한 그래프 위에서 L-볼록 함수를 최소화하기 위한 가장 급강하 알고리즘은 도메인의 l∞-지름 D에 대해 최대 O(D)회의 반복 내에 종료된다.
• 모듈러 상반순서집합 위의 하위모듈러 함수와 정렬된 모듈러 그래프 위의 L-볼록 함수는 기존의 클래스들—예를 들어 k-하위모듈러 함수 및 비대칭 이하위모듈러 함수—를 포함하고 있음이 입증된다.
• 이론은 SDA를 통해 정렬 가능한 모듈러 그래프 위에서 최소 0-확장 문제를 다항 시간 내에 해결 가능하게 한다.
• 다중물류 흐름 및 다중방식 컷 문제에 대한 적용은 그래프 구조 위에서 L-볼록 함수 최소화 프레임워크에 통합함으로써 수립된다.