[논문 리뷰] On Symbolic Ultrametrics, Cotree Representations, and Cograph Edge Decompositions and Partitions

Marc Hellmuth, Nicolas Wieseke|arXiv (Cornell University)|2015. 01. 16.

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

한 줄 요약

이 논문은 임의의 그래프 G의 간선과 비간선을 구분하는 기호 초초등거리가 존재하는 것은 G가 코그래프일 때이고 그때에만 성립하며, 코그래프는 고유한 코트리(코트리)로 표현 가능하다는 것을 입증한다. 또한 비코그래프인 G를 표현하기 위해 필요한 최소한의 코트리 수(또는 코그래프 k-분해/분할)를 결정하는 것은 k=2일 때 NP-완전임을 증명하고, 일반적인 k에 대해 상한을 유도한다.

ABSTRACT

Symbolic ultrametrics define edge-colored complete graphs K_n and yield a simple tree representation of K_n. We discuss, under which conditions this idea can be generalized to find a symbolic ultrametric that, in addition, distinguishes between edges and non-edges of arbitrary graphs G=(V,E) and thus, yielding a simple tree representation of G. We prove that such a symbolic ultrametric can only be defined for G if and only if G is a so-called cograph. A cograph is uniquely determined by a so-called cotree. As not all graphs are cographs, we ask, furthermore, what is the minimum number of cotrees needed to represent the topology of G. The latter problem is equivalent to find an optimal cograph edge k-decomposition {E_1,...,E_k} of E so that each subgraph (V,E_i) of G is a cograph. An upper bound for the integer k is derived and it is shown that determining whether a graph has a cograph 2-decomposition, resp., 2-partition is NP-complete.

연구 동기 및 목표

• 임의의 무방향 그래프 G가 간선과 비간선을 구분하는 기호 초초등거리를 통해 표현될 수 있는 조건을 규명하는 것.
• 그러한 기호 초초등거리 표현을 허용하는 그래프의 집합을 특성화하는 것.
• 비코그래프 그래프를 표현하기 위해 필요한 최소한의 코트리(또는 코그래프 k-분해/분할) 수를 조사하는 것.
• 그래프가 코그래프 2-분해 또는 2-분할을 갖는지를 판단하는 문제의 계산 복잡도를 확립하는 것.
• 임의의 그래프 G를 분해하거나 분할하기 위해 필요한 최소한의 코그래프 부분그래프 수 k에 대한 상한을 도출하는 것.

제안 방법

• 대칭성, 초초등거리 유사 조건, 교차하지 않는 조건을 만족하는 기호 초초등거리 δ: V×V → M∪{⊙}를 정의하여 트리 표현 가능성을 보장한다.
• G에 대해 간선과 비간선을 구분하는 기호 초초등거리가 존재하는 것은 G가 코그래프일 때에만 성립함을 증명하며, 이는 유도된 P₄의 부재를 핵심 특성으로 사용한다.
• 코그래프의 고유한 코트리 표현을 활용하여 간선 색상이 칠해진 부분그래프의 계층적 구조를 모델링한다.
• NAE 3-SAT 문제에서 코그래프 2-분해 문제로의 감소를 구성하며, 문장과 리터럴 기반 가드를 사용하여 진리값 할당을 인코딩한다.
• 레마 4.3을 적용하여 각 문장 기반 가드에서 정확히 두 개의 삼각형(리터럴을 나타냄)이 한 간선 집합에 할당되고, 나머지 하나는 다른 집합에 할당되도록 보장함으로써 타당한 진리값 할당을 확보한다.
• 타당한 코그래프 2-분해(또는 2-분할)가 존재할 경우 NAE 3-SAT 공식의 타당한 진리값 할당이 존재함을 보여줌으로써 NP-완전성을 입증한다.

실험 결과

연구 질문

• RQ1 어떤 그래프 G에 대해 간선과 비간선을 구분하는 기호 초초등거리를 갖는 트리 표현이 존재하는가?
• RQ2 비코그래프 그래프의 구조를 표현하기 위해 필요한 최소한의 코트리(또는 코그래프 부분그래프) 수는 얼마인가?
• RQ3 그래프가 코그래프 2-분해 또는 2-분할을 갖는지를 판단하는 문제는 계산적으로 다룰 수 있는가?
• RQ4 임의의 그래프에 대해 코그래프 k-분해의 최소 k에 대한 상한은 어떻게 도출할 수 있는가?
• RQ5 NAE 3-SAT에서의 감소 과정에서의 유도된 P₄ 및 문장 기반 가드의 구조는 코그래프 k-분해의 가능성과 어떻게 관련되는가?

주요 결과

• 기호 초초등거리가 간선과 비간선을 구분하는 것은 G가 코그래프일 때에만 존재한다.
• 코그래프는 고유한 코트리 표현을 가지며, 따라서 기호 트리 표현이 가능하다.
• 그래프가 코그래프 2-분해를 갖는지를 판단하는 문제는 NP-완전하다.
• 그래프가 코그래프 2-분할을 갖는지를 판단하는 문제는 NP-완전하다.
• 임의의 그래프 G에 대해 코그래프 k-분해의 최소 k에 대한 상한은 존재하지만, 정확한 값은 계산하기가 NP-난이도이다.
• 코그래프 k-분해, 코그래프 k-분할, 코트리 k-표현 간의 동치성은 k>1일 때 세 최적화 문제 모두가 NP-난이도임을 시사한다.