버퍼 크기 제한 하에서 패킷 스케줄링 최적화와 경쟁률 한계

본 논문은 QoS(품질‑서비스) 네트워크 장비에서 흔히 발생하는 “버퍼 크기 제한” 상황을 모델링하고, 이에 대한 최적화 및 경쟁률 분석을 수행한다. 먼저, 문제 정의를 살펴보면, 시간은 이산적이며 패킷은 임의의 시점에 도착한다. 각 패킷 p는 비음수 가치 vₚ와 정수 마감시간 dₚ를 갖고, 버퍼는 동시에 최대 B개의 패킷만 보관할 수 있다. 매 시간 단계마다 하나의 패킷만 전송 가능하고, 전송되지 않은 패킷은 언제든지 버릴 수 있다. 목표는 마감시간 내에 전송된 패킷들의 총 가치를 최대화하는 것이다. 이 모델은 기존 bounded‑delay 모델을 일반화한 것으로, B가 충분히 크면 기존 모델과 동일해지고, B가 작을 경우 새로운 제약이 추가된다. **오프라인 알고리즘** 저자는 O(n²) 시간 복잡도의 최적 오프라인 알고리즘을 제시한다. 핵심 아이디어는 패킷을 가치 내림차순으로 정렬하고, 같은 가치일 경우 마감시간이 늦은 패킷을 먼저 고려하는 것이다. 그런 다음 현재 선택된 집합 S에 새 패킷 j를 추가하고, S∪{j}에 대해 EDF(Earliest‑Deadline‑First) 스케줄이 가능한지 검사한다. 가능하면 S←S∪{j}, 불가능하면 j를 버린다. 이 과정은 모든 패킷에 대해 반복되며, 매 검사 단계에서 EDF 스케줄 검증은 O(|S|+log B) 시간에 수행된다. 전체 복잡도는 정렬 O(n log n)과 검사 O(n·(n+log B))를 합쳐 O(n²)이다. 매트로이드 성질(독립성, 교환성)을 이용해 이 알고리즘이 최적임을 증명한다. 특히, 모든 패킷 가치가 동일할 경우 EDF만으로도 최적 해를 구할 수 있으며, 이때 시간 복잡도는 O(n log B) 로 크게 개선된다. **온라인 알고리즘 및 경쟁률 하한** 온라인 환경에서는 미래 도착을 알 수 없으므로 경쟁률(competitive ratio) 개념을 사용한다. 논문은 “최선‑노력 입장(best‑effort admission)” 알고리즘군을 정의한다. 이 군에 속하는 알고리즘은 매 순간 현재 버퍼에 존재하는 패킷 집합 Pₜ에 대해 최적 임시 스케줄(optimal provisional schedule)을 계산하고, 그 스케줄에 포함된 하나의 패킷을 전송한다. 저자는 이러한 알고리즘에 대해 경쟁률 하한이 max{φ, 2 − 1/B}임을 증명한다. 여기서 φ≈1.618은 기존 bounded‑delay 모델에서 알려진 하한이다. 증명은 B가 제한된 경우, 최적 오프라인 해가 임시 스케줄에 포함되지 않을 수 있음을 보이는 구성 인스턴스를 제시한다. 구체적으로, 초기 단계에서 가치 1인 B개의 패킷을 마감시간 B+1…B+B에 두고, 그 뒤에 가치 1+ε인 B개의 패킷을 마감시간 1…B에 놓는다. 최적 오프라인은 작은 ε 패킷을 먼저 받아 전체 가치 (1+ε)B+(B−1)을 얻지만, 최선‑노력 입장 알고리즘은 버퍼 제한으로 인해 큰 가치 패킷을 모두 수용하지 못하고, 최종 가치가 (1+ε)B에 불과하다. ε를 적절히 선택하면 경쟁률이 2 − 1/B에 수렴한다. 따라서 B가 작을수록 하한이 φ보다 크게 강화된다. **2‑competitive 결정론적 알고리즘 GRQ** 논문은 기존 연구(Fung, 2009)에서 제시된 2‑competitive 알고리즘 GRQ를 다시 소개하고, 보다 직관적인 잠재 함수(potential function) 분석을 제공한다. GRQ의 동작은 다음과 같다. (1) 현재 버퍼에 있는 패킷을 가치 내림차순으로 정렬하고, 각 패킷을 슬롯 S