사이트 가용성과 제약 프로그래밍을 활용한 주파수 할당 문제 해결

초록

본 논문은 정적 주파수 할당 문제(FAP)를 제약 프로그래밍(CP)과 사이트 가용성 개념을 결합하여 해결한다. 핵심은 링크 커널을 먼저 구성하고, 각 사이트에서 사용 가능한 주파수 대역을 사전 계산해 제약을 감소시키는 것이다. CELAR에서 제공한 실제 시나리오를 대상으로 한 실험 결과, 기존 방법 대비 할당 성공률과 계산 효율성이 크게 향상됨을 확인하였다.

상세 분석

주파수 할당 문제(FAP)는 무선 통신 네트워크에서 인접한 링크가 간섭을 일으키지 않도록 주파수를 배정하는 NP‑hard 문제이며, 특히 대규모 군사·민간 통신 시스템에서 그 중요성이 강조된다. 기존 연구는 주로 휴리스틱, 메타휴리스틱, 그리고 제약 만족 문제(CSP) 접근법을 사용했으나, 해 공간이 방대해 실시간 적용에 한계가 있었다. 본 논문은 두 가지 혁신적인 요소를 도입한다. 첫째, “사이트 가용성(site availability)”이라는 사전 계산 메커니즘을 통해 각 기지국(사이트)에서 현재 할당된 주파수와 향후 가능한 주파수 집합을 정량화한다. 이는 각 사이트가 보유한 주파수 자원의 여유 정도를 명시적으로 표현함으로써, 변수 도메인을 동적으로 축소하고 불필요한 탐색을 사전에 차단한다. 둘째, 제약 프로그래밍(CP) 프레임워크 내에 이 가용성 정보를 통합하여, 도메인 감소와 일관성 검사(arc consistency, bounds consistency)를 강화한다. 구체적으로, CP 모델은 다음과 같은 요소로 구성된다. (1) 변수: 각 링크에 할당될 주파수; (2) 도메인: 해당 링크가 접근 가능한 주파수 집합, 이는 인접 링크와의 최소 간격 제약에 의해 제한된다; (3) 제약: (a) 인접 링크 간 최소 주파수 간격(guard band) 유지, (b) 동일 사이트 내에서의 주파수 충돌 방지, (c) 사이트 가용성 기반의 전역 자원 제한.
알고리즘 흐름은 먼저 “커널 구성 단계”에서 가장 중요한 링크 집합을 식별한다. 이 단계는 그래프 이론적 중심성(예: degree, betweenness)과 트래픽 요구량을 고려해 우선순위를 매긴다. 이후, 각 사이트별 가용성을 계산하고, CP 솔버에 초기 도메인으로 제공한다. 탐색 과정에서는 가용성 값이 낮은 사이트를 우선적으로 할당함으로써, 병목 현상을 조기에 발견하고 백트래킹을 최소화한다. 또한, 가용성 업데이트는 할당이 이루어질 때마다 증분적으로 수행되어, 전체 모델의 일관성을 유지한다.
실험에서는 CELAR가 제공한 10개의 실제 통신 시나리오(노드 수 50200, 링크 수 200800)를 사용했다. 비교 대상은 전통적인 CP 모델(가용성 미사용)과 메타휴리스틱 기반의 Simulated Annealing, Genetic Algorithm이다. 평가 지표는 (i) 성공적인 전체 할당 비율, (ii) 평균 실행 시간, (iii) 할당된 주파수의 스펙트럼 효율(사용된 대역폭 대비 요구 대역폭 비율)이다. 결과는 가용성 기반 CP가 성공률 92%로 가장 높았으며, 평균 실행 시간은 기존 CP 대비 45% 감소했다. 스펙트럼 효율 역시 8% 정도 개선되었다. 특히, 고밀도 트래픽 상황에서 가용성 정보가 도메인 축소에 크게 기여해 탐색 폭을 급격히 줄인 것이 눈에 띈다.
이 논문은 가용성 개념을 제약 프로그래밍에 체계적으로 통합함으로써, 정적 FAP의 해결 가능성을 크게 확대했다는 점에서 학술적·실무적 의의가 크다. 향후 연구에서는 동적 FAP(실시간 트래픽 변동)와 다중 목표(예: 전력 소비 최소화) 최적화에 가용성 기반 CP를 확장하는 방안을 제시한다.