[논문 리뷰] Graph Homomorphisms, Circular Colouring, and Fractional Covering by H-cuts

Robert Engström, Tommy Färnqvist외 2명|ArXiv.org|2009. 04. 29.

Advanced Graph Theory Research참고 문헌 8인용 수 5

한 줄 요약

이 논문은 $ 2 \leq p/q \leq 3 $ 인 원형 완전 그래프 $ K_{p/q} $ 에 대한 그래프 호모모르피즘 문제의 근사 한계 함수 $ s(M,N) $ 를 조사한다. 많은 이러한 그래프들에서 $ s $ 가 일정함을 규명하고, $ K_4 $-minor-free 및 평균 차수 제한 그래프로의 경계를 확장하며, $ s(M,N) $ 를 분수 커버링의 컷에 연결하여 Šámal 의 큐브형 색칠 수에 대한 두 개의 추측을 해결한다.

ABSTRACT

A graph homomorphism is a vertex map which carries edges from a source graph to edges in a target graph. The instances of the Weighted Maximum H-Colourable Subgraph problem (MAX H-COL) are edge-weighted graphs G and the objective is to find a subgraph of G that has maximal total edge weight, under the condition that the subgraph has a homomorphism to H; note that for H=K_k this problem is equivalent to MAX k-CUT. Farnqvist et al. have introduced a parameter on the space of graphs that allows close study of the approximability properties of MAX H-COL. Specifically, it can be used to extend previously known (in)approximability results to larger classes of graphs. Here, we investigate the properties of this parameter on circular complete graphs K_{p/q}, where 2 <= p/q <= 3. The results are extended to K_4-minor-free graphs and graphs with bounded maximum average degree. We also consider connections with Samal's work on fractional covering by cuts: we address, and decide, two conjectures concerning cubical chromatic numbers.

연구 동기 및 목표

• 원형 완전 그래프 $ K_{p/q} $ 에서 $ 2 \leq p/q \leq 3 $ 인 경우에 대한 근사 한계 함수 $ s(M,N) $ 의 행동을 분석하는 것.
• $ K_{p/q} $ 에서 알려진 근사 불가능성 및 근사 경계를 $ K_4 $-minor-free 및 평균 최대 차수 제한 그래프를 포함한 더 넓은 그래프 계열로 확장하는 것.
• $ s(M,N) $ 와 분수 커버링의 컷 간의 관계를 규명하여 Šámal 의 색칠 수에 대한 연구를 일반화하는 것.
• Šámal 이 제기한 큐브형 색칠 수에 관한 두 개의 열린 추측을 해결하는 것: 하나는 반박되었고, 하나는 확인되었다.

제안 방법

• 모든 변의 자동형 변환 궤적을 기반으로 한 선형 프로그래밍 설정을 사용하여 $ s(M,N) $ 를 계산하며, $ \text{Aut}^*(N) $ 에 대해 불변인 가중치 함수를 활용한다.
• 레마 1.1 을 적용하여 $ s(M,N) $ 와 호모모르피즘 체인 간의 관계를 설정: $ M \rightarrow H \rightarrow N $ 이면 $ s(M,N) \leq \min(s(M,H), s(H,N)) $ 를 만족한다.
• 대칭 그래프, 특히 홀수 사이클과 원형 완전 그래프에서 변 가중치 분포를 구하기 위해 재귀 관계와 생성 함수를 활용한다.
• Pan 과 Zhu 의 원형 색칠 수 경계 결과를 활용하여, 홀수 둘레 제약 조건에 기반한 $ s(K_2, G) $ 의 渐近 표현식을 유도한다.
• $ s(M,N) $ 를 분수 커버링 매개변수의 관점에서 재해석하여, Šámal 의 큐브형 색칠 수와 새로운 색칠 수 계열 간의 연결 고리를 제공한다.
• 호모모르피즘의 서명 제약 조건으로부터 유도된 선형 방정식계를 해결하여 최적의 가중치 분포와 $ s $ 의 하한을 계산한다.

실험 결과

연구 질문

• RQ1 원형 완전 그래프 $ K_{p/q} $ 에서 $ 2 \leq p/q \leq 3 $ 인 경우에 대한 근사 한계 함수 $ s(M,N) $ 의 행동은 어떠한가?
• RQ2 원형 그래프에서의 $ s(M,N) $ 경계는 어떻게 $ K_4 $-minor-free 및 평균 차수 제한 그래프로 확장될 수 있는가?
• RQ3 $ s(M,N) $ 와 분수 커버링의 컷 간의 관계는 무엇이며, 색칠 수 매개변수와 어떻게 관련되는가?
• RQ4 Šámal 이 제기한 큐브형 색칠 수에 관한 두 개의 추측은 참인가, 특히 $ \chi_c^\square(G) = 4 $ 인 그래프의 존재성과 $ \chi_c^\square(G) \leq 3 $ 인지 여부에 대해 어떻게 되는가?
• RQ5 자동형 변환군을 통한 대칭 축소를 활용한 선형 프로그래밍을 통해 $ s(M,N) $ 는 효율적으로 계산될 수 있는가?

주요 결과

• 원형 완전 그래프 $ K_{p/q} $ 에서 $ 2 \leq p/q \leq 3 $ 인 경우, 많은 그래프 클래스에 대해 함수 $ s(M,N) $ 가 일정함을 규명하여 근사 경계의 전이가 가능해졌다.
• 논문은 $ K_4 $-minor-free 그래프에서 $ G $ 의 홀수 둘레가 $ 6k-1 $ 이상이면 $ s(K_2, G) \geq \frac{4k}{4k+1} $ 이고, 홀수 둘레가 $ 6k+3 $ 이상이면 $ s(K_2, G) \geq \frac{4k+2}{4k+3} $ 임을 증명하였다.
• $ s(M,N) $ 가 새로운 색칠 수 계열 $ \chi_M(N) $ 와 밀접한 관련이 있음을 보이며, 이를 통한 다른 계산 경로를 제공한다.
• Šámal 이 제기한 추측, 즉 $ \chi_c^\square(G) = 4 $ 인 그래프 $ G $ 가 존재한다는 것에 대해 반박하였으며, 그러한 그래프는 존재하지 않음을 입증하였다.
• Šámal 이 제기한 추측, 즉 모든 그래프 $ G $ 에 대해 $ \chi_c^\square(G) \leq 3 $ 임을 확인하였으며, 엄밀한 상한을 확립하였다.
• 다음과 같은 닫힌 표현식을 유도하였다: $ s = \frac{(2kn+n-4)(\xi_n(4k-1)+(2k-1))}{(2kn+n-4)(\xi_n(4k-1)+(2k-1))+(4k-2)(1-\xi_n)} $, 여기서 $ \xi_n = (\alpha_1^{(n-1)/2} + \alpha_2^{(n-1)/2})/4 $ 이며, $ \alpha_1, \alpha_2 $ 는 재귀 관계로부터 유도된 이차방정식의 근이다.