삭제 정정 코드 구축의 두 가지 접근법: 무게 분할과 최적 색칠

초록

본 논문은 이진 삭제 채널에서 s-삭제 정정 코드를 그래프 이론적으로 모델링하고, 정점들의 해밍 무게에 따라 그래프를 분할한 뒤 각 부분 그래프에서 독립 집합을 찾는 방법을 제안한다. 무게별 부분 그래프에서 얻은 코드들의 합은 전체 코드의 크기에 대한 하한을 제공하며, 단일 삭제 경우에는 해당 부분 그래프들의 최적 색칠을 이용해 비대칭적으로 최적에 근접한 코드를 구성한다. 또한, VT 코드가 색칠 관점에서 최적임을 보이고, 삭제 채널 그래프의 색수에 대한 새로운 하한을 증명한다.

상세 분석

이 논문은 이진 문자열에 대한 s-삭제 정정 코드를 “삭제 채널 그래프”(deletion channel graph)라는 특수한 그래프의 독립 집합으로 보는 새로운 시각을 제시한다. 그래프의 정점은 길이 n인 모든 이진 문자열이며, 두 정점 사이에 간선이 존재한다는 것은 하나의 문자열을 다른 문자열로 s번 삭제 연산을 통해 변환할 수 있음을 의미한다. 따라서 독립 집합은 서로 간에 삭제 변환이 불가능한 문자열들의 집합, 즉 s-삭제 정정 코드와 정확히 일치한다.

전통적인 독립 집합 탐색은 전체 2ⁿ개의 정점을 다루어야 하므로 계산량이 급격히 증가한다. 저자들은 이를 완화하기 위해 정점들을 해밍 무게(‘1’의 개수)별로 파티셔닝하고, 각 무게 클래스가 유도하는 부분 그래프에서 독립 집합을 찾는 전략을 채택한다. 무게가 고정된 서브그래프는 정점 수가 C(n, w) 로 제한되며, 특히 w가 n/2에 가까울 때는 전체 그래프 대비 현저히 작아진다. 이 구조적 제약은 탐색 공간을 크게 축소시켜, 기존의 완전 탐색보다 효율적인 휴리스틱이나 정수 계획법을 적용할 수 있게 만든다.

이러한 무게 분할 접근법에 대해 저자들은 일반적인 s에 대해 코드 크기의 하한을 증명한다. 구체적으로, 각 무게 클래스 w에 대해 최적 독립 집합의 크기를 α_w라 하면, 전체 코드 크기 A ≥ Σ_w α_w 로 표현된다. 저자는 α_w 를 기존의 독립 집합 상한인 (n choose w)/ (s+1) 정도로 추정하고, 이를 전체 합산하여 얻은 하한이 무제한(전체 그래프) 경우의 하한과 상수 배 차이만 존재함을 보인다. 즉, 무게 파티셔닝을 통한 코드 구성은 이론적으로도 거의 최적에 가깝다.

특히 단일 삭제(s=1) 상황에서는 무게별 서브그래프가 매우 규칙적인 구조를 띠며, 저자들은 이 그래프들의 최적 색칠(즉, 최소 색수 χ)을 정확히 구한다. 색칠은 그래프를 색으로 분할해 인접 정점이 같은 색을 갖지 않게 하는 것이며, 각 색은 자동으로 독립 집합을 형성한다. 따라서 최적 색칠을 찾는 것은 최적 코드(또는 그에 근접한 코드)를 얻는 직접적인 방법이 된다. 저자는 무게 w에 대해 χ_w = ⌈(n+1)/(w+1)⌉ 라는 식을 도출하고, 이를 이용해 각 무게 클래스에서 최대 크기의 독립 집합을 구성한다. 결과적으로 전체 코드의 크기는 (n+1)⁻¹·2ⁿ 와 거의 일치하여, 기존에 알려진 VT(Van Turner) 코드와 동일한 비율의 asymptotic optimality 를 달성한다.

또한, VT 코드가 색칠 관점에서 최적임을 보인다. VT 코드는 각 문자열에 대해 특정 검증식(모듈 n+1) 값을 고정함으로써 정의되며, 이는 바로 그래프의 색칠과 일대일 대응한다. 따라서 VT 코드는 최소 색수 χ와 동일한 크기의 독립 집합을 제공함을 증명한다.

마지막으로 저자들은 삭제 채널 그래프의 색수 χ에 대한 새로운 하한을 제시한다. 기존에는 χ ≥ 2ⁿ/(n+1) 정도만 알려졌으나, 이 논문은 무게 파티셔닝과 색칠 구조를 이용해 χ ≥ Ω(2ⁿ / n) 를 증명한다. 흥미롭게도, 이 하한에 정확히 도달하는 색칠이 존재하더라도, 그 색칠이 반드시 최적 코드를 제공하지는 않을 수 있음을 논증한다. 이는 색칠과 코드 최적성 사이에 미묘한 차이가 존재함을 시사한다.

요약하면, 이 논문은 삭제 정정 코드를 그래프 독립 집합으로 보는 프레임워크를 확장하여, 무게 파티셔닝을 통한 탐색 효율성 향상, 단일 삭제 경우의 최적 색칠 해법, 그리고 VT 코드와 색칠의 동등성, 그리고 색수에 대한 새로운 하한을 제시함으로써 이론적·실용적 측면 모두에 의미 있는 기여를 한다.