[논문 리뷰] Barrier Coverage with Non-uniform Lengths to Minimize Aggregate Movements

Serge Gaspers, Joachim Gudmundsson외 2명|arXiv (Cornell University)|2017. 09. 29.

Indoor and Outdoor Localization Technologies참고 문헌 2인용 수 3

한 줄 요약

이 논문은 비균일한 반경을 가진 센서가 목표 간격 [0,L]을 커버하도록 재배치되어야 하는 선상의 장벽 커버리지 문제를 다룬다. 총 이동 거리를 최소화하는 것을 목표로 한다. O(n³/ε²) 시간 내에서 ((2+ε)ρ + 2/ε)-근사 알고리즘을 제안하며, P=NP가 아닌 한 ρ¹⁻⁰ 근사가 존재하지 않음을 증명한다. 총 이동 예산 B로 매개변수화할 경우 고정된-파rameter 트랙터빌리티를 확보한다.

ABSTRACT

Given a line segment $I=[0,L]$, the so-called barrier, and a set of $n$ sensors with varying ranges positioned on the line containing $I$, the barrier coverage problem is to move the sensors so that they cover $I$, while minimising the total movement. In the case when all the sensors have the same radius the problem can be solved in $O(n \log n)$ time (Andrews and Wang, Algorithmica 2017). If the sensors have different radii the problem is known to be NP-hard to approximate within a constant factor (Czyzowicz et al., ADHOC-NOW 2009). We strengthen this result and prove that no polynomial time $ρ^{1-\varepsilon}$-approximation algorithm exists unless $P=NP$, where $ρ$ is the ratio between the largest radius and the smallest radius. Even when we restrict the number of sensors that are allowed to move by a parameter $k$, the problem turns out to be W[1]-hard. On the positive side we show that a $((2+\varepsilon)ρ+2/\varepsilon)$-approximation can be computed in $O(n^3/\varepsilon^2)$ time and we prove fixed-parameter tractability when parameterized by the total movement assuming all numbers in the input are integers.

연구 동기 및 목표

• 비균일 센서 반경을 가진 장벽 커버리지에서 총 센서 이동량을 최소화하는 NP-난이도 문제를 해결하기 위해.
• 가장 큰 센서 반경과 가장 작은 센서 반경의 비율 ρ에 따라 문제의 근사 난이도를 분석하기 위해.
• ρ와 ε에 따라 성능이 달라지는 다항시간 근사 알고리즘을 개발하기 위해.
• 이동하는 센서의 수나 총 이동 예산이 작을 경우의 파라미터 기반 복잡도를 조사하기 위해.
• 정수 입력 조건 하에 총 이동 예산 B를 매개변수로 삼을 경우 고정-파라미터 트랙터빌리티를 확립하기 위해.

제안 방법

• 최종 구성에서 선상의 센서 순서를 유지하는 순서 유지 전략을 제안한다.
• 후보 위치를 이산화하고 예산 제약 조건을 통해 각 간격당 관련 센서 수를 제한함으로써 (2+ε)ρ + 2/ε-근사 알고리즘을 설계한다.
• 각 간격으로부터 거리 B 이내에 있는 센서만 고려하는 분기 알고리즘을 사용하며, 각 위치에서 B+1개의 가장 긴 간격만 고려하여 탐색 공간을 제한한다.
• 최적 해가 정수 위치로 제한될 수 있음을 증명함으로써 정확한 분기 알고리즘을 가능하게 한다.
• 파라미터 기반 복잡도 기법을 적용하여 총 이동 예산 B로 매개변수화했을 때 고정-파라미터 트랙터빌리티를 입증한다.
• 센서 간격과 간격의 구조적 성질을 활용하여 후보 이동 및 위치 수를 제한한다.

실험 결과

연구 질문

• RQ1 최대 및 최소 센서 반경의 비율 ρ에 따라 성능이 달라지는 다항시간 근사 알고리즘을 비균일 장벽 커버리지 문제에 대해 설계할 수 있는가?
• RQ2 다항시간 내에서 달성 가능한 근사 비율에 기초적인 한계가 존재하는가, 그리고 이는 ρ에 의존하는가?
• RQ3 정수 입력 조건 하에 총 이동 예산 B로 매개변수화했을 때 문제는 고정-파라미터 트랙터빌리티를 가지는가?
• RQ4 (2+ε)ρ + 2/ε보다 더 나은 근사 비율을 달성할 수 있는가, 이상적으로는 ρ + O(1)까지 개선할 수 있는가?
• RQ5 이동하는 센서 수 k로 매개변수화했을 때 문제의 고정-파라미터 트랙터빌리티는 여전히 유지되는가?

주요 결과

• P=NP가 아닌 한 ρ¹⁻⁰ 근사 알고리즘이 다항시간 내에 존재하지 않음을 입증하여 강력한 근사 불가능성 한계를 설정한다.
• 모든 ε>0에 대해 O(n³/ε²) 시간 내에 ((2+ε)ρ + 2/ε)-근사 알고리즘이 가능하다.
• 이동하는 센서 수 k로 매개변수화했을 때 문제는 W[1]-난이도를 가진다.
• 총 이동 예산 B로 매개변수화했을 때 문제는 고정-파라미터 트랙터빌리티를 가지며, 2^{2B²(B+1)} · n^{O(1)} 시간 내에 해결 가능하다.
• 최적 해는 정수 위치로 제한될 수 있으며, 이는 정확한 분기 알고리즘을 가능하게 한다.
• 순서 유지 해법을 더 좁은 분석으로 제한할 경우 근사 비율을 ρ + O(1)로 개선할 수 있으나, 아직 미해결 상태이다.