부분 가십 문제 재검토

초록

본 논문은 2026년 발표된 Chung·Tsay의 부분 가십 문제 결과에 대한 증명을 정밀히 검토하고, 원 논문의 두 번째 명제에 존재하던 오류를 바로잡는다. 수정된 증명을 통해 (P(n,k)=n+i)인 경우의 최소 통화 횟수를 정확히 규명한다.

상세 분석

논문은 먼저 부분 가십 문제를 정의한다. (n)명의 사람 각각이 하나의 고유한 메시지를 가지고 시작하고, 두 사람 간의 전화 통화는 양쪽이 현재 알고 있는 모든 메시지를 교환한다. 목표는 모든 사람이 최소 (k)개의 메시지를 알게 되는 데 필요한 최소 통화 횟수 (P(n,k))를 구하는 것이다. Chung·Tsay는 이를 두 구간으로 나누어

1. (n\ge 2^{k-1}-1)인 경우 (P(n,k)=\lceil\frac{2^{k-1}-1}{2^{k-1}},n\rceil)
2. (t_i\le n<t_{i-1}) ((0\le i\le k-4))인 경우 (P(n,k)=n+i)
   라는 식을 제시하였다.

원 논문에서 두 번째 식을 증명하는 과정(Lemma 3)에서 “명백한” 전제에 오류가 있었음이 지적된다. 구체적으로, 첫 번째 통화를 제거한 뒤 남은 그래프가 하나의 정점만을 포함하는 경우, 귀납 단계에서 (k)를 그대로 사용할 수 없다는 논리적 결함이다. 이로 인해 일부 통화 스킴(예: 논문에 제시된 예시 2·3)이 증명에서 누락되었다.

본 논문은 이러한 결함을 보완하기 위해 확장된 통신 스킴(preliminary calls)을 도입한다. 기본 트리 (G’)에 (\ell)개의 사전 통화를 삽입한 후 전체 스킴 (G)를 구성하고, 각 사람의 인식도(awareness)가 최대 (\ell)만큼 증가한다는 Lemma 2를 증명한다. 이를 바탕으로 Lemma 3에서는 (\ell\le3)일 때만 가능한 구조적 제약을 상세히 분석한다. 핵심은 사전 통화 그래프 (L)가 비교적 단순한 형태—즉, 서로 겹치지 않는 단일 간선들의 집합—이어야 한다는 점이다. 만약 하나의 컴포넌트가 두 개 이상의 간선을 포함한다면, 어떤 정점이 잎(leaf) 역할을 하면서 마지막 통화에 참여하지 못하게 되고, 이는 인식도 증가량이 (\ell)를 초과하지 못한다는 모순을 초래한다.

다음으로 Lemma 4와 Lemma 5에서는 트리와 유사환(uni‑cyclic) 그래프에 대한 하한을 일반화한다. 특히, (i)개의 사전 통화를 삽입한 경우 최소 정점 수가 (t_i(k)=2^{k-i-1}+i-1)을 만족해야 함을 보인다. 여기서 (t_i(k))는 Chung·Tsay가 정의한 수열 (t_i)와 동일하지만, 사전 통화가 포함된 상황을 고려해 재해석한 것이다. 증명 과정에서는 불필요한 정점을 병합(identification)하거나, 사전 통화가 아닌 기본 통화만으로 인식도가 충분히 높아지는 경우를 제외하고, 그래프 크기를 단계적으로 감소시키는 귀납적 방법을 사용한다.

결과적으로, 논문은 원래 Chung·Tsay 증명의 두 번째 명제에 대한 완전하고 오류 없는 증명을 제공한다. 핵심 아이디어는 사전 통화가 그래프 구조에 미치는 제한을 정확히 파악하고, 이를 통해 (n)이 (t_i)와 (t_{i-1}) 사이에 있을 때 최소 통화 횟수가 정확히 (n+i)임을 보이는 것이다. 또한, 기존 증명에서 간과되었던 특수한 그래프 형태(예: 예시 2·3)도 모두 포함하도록 일반성을 확보하였다.