[논문 리뷰] Thoroughly Distributed Colorings

Wayne Goddard, Michael A. Henning|arXiv (Cornell University)|2016. 09. 30.

Dye analysis and toxicity참고 문헌 17인용 수 6

한 줄 요약

이 논문은 각 색 클래스가 총 독립 집합을 이룰 수 있도록 분포가 잘 되어 있는 그래프의 색칠법을 소개하고 철저히 분석한다. 이는 최소 차수 ≥2인 클로우프리 그래프의 분수 총 독립 다마틱 수(Fractional Total Domatic Number, FTD)가 최소 1.5임을 증명하며, 평면 그래프의 총 독립 다마틱 수(td)가 4 이하임을 보이고 여러 경우에서 이론적 상한이 정확히 맞는다는 것을 밝힌다. 또한 모든 평면 삼각분할 그래프는 td ≥ 2이며, 모든 연결된 3-정규 그래프는 FTD ≥ 2를 만족한다고 추측한다.

ABSTRACT

We consider (not necessarily proper) colorings of the vertices of a graph where every color is thoroughly distributed, that is, appears in every open neighborhood. Equivalently, every color is a total dominating set. We define $ d(G)$ as the maximum number of colors in such a coloring and $\FTD(G)$ as the fractional version thereof. In particular, we show that every claw-free graph with minimum degree at least~$2$ has~$\FTD(G)\ge 3/2$ and this is best possible. For planar graphs, we show that every triangular disc has $\FTD(G) \ge 3/2$ and this is best possible, and that every planar graph has $ d(G) \le 4$ and this is best possible, while we conjecture that every planar triangulation has $ d(G)\ge 2$. Further, although there are arbitrarily large examples of connected, cubic graphs with $ d(G)=1$, we show that for a connected cubic graph $\FTD(G) \ge 2-o(1)$, and conjecture that it is always at least~$2$. We also consider the related concepts in hypergraphs.

연구 동기 및 목표

• 모든 열린 이웃에 각 색이 나타나는 정점 색칠법을 연구한다. 즉, 각 색 클래스가 총 독립 집합을 이룬다.
• 총 독립 다마틱 수 td(G)의 일반화인 분수 총 독립 다마틱 수 FTD(G)를 정의하고 분석한다.
• 클로우프리, 평면, 3-정규 그래프와 같은 특정 그래프 계열에 대해 FTD(G)와 td(G)의 날카로운 하한 및 상한을 확립한다.
• 평면 및 3-정규 그래프에서 다수의 서로소 총 독립 집합의 존재와 관련된 열린 문제를 해결하고 새로운 추측을 제기한다.

제안 방법

• 효율 비율 |F| / r_F를 갖는 철저히 분포된 가족 F를 정의한다. 여기서 r_F는 F 내에서의 최대 정점 다중도이다.
• 모든 이러한 가정 F에 대해 효율 비율의 상한을 취하여 FTD(G)를 정의한다.
• 선형 프로그래밍의 이중성과 초그래프의 전이 기법을 사용하여 FTD(G)를 상한으로 제한한다. 특히 총 독립 집합의 초그래프에서의 분수 매칭과의 관계를 이용한다.
• 기존의 초그래프 2-색칠 및 2-요소에 관한 결과를 활용하여, 클로우프리 및 평면 그래프에 대해 FTD(G)의 하한을 조합 및 구조적 추론을 통해 증명한다.
• 초그래프 이론의 결과, 예를 들어 3-균일 초그래프의 거의 2-색칠법을 활용하여 3-정규 그래프에 대해 FTD(G)의 하한을 유도한다.
• 컴퓨터 보조 검증 및 극단적 구성(예: Kleetope, Heawood 그래프)을 사용하여 추측을 검증하고 극단적 값의 범위를 제한한다.

실험 결과

연구 질문

• RQ1 최소 차수가 2 이상인 클로우프리 그래프에서 FTD(G)의 최소 가능한 값은 얼마이며, 이 값 1.5는 날카로운가?
• RQ2 모든 평면 삼각분할 그래프는 두 개의 서로소 총 독립 집합으로 분할될 수 있는가? 이 추측은 날카로운가?
• RQ3 td(G) = 1일 때 FTD(G)의 최대 가능한 값은 얼마이며, 극단적 경우에서는 얼마나 클 수 있는가?
• RQ4 모든 연결된 3-정규 그래프는 FTD(G) ≥ 2를 만족하는가? 이 상한은 날카로운가, 아니면 향상시킬 수 있는가?
• RQ5 모든 3-균일 3-정규 초그래프는 각 정점이 최대 두 번만 포함되는 네 개의 전이를 갖는가?

주요 결과

• 최소 차수가 2 이상인 모든 클로우프리 그래프는 FTD(G) ≥ 1.5를 만족하며, 이 상한은 최적이다.
• 모든 삼각형 디스크 그래프는 FTD(G) ≥ 1.5를 만족하며, 이 상한은 날카롭다.
• 모든 평면 그래프는 td(G) ≤ 4를 만족하며, 이 상한은 특정 구성에 의해 날카롭게 맞는다.
• 최대 외평면 그래프의 경우, 순서가 4로 나누었을 때 2와 합동이 아닐 경우를 제외하고는 두 개의 서로소 총 독립 집합이 존재한다.
• 연결된 3-정규 그래프의 분수 총 독립 다마틱 수는 FTD(G) ≥ 2 - o(1)를 만족하며, 모든 이러한 그래프에 대해 FTD(G) ≥ 2라는 추측이 제기된다.
• Heawood 그래프는 td(G) = 1일 때 FTD(G) = 7/3에 도달하며, 이는 td(G) = 1이지만 FTD(G)가 2를 초월할 수 있음을 보여준다.