유클리드 평면에서 최소 지연 스케줄링 문제의 NP‑난이도 분석

초록

본 논문은 물리적 SINR 모델 하에서 전송 전력을 자유롭게 선택할 수 있을 때, 유클리드 평면에 배치된 노드들의 최소 지연 스케줄링(MLS) 문제가 경로 손실 지수 α ≥ 3인 경우 NP‑hard임을 증명한다. 기존 연구들이 제한된 전력 설정이나 비유클리드 그래프에만 적용되던 난이도 결과를 확장하여, 평면상의 임의 배치와 전력 선택을 모두 허용하는 일반적인 상황에서도 최적 스케줄링을 구하는 것이 계산적으로 어려움을 보임을 보였다.

상세 분석

본 연구는 무선 네트워크 설계에서 핵심적인 문제인 최소 지연 스케줄링(Minimum Latency Scheduling, MLS)의 복잡도 특성을 유클리드 평면 상의 노드 배치와 물리적 SINR 모델을 결합하여 분석한다. SINR 모델은 수신 신호 강도와 간섭·노이즈의 비율이 일정 임계값을 초과해야 성공적인 전송이 가능하다는 현실적인 가정을 포함한다. 논문은 특히 전송 전력을 자유롭게 조정할 수 있는 ‘임의 전력’ 설정을 고려한다는 점에서 기존 연구와 차별화된다.

복잡도 증명은 전형적인 NP‑hardness reduction 기법을 활용한다. 저자들은 3‑SAT 혹은 planar‑3‑SAT와 같은 알려진 NP‑complete 문제를 선택하고, 이를 무선 전송 스케줄링 인스턴스로 변환하는 ‘가젯(gadget)’을 설계한다. 각 변수와 절을 나타내는 가젯은 평면 상에 특정 거리와 각도로 배치되며, 경로 손실 지수 α ≥ 3이라는 물리적 제약을 만족하도록 설계된다. 이때 전력 선택은 가젯 내부의 전송이 서로 간섭 없이 동시에 진행될 수 있도록 조정되며, 반대로 가젯 간에는 의도적인 간섭을 유발해 특정 조합만이 동일한 시간 슬롯에 배치될 수 있게 만든다.

핵심 아이디어는 ‘시간 슬롯 수 최소화’라는 목표가 변수 할당의 일관성을 강제한다는 점이다. 예를 들어, 변수 가젯은 두 가지 전력·시간 슬롯 선택(‘참’ 혹은 ‘거짓’)을 제공하고, 절 가젯은 해당 절에 포함된 리터럴 중 최소 하나가 ‘참’일 때만 간섭을 피하고 같은 슬롯에 배치될 수 있다. 따라서 전체 스케줄링을 두 슬롯 안에 압축할 수 있는지 여부는 원래 논리식이 만족 가능한지와 동치가 된다.

증명 과정에서 저자들은 거리 기반 SINR 식을 정밀하게 분석한다. α ≥ 3인 경우, 전송 간 거리가 충분히 멀어지면 간섭이 급격히 감소하는 특성을 이용해, 가젯 내부와 외부 간의 간섭을 명확히 구분한다. 또한, 전력 선택을 통해 간섭을 ‘조정 가능한 상수’ 수준으로 제한함으로써, 물리적 모델이 논리적 제약을 정확히 구현하도록 만든다. 이러한 설계는 전력 제한이 없다는 가정 하에 가능하지만, 실제 시스템에서 전력 상한을 두더라도 비슷한 기법을 적용할 수 있는 가능성을 시사한다.

논문은 또한 기존의 ‘동일 전력’ 혹은 ‘제한된 전력’ 설정에서 알려진 NP‑hardness 결과와 비교한다. 이전 연구들은 주로 그래프 기반 모델(예: 단위 디스크 그래프)이나 전력 고정 상황에서 난이도를 보였으며, 평면상의 임의 전력 선택을 허용하는 경우는 아직 미해결이었다. 본 결과는 그 공백을 메우며, 전력 선택 자유도가 오히려 문제를 더 복잡하게 만든다는 직관을 수학적으로 입증한다.

마지막으로, 저자들은 α < 3인 경우에 대한 난이도는 아직 남아 있는 열린 질문이라고 명시한다. α가 작아질수록 거리 의존성이 완화되어 간섭 제어가 어려워지며, 현재의 가젯 설계가 그대로 적용되기 어렵다. 따라서 향후 연구에서는 α < 3 구간에 대한 새로운 가젯 또는 다른 복잡도 증명 기법이 필요할 것으로 기대된다.