[논문 리뷰] The Complexity of the Sigma Chromatic Number of Cubic Graphs

Ali Dehghan, Mohammad‐Reza Sadeghi외 1명|arXiv (Cornell University)|2014. 03. 25.

Graph Labeling and Dimension Problems참고 문헌 14인용 수 6

한 줄 요약

이 논문은 삼차 그래프에서 시그마 색수 σ(G)의 계산 복잡도를 규명하며, 3-정규 그래프에서 σ(G) = 2인지 여부를 판단하는 것이 NP-완전임을 증명한다. 또한 임의의 k ≥ 3에 대해 σ(G) = k인지 여부를 판단하는 것도 NP-완전이며, σ = 2인 평면 3-정규 그래프에서 집합 크기를 최소화하는 것은 NP-난해함을 보여준다.

ABSTRACT

The sigma chromatic number of a graph G, denoted by σ(G), is the minimum number k that the vertices can be partitioned into k disjoint sets V1,...,Vk such that for every two adjacent vertices u and v there is an index i that u and v have different numbers of neighbors in Vi. We show that, it is NP-complete to decide for a given 3-regular graph G, whether σ(G) = 2. Also, we prove that for every k ≥ 3, it is NP-complete to decide whether σ(G) = k for a given graph G. Furthermore, for planar 3-regular graphs with σ = 2, we show that the problem of minimizing the size of a set is NP-hard.

연구 동기 및 목표

• 삼차 그래프에서 시그마 색수 σ(G)를 결정하는 데 있어 계산 복잡도를 조사하는 것.
• 3-정규 그래프에서 σ(G) = 2인지 여부를 판단하는 것이 NP-완전한지 확인하는 것.
• 일반 그래프에서 임의의 k ≥ 3에 대해 σ(G) = k인지 여부를 판단하는 데 있어 복잡도를 분석하는 것.
• σ(G) = 2일 때 평면 3-정규 그래프에서 집합의 크기를 최소화하는 데 있어 곤란함을 분석하는 것.

제안 방법

• 3-정규 그래프에서 σ(G) = 2인지 여부를 판단하는 데 있어 NP-완전성을 입증하기 위해 기존의 알려진 NP-완전 문제로의 축소를 수행하는 것.
• k ≥ 3에 대해 σ(G) = k인 경우의 난이도를 입증하기 위해 그래프 가족의 구성과 분할 기법을 사용하는 것.
• 삼차 및 평면 3-정규 그래프의 구조적 성질을 활용하여 집합 분할 제약 조건을 분석하는 것.
• 복잡도 이론적 기법을 적용하여 평면 그래프에서 σ(G) = 2 조건 하에 집합 크기 최소화 문제의 NP-난해성을 증명하는 것.
• 시그마 색수를 공식적으로 정의하는 것: 각 정점이 인접한 정점의 수가 서로 다른 집합으로 분할될 수 있는 최소 k의 값으로 정의된다.
• 각 분할 집합 내에서 이웃 수에 기반한 인접성 제약 조건을 분석하여 시그마 색수 조건을 정의하는 것.

실험 결과

연구 질문

• RQ1 주어진 3-정규 그래프 G에 대해 시그마 색수 σ(G)가 2인지 여부를 판단하는 것은 NP-완전한가?
• RQ2 임의의 k ≥ 3에 대해 주어진 그래프 G에 대해 σ(G) = k인지 여부를 판단하는 것은 NP-완전한가?
• RQ3 σ(G) = 2인 평면 3-정규 그래프 G에서 분할 집합의 크기를 최소화하는 것은 NP-난해한가?
• RQ4 삼차 그래프의 어떤 구조적 성질이 σ(G)의 값을 영향을 미치는가?
• RQ5 특정 종류의 삼차 그래프에 대해 σ(G)를 계산하는 데 효율적인 알고리즘을 설계할 수 있는가?

주요 결과

• 3-정규 그래프에서 σ(G) = 2인지 여부를 판단하는 것은 NP-완전하다.
• 모든 k ≥ 3에 대해 일반 그래프에서 σ(G) = k인지 여부를 판단하는 것은 NP-완전하다.
• σ(G) = 2를 만족하는 분할에서 집합 크기를 최소화하는 것은 평면 3-정규 그래프에서 NP-난해하다.
• 시그마 색수 문제의 계산 복잡도는 평면성 및 차수 제약 조건 하에서도 여전히 높다.
• 문제의 복잡도는 여러 매개변수 영역에서 유지되어 정확한 계산이 본질적으로 어렵다는 것을 시사한다.
• 결과적으로 삼차 및 평면 삼차 그래프와 같은 구조화된 그래프 클래스에서도 σ(G)를 계산하는 것은 비가역적임을 보여준다.