[논문 리뷰] Additive colorings of planar graphs

Tomasz Bartnicki, Bartłomiej Bosek외 4명|arXiv (Cornell University)|2012. 02. 03.

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

한 줄 요약

이 논문은 모든 평면 그래프가 최대 468개의 서로 다른 양의 정수를 사용하여 덧셈 색칠을 가질 수 있음을 증명한다. 이는 이전의 상한 5544보다 향상된 결과이다. 증명은 조합적 닐스텐제를 활용하며, 평면 초그래프의 색칠 수를 이용하여, 3색 가능 평면 그래프와 평면 그래프의 둘레가 최소 13인 경우 각각 36과 4의 더 엄격한 상한을 도출한다.

ABSTRACT

An \emph{additive coloring} of a graph $G$ is an assignment of positive integers $\{1,2,...,k\}$ to the vertices of $G$ such that for every two adjacent vertices the sums of numbers assigned to their neighbors are different. The minimum number $k$ for which there exists an additive coloring of $G$ is denoted by $η(G)$. We prove that $η(G)\leqslant 468$ for every planar graph $G$. This improves a previous bound $η(G)\leqslant 5544$ due to Norin. The proof uses Combinatorial Nullstellensatz and coloring number of planar hypergrahs. We also demonstrate that $η(G)\leqslant 36$ for 3-colorable planar graphs, and $η(G)\leqslant 4$ for every planar graph of girth at least 13. In a group theoretic version of the problem we show that for each $r\geqslant 2$ there is an $r$-chromatic graph $G_{r}$ with no additive coloring by elements of any Abelian group of order $r$.

연구 동기 및 목표

• 평면 그래프에 대한 덧셈 색칠 수 η(G)의 상한을 개선하는 것.
• 색칠 수와 둘레와 같은 구조적 제약 조건이 η(G)에 대한 더 엄격한 상한을 도출하는지 탐색하는 것.
• 유한 아벨 군 위에서 덧셈 색칠의 존재성을 조사하는 것.
• 유한 군 위에서 덧셈 색칠을 결정하는 복잡도를 검토하는 것.
• η(G)와 색칠 수 χ(G) 사이의 관계에 대한 추측을 다루는 것.

제안 방법

• 조합적 닐스텐제를 적용하여 군 값 할당을 통해 덧셈 색칠을 구성하는 것.
• 이분 평면 그래프에서 유도된 평면 초그래프의 색칠 수를 이용하여 정점 색칠의 종속성을 제어하는 것.
• 뒤따르는 이웃 제약 조건을 기반으로 한 근사적 정점 순서를 이용하여 군 원소를 할당하는 것.
• 이웃 합 함수에서 갈등을 피하기 위해 서로소인 군 크기의 조합으로 문제를 단순화하는 것.
• 분해 정리들을 활용하여 특수 클래스(예: 둘레 ≥13)에 대해 명시적인 색칠을 구성하는 것.
• 그래프 색칠 문제에서의 축소를 통해 크기가 ≥3인 아벨 군에서의 덧셈 색칠 문제가 NP-완전임을 증명하는 것.

실험 결과

연구 질문

• RQ1 평면 그래프의 덧셈 색칠 수 η(G)는 정점 수에 관계없이 유계가 될 수 있으며, 만약 그렇다면 최선의 상한은 무엇인가?
• RQ2 모든 3색 가능 평면 그래프는 최대 36개의 레이블을 사용하여 덧셈 색칠을 가질 수 있는가?
• RQ3 모든 r-색깔 그래프에 대해 덧셈 색칠을 지원하는 크기가 χ(G) + 1인 유한 아벨 군이 존재하는가?
• RQ4 주어진 유한 아벨 군 위에서 그래프가 덧셈 색칠을 가질 수 있는지 결정하는 문제의 계산 복잡도는 무엇인가?
• RQ5 모든 둘레가 최소 13인 평면 그래프는 η(G) ≤ 4를 만족하는가?

주요 결과

• 모든 평면 그래프 G에 대해 덧셈 색칠 수 η(G)는 최대 468이다.
• 3색 가능 평면 그래프에 대해서는 η(G) ≤ 36이다.
• 둘레가 최소 13인 평면 그래프에 대해서는 η(G) ≤ 4이다.
• 어떤 아벨 군의 크기가 r이더라도 r-색깔 그래프 Gr이 덧셈 색칠을 가지지 않는 경우가 존재한다.
• 크기가 ≥3인 유한 아벨 군 위에서 덧셈 색칠을 결정하는 문제는 NP-완전하다.
• Z₂ 위의 덧셈 색칠은 다항식 시간 내에 해결 가능하지만, 크기가 ≥3인 군에서는 NP-완전해진다.