리니얼 하한을 쉽게 이해하기

초록

본 논문은 Linial이 1992년에 제시한 “3‑색상 사이클 하한”을 보다 직관적이고 교과서적인 방식으로 재증명한다. 3‑색상으로 색칠해야 하는 n‑길이 방향 사이클에 대해, 어떤 결정적 분산 알고리즘이라도 최소 ⌈½·log* n − 1⌉ 라운드 이상의 통신이 필요함을 보인다. 핵심 아이디어는 “색칠 함수(colouring function)”라는 추상화와 두 개의 기본 보조정리(1‑ary 함수에 대한 색 수 하한, k‑ary 함수에서 (k‑1)‑ary 함수로 색 수를 두 배로 늘리는 변환)를 이용해 귀납적으로 k+1 ≥ log* n을 얻는 것이다.

상세 분석

논문은 먼저 분산 알고리즘을 “k‑ary c‑colouring 함수”라는 수학적 객체로 모델링한다. 여기서 k = 2T + 1은 알고리즘이 한 노드가 볼 수 있는 이웃의 깊이(반경)이며, c는 출력 색상의 종류이다. 함수 A는 모든 증가하는 입력 튜플 (x₁,…,x_k) 에 대해 색을 반환하고, 인접한 두 튜플이 겹치는 k‑1개의 원소를 공유할 때 색이 달라야 한다는 조건(3)을 만족한다. 이 조건이 바로 사이클에서 인접 노드가 서로 다른 색을 가져야 함을 의미한다.

첫 번째 보조정리(Lemma 1)는 1‑ary c‑colouring 함수가 존재하려면 c ≥ n이어야 함을 보인다. 이는 단순히 pigeonhole principle을 적용한 결과이며, 색의 수가 정점 수보다 작으면 서로 다른 식별자를 같은 색에 매핑하게 되어 인접 정점이 같은 색을 갖게 되는 모순을 만든다.

두 번째 보조정리(Lemma 2)는 k‑ary c‑colouring 함수 A로부터 (k‑1)‑ary 2c‑colouring 함수 B를 구성할 수 있음을 증명한다. B는 입력 (x₁,…,x_{k‑1})에 대해 “가능한 A의 출력 집합”을 반환하도록 정의한다. 구체적으로, x_k를 x_{k‑1}보다 크게 선택했을 때 A(x₁,…,x_k)의 값을 집합에 넣고, 이 집합을 정수로 인코딩한다. 이렇게 하면 B는 최대 2c개의 서로 다른 값을 가질 수 있다. 중요한 점은 B가 여전히 색칠 함수의 조건(2)와 (3)을 만족한다는 것이다. 증명에서는 B가 같은 값을 가질 경우, A가 조건(3)을 위반하게 되는 상황을 귀류법으로 보여준다.

이 두 보조정리를 조합하면 귀납적 증명이 완성된다. 초기에는 k‑ary 3‑colouring 함수가 존재한다고 가정하고, Lemma 2를 반복 적용해 색의 수를 제곱해서 늘리면서 입력 길이를 1씩 감소시킨다. 즉, A₁ (k‑ary, 3‑colour), A₂ ((k‑1)-ary, 3²‑colour), …, A_k (1‑ary, 3^{k}‑colour) 를 얻는다. 마지막 단계에서 Lemma 1을 적용하면 3^{k} ≥ n, 즉 k + 1 ≥ log* n이 된다. 여기서 k = 2T + 1이므로 T ≥ ½·log* n − 1이 증명된다.

이 증명은 기존 Linial의 증명에서 사용되는 복잡한 그래프 이론(이웃 그래프, 라인 그래프, 라마누잔 정리 등)을 전혀 필요로 하지 않는다. 대신 순수히 조합론적 사고와 간단한 함수 변환만으로 동일한 하한을 도출한다는 점에서 교육적 가치가 크다. 또한 “색칠 함수”라는 개념은 분산 알고리즘의 로컬성(locality)과 전역 제약을 명확히 구분해 주어, 다른 분산 문제(예: 최대 독립 집합, 매칭 등)에도 유사한 방식으로 적용 가능할 것으로 보인다.