패널티 기반 클리크 탐색을 이용한 삭제 정정 코드 설계

초록

본 논문은 이진 삭제‑정정 코드를 최대 클리크 문제로 변환하고, 동적 로컬 서치를 기반으로 한 패널티‑가이드 클리크 탐색(PGCS) 알고리즘을 적용해 기존 휴머버그·스와트·최소 차수·컬러링 기법보다 큰 코드북을 구축한다. 또한, 기호 개수 필터링과 조기 종료를 결합한 LCS 기반 디코더를 제안해 평균 복잡도를 크게 낮춘다.

상세 분석

본 연구는 먼저 삭제 채널에서 최대 d 개의 삭제를 복구할 수 있는 이진 코드북을 구성하는 문제를 “두 코드워드 사이의 LCS 거리 ≥ d + 1”이라는 조건으로 정형화한다. 이 조건은 두 문자열의 최장 공통 부분수열(LCS) 길이가 n − (d + 1) 이하임을 의미하며, 이를 그래프 G = (V,E) 에 매핑한다. 정점 V는 길이 n 인 모든 2ⁿ개의 이진 문자열이며, 두 정점 u, v 사이에 d_LCS(u,v) ≥ d + 1 이면 간선을 연결한다. 따라서 G의 클리크는 서로 LCS 거리가 충분히 멀어 삭제 후에도 구분 가능한 코드워드 집합, 즉 d‑삭제‑정정 코드북이 된다. 최대 클리크를 찾는 것이 최적 코드북을 구하는 문제와 동치가 된다.

정확한 최대 클리크를 구하는 브론–케르보흐 같은 완전 탐색은 n ≤ 8 정도에서만 실용적이며, 그 이상에서는 지수적 비용이 발생한다. 이를 극복하기 위해 저자들은 Dynamic Local Search(DLS)에서 영감을 얻은 Penalty‑Guided Clique Search(PGCS)를 설계한다. PGCS는 현재 클리크를 그리디하게 확장하되, 확장이 멈추면 “패널티”를 활용해 고패널티 정점을 제거하거나 무작위 재시작한다. 패널티는 클리크에 포함된 횟수에 따라 증가하고, 매 반복마다 감쇠시켜 동일 정점에 대한 반복 선택을 억제한다. 이러한 메커니즘은 탐색의 다양성을 확보하면서도 각 반복의 연산량을 O(|V|) 수준으로 유지한다. 알고리즘은 시간 제한이나 반복 횟수에 따라 조기 종료가 가능해 실용적인 자원 제어가 가능하다.

디코딩 측면에서는, 수신된 부분열 y 에 대해 코드북 C 의 모든 코드워드 u 에 대해 LCS(u,y) 를 계산하고, 최대값을 갖는 코드를 선택한다. 기본 복잡도는 O(|C|·n²) 이지만, 저자들은 두 가지 최적화를 제안한다. 첫째, 삭제는 1과 0의 개수를 감소시키므로, 수신열의 1·0 개수보다 적은 코드워드를 사전 필터링한다. 이 단계는 O(|C|·n) 시간에 수행돼 후보를 크게 줄인다. 둘째, 어떤 코드워드가 LCS(u,y)=|y| 를 달성하면 y 가 그 코드워드의 부분열임을 의미하므로 즉시 복호화하고 탐색을 종료한다. 이러한 최적화는 평균 실행 시간을 크게 감소시키면서도 정확성을 유지한다.

실험에서는 n = 814 및 d = 1,2,3 조합에 대해 PGCS가 기존 최소 차수, 컬러링, Helberg, Swart 등 방법보다 항상 더 큰 코드북을 얻었다. 특히 d=2, n=14 에서는 81 개의 코드워드로 Helberg의 78 개를 능가했으며, 일부 경우에는 알려진 최적 크기와 일치했다. 디코더는 필터링 후 평균 |C| 의 30% 이하만 LCS 연산을 수행해, 베이스라인 대비 23배 빠른 복호화 속도를 기록했다. 전체적으로 PGCS는 중간 규모(2ⁿ≈10⁴~10⁵) 문제에서 높은 품질의 코드북을 빠르게 생성하고, 실용적인 디코딩 비용을 제공한다는 점에서 의미가 크다.