식별 코드 문제의 극한 그래프 완전 분류

본 논문은 그래프 이론에서 중요한 개념인 식별 코드(identifying code)의 최소 크기가 그래프 정점 수 n 에 대해 언제 n‑1에 도달하는지를 체계적으로 조사한다. 먼저, 식별 코드가 존재하려면 그래프가 트윈(twin) 자유이어야 함을 상기하고, 기존 연구(N. Bertrand 등)에서 제시된 “트윈 자유이며 최소 한 개의 간선을 가진 그래프는 γ_ID ≤ n‑1”이라는 정리를 재확인한다. 그 다음, 극한 사례, 즉 γ_ID = n‑1을 만족하는 그래프들을 완전히 분류한다. 기본적인 예시로 별 그래프 K_{1,t}(t≥2)가 존재한다. 저자들은 이보다 일반적인 구조를 도입한다. 정의 8에 따라 Aₖ 그래프를 구성하는데, 이는 2k개의 정점을 두 개의 k‑클리크로 나누고, 각 클리크 내부는 완전 연결, 클리크 사이의 연결은 인덱스 차이가 k‑1 이하인 경우에만 존재한다. Aₖ는 트윈 자유이며, 최소 구분 집합(γ_S)와 최소 식별 코드(γ_ID)가 각각 2k‑1임을 증명한다(명제 9). 특히 B₁(xₖ)와 B₁(x_{k+1})가 각각 전체 정점 집합에서 하나의 정점만 제외한 집합이며, 이 두 집합이 유일한 최소 구분 집합이다. 이후, 조인 연산 ⊲⊳을 이용해 Aₖ 그래프들을 결합한 그래프들의 클래스를 정의한다. 명제 6은 두 트윈 자유 그래프 G₁, G₂가 조인될 때 최소 구분 집합 크기가 γ_S(G₁)+γ_S(G₂)+1임을 보이며, 이때 최소 구분 집합에는 반드시 S‑universal 정점이 존재한다는 점을 강조한다. 이를 귀납적으로 적용하면, Aₖ들의 조인으로 이루어진 모든 그래프는 γ_ID = |V|‑1을 만족한다. 또한, Aₖ에 단일 보편 정점(K₁)을 추가한 형태(A⊲⊳K₁)도 동일한 성질을 가진다(명제 13). 위의 결과들을 종합하면, γ_ID = n‑1을 만족하는 모든 연결된 트윈 자유 그래프는 다음 네 가지 경우 중 하나이다: (1) 별 K_{1,t}(t≥2), (2) Aₖ (k≥2), (3) Aₖ들의 조인, (4) 위 조인에 보편 정점 추가. 예외적으로 A₁=K₂는 γ_ID = 2 = n이므로 제외된다. 정리 14는 이를 정리하며, 반증된 기존의 두 추측(모든 극한 그래프는 별 혹은 완전 이분 그래프 등)을 명확히 부정한다. 무한 그래프에 대해서는, 전체 정점 집합이 반드시 식별 코드에 포함돼야 하는 경우를 전부 규명한다. 기존 연구에서 제시된 무한 경로와 무한 별 등 몇몇 예시를 일반화하여, 무한 완전 그래프에서 최대 매칭을 제거한 형태(Kₙ\M)와 그에 보편 정점을 추가한 형태가 전부임을 증명한다(섹션 4). 마지막으로, 정점 수 n과 최대 차수 Δ에 대한 새로운 상한을 제시한다. 기존 상한 γ_ID ≤ n‑1을 개선하여, Δ가 작을수록 γ_ID ≤ n‑⌈Δ/2⌉와 같은 보다 강력한 부등식을 도출한다(섹션 5). 이는 특히 희소 그래프에서 식별 코드의 크기가 크게 감소할 수 있음을 의미한다. 또한, 일반 r‑식별 코드에 대한 논의(섹션 6)도 포함하여, r≥1일 때도 유사한 구조적 결과가 확장될 수 있음을 시사한다. 전체적으로 논문은 식별 코드 문제의 극한 사례에 대한 완전한 구조적 분류와 새로운 상한식을 제공함으로써, 이론적 그래프 연구뿐 아니라 네트워크 보안, 센서 배치, 라우팅 등 실용적 응용 분야에서도 중요한 통찰을 제공한다.