[논문 리뷰] Analogue of DP-coloring on variable degeneracy and its applications on list vertex-arboricity and DP-coloring

Pongpat Sittitrai, Kittikorn Nakprasit|arXiv (Cornell University)|2018. 07. 02.

Advanced Graph Theory Research참고 문헌 21인용 수 7

한 줄 요약

이 논문은 리스트 정점 산문성과 DP-색칠을 통합하는 일반화된 변수 비가역성의 개념을 제안하며, 이는 평면 그래프에서 4-사이클과 3-사이클이 인접하지 않는 그래프에 대해 DP-4-색칠 가능성과 리스트 정점 2-산문성을 동시에 증명하는 통합 프레임워크를 제공한다. 이 접근법은 보로딘과 이바노바의 결과를 확장하기 위해 특정 그래프 구조에서 새로운 색칠 기법을 활용하며, 희박한 그래프의 구조적 색칠 문제에 광범위하게 적용 가능하다.

ABSTRACT

In \cite{listnoC3adjC4}), Borodin and Ivanova proved that every planar graph without $4$-cycles adjacent to $3$-cycle is list vertex-$2$-aborable. In fact, they proved a more general result. Inspired by these results and DP-coloring which becomes a widely studied topic, we introduce a generalization on variable degeneracy including list vertex arboricity. We use this notion to extend a general result by Borodin and Ivanova. Not only that this theorem implies results about planar graphs without $4$-cycles adjacent to $3$-cycle by Borodin and Ivanova, it implies many other results including a result by Kim and Yu \cite{KimY} that every planar graph without $4$-cycles adjacent to $3$-cycle is DP-$4$-colorable.

연구 동기 및 목표

• 리스트 정점 산문성과 DP-색칠을 하나의 프레임워크로 통합하기 위해 변수 비가역성을 일반화하는 것.
• 4-사이클과 3-사이클이 인접하지 않는 평면 그래프에 대해 보로딘과 이바노바의 리스트 정점 2-산문성 결과를 확장하는 것.
• 새로운 프레임워크가 리스트 정점 산문성과 DP-색칠 결과를 통합적으로 유도할 수 있음을 보여주는 것.
• 비판적 구성 요소에서의 근사 집합과 커버 그래프 기반의 구조적 색칠 방법을 제시하여, 일반적인 그레디 색칠을 일반화하는 것.

제안 방법

• 그래프 $ G $ 와 $ k $-할당 $ L $ 에 대해 커버 $ H $ 를 정의하며, 각 정점 $ u $ 는 집합 $ \{u\} \times L(u) $ 와 연결되고, $ u $ 와 $ v $ 사이의 간선은 $ H $ 에서 매칭을 이룬다.
• 크기가 $ |V(G)| $ 인 근사 집합 $ S \subseteq V(H) $ 를 정의하며, 각 정점마다 하나의 근사 대표자를 포함하고, 근사 그래프 $ G_S $ 를 $ H $ 내의 인접성 기반으로 정의한다.
• 대표 집합 $ S $ 가 $ G_S $ 가 산문이 되는 경우를 DP-산문 색칠로 정의하며, 이는 리스트 정점 산문성과 DP-색칠을 일반화한다.
• 최소 반례에서 유도된 6-정점 구성 $ F $ 에서 그레디 색칠 절차를 적용하며, 근사 집합 내 이웃에 따라 색상 가용성 함수 $ f_i^* $ 를 갱신한다.
• 갱신된 가용성 함수 $ f_i^* $ 에서 양수 값의 수와 분포에 기반한 케이스 분석을 수행하며, 각 정점당 가용한 색상 수에 따라 두 주요 케이스로 축소한다.
• 구성 $ F $ 에서 유효한 DP-산문 색칠이 존재함을 보이기 위해, $ G_S $ 가 산문이 되도록 근사 집합을 구성할 수 있음을 보이며, 이는 $ F $ 의 구조와 $ f_i^* $ 에 대한 제약 조건을 활용한다.

실험 결과

연구 질문

• RQ1 변수 비가역성을 활용하여 리스트 정점 산문성과 DP-색칠을 동시에 일반화하는 통합 프레임워크를 개발할 수 있는가?
• RQ2 새로운 프레임워크가 4-사이클과 3-사이클이 인접하지 않는 평면 그래프에 대해 보로딘과 이바노바의 리스트 정점 2-산문성 결과와 김과 유의 DP-4-색칠 가능성 결과를 모두 유도하는가?
• RQ3 6-정점 구성 $ F $ 가 가지는 어떤 구조적 성질이, 각 정점 간 충분한 색상 가용성을 유지하면서도 그레디 색칠 절차를 가능하게 하는가?
• RQ4 색상 가용성 함수 $ f_i(v) \in \{0,1,2\} $ 이고 $ \sum f_i(v) \geq 4 $ 인 일반화된 변수 비가역성 조건이 DP-산문 색칠의 존재를 보장하는 이유는 무엇인가?
• RQ5 이 방법은 금지된 사이클 구성이 있는 다른 그래프 클래스로도 확장될 수 있는가?

주요 결과

• 논문은 4-사이클과 3-사이클이 인접하지 않는 모든 평면 그래프가 DP-4-색칠 가능하다는 것을 증명한다. 이는 김과 유의 결과를 확장한 것이다.
• 이러한 그래프들이 리스트 정점 2-산문성임을 확립하며, 보로딘과 이바노바의 결과를 확인하고 일반화한다.
• 색상 가용성 함수 $ f_i(v) \in \{0,1,2\} $ 이고 $ \sum f_i(v) \geq 4 $ 인 일반화된 변수 비가역성 프레임워크는 6-정점 구성 $ F $ 에 대해 DP-산문 색칠의 존재를 보장하며, 이는 증명에 핵심적이다.
• 문제는 가용성 함수 $ f_i^* $ 의 양수 항의 수에 기반한 두 케이스로 축소되며, 이 두 경우 모두 유효한 색칠을 허용한다.
• 이 프레임워크는 이전에 별개로 다뤄졌던 리스트 정점 산문성과 DP-색칠 개념을 변수 비가역성의 일반화를 통해 통합한다.
• 최소 반례 구성 요소에서의 근사 집합과 반복적인 그레디 색칠 절차를 활용한 증명 기법은 이러한 구조적 색칠 문제에 대해 강력한 접근법임을 보여준다.