[논문 리뷰] Enumerating Vertices of $0/1$-Polyhedra associated with $0/1$-Totally Unimodular Matrices

Khaled Elbassioni, Kazuhisa Makino|arXiv (Cornell University)|2017. 07. 12.

Advanced Graph Theory Research참고 문헌 24인용 수 2

한 줄 요약

이 논문은 0/1-완전단조형 행렬로 정의된 0/1-다면체의 꼭짓점을 순차적으로 다항시간에 열거하는 알고리즘을 제시한다. 페어먼의 완전단조형 행렬 분해 이론을 활용하고, 꼭짓점 열거를 완전단조형 초그래프에서 최소 전이집합 계산으로 환원함으로써, 이러한 꼭짓점 열거 문제가 순차적 다항시간 내에 해결 가능하다는 것을 입증하며, 다면체 조합론 분야에서 오랫동안 미해결이었던 문제를 해결한다.

ABSTRACT

We give an incremental polynomial time algorithm for enumerating the vertices of any polyhedron $\mathcal{P}(A,\mathbf{1})=\{x\in\RR^n \mid Ax\geq \b1,~x\geq \b0\}$, when $A$ is a totally unimodular matrix. Our algorithm is based on decomposing the hypergraph transversal problem for unimodular hypergraphs using Seymour's decomposition of totally unimodular matrices, and may be of independent interest.

연구 동기 및 목표

• 0/1-완전단조형 행렬로 정의된 0/1-다면체의 꼭짓점 열거 문제의 복잡도를 해결하기 위해.
• 이러한 다면체에 대해 꼭짓점 열거 문제가 순차적 다항시간 내에 해결 가능하다는 것을 입증하기 위해.
• 행렬 분해를 통한 다면체 조합론과 완전단조형 초그래프에서 최소 전이집합 계산 간의 갭을 메우기 위해.
• 특수 케이스(예: 이분 그래프, 간격 초그래프 등)에 대한 기존 결과를 0/1-완전단조형 행렬의 일반 케이스로 확장하기 위해.

제안 방법

• 완전단조형 행렬에 대한 세이모어의 분해 정리를 활용하여, 0/1-네트워크 행렬을 포함한 기본 빌딩 블록들로 행렬을 분해한다.
• 꼭짓점 열거 문제를 행렬의 행 구조로부터 유도된 완전단조형 초그래프의 모든 최소 전이집합을 계산하는 것으로 환원한다.
• 행렬과 초그래프의 구조적 특성에 기반하여 초그래프를 더 작은 부분문제로 분할하는 재귀적 분해 전략을 사용한다.
• 초그래프의 구조(예: 전체 초간선의 존재, 분리된 정점 집합 등)를 기반으로 한 케이스 분석을 통해 재귀적 분해를 이끌어낸다.
• 분해된 구성 요소에서 전이집합 열거를 다항시간 서브루틴을 사용해 순차적으로 수행한다.
• 전이집합 크기와 재귀적 분해 깊이에 대한 귀납적 경계를 통해 알고리즘의 정당성과 순차적 다항시간 복잡도를 증명한다.

실험 결과

연구 질문

• RQ1 0/1-완전단조형 행렬로 정의된 0/1-다면체의 꼭짓점 열거 문제는 순차적 다항시간 내에 해결 가능한가?
• RQ2 완전단조형 행렬의 구조를 활용하여 꼭짓점 열거 문제를 초그래프에서 최소 전이집합 계산으로 환원할 수 있는가?
• RQ3 완전단조형 초그래프의 전이집합 문제는 순차적 다항시간 해법을 갖는가?
• RQ4 완전단조형 행렬의 분해를 해당 초그래프 전이집합 문제에 대응하여 확장할 수 있는가?
• RQ5 정의 행렬이 완전단조형일 경우 0/1-다면체의 꼭짓점 열거 문제의 계산 복잡도는 얼마인가?

주요 결과

• 0/1-완전단조형 행렬 A로 정의된 임의의 0/1-다면체 P(A, 1¯)의 꼭짓점은 순차적 다항시간 내에 열거할 수 있다.
• 문제는 A의 행에 대응하는 초간선을 갖는 완전단조형 초그래프 H[A]의 모든 최소 전이집합을 계산하는 것으로 환원된다.
• 세이모어의 완전단조형 행렬 분해에서 유도된 구조적 특성을 활용한 재귀적 초그래프 분해를 통해 순차적 다항시간 복잡도가 달성된다.
• 전체 초간선과 분리된 정점 집합의 존재 여부를 포함한 초그래프의 구조적 특성에 기반한 케이스 분석을 통해 모든 경우를 처리한다.
• 전이집합 계산의 총 작업량은 입력 크기와 출력 크기의 다항식 범위 내에서 유 bounds된다.
• 이 결과는 이 클래스의 다면체에 대해 꼭짓점 열거 문제가 NP-난이도가 아니라는 것을 시사하며, 일반적인 무한정 케이스와 대조된다.