세 수신자를 위한 온라인 네트워크 코딩: 최적 처리량과 지연 최소화

본 논문은 패킷 소실이 발생하는 브로드캐스트 채널에서 세 명의 수신자를 대상으로, 피드백을 활용한 온라인 네트워크 코딩 알고리즘을 설계하고 그 성능을 분석한다. 먼저, 기존 연구들을 검토한다. 무작위 선형 네트워크 코딩(RLNC)과 디지털 분수 코드는 혁신성을 보장해 100 % 처리량을 달성하지만, 블록 기반 전송으로 인해 디코딩 지연이 크게 발생한다. ARQ는 단일 수신자에 대해 최적 지연을 제공하지만, 브로드캐스트 상황에서는 적용이 제한적이다. 기존의 두 수신자용 피드백 기반 코딩은 즉시 디코딩 가능성을 유지하면서도 처리량을 최적화했지만, 세 수신자 이상에서는 동시에 혁신성과 즉시 디코딩을 모두 만족시키는 것이 불가능함을 예시를 통해 보여준다. 이에 저자들은 “리더(leader)” 개념과 “인덱스 제한 불변량”을 도입한다. 각 슬롯 시작 시, 수신자들의 현재 지식(rank) 중 최댓값을 \(m\)이라 정의하고, \(m\)을 가진 수신자를 리더라 부른다. 송신자는 언제든지 전송에 \(p_{m+1}\)보다 큰 인덱스의 패킷을 포함시키지 않겠다는 불변량을 유지한다. 이 불변량은 송신자가 이미 도착한 패킷 집합 안에서만 코딩을 수행함을 의미한다. 알고리즘은 세 가지 경우로 나뉜다. 1) **모든 수신자가 리더**: 세 수신자가 모두 동일한 rank \(m\)을 가지고 있다. 아직 \(p_{m+1}\)가 도착하지 않았다면 전송을 보류하고, 도착했을 경우 각 수신자가 아직 보지 못한 패킷을 포함한 선형 결합을 전송한다. GF(3) 위에서 적절한 계수를 선택하면 세 수신자 모두에게 혁신성을 보장할 수 있다. 2) **두 명이 리더**: 두 리더 중 하나가 이미 \(1\sim m\) 패킷을 모두 디코딩했는지 여부에 따라 행동이 달라진다. 비리더가 아직 디코딩하지 않은 가장 오래된 패킷을 우선 전송하거나, \(p_{m+1}\)가 도착했을 때 비리더가 이미 알고 있으면 \(p_{m+1}\)과 비리더의 오래된 패킷을 합쳐 전송하고, 그렇지 않으면 \(p_{m+1}\) 자체를 전송한다. 3) **단일 리더**: 두 비리더의 “청취(heard) 집합” \(H_1, H_2\)와 “디코딩(decoded) 집합” \(D_1, D_2\)를 정의하고, 전체 패킷 집합 \(U\)를 9개의 서브셋\(S_1\sim S_9\)으로 분할한다. \(p_{m+1}\)이 어느 서브셋에 속하는가에 따라 전송 전략을 선택한다. 예를 들어, \(p_{m+1}\)이 \(S_4\)에 있으면 그대로 전송하고, \(S_2\)에 있으면 \(p_{m+1}\)과 가장 오래된 다른 서브셋의 패킷을 합쳐 전송한다. 각 경우마다 계수를 1 또는 2로 설정해 GF(3)에서 혁신성을 유지한다. 알고리즘의 핵심 특성은 **전송당 최대 두 개의 미디코딩 패킷만을 포함**한다는 점이다. 이는 수신자가 성공적으로 패킷을 받으면 즉시 하나 이상의 원본 패킷을 복원할 수 있게 하며, “즉시 디코딩 가능성”을 완전 만족시키지는 않지만, 부하가 포화에 가까워질 때 평균 지연이 단일 수신자 ARQ와 동일한 \(\Theta\!\left(\frac{1}{1-\rho}\right)\) 수준으로 유지된다는 점에서 ‘점근적 최적’이라고 주장한다. 수학적 분석에서는 송신자 큐를 Bernoulli 도착률 \(\lambda\)와 성공 전송 확률 \(\mu\)를 갖는 마코프 체인으로 모델링한다. 부하 \(\rho=\lambda/\mu<1\)이면 체인은 양의 재발성을 가지며, 안정 상태에서 평균 큐 길이는 \(\Theta\!\left(\frac{1}{1-\rho}\right)\)이다. Little’s Law을 적용하면 단일 수신자 경우 평균 디코딩 지연도 동일한 차수로 성장한다. 논문은 시뮬레이션을 통해 제안 알고리즘이 \(\rho\)가 0.99에 가까운 경우에도 평균 지연이 \(\Theta\!\left(\frac{1}{1-\rho}\right)\)에 근접함을 확인한다. 또한, 알고리즘이 GF(3) 위에서 언제나 혁신적인 계수를 선택할 수 있음을 증명하고, “청취-디코딩” 관계를 등가류(partition)로 정의해 지연 제어 메커니즘을 직관적으로 설명한다. 이 관계는 두 패킷의 선형 결합을 통해 다른 패킷을 유도할 수 있는지를 판단하는 것으로, 전송 설계 시 어떤 패킷을 섞어야 하는지를 결정하는 기준이 된다. 마지막으로, 저자들은 현재 알고리즘이 “한 번에 하나의 청취 집합만 비어 있음”이라는 관찰을 기반으로 더 간단한 구현이 가능할 것이라고 제안한다. 또한, 현재 설계가 세 수신자에 최적화되어 있지만, 동일한 원칙을 확장하면 임의의 수신자 수에 대해서도 처리량 100 %와 점근적 최적 지연을 동시에 달성할 수 있을 것으로 기대한다.