[논문 리뷰] An anti-incursion algorithm for unknown probabilistic adversaries on connected graphs

Jesse Geneson|arXiv (Cornell University)|2017. 01. 04.

Advanced Malware Detection Techniques참고 문헌 1인용 수 3

한 줄 요약

이 논문은 연결 그래프에서 알 수 없는 확률적 도박사와 경찰이 경주하는 데 대해 깊이 우선 탐색 알고리즘의 수정된 버전을 제안한다. 도박사의 이동 분포는 알려져 있지 않다. 무작위로 선택된 잎자리에서 추가 전회를 잠시 멈추는 전략을 통해, 경찰은 기대 포획 시간을 약 1.95n으로 감소시켜, 이전의 알려진 상한선 1.97n을 향상시킨다.

ABSTRACT

A gambler moves on the vertices $1, \ldots, n$ of a graph using the probability distribution $p_{1}, \ldots, p_{n}$. A cop pursues the gambler on the graph, only being able to move between adjacent vertices. What is the expected number of moves that the gambler can make until the cop catches them? Komarov and Winkler proved an upper bound of approximately $1.97n$ for the expected capture time on any connected $n$-vertex graph when the cop does not know the gambler's distribution. We improve this upper bound to approximately $1.95n$ by modifying the cop's pursuit algorithm.

연구 동기 및 목표

• 연결 그래프에서 알 수 없는 확률적 도박사를 추적하는 데 있어 기대 포획 시간을 줄이는 것.
• Komarov와 Winkler가 확립한 이전의 약 1.97n 상한선을 향상시키는 것.
• 1.5n(3n/2)으로 추측된 상한선이 실현 가능한지, 특히 별 그래프와 같은 최악의 경우 그래프에서 가능한지 조사하는 것.
• 특정 잎자리에서의 전략적 일시 정지가 도망 확률과 포획 효율성에 미치는 영향을 분석하는 것.
• 제약된 방문 패턴 하에서의 도망 확률에 대한 확률적 분석을 통해 상한선을 보다 정교하게 조정하는 것.

제안 방법

• 경찰은 연결 그래프 G의 스패닝 트리 T에서 깊이 우선 탐색(DFS)을 수행한다.
• 경찰은 ⌈0.72912n⌉개의 정점을 임의로 선택한 집합 U를 정하고, U에 속한 각 잎자리에서 추가 전회를 일시 정지한다.
• 각 사이클의 시작 시, DFS의 방향(전진 또는 후진)을 균일하게 무작위로 선택한다.
• 무작위로 선택된 방향으로 인해, 한 번의 DFS에서의 기대 전회 수는 ≤1.36456n로 제한된다.
• 도망 확률은 두 경우로 나누어 분석된다: 두 개의 고확률 정점이 여러 번 방문되는 경우와 그 외의 경우.
• 절단된 탐색 S와 S′를 사용한 감소 기법을 통해 도망 확률의 상한선을 구하고, 지수 감소 상한선을 도출한다.

실험 결과

연구 질문

• RQ1 연결 그래프에서 n개 정점을 가진 알 수 없는 확률적 적대자에 대해, 이전 상한선 1.97n 이하로 기대 포획 시간을 향상시킬 수 있는가?
• RQ2 기대 포획 시간을 최소화하는 전략적 일시 정지 수(잎자리에서의 추가 전회 수)는 얼마인가?
• RQ3 별 그래프가 알 수 없는 도박사 모델 하에서 여전히 기대 포획 시간의 최악의 경우 시나리오로 유지되는가?
• RQ4 정점 방문 빈도의 분포가 DFS 기반 추적 전략에서 도망 확률에 어떤 영향을 미치는가?
• RQ5 확률 부등식과 대칭성 논증을 사용하여 도망 확률에 대한 더 견고한 분석적 상한선을 유도할 수 있는가?

주요 결과

• 기대 포획 시간은 약 1.95335n 이하로 상한선이 설정되며, 이는 이전 상한선 1.97n을 향상시킨 것이다.
• 단일 DFS에서의 도망 확률은 최대 0.17745이며, 이는 (1−1/n)^1.72912n ≤ e^−1.72912로 유도된 것이다.
• 포획까지의 기대 DFS 사이클 수는 1.21574 이하이다. 이는 도망 확률에 기반한다.
• 실패한 DFS 사이클에서의 기대 전회 수는 <0.58879n 이하이며, 성공한 사이클에서는 ≤1.36456n 이하이다.
• 상수 0.72912는 식 x/(1−e^(1−x)) − x/2를 x=2.72912에서 최소화하도록 선택되어, 상한선 최적화에 기여한다.
• 상한선은 탐색되지 않은 것으로 보이며, 특정 그래프(예: 사이클 C_n)에 대한 알려진 최고 상한선은 1.082n에서 1.953n 사이로 다양하다.