[논문 리뷰] An Efficient Algorithm for Power Dominating Set

Thomas Bläsius, Max Göttlicher|arXiv (Cornell University)|2023. 01. 01.

Advanced Graph Theory Research인용 수 1

한 줄 요약

이 논문은 새로운 감소 규칙 세트와 향상된 암묵적 히트 세트 히وري스틱을 결합한, 파wr 도메인레이팅 세트(PDS) 문제를 위한 혁신적이고 효율적인 알고리즘을 제시한다. PDS 문제가 W[P]-완전임을 증명하여 그 매개변수 복잡도를 해결하였고, 실험을 통해 기존 최고 수준의 방법들보다 10배 이상 빠르게 작동함을 입증하였다. 이로 인해 이전에는 해결이 어려웠던 대륙 규모 전력망 인스턴스를 몇 분 내로 해결할 수 있게 되었다.

ABSTRACT

The problem Power Dominating Set (PDS) is motivated by the placement of phasor measurement units to monitor electrical networks. It asks for a minimum set of vertices in a graph that observes all remaining vertices by exhaustively applying two observation rules. Our contribution is twofold. First, we determine the parameterized complexity of PDS by proving it is $W[P]$-complete when parameterized with respect to the solution size. We note that it was only known to be $W[2]$-hard before. Our second and main contribution is a new algorithm for PDS that efficiently solves practical instances. Our algorithm consists of two complementary parts. The first is a set of reduction rules for PDS that can also be used in conjunction with previously existing algorithms. The second is an algorithm for solving the remaining kernel based on the implicit hitting set approach. Our evaluation on a set of power grid instances from the literature shows that our solver outperforms previous state-of-the-art solvers for PDS by more than one order of magnitude on average. Furthermore, our algorithm can solve previously unsolved instances of continental scale within a few minutes.

연구 동기 및 목표

• 해당 문제의 정확한 복잡도 클래스를 규명함으로써 PDS 문제의 매개변수 복잡도를 해결하는 것.
• 실제 전력망 모니터링에서 발생하는 실용적이고 효율적인 PDS 인스턴스를 해결하기 위한 알고리즘 개발.
• 기존 솔버를 향상시키기 위해 새로운 감소 규칙과 암묵적 히트 세트 프레임워크 내에서 누락된 포트를 식별하는 데 더 효과적인 히وري스틱을 도입하는 것.
• 이전에는 해결되지 않았던 대규모의 대륙 규모 전력망 인스턴스를 해결할 수 있도록 하는 것.

제안 방법

• 임의의 위트가 있는 회로 만족성 문제로부터의 감소를 통해 PDS의 W[P]-완전성을 증명.
• 정점/간선 제거 또는 정점의 선택/금지 여부를 사전에 표기함으로써 PDS 인스턴스를 축소시키는 12개의 감소 규칙 세트를 설계.
• 감소 규칙을 전처리 단계로 통합하여 더 작은, 표기된 PDS-확장 인스턴스를 생성.
• 암묵적 히트 세트 접근법에서 누락된 포트를 식별하기 위한 새로운 히وري스틱을 개발하여 히트 세트 솔버의 효율성을 향상.
• 감소 규칙을 암묵적 히트 세트 솔버와 통합하고, Gurobi를 기반으로 한 히트 세트 솔버로 사용.
• 문헌에서 얻은 실제 전력망 인스턴스를 대상으로 전체 파ip라인을 평가하고, 기존 최고 수준의 솔버들과의 성능 비교 수행.

실험 결과

연구 질문

• RQ1 해결책 크기를 매개변수로 삼을 때, 파wr 도메인레이팅 세트 문제는 W[P]-완전인가?
• RQ2 새로운 감소 규칙 세트가 기존 PDS 솔버의 성능을 크게 향상시킬 수 있는가?
• RQ3 암묵적 히트 세트 프레임워크 내에서 누락된 포트를 식별하는 새로운 히وري스틱이 상당한 성능 향상에 기여하는가?
• RQ4 제안된 알고리즘이 이전에 해결되지 않았던 대규모의 대륙 규모 전력망 인스턴스를 해결할 수 있는가?

주요 결과

• PDS 문제는 W[P]-완전임을 증명하여 그 정확한 매개변수 복잡도를 해결하였고, W[2] = W[P]가 아닐 경우 W[2]에 속하지 않음을 보여주었다.
• 제안된 감소 규칙는 모든 테스트 인스턴스에서 솔버의 중앙값 실행 시간을 한 계단 이상 감소시켰다.
• 누락된 포트를 찾는 데 사용된 새로운 히وري스틱은 이전 최고 수준의 접근 방식을 능가하여 전체 성능 향상에 기여하였다.
• 전체 알고리즘은 이전에 해결되지 않았던 대륙 규모 전력망 인스턴스를 몇 분 내로 해결할 수 있었으며, 이는 이전 방법으로는 달성할 수 없었던 성과였다.
• 기타 솔버들과 조합된 경우에도, 제안된 감소 규칙과 히وري스틱은 대부분의 벤치마크 인스턴스에서 더 빠른 솔루션을 제공하였다.
• 동일한 인스턴스에서 Gurobi보다 더 빠르게 파워 도메인레이팅 수를 하한선으로 제공하였다.