[논문 리뷰] Approximability of the Minimum Weighted Doubly Resolving Set Problem

Xujin Chen, Xiao Hu외 1명|arXiv (Cornell University)|2014. 04. 18.

Graph Labeling and Dimension Problems참고 문헌 7인용 수 6

한 줄 요약

이 논문은 일반 그래프에 대해 최소 가중 이중으로 해결 가능한 집합(MWDRS) 문제에 대해 처음으로 날카운 approximation 경계를 확립하며, 일반 그래프에서 Θ(ln n) 내로 근사 가능하다는 것을 증명한다. 휠과 최대 k개의 추가 간선을 가진 트리에 대해 MWDRS 문제를 해결하는 최초의 강력 다항 시간 알고리즘을 제안하며, 거리와 커버리지 제약 조건에 기반한 상태 재귀를 사용한 동적 프로그래밍 기법을 적용한다.

ABSTRACT

Locating source of diffusion in networks is crucial for controlling and preventing epidemic risks. It has been studied under various probabilistic models. In this paper, we study source location from a deterministic point of view by modeling it as the minimum weighted doubly resolving set (DRS) problem, which is a strengthening of the well-known metric dimension problem. Let $G$ be a vertex weighted undirected graph on $n$ vertices. A vertex subset $S$ of $G$ is DRS of $G$ if for every pair of vertices $u,v$ in $G$, there exist $x,y\in S$ such that the difference of distances (in terms of number of edges) between $u$ and $x,y$ is not equal to the difference of distances between $v$ and $x,y$. The minimum weighted DRS problem consists of finding a DRS in $G$ with minimum total weight. We establish $Θ(\ln n)$ approximability of the minimum DRS problem on general graphs for both weighted and unweighted versions. This is the first work providing explicit approximation lower and upper bounds for minimum (weighted) DRS problem, which are nearly tight. Moreover, we design first known strongly polynomial time algorithms for the minimum weighted DRS problem on general wheels and trees with additional constant $k\ge0$ edges.

연구 동기 및 목표

• 정점 가중치와 거리 차이에 기반한 결정론적 모델을 사용하여 네트워크 내에서 확산의 원천을 식별하는 문제를 다루기 위해.
• 소스 로컬라이제이션 문제를 최소 가중 이중으로 해결 가능한 집합(MWDRS) 문제로 공식화하여, 거리 차이 기반의 메트릭 차원 문제를 강화한 문제로 정의하기 위해.
• 일반 그래프에서 MWDRS 문제에 대해 날카운 approximation 경계를 확립하여 상한과 하한을 모두 제공하기 위해.
• 휠과 추가 간선 수가 제한된 트리와 같은 특수 그래프 클래스에 대해 MWDRS 문제를 해결하는 데 처음으로 알려진 다항 시간 알고리즘을 설계하기 위해.
• 이러한 그래프 구조에서 소스 로컬라이제이션을 위한 최적의 관측자 배치를 효율적으로 계산하기 위한 동적 프로그래밍 프레임워크를 제공하기 위해.

제안 방법

• MWDRS 문제를 정점 부분집합 S를 찾는 것으로 공식화하며, S의 총 가중치가 최소가 되도록 하되, 모든 정점 쌍 u,v에 대해 |d(u,x)−d(u,y)| ≠ |d(v,x)−d(v,y)| 를 만족하는 x,y ∈ S 가 존재하도록 하기 위해.
• 정점 s에서 끝나는 DRS의 최소 가중치를 추적하기 위해 F(s, left/right) 및 F′(s, left/right) 라는 재귀 함수를 정의하기 위해.
• 정점 s의 유효한 선행 정점 s′를 특성화하기 위해 집합 α(s), β(s), γ(s) 를 정의하여, 모든 거리 기반의 해결 조건이 충족되도록 하기 위해.
• s=1에서 s=n−1까지 하향식 재귀를 사용한 동적 프로그래밍을 적용하여, 선행 조건과 최소 나쁜 쌍 커버리지 기반으로 최적의 값을 계산하기 위해.
• 휠의 순환적 구조를 처리하기 위해 정점 1에 대해 특수 케이스를 정의하고, 루프를 닫기 위해 모듈로 산술을 사용하여 전체 커버리지가 보장되도록 하기 위해.
• 최종 상태에서 역추적을 수행하여 최적의 DRS 집합을 재구성하며, 모든 해결 조건을 충족하고 해가 가중치 측면에서 최소가 되도록 하기 위해.

실험 결과

연구 질문

• RQ1 일반 그래프에서 최소 가중 이중으로 해결 가능한 집합 문제에 대해 달성 가능한 최고의 근사 비율은 무엇인가?
• RQ2 휠과 추가 간선 수가 적은 트리와 같은 특정 그래프 클래스에 대해 MWDRS 문제를 다항 시간 내에 해결할 수 있는가?
• RQ3 이러한 그래프 클래스에서 효율적인 동적 프로그래밍 솔루션을 가능하게 하는 구조적 및 알고리즘적 성질은 무엇인가?
• RQ4 정점과 해결 쌍 간의 거리 차이가 소스 식별의 유일성을 어떻게 결정하는가?
• RQ5 근사 복잡도 측면에서 메트릭 차원과 이중으로 해결 가능한 집합 간의 관계는 무엇인가?

주요 결과

• 일반 그래프에서 MWDRS 문제는 Θ(ln n)-근사가 가능하며, 이는 거의 날카운 것으로서 상한과 하한을 동시에 확립한다.
• 이 논문은 휠과 최대 k개의 추가 간선을 가진 트리에 대해 MWDRS 문제를 해결하는 데 처음으로 알려진 강력 다항 시간 알고리즘을 제공한다.
• 휠에 대한 동적 프로그래밍 접근법은 O(n³) 시간에 실행되어 이러한 네트워크에서 실용적인 구현에 효과적이다.
• 정점 1에 대해 특수 재귀 케이스를 정의하고 선행 집합에서 모듈로 산술을 사용함으로써, 휠의 순환적 성격을 정확히 처리한다.
• α(s), β(s), γ(s) 집합의 철저한 구성 덕분에 모든 최소 나쁜 쌍이 재귀 과정에서 커버됨을 보장한다.
• 최종 상태에서 유도된 다수의 후보 집합을 평가함으로써 최적의 DRS를 찾으며, 유효한 구성에 대한 철저한 검색을 통해 전역 최적성을 보장한다.