[논문 리뷰] Some results on (a:b)-choosability

Shai Gutner, Michael Tarsi|ArXiv.org|2008. 02. 10.

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

한 줄 요약

이 논문은 그래프의 (a:b)-선택 가능성에서 오랫동안 남아있던 질문을 해결하며, 비록 c/d > a/b이더라도 (a:b)-선택 가능성은 (c:d)-선택 가능성으로 이어지지 않음을 증명함으로써 선택 비율에서 비단조화성(non-monotonicity)을 보여줌. 또한 k번째 선택 수에 대한 확률론적 상한을 도출하고, 최대 출력도가 d인 순환 없는 방향 그래프는 (k(d+1):k)-선택 가능하다는 것을 증명하며, 특정 그래프 가족에 대한 강한 색수와 리스트-색칠 가능성 추측을 일반화함.

ABSTRACT

A solution to a problem of Erdős, Rubin and Taylor is obtained by showing that if a graph $G$ is $(a:b)$-choosable, and $c/d > a/b$, then $G$ is not necessarily $(c:d)$-choosable. Applying probabilistic methods, an upper bound for the $k^{th}$ choice number of a graph is given. We also prove that a directed graph with maximum outdegree $d$ and no odd directed cycle is $(k(d+1):k)$-choosable for every $k \geq 1$. Other results presented in this article are related to the strong choice number of graphs (a generalization of the strong chromatic number). We conclude with complexity analysis of some decision problems related to graph choosability.

연구 동기 및 목표

• Erdős, Rubin, Taylor가 제기한 (a:b)-선택 가능성의 비율 a/b에 대한 단조성에 관한 추측을 해결하기 위해.
• 확률론적 방법을 사용하여 k번째 선택 수 ch_k(G)에 대한 상한을 도출하기 위해.
• 이분 그래프, 평면 그래프, 순환 그래프와 같은 특정 그래프 클래스에 대한 강한 색수와 리스트-색칠 가능성 추측의 일반화를 위해.
• 그래프 선택 가능성과 관련된 결정 문제의 복잡도를 분석하고, 특정 방향성에 대해 다항 시간 알고리즘을 제공하기 위해.
• 순환 없는 방향성과 부분그래프의 밀도와 같은 구조적 성질을 통해 (a:b)-선택 가능 그래프를 특성화하기 위해.

제안 방법

• 완전 r-분할 그래프 K_{m₁,…,mᵣ}에 대해 ch_k(G) ≤ 948r(k + log((m₁+⋯+mᵣ)/r)) 를 유도하기 위해 확률론적 방법을 사용함.
• 레미마 7.2를 통한 귀납법과 집합 분할을 활용하여 집합의 가족을 상호 배타적인 색상 할당이 가능한 부분집합으로 분해함으로써 충돌 없는 할당을 보장함.
• 방향성 기반 결과를 활용: 그래프가 최대 출력도 d인 순환 없는 방향성을 가지면, (k(d+1):k)-선택 가능함을 증명함.
• 극값 구성법을 사용하여 강한 색수 sχ(d)에 대한 하한을 증명함. sχ(2r) ≥ 4r 및 sχ(2r+1) ≥ 4r+2 를 도출함.
• 부분그래프 H에 대해 M(G) = max(|E(H)|/|V(H)|) 를 정의하여 이로부터 이분 그래프 및 평면 그래프에 대한 선택 가능성 상한을 도출함.
• Galvin 및 다른 이들의 결과를 적용하여, G가 길이 4 이상의 사이클을 포함하지 않으면 ch(L(G)) = χ(L(G)) 를 증명함.

실험 결과

연구 질문

• RQ1 c/d > a/b 이면 (a:b)-선택 가능성은 반드시 (c:d)-선택 가능성으로 이어지는가? (답: 아님.)
• RQ2 k → ∞ 일 때 ch_k(G)의 점근적 행동은 어떠한가? (답: 큰 k에 대해 ch_k(G) ≤ k(χ(G) + ε).)
• RQ3 완전 r-분할 그래프의 k번째 선택 수는 r과 평균 정점 클래스 크기로 유계될 수 있는가?
• RQ4 그래프의 방향성에 어떤 구조적 조건이 성립하면 (k(d+1):k)-선택 가능성이 보장되는가?
• RQ5 2-연결 성분이 삼각형 또는 더 작은 사이클인 그래프에 대해 리스트-색칠 가능성 추측이 성립하는가?

주요 결과

• Erdős-Rubin-Taylor 질문에 대한 부정적 답변을 제시함: G가 (a:b)-선택 가능하고 c/d > a/b 이더라도 G가 반드시 (c:d)-선택 가능하지는 않음.
• 모든 ε > 0 에 대해 k₀ 가 존재하여 모든 k ≥ k₀ 에 대해 ch_k(G) ≤ k(χ(G) + ε) 임을 보여, k에 대한 점근적 선형성 입증.
• 상한이 확립됨: r ≥ 1 이고 mᵢ ≥ 2 이면 ch_k(K_{m₁,…,mᵣ}) ≤ 948r(k + log((m₁+⋯+mᵣ)/r)).
• 모든 그래프 G에 대해 ch_k(G) ≤ 948χ(G)(k + log(|V|/χ(G) + 1)) 를 도출하여 이전의 상한을 일반화함.
• 랜덤 그래프 G_{n,p} 는 n → ∞ 일 때 거의 확실히 ch_k(G_{n,p}) ≤ 475 log(1/(1−p)) n (log log n)/log n 를 만족함.
• 최대 출력도 d인 순환 없는 방향 그래프는 모든 k ≥ 1 에 대해 (k(d+1):k)-선택 가능하며, 다항 시간 내에 구성 가능함.