[논문 리뷰] Injective Edge Chromatic Index of a Graph

Domingos M. Cardoso, Jorge Orestes Cerdeira외 2명|arXiv (Cornell University)|2015. 10. 09.

Advanced Graph Theory Research참고 문헌 8인용 수 5

한 줄 요약

이 논문은 연속된 간선(세 개로 이루어진 경로 또는 사이클)의 첫 번째와 세 번째 간선이 서로 다른 색상을 가져야 하는 '단사 간선 색칠'의 개념을 제안한다. 여러 그래프 계열에 대해 단사 간선 색칠 지수의 정확한 값을 도출하고, 경계를 유도하며, 이 지수를 결정하는 것이 NP-완전임을 증명하여 계산 복잡성과 패킷 라디오 네트워크에서의 2차 간섭을 모델링하는 데의 실용적 관련성을 강조한다.

ABSTRACT

Three edges $e_{1}, e_{2}$ and $e_{3}$ in a graph $G$ are consecutive if they form a path (in this order) or a cycle of length three. An injective edge coloring of a graph $G = (V,E)$ is a coloring $c$ of the edges of $G$ such that if $e_{1}, e_{2}$ and $e_{3}$ are consecutive edges in $G$, then $c(e_{1}) eq c(e_3)$. The injective edge coloring number $χ_{i}^{'}(G)$ is the minimum number of colors permitted in such a coloring. In this paper, exact values of $χ_{i}^{'}(G)$ for several classes of graphs are obtained, upper and lower bounds for $χ_{i}^{'}(G)$ are introduced and it is proven that checking whether $χ_{i}^{'}(G)= k$ is NP-complete.

연구 동기 및 목표

• 단사 간선 색칠을 체계화하고 연구하는 것 — 이는 연속된 간선(e1,e2,e3)이 c(e1) ≠ c(e3)를 만족해야 하는 새로운 간선 색칠의 변종이다.
• 경로, 사이클, 완전 그래프, 페테르센 그래프와 같은 특정 그래프 가족에 대해 단사 간선 색칠 지수 χ′_i(G)를 결정하는 것.
• 일반적인 그래프에서 χ′_i(G)에 대한 상한과 하한 경계를 설정하는 것.
• 주어진 k에 대해 χ′_i(G) = k인지 여부를 판단하는 문제의 계산 복잡성을 분석하는 것.
• 단사 간선 색칠이 패킷 라디오 네트워크(PRNs)에서 2차 간섭을 모델링하고 완화하는 데 적용 가능한지 보여주는 것.

제안 방법

• 세 개의 연속된 간선 e1,e2,e3에 대해 c(e1) ≠ c(e3)를 만족하는 색칠 c:E(G)→C를 단사 간선 색칠로 정의한다.
• 구조적 그래프 분석을 통해 경로 Pn, 사이클 Cn, 완전 이분 그래프 Kp,q, 페테르센 그래프에 대한 χ′_i(G)의 정확한 값을 도출한다.
• χ′_i(G) = ω′(G)를 만족하는 ω′EIC-그래프의 개념을 도입하고, 예시를 제시한다.
• 최대 차수 Δ(G)=3인 간선 색칠 문제에서 단사 간선 색칠로의 축소를 통해 NP-완전성을 증명한다. 이를 위해 기본 그래프 B를 사용한 그래프 변환을 수행한다.
• 색상 제약 조건을 강제하는 가젯 그래프 B(5개 간선, 4개 정점)를 구축하여, 원래 그래프 G의 유효한 k-간선 색칠이 G(B)의 유효한 k-단사 간선 색칠과 대응됨을 보장한다.
• G → G(B)의 변환을 통해 χ′(G) = χ′_i(G(B))임을 증명하여, 간선 색칠 지수와 단사 간선 색칠 지수를 연결한다.

실험 결과

연구 질문

• RQ1 경로, 사이클, 완전 그래프, 완전 이분 그래프에 대해 단사 간선 색칠 지수 χ′_i(G)는 얼마인가?
• RQ2 어떤 그래프 계열에서 χ′_i(G)가 최대 차수 또는 그래프의 크기와 동일한가?
• RQ3 일반적인 그래프에서 χ′_i(G)에 대한 날카운 상한과 하한 경계는 무엇인가?
• RQ4 주어진 k에 대해 χ′_i(G) = k인지 여부를 판단하는 문제는 계산적으로 쉽게 풀 수 있는가, 아니면 NP-완전한가?
• RQ5 단사 간선 색칠은 패킷 라디오 네트워크에서 2차 간섭을 모델링하고 완화하는 데 적용될 수 있는가?

주요 결과

• 모든 n ≥ 4에 대해 χ′_i(Pn) = 2이다.
• n ≡ 0 (mod 4)이면 χ′_i(Cn) = 2이며, 그렇지 않으면 3이다.
• 완전 이분 그래프에 대해 χ′_i(Kp,q) = min{p, q}이다.
• 페테르센 그래프에 대해 χ′_i(Petersen graph) = 5이며, 색상 순열을 제외한 유일한 5색 칠이 존재한다.
• G에 3개 간선의 경로 또는 사이클이 존재하지 않을 때에만 χ′_i(G) = 1이다.
• χ′_i(G) = k인지 여부를 판단하는 문제는 최대 차수 3인 간선 색칠 문제에서의 축소를 통해 NP-완전임을 증명하였다.