[논문 리뷰] Searching the Nodes of a Graph: Theory and Algorithms

Athanasios Kehagias, Geoffrey A. Hollinger외 1명|ArXiv.org|2009. 05. 20.

Optimization and Search Problems참고 문헌 36인용 수 8

한 줄 요약

이 논문은 그래프 내에서 노드에 숨어 있는 보이지 않는 도망자에 대응하는 내부 단조 연결(Internal Monotone Connected, IMC) 노드 탐색을 위한 새로운 알고리즘인 GSST(Guaranteed Search by Spanning Tree)를 소개한다. GSST는 입력 그래프의 스패닝 트리에 따라 모든 청소 동작을 수행함으로써, 적은 수의 탐색자로 대규모 그래프를 효율적으로 청소할 수 있으며, 확률적으로 완전한 변종은 충분한 실행 시간이 보장될 경우 최소 탐색 스케줄을 보장한다.

ABSTRACT

One or more searchers must capture an invisible evader hiding in the nodes of a graph. We study this graph search problem; we emphasize that we study the capture of a node-located evader, which has received less attention than edge search. We show that in general graphs the problem of node search is easier than that of edge search (however node search is NP-complete, just like edge search). We concentrate on the internal monotone connected (IMC) node search of trees and show that it is essentially equivalent to IMC edge search. For IMC node search on general graphs we present a new algorithm: GSST (Guaranteed Search by Spanning Tree) which clears the graph G by performing all its clearing moves along a spanning tree T of G. We prove the existence of probabilistically complete variants of GSST. Our experiments also indicate that GSST can efficiently node-clear large graphs given only a small running time. An implementation of GSST is also provided and made publicly available.

연구 동기 및 목표

• 노드에 숨어 있는 보이지 않는 도망자에 대응하는, 엣지가 아닌 노드에 숨어 있는 도망자를 고려하는 노드 탐색 문제에 대해 다루기.
• 일般적인 그래프에서 내부 단조 연결(Internal Monotone Connected, IMC) 노드 탐색을 위한 효율적이고 실용적인 알고리즘 개발.
• 다양한 스패닝 트리를 신속하게 테스트하여 최소 탐색 스케줄을 찾을 수 있는 방법 제공.
• 노드 탐색을 위한 기능성 있는 도구(gsearch)를 구현하고 공개하여, 명령줄 인터페이스와 GUI 인터페이스를 모두 지원.

제안 방법

• GSST는 입력 그래프 G의 스패닝 트리 T에 따라 모든 청소 동작을 수행함으로써, 탐색 문제를 트리 기반 청소로 환원한다.
• 균일, DFS 또는 기타 탐색 방법(예: 깊이 우선, 너비 우선, 가중치가 있는 변종 등)을 사용해 다수의 스패닝 트리를 생성한다.
• 다양한 스패닝 트리를 테스트하는 전략을 통해, 최소한의 탐색자 수로 그래프 G를 청소할 수 있는 트리를 식별한다.
• 충분한 실행 시간이 보장될 경우 최소한의 IMC 노드 청소 스케줄을 보장하는 확률적으로 완전한 변종을 포함한다.
• 탐색 진행 상황의 시각화 및 검색 전략과 트리 구조를 텍스트 파일로 출력하는 기능을 포함한다.
• 명령줄 도구(gsearch)와 GUI(gsearchGUI)를 제공하며, 후자는 탐색 과정을 단계별로 시각적으로 재생할 수 있다.

실험 결과

연구 질문

• RQ1 노드 탐색 모델에서 도망자가 엣지가 아닌 노드에 숨어 있을 경우, 효율적으로 그래프를 청소할 수 있는 알고리즘을 설계할 수 있는가?
• RQ2 청소 작업을 스패닝 트리로 제한함으로써, 일반적인 그래프에서 IMC 노드 탐색의 복잡도를 줄일 수 있는가?
• RQ3 충분한 실행 시간이 보장될 경우 최소 탐색 스케줄을 보장하는 확률적으로 완전한 알고리즘을 IMC 노드 탐색에 구축할 수 있는가?
• RQ4 기존 엣지 탐색 알고리즘과 비교해 GSST의 성능은 노드 탐색 문제에 적용했을 때 어떻게 되는가?

주요 결과

• 노드 탐색은 계산 복잡도 측면에서 엣지 탐색보다 일반적으로 더 쉽다. 모든 엣지 청소 스케줄은 유효한 노드 청소 스케줄이지만, 그 역은 성립하지 않는다.
• 트리에 대해서는 내부 단조 연결(IMC) 노드 탐색이 IMC 엣지 탐색과 본질적으로 동일하므로, Barrière의 트리 탐색 알고리즘을 노드에 위치한 도망자에 대해 재사용할 수 있다.
• 실험 결과에 따르면 GSST는 최소한의 실행 시간으로 대규모 그래프를 효율적으로 청소할 수 있다.
• GSST의 확률적으로 완전한 변종은 충분히 긴 실행 시간이 보장될 경우 최소한의 IMC 노드 청소 스케줄을 보장함을 증명하였다.
• 명령줄 인터페이스와 GUI 인터페이스를 모두 포함한 GSST의 구현은 Windows 및 Linux 시스템에서 공개되고 기능적으로 사용 가능하다.
• 도구는 탐색 진행 상황의 시각화 및 표준 텍스트 형식으로 검색 전략과 트리 구조를 출력하는 기능을 지원한다.