[논문 리뷰] Lifting of Multicuts

Bjoern Andres|arXiv (Cornell University)|2015. 03. 12.

Advanced Graph Theory Research참고 문헌 4인용 수 10

한 줄 요약

이 논문은 그래프 $G = (V, E)$ 에서의 멀티컷을 $E \triangleq E'$ 를 만족하는 슈퍼그래프 $G' = (V, E')$ 로 확장하는 리프팅 절차를 제안한다. 이 과정에서 분할과 멀티컷 사이의 일대일 대응 관계를 유지한다. 주요 기여는 리프팅된 멀티컷들의 볼록결합이 $ℝ^{E'}$ 에서 전체 차원을 가진 다면체임을 증명하고, 그의 자명한 면들을 특성화하는 것이다.

ABSTRACT

For every simple, undirected graph $G = (V, E)$, a one-to-one relation exists between the decompositions and the multicuts of $G$. A decomposition of $G$ is a partition $\Pi$ of $V$ such that, for every $U \in \Pi$, the subgraph of $G$ induced by $U$ is connected. A multicut of $G$ is an $M \subseteq E$ such that, for every (chordless) cycle $C \subseteq E$ of $G$, $|M \cap C| eq 1$. The multicut related to a decomposition is the set of edges that straddle distinct components. The characteristic function $x \in \{0, 1\}^E$ of a multicut $M = x^{-1}(1)$ of $G$ makes explicit, for every pair $\{v,w\} \in E$ of neighboring nodes, whether $v$ and $w$ are in distinct components. In order to make explicit also for non-neighboring nodes, specifically, for all $\{v,w\} \in E'$ with $E \subseteq E' \subseteq {V \choose 2}$, whether $v$ and $w$ are in distinct components, we define a lifting of the multicuts of $G$ to multicuts of $G' = (V, E')$. We show that, if $G$ is connected, the convex hull of the characteristic functions of those multicuts of $G'$ that are lifted from $G$ is an $|E'|$-dimensional polytope in $\mathbb{R}^{E'}$. We establish properties of trivial facets of this polytope.

연구 동기 및 목표

• 기본 그래프에서 더 큰 간선 집합으로 멀티컷을 체계적으로 확장할 수 있는 공식적인 리프팅 메커니즘을 수립함으로써, 구조적 및 조합적 성질을 유지하는 것.
• 확장된 간선 공간에서 리프팅된 멀티컷들의 볼록결합의 기하학적 구조를 분석하는 것.
• 리프팅된 멀티컷 다면체의 자명한 면들을 특성화하는 것.
• 기존 그래프에서의 분할과 멀티컷 사이의 일대일 대응 관계를 더 넓은 간선 집합으로 확장하는 것.

제안 방법

• 기본 그래프 $G = (V, E)$ 에서의 멀티컷 특성 함수를 $E \subseteq E'$ 를 만족하는 $G' = (V, E')$ 로 확장하는 리프팅 연산을 정의한다. 이때, 간선 소속 관계가 $E$ 뿐만 아니라 $E'$ 의 모든 노드 쌍에 대해 명시적으로 표현되도록 한다.
• 각 멀티컷을 $x \in \{0,1\}^E$ 의 $0$-$1$ 벡터로 표현하고, 연결성 제약 조건을 사용하여 $E'$ 의 모든 쌍에 대해 컴포넌트 소속 관계를 결정함으로써, 이 표현을 $x \in \{0,1\}^{E'}$ 로 확장한다.
• 리프팅된 멀티컷들의 볼록결합을 $ℝ^{E'}$ 에서 구성하고, $G$ 가 연결되어 있을 경우 이 다면체가 전체 차원을 가짐을 증명한다.
• 리프팅된 멀티컷 표현의 본질적 구조적 제약 조건에서 기인하는 자명한 면들을 식별하고 특성화한다.
• 리프팅된 멀티컷이 $G'$ 에서도 멀티컷 성질을 유지하기 위해, 고리가 없는 사이클 조건 $|M \cap C| \neq 1$ 을 활용한다.
• 기본 그래프 $G$ 에서의 분할과 멀티컷 사이의 일대일 대응 관계를 활용하여, 리프팅된 객체가 $G'$ 에서도 유효하고 서로 다를 것을 보장한다.

실험 결과

연구 질문

• RQ1 기본 그래프 $G$ 의 멀티컷을 어떻게 체계적으로 더 큰 간선 집합 $E'$ 로 확장할 수 있으며, 이 과정에서 조합적 및 기하학적 성질을 유지할 수 있는가?
• RQ2 리프팅된 멀티컷들의 볼록결합이 $ℝ^{E'}$ 에서 차원과 기하학적 구조는 어떻게 되는가?
• RQ3 리프팅된 멀티컷 다면체의 어떤 면들이 자명한가? 그리고 이들은 대수적·조합적으로 어떻게 특성화할 수 있는가?
• RQ4 리프팅 연산이 $G'$ 로 확장되었을 때, 분할과 멀티컷 사이의 일대일 대응 관계를 유지하는가?
• RQ5 리프팅된 멀티컷들의 볼록결합이 $ℝ^{E'}$ 에서 전체 차원을 가진 다면체가 되는 조건은 무엇인가?

주요 결과

• 기본 그래프 $G$ 가 연결되어 있을 경우, 리프팅된 멀티컷들의 특성 함수의 볼록결합은 $ℝ^{E'}$ 에서 전체 차원을 가진 다면체를 이룬다.
• 리프팅 과정은 분할과 멀티컷 사이의 일대일 대응 관계를 유지하며, 이는 $E'$ 의 모든 노드 쌍으로까지 확장된다.
• 리프팅된 다면체의 자명한 면들이 식별되고 특성화되었으며, 이는 리프팅 표현의 본질적 제약 조건에서 기인한다.
• 리프팅된 멀티컷은 $G'$ 에서도 멀티컷 성질을 유지한다. 즉, $G'$ 의 모든 고리가 없는 사이클 $C$ 에 대해 $|M \cap C| \neq 1$ 이다.
• 다면체의 구조는 리프팅된 멀티컷 표현에 의해 완전히 결정되며, 기본 그래프의 분할 구조에서 유도된 제약 조건 외에는 추가 제약 조건이 없다.
• 리프팅 연산은 $E$ 에 속한 간선 뿐만 아니라 $E'$ 의 모든 쌍 $\{v,w\}$ 에 대해 컴포넌트 소속 관계가 일관되게 표현됨을 보장한다.