[논문 리뷰] Choice numbers of graphs

Shai Gutner|ArXiv.org|2008. 02. 15.

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

한 줄 요약

이 논문은 그래프의 $k$번째 선택 번호 $ch_k(G)$를 조사하여, $(a:b)$-선택 가능성으로 일반화된 리스트-색칠 성질을 연구한다. 큰 $k$에 대해 $ch_k(G) \leq k(\chi(G) + \epsilon)$임을 증명하고, 완전 다중분할 그래프에 대해 날카운 경계를 제공하며, 특정 방향성 또는 구조적 성질(예: 이분 그래프, 삼각분할 그래프)을 가진 그래프가 $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. The simplest case of another problem, stated by the same authors, is settled, proving that every 2-choosable graph is also $(4:2)$-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.

연구 동기 및 목표

• 선택 번호 개념을 $k$번째 선택 번호 $ch_k(G)$로 일반화하여, $k \geq 1$에 대해 $(a:b)$-선택 가능성의 성질을 연구한다.
• 선택 번호 $ch_k(G)$가 $k$가 증가함에 따라 어떻게 행동하는지에 대한 열린 문제를 해결하며, 특히 $\frac{c}{d} > \frac{a}{b}$이면 $(c:d)$-선택 가능성이 성립하는지 여부를 규명한다.
• 완전 다중분할 및 구조적 그래프(예: 무작위 그래프, 평면 그래프 포함)에 대해 $ch_k(G)$의 날카운 상한 경계를 확립한다.
• 사이클이 없는 방향성과 유계 최대 출도를 가진 그래프에서, 다항시간 알고리즘을 통해 적절한 $k$-색칠을 구성하는 방법을 개발한다.
• 핵심 성질, 최대 평균 도수, 그리고 유도 부분그래프의 도수 등 그래프의 구조적 특성에 기반해 $k$-선택 가능성을 특성화한다.

제안 방법

• 완전 $r$-분할 그래프 $K_{m_1,\dots,m_r}$에 대해 $ch_k(G)$의 상한 경계를 유도하기 위해 극단적 그래프 이론과 확률적 방법을 사용한다.
• 일반화된 방향성 기반 정리 적용: 그래프 $G$가 홀수 방향 사이클이 없고 최대 출도 $d$인 방향 그래프 $D$를 가질 경우, $G$는 $(k(d+1):k)$-선택 가능하다.
• 집합의 가족을 서로소로 나누어 색칠 가능한 부분집합으로 분해할 수 있는 귀납적 분할 기법(보조정리 7.2)을 사용하여 $k$-선택 가능 색칠을 가능하게 한다.
• 특정 조건에서 $\frac{c}{d} > \frac{a}{b}$이어도 $(c:d)$-선택 가능성이 성립하지 않는다는 것을 보여주기 위해 명시적 반례를 구성한다.
• 부분그래프 $H$에 대해 $|E(H)|/|V(H)|$의 최댓값을 의미하는 최대 평균 도수 $M(G)$ 개념을 사용하여, 이분 그래프 및 평면 그래프의 $ch_k(G)$를 경계한다.
• 강한 선택 번호 개념을 적용하여 삼각분할 그래프에서 $ch_k(G) = k\chi(G)$임을 증명하고, $C_n$-무자리 그래프에 대해 리스트-색칠 추측을 검증한다.

실험 결과

연구 질문

• RQ1 그래프 $G$가 $(a:b)$-선택 가능하다면, $\frac{c}{d} > \frac{a}{b}$일 경우 항상 $(c:d)$-선택 가능하다고 할 수 있는가?
• RQ2 모든 $k \to \infty$에 대해 $ch_k(G)$의 渐진적 행동은 어떻게 되는가?
• RQ3 완전 $r$-분할 그래프 $K_{m_1,\dots,m_r}$에 대해 $ch_k(G)$의 날카운 상한 경계는 $r$, $m_i$, $k$에 따라 어떻게 표현되는가?
• RQ4 방향성 기반의 구조적 제약 조건을 통해 그래프의 $k$-선택 가능성을 보장할 수 있는가?
• RQ5 특히 삼각분할 그래프에 대해 $ch_k(G) = k\chi(G)$가 성립하는 조건은 무엇인가?

주요 결과

• 모든 $\epsilon > 0$에 대해, $k_0$가 존재하여 모든 $k \geq k_0$에 대해 $ch_k(G) \leq k(\chi(G) + \epsilon)$임을 보여, $k$에 대해 점 渐진적 선형성을 입증한다.
• $(m:1)$-선택 가능하지만 $(l:1)$-선택 가능하지 않은 그래프 $G$가 존재하며, 이는 에르되시, 루빈, 테일러의 추측을 반박한다. ($l > m \geq 3$)
• 완전 $r$-분할 그래프 $K_{m_1,\dots,m_r}$에 대해 $ch_k(G) \leq 948r\left(k + \log{\left(\frac{m_1 + \cdots + m_r}{r}\right)}\right)$
• 모든 그래프 $G$에 대해 $ch_k(G) \leq 948\chi(G)\left(k + \log{\left(\frac{|V|}{\chi(G)} + 1\right)}\right)$
• 무작위 그래프 $G_{n,p}$에 대해, $n \to \infty$일 때 고려할 확률이 높은 조건에서 $ch_k(G_{n,p}) \leq 475 \log{(1/(1-p))} \cdot n \cdot \frac{\log\log n}{\log n}$
• 그래프 $G$가 홀수 방향 사이클이 없고 최대 출도 $d$인 방향 그래프를 가질 경우, 모든 $k \geq 1$에 대해 $G$는 $(k(d+1):k)$-선택 가능하며, 색칠을 구성하는 데 다항시간 알고리즘이 존재한다.