[논문 리뷰] The $b$-bibranching Problem: TDI System, Packing, and Discrete Convexity

Kenjiro Takazawa|arXiv (Cornell University)|2018. 02. 09.

Complexity and Algorithms in Graphs참고 문헌 9인용 수 4

한 줄 요약

이 논문은 방향그래프에서 bibranchings와 $b$-branchings의 일반화인 $b$-bibranching 문제를 제안하고, 전적으로 이중 정수선형계획과 $\mathrm{M}^\natural$-볼록 하위모듈러 흐름 공식을 통해 다항식 시간 내의 해법 가능성을 입증한다. 주요 기여는 서로소 $b$-bibranchings에 대한 최소-최대 포장 정리로, Edmonds의 서로소 branchings 정리의 일반화이자 $b$-bibranching 다면체의 정수 분해 성질을 증명하는 데 있다.

ABSTRACT

In this paper, we introduce the $b$-bibranching problem in digraphs, which is a common generalization of the bibranching and $b$-branching problems. The bibranching problem, introduced by Schrijver (1982), is a common generalization of the branching and bipartite edge cover problems. Previous results on bibranchings include polynomial algorithms, a linear programming formulation with total dual integrality, a packing theorem, and an M-convex submodular flow formulation. The $b$-branching problem, recently introduced by Kakimura, Kamiyama, and Takazawa (2018), is a generalization of the branching problem admitting higher indegree, i.e., each vertex $v$ can have indegree at most $b(v)$. For $b$-branchings, a combinatorial algorithm, a linear programming formulation with total dual integrality, and a packing theorem for branchings are extended. A main contribution of this paper is to extend those previous results on bibranchings and $b$-branchings to $b$-bibranchings. That is, we present a linear programming formulation with total dual integrality, a packing theorem, and an M-convex submodular flow formulation for $b$-bibranchings. In particular, the linear program and M-convex submodular flow formulations respectively imply polynomial algorithms for finding a shortest $b$-bibranching.

연구 동기 및 목표

• bibranchings와 $b$-branchings에 관한 기존 결과를 통합하고 공통의 프레임워크로 확장하기.
• 가장 짧은 $b$-bibranching 문제에 대한 총 이중 정수선형계획 공식을 수립하기.
• 서로소 $b$-bibranchings의 포장에 대한 최소-최대 정리를 증명하여 Edmonds의 서로소 branchings 정리를 일반화하기.
• $b$-bibranching 다면체의 정수 분해 성질을 입증하기.
• 가장 짧은 $b$-bibranching 문제에 대한 $\mathrm{M}^\natural$-볼록 하위모듈러 흐름 공식을 개발하기.

제안 방법

• Schrijver의 bibranchings에 대한 총 이중 정수성 증명을 일반화된 이중 변수 구성으로 확장하여 $b$-bibranching 설정에 적용한다.
• 초모듈러 색칠 정리를 적용하여 서로소 $b$-bibranchings의 포장 정리를 증명하며, 일반화된 다면체의 성질을 활용한다.
• bibranchings의 교환 성질을 확장하여 $b$-branchings의 교환 성질을 유도하고, $b$-branchings의 포장 정리를 활용한다.
• 최단 $b$-branching 함수의 이산 볼록성 증명과 선형계획 공식에서의 Benders 분해를 이용하여 $\mathrm{M}^\natural$-볼록 하위모듈러 흐름 공식을 유도한다.
• 정점 부분집합 $S$와 $T$ 위에서 정의된 두 개의 $\mathrm{M}^\natural$-볼록 함수 $g_S$와 $g_T$를 정의하여, 차수 제약 조건 하에서 최소 무게 $b$-branching과 $b$-코브랜칭을 나타낸다.
• 최단 $b$-bibranching 문제를 유량 변수의 범위와 경계 흐름의 도메인 제약 조건이 있는 $\mathrm{M}^\natural$-볼록 하위모듈러 흐름 문제로 환원한다.

실험 결과

연구 질문

• RQ1 bibranching 선형계획의 총 이중 정수성은 $b$-bibranching 문제로 확장될 수 있는가?
• RQ2 서로소 $b$-bibranchings에 대한 최소-최대 포장 정리가 Edmonds의 서로소 branchings 정리를 일반화하는가?
• RQ3 $\mathrm{M}^\natural$-볼록 하위모듈러 흐름 공식이 bibranchings에서 $b$-bibranchings로 확장될 수 있는가?
• RQ4 $b$-bibranching 다면체는 정수 분해 성질을 갖는가?
• RQ5 이산 볼록성을 어떻게 활용하여 최단 $b$-bibranching 문제에 대한 조합적 알고리즘을 설계할 수 있는가?

주요 결과

• 최단 $b$-bibranching 문제에 대한 선형계획 공식이 총 이중 정수성을 갖는 것으로 입증되어, 타원체 방법을 통해 다항식 시간 내의 해법 가능성을 보장한다.
• 서로소 $b$-bibranchings의 포장에 대한 최소-최대 정리가 확립되어, bibranching과 $b$-branching의 포장 정리를 모두 일반화한다.
• $b$-bibranching 다면체가 정수 분해 성질을 갖는 것으로 증명되어, 다면체 조합론에서 중요한 구조적 결과를 제공한다.
• 최단 $b$-bibranching 문제에 대한 $\mathrm{M}^\natural$-볼록 하위모듈러 흐름 공식이 도출되어, 조합적 다항식 시간 알고리즘을 가능하게 한다.
• 교환 성질을 통해 최단 $b$-branching 함수의 이산 볼록성이 입증되어, 기존의 최단 branchings의 이산 볼록성 결과를 확장한다.
• $\mathrm{M}^\natural$-볼록 하위모듈러 흐름 공식은 정점 부분집합 위에서 정의된 $\mathrm{M}^\natural$-볼록 함수 $g_S$와 $g_T$를 통해 구성되며, 목표 함수는 간의 가중치와 경계 흐름의 함수값을 조합한다.