[논문 리뷰] Least conflict choosability

Zdenĕk Dvořák, Louis Esperet외 2명|arXiv (Cornell University)|2018. 04. 04.

Advanced Graph Theory Research참고 문헌 12인용 수 3

한 줄 요약

이 논문은 단일 충돌 색칠 수라는 새로운 그래프 색칠 파라미터를 소개한다. 이는 국소적 색상 할당을 통해 간선에 정의된 충돌을 피하는 정점 색칠을 요구함으로써 리스트 색칠과 적응 가능 색칠을 일반화한다. 표면의 오일러 기하학적 종수 $ g $ 를 가진 그래프에 대해 이 파라미터는 $ O(g^{1/4} /\log g) $ 이며, 이는 상수 인자까지의 정확도로 날카로운 bound이며, 표면 상의 색칠 수에 대한 기존의 결과를 확장한다.

ABSTRACT

Given a multigraph, suppose that each vertex is given a local assignment of $k$ colours to its incident edges. We are interested in whether there is a choice of one local colour per vertex such that no edge has both of its local colours chosen. The least $k$ for which this is always possible given any set of local assignments we call the {\\em single-conflict chromatic number} of the graph. This parameter is closely related to separation choosability and adaptable choosability. We show that single-conflict chromatic number of simple graphs embeddable on a surface of Euler genus $g$ is $O(g^{1/4}\\log g)$ as $g\ o\\infty$. This is sharp up to the logarithmic factor.

연구 동기 및 목표

• 단일 충돌 색칠 수를 정의하고 연구함으로써, 분리 가능 선택 가능성과 적응 가능 선택 가능성의 일반화가 되는 새로운 색칠 파라미터를 도입한다.
• 특히 단순 그래프인 $ \mu = 1 $ 경우에 대해, 오일러 기하학적 종수가 $ g $ 인 표면에 임bedded된 그래프에 대해 이 파라미터의 渐近적 행동을 규명한다.
• 확률적 방법과 로바슈의 국소 렘마를 사용하여, 상수 인자까지의 날카로운 상한을 확립한다.
• 커버 그래프를 통한 정점 분할 그래프에서의 독립적 전이자열과 단일 충돌 색칠 수를 연결한다.
• 다양한 다중그래프를 구성함으로써 유계의 날카로움을 입증한다. 특히 평면적 환경에서도 높은 단일 충돌 색칠 수를 가진 그래프를 제시한다.

제안 방법

• 각 정점에서 인cidient 간선에 대해 국소적 $ k $-분할을 정의하고, 각 간선의 양 끝점이 충돌하는 국소 색상 할당을 피할 수 있도록 정점 색상을 선택하는 조건을 정의한다.
• 충돌 사건의 확률을 낮추기 위해 독립적인 베르누이 시행을 사용하여 정점에 색상을 할당하는 확률적 방법을 적용한다.
• 불량 사건을 세 가지 유형으로 분류한다: 유형 I(이웃 정점 색상 충돌), 유형 II(불일치하는 국소 색상 사용), 유형 III(과도한 국소 색상 사용)로 나누고, 각 사건의 종속성을 제한한다.
• 로바슈의 국소 렘마를 적용하여, 각 유형에 맞는 철저히 선택된 가중치($ x_i = 2^{-7}/d $, 유형 I, II; $ x_i = 2\text{exp}(-2^{-6}\text{sqrt}(d)) $, 유형 III)를 사용하여 충돌 없는 색칠이 존재할 확률이 양수임을 보장한다.
• 독립성 유계를 설정한다: 각 사건은 최대 $ d $ 개의 유형 I, $ d $ 개의 유형 II, $ d^2 $ 개의 유형 III 사건에 의존하며, 정제 과정을 통해 유형 III의 종속성을 $ d^{3/2} $ 로 줄인다.
• 국소 렘마 조건에서 유도된 부등식을 유도하고, 큰 $ d $ 에 대해 이를 검증함으로써, 양의 확률로 유효한 색칠이 존재함을 보인다.

실험 결과

연구 질문

• RQ1 오일러 기하학적 종수가 $ g $ 인 표면에 임베딩된 그래프에 대해 단일 충돌 색칠 수의 渐近적 성장률은 무엇인가?
• RQ2 단일 충돌 색칠 수는 분리 가능 선택 가능성과 적응 가능 선택 가능성과 어떻게 관련이 있는가?
• RQ3 $ O(g^{1/4} \log g) $ 유계는 향상될 수 있는가, 아니면 상수 인자까지의 정확도로 날카로운가?
• RQ4 모든 간선의 다중성에 제한이 있는 평면 다중그래프의 최대 단일 충돌 색칠 수는 얼마인가?
• RQ5 커버 그래프에서의 독립적 전이자열을 통해 단일 충돌 색칠 수를 어떻게 재해석할 수 있는가?

주요 결과

• 최대 간선 다중성 $ \mu $ 와 오일러 기하학적 종수가 $ g $ 인 다중그래프의 단일 충돌 색칠 수는 어떤 상수 $ C_1 > 0 $ 에 대해 $ \max\{ C_1 \sqrt{\mu} (g+1)^{1/4} \log(\mu^2(g+2)), 8\mu \} $ 이하이다.
• 단순 그래프(즉, $ \mu = 1 $)의 경우 단일 충돌 색칠 수는 $ O((g+1)^{1/4} \log(g+2)) $ 이며, 이는 Heawood 유형의 渐近적 유계와 상수 인자까지의 정확도로 일치한다.
• 유명한 구성 예를 통해 이 유계가 상수 인자까지 날카로운 것으로 입증되었으며, 다중그래프의 경우 단일 충돌 색칠 수가 $ \Omega(\sqrt{\mu}) $ 와 $ \Omega(a\mu) $ 를 초과하는 경우가 존재한다.
• 각 간선에 대해 $ O(\log g) $ 개의 충돌을 허용하고 각 정점에 대해 $ \Omega(\log d) $ 개의 서로 다른 색상을 요구하는 경우에도, 이 유계는 $ O(g^{1/4} (\log g)^{5/4}) $ 로 유지된다.
• 단일 충돌 색칠 수는 관련 커버 그래프에서의 독립적 전이자열의 존재와 동치이며, 전이 문제와의 이중성 관계를 확립한다.
• 로바슈의 국소 렘마를 사용한 확률적 구성은 $ d \geq 2^{23} $ 에서 성공하여, 주어진 가중치 할당 하에 충돌 없는 색칠이 존재할 확률이 양수임을 보장한다.