[논문 리뷰] A Note on (3,1)-Choosable Toroidal Graphs

Baogang Xu, Qinglin Yu|ArXiv.org|2006. 09. 27.

Graph Labeling and Dimension Problems참고 문헌 4인용 수 3

한 줄 요약

이 논문은 인접한 삼각형, 6-사이클, 길이가 5 또는 7인 사이클을 가지지 않는 토러럴 그래프가 항상 (3,1)*-선택 가능하다는 것을 증명한다. 즉, 각 정점이 크기가 3인 리스트에서 색을 선택하고, 최대 한 명의 이웃만 같은 색을 공유할 수 있는 리스트 색칠을 허용한다. 분포 기법과 구조적 분석을 통해 저자들은 금지된 구성요소를 규명하고, 주어진 조건 하에서 이러한 그래프가 항상 유효한 (3,1)*-색칠을 갖는다는 것을 보여준다.

ABSTRACT

An $(L,d)^*$-coloring is a mapping $ϕ$ that assigns a color $ϕ(v)\in L(v)$ to each vertex $v\in V(G)$ such that at most $d$ neighbors of $v$ receive colore $ϕ(v)$. A graph is called $(m,d)^*$-choosable, if $G$ admits an $(L,d)^*$-coloring for every list assignment $L$ with $|L(v)|\geq m$ for all $v\in V(G)$. In this note, it is proved that every toroidal graph, which contains no adjacent triangles and contains no 6-cycles and $l$-cycles for some $l \in \{5,7\}$, is $(3,1)^*$-choosable.

연구 동기 및 목표

• 토러럴 그래프가 (3,1)*-선택 가능해지는 충분한 조건을 규명하는 것.
• 이전의 삼각형이 없는 토러럴 그래프에 대한 (4,1)*-선택 가능성 결과를 더 엄격한 (3,1)*-선택 가능성 조건으로 확장하는 것.
• 특정 사이클과 면 조건이 있는 토러럴 그래프에서 (3,1)*-선택 가능성의 장애가 되는 구조적 장애물(금지된 구성요소)을 규명하는 것.
• 특정 사이클 길이가 제한된 삼각형이 없는 토러럴 그래프에 대한 (3,1)*-선택 가능성 문제를 해결하는 것.

제안 방법

• 정점과 면의 차수에 기반하여 초기 전하를 분배하는 분포 기법을 적용하며, 초기 전하를 ω(v) = d(v)/3 − 1 및 ω(f) = d(f)/6 − 1로 할당한다.
• 정점에서 인접한 면으로 전하를 이동시키는 분포 규칙을 정의하며, 특히 고차수 면과 차수 3 또는 4인 정점에게 유리하게 설계한다.
• 금지된 구성요소(δ(G) < 3, 인접한 3-정점, (3,4,4)-면, (3,4,3,4)-면)가 존재하지 않는다고 가정할 경우 최종 전하 분포에서 모순를 도출한다.
• 극단적 그래프 이론을 적용: (3,1)*-선택 가능성의 증명을 부분 그래프에 대한 귀납법으로 수행하기 위해 최소한의 정점 수를 가진 반례 G를 가정한다.
• 면의 차수(3, 4, 5, ≥8)와 정점의 차수를 기반으로 한 케이스 분석을 통해 전하 이동을 제한하고 최종 전하가 음수가 되지 않도록 보장한다.
• 모든 면과 정점 유형이 분포 규칙 하에서 ω′(x) ≥ 0 를 만족함을 검증하여 오일러 공식과의 모순을 이끌어낸다.

실험 결과

연구 질문

• RQ1 어떤 구조적 조건에서 토러럴 그래프가 (3,1)*-선택 가능해지는가?
• RQ2 삼각형이 없는 토러럴 그래프에 대한 (4,1)*-선택 가능성 결과를 (3,1)*-선택 가능성 조건으로 강화할 수 있는가?
• RQ3 (3,1)*-선택 가능성 보장을 위해 토러럴 그래프에서 어떤 금지된 구성요소가 존재하지 않아야 하는가?
• RQ4 6-사이클과 길이가 5 또는 7인 사이클의 부재가 삼각형이 없는 토러럴 그래프에서 (3,1)*-선택 가능성에 충분한가?

주요 결과

• 인접한 삼각형이 없고, 6-사이클이 없으며, 길이가 5 또는 7인 사이클이 없는 모든 토러럴 그래프는 (3,1)*-선택 가능하다.
• (3,1)*-선택 가능성 결과를 위해 인접한 3-정점, (3,4,4)-면, (3,4,3,4)-면의 부재가 필수적이다.
• 분포 기법은 잠재적 최소 반례를 성공적으로 규명하고, 그들의 전하 합이 0이 될 수 없음을 보여줌으로써 모든 가능성을 제거한다.
• 모든 최소 반례는 네 가지 금지된 구성요소 중 하나를 포함해야 하며, 그래프 제약 조건에 의해 이들 모두가 제거됨을 보여준다.
• 이전의 서우와 장의 결과를 개선하며, 삼각형이 없는 토러럴 그래프에 대해 (4,1)*-선택 가능성을 보였던 것을 리스트 크기 요구 조건을 4에서 3으로 줄여서 더 엄격한 결과를 도출한다.