[논문 리뷰] Extremal Restraints for Graph Colourings

Jason I. Brown, Aysel Erey외 1명|arXiv (Cornell University)|2016. 11. 27.

Limits and Structures in Graph Theory참고 문헌 5인용 수 6

한 줄 요약

이 논문은 완전 그래프와 나무에서 표준 단순 제약 조건(각 정점당 금지 색상 하나) 하에서 정점 색칠을 최대화하거나 최소화하는 극값 제약 조건—정점에 금지 색상을 할당하는 함수—을 조사한다. 완전 그래프와 나무에 대해 제약 조건이 번갈아가며 색을 칠할 때, 제약 색칠 다항식이 정확히 최대가 되며, 이는 최소 색칠 방법이기도 하다. 이 결과는 일반 그래프에서 극값 제약 조건이 항상 최소 색칠 방법이 아니라는 것을 드러내며, 잠재적인 추측에 도전한다.

ABSTRACT

A {\em restraint} on a (finite undirected) graph $G = (V,E)$ is a function $r$ on $V$ such that $r(v)$ is a finite subset of ${\mathbb N}$; a proper vertex colouring $c$ of $G$ is {\em permitted} by $r$ if $c(v) ot\in r(v)$ for all vertices $v$ of $G$ (we think of $r(v)$ as the set of colours {\em forbidden} at $v$). Given a large number of colors, for restraints $r$ with exactly one colour forbidden at each vertex the smallest number of colorings is permitted when $r$ is a constant function, but the problem of what restraints permit the largest number of colourings is more difficult. We determine such extremal restraints for complete graphs and trees.

연구 동기 및 목표

• 그래프에서 표준 단순 제약 조건(각 정점당 정확히 하나의 금지 색상)이 주어졌을 때, x-색칠의 수를 최대화하는 조건을 규명하는 것.
• 완전 그래프와 나무에서 제약 색칠 다항식의 극값을 유도하는 제약 조건의 구조를 특성화하는 것.
• 극값 제약 조건이 항상 최소 색칠 방법과 일치하는지, 특히 이분 그래프에서 그러한가를 조사하는 것.
• 고정된 제약 조건 하에서 제약 색칠 다항식이 최대 또는 최소가 되는 조건을 탐색하는 것.
• 대칭성과 색상 분포가 제약 조건 하에서 유효한 색칠 수를 최대화하는 데 미치는 영향을 검토하는 것.

제안 방법

• 각 정점 v가 금지 집합 r(v)를 피하는 정점 색칠의 수로 정의된 제약 색칠 다항식 π_r(G,x)를 사용한다.
• 특히 잎 정점을 제거하고 생긴 부분그래프를 분석함으로써 정점 수에 대한 귀납법을 적용한다.
• 잎 정점의 이웃 정점의 색상이 잎 정점의 금지 색상과 일치하는지 여부에 따라 케이스 분석을 수행한다.
• 정점 제거 후 생긴 연결 성분에 대해 보조 제약 조건 r_i를 도입하여 색상 가용성과 유효한 색칠 수를 모델링한다.
• 삭제-수축 유사 추론과 다항식 비교를 통해 번갈아가는 제약 조건이 엄격히 더 큰 제약 색칠 다항식을 유도함을 보여준다.
• 다른 제약 조건 하에서의 제약 색칠 다항식을 비교하기 위해 표현식의 차이를 분석하고, 큰 x에 대해 양수임을 보여준다.

실험 결과

연구 질문

• RQ1 완전 그래프와 나무에서, 큰 x에 대해 x-색칠의 수를 최대화하는 표준 단순 제약 조건은 무엇인가?
• RQ2 제약 색칠 다항식을 최대화하는 제약 조건은 항상 그래프의 최소 색칠 방법인가?
• RQ3 비최소 색칠 제약 조건이 최소 제약 조건보다 더 많은 유효한 색칠을 유도하는 조건는 무엇인가?
• RQ4 특정 그래프 계열에 대해 표준 단순 제약 조건 하에서 제약 색칠 다항식의 최대값을 조합론적으로 특성화할 수 있는가?
• RQ5 거의 모든 그래프에서 극값 제약 조건이 최소 색칠과 대응하는가?

주요 결과

• 완전 그래프에서는 제약 조건이 일정일 때(모든 정점이 같은 색상을 금지할 때) 제약 색칠 다항식이 최대가 되지만, 이는 나무에서의 번갈아가는 패턴과 모순된다.
• 나무에서는 제약 조건이 번갈아가는 색칠일 때, 제약 색칠 다항식이 엄격히 최대가 된다. 즉, 어떤 경로에서나 색상이 번갈아가며 칠해진다.
• 나무에서의 번갈아가는 제약 조건은 비번갈아가는 제약 조건보다 엄격히 더 많은 x-색칠을 유도하며, 귀납법과 케이스 분석을 통해 증명되었다.
• 나무에서 제약 색칠 다항식의 최대값은 유일하게 번갈아가는 제약 조건에서 달성되며, 이 값은 큰 x에 대해 다른 모든 값보다 양수의 차이로 초월한다.
• 일부 그래프(예: 순서 6)에서는 제약 색칠 다항식을 최대화하는 제약 조건이 최소 색칠이 아니며, 이는 잠재적인 일반화를 반박한다.
• 모든 이분 그래프에서 번갈아가는 제약 조건이 제약 색칠 다항식을 최대화한다고 추측하며, 순서 6까지의 검증을 통해 지지된다.