[논문 리뷰] Flexibility of planar graphs without 4-cycles

Masa\v{r}\'ik, Tom\'a\v{s}|arXiv (Cornell University)|2019. 03. 04.

Advanced Graph Theory Research인용 수 3

한 줄 요약

이 논문은 4-사이클을 갖지 않는 평면 그래프가 리스트 크기가 최소 5일 때 가중치 ε-유연성을 갖는다는 것을 증명한다. 이는 삼각형 면에 충분한 전하를 할당하여 색칠 요청을 만족시킬 수 있음을 보여주는 분포 방법을 사용한다. 이 결과는 평면 그래프에서의 색칠의 탄력성에 대한 이해를 발전시키며, 탄력성에 대한 최적의 선택 가능성 임계값으로 향한 격차를 메운다.

ABSTRACT

Proper graph coloring assigns different colors to adjacent vertices of the graph. Usually, the number of colors is fixed or as small as possible. Consider applications (e.g. variants of scheduling) where colors represent limited resources and graph represents conflicts, i.e., two adjacent vertices cannot obtain the same resource. In such applications, it is common that some vertices have preferred resource(s). However, unfortunately, it is not usually possible to satisfy all such preferences. The notion called flexibility was recently defined in [Dvo\v{r}\'ak, Norin, Postle: List coloring with requests, Journal of Graph Theory 2019]. There instead of satisfying all the preferences the aim is to satisfy at least a constant fraction of the request. Recently, the structural properties of planar graphs in terms of flexibility were investigated. We continue this line of research. Let G be a planar graph with a list assignment L. Suppose a preferred color is given for some of the vertices. We prove that if G is a planar graph without 4-cycles and all lists have size at least five, then there exists an L-coloring respecting at least a constant fraction of the preferences.

연구 동기 및 목표

• 4-사이클을 갖지 않는 평면 그래프가 리스트 크기가 다섯일 때 ε-탄력성을 달성할 수 있는지 조사하는 것. 이는 그래프 색칠 탄력성 분야에서 핵심적인 열린 문제를 다룸.
• 이전의 둘레 또는 삼각형이 없는 조건이 있는 평면 그래프의 탄력성 결과를 4-사이클을 배제한 그래프로 확장하는 것.
• 선택 가능성과 탄력성 사이의 격차를 메우기 위해, 4-사이클을 갖지 않는 5-선택 가능한 평면 그래프가 가중치 ε-탄력성을 갖는다는 것을 보여주는 것.
• 4-사이클의 부재와 삼각형 면에서 비롯된 구조적 제약을 다루기 위해 정교화된 분포 추론 기법을 개발하고 적용하는 것.

제안 방법

• 정점의 차수와 면의 길이에 기반한 초기 전하 할당: 사이클 C에 속하지 않은 정점에 대해 ch₀(v) = deg(v) − 4, 면에 대해 ch₀(f) = |f| − 4.
• 분포 규칙 적용: (R1) 길이 ≥5인 면이 인접한 삼각형 면에 1/5를 전달함; (R2) 차수 ≥5인 정점이 인접한 삼각형 면에 2/5를 전달함; (R3) 이러한 정점들이 길이 ≥5인 면에 1/15를 전달함.
• 네 번째 규칙(R4) 도입: 길이 ≥5인 인접한 면들이 빈약한 삼각형 면(모든 정점의 차수가 4인 면)에 2/15를 전달함.
• 간선으로 인접한 삼각형 면과 4-사이클의 부재를 이용해 각 정점이 가진 삼각형 면의 수를 제한하여 최종 전하가 음수가 되지 않도록 보장함.
• 모든 면이 음수가 아닌 전하를 갖는 것으로 보여주며, 이는 초기 총 전하 −8와 모순됨. 따라서 유효한 색칠이 존재하고 요청의 일정 비율을 만족함을 증명함.
• 그리고 (0,5)-감소 가능한 구성 렘마를 활용하여 국소적 구조를 다루고 색칠의 탐욕적 완성 가능성을 보장함.

실험 결과

연구 질문

• RQ1 모든 4-사이클을 갖지 않는 평면 그래프는 어떤 ε > 0 에 대해 가중치 ε-탄력성 5-리스트 색칠을 갖는가?
• RQ2 4-사이클을 배제한 그래프에 대해 평면 그래프의 탄력성 임계값이 선택 가능성과 일치하는가?
• RQ3 4-사이클을 갖지 않는 평면 그래프에 대해 탄력성 결과를 리스트 크기 4로 확장할 수 있는가?
• RQ4 분포 방법을 4-사이클의 부재와 간선으로 인접한 삼각형 면 등의 구조적 제약을 다룰 수 있도록 적응시킬 수 있는가?

주요 결과

• 4-사이클을 갖지 않는 평면 그래프는 리스트 크기가 최소 5일 때 어떤 ε > 0 에 대해 가중치 ε-탄력성을 갖는다.
• 분포 방법을 통해 모든 면, 특히 삼각형 면이 충분한 전하를 확보하여 유효한 색칠을 보장함.
• 빈약한 삼각형 면(모든 정점의 차수가 4인 면)은 규칙 (R4)를 통해 전하를 받으며, (R1)에서 3/5, (R3)에서 6/15 = 2/5를 더해 총 1의 전하를 확보함.
• 초기 총 전하는 −8이며, 최종 전하 분포는 음수가 아니므로, 구조적 가정이 위반되지 않는 한 모순이 발생함.
• (0,5)-감소 가능한 구성은 국소적 색칠 확장을 항상 가능하게 하여 글로벌 탄력성 결과를 뒷받침함.
• 결과는 모든 평면 그래프가 리스트 크기 5일 때 ε-탄력성을 갖는다는 광범위한 추측을 지지하며, 다이아몬드를 갖지 않는 그래프가 다음 목표로 제안됨.