[논문 리뷰] Strong geodetic problem in networks: computational complexity and solution for Apollonian networks

Paul Manuel, Sandi Klavžar외 3명|arXiv (Cornell University)|2017. 08. 13.

Evacuation and Crowd Dynamics참고 문헌 15인용 수 4

한 줄 요약

이 논문은 네트워크에서 강한 지오데식 문제를 제안하며, 이는 어떤 쌍의 집합 내에서 모든 정점이 고정된 최단 경로 위에 있을 수 있도록 정점의 최소 집합을 찾는 문제로 정의된다. 이 문제의 NP-완전성을 증명하고, 완전한 아폴로니우스 네트워크에 대해 정확한 해를 제시하며, r-레벨 아폴로니우스 네트워크 A(r)의 강한 지오데식 수가 3^k임을 보여준다.

ABSTRACT

The geodetic problem was introduced by Harary et al. In order to model some social network problems, a similar problem is introduced in this paper and named the strong geodetic problem. The problem is solved for complete Apollonian networks. It is also proved that in general the strong geodetic problem is NP-complete.

연구 동기 및 목표

• 사회적 네트워크 모델링에서 고전적 지오데식 문제의 더 강력한 변종을 수식화하고 연구하기 위해, 각 정점이 어떤 두 조정자 사이의 고정된 최단 경로 위에 있어야 한다는 조건을 설정한다.
• 일般적인 그래프에서 강한 지오데식 문제의 계산 복잡도를 규명한다.
• 특정 그래프 클래스인 완전한 아폴로니우스 네트워크에 대해 강한 지오데식 문제를 정확히 해결한다.
• 강한 지오데식 문제와 독립 집합 문제 사이의 연결 고리를 밝혀내기 위해 다항 시간 내림침을 수행한다.

제안 방법

• 강한 지오데식 집합을 정점의 부분집합 S로 정의하여, 그래프의 모든 정점이 S의 어떤 쌍 사이의 고정된 최단 경로 위에 존재하도록 한다.
• 강한 지오데식 수 sg(G)를 이러한 집합의 최소 크기로 정의한다.
• 아폴로니우스 네트워크의 구조적 성질, 특히 단순 정점과 내부 이중 그래프를 활용하여 강한 지오데식 수를 유도한다.
• 주어진 그래프 G로부터 수정된 그래프 G̅를 구성함으로써 독립 집합 문제에서 강한 지오데식 문제로의 다항 시간 내림침을 수립한다.
• G에 독립 집합 S가 존재함과 동시에 S ∪ V'' 가 G̅에서 강한 지오데식 집합이 되는 것이 필요충분조건임을 증명한다.
• 아폴로니우스 네트워크의 단순 정점은 어떤 강한 지오데식 집합에도 반드시 포함되어야 하므로, 이를 활용해 구성과 증명을 단순화한다.

실험 결과

연구 질문

• RQ1 일반적인 그래프에서 강한 지오데식 문제의 계산 복잡도는 무엇인가?
• RQ2 특정 그래프 클래스, 예를 들어 아폴로니우스 네트워크에서는 강한 지오데식 문제를 효율적으로 해결할 수 있는가?
• RQ3 강한 지오데식 문제와 독립 집합 문제 또는 등거리 경로 문제와 같은 다른 그래프 문제 사이에 관계가 존재하는가?
• RQ4 기존의 NP-완전 문제들로부터 강한 지오데식 문제로의 내림침을 수행하여 문제의 복잡도를 규명할 수 있는가?

주요 결과

• 강한 지오데식 문제의 NP-완전성은 독립 집합 문제로부터의 다항 시간 내림침을 통해 증명되었다.
• 완전한 아폴로니우스 네트워크 A(r)에 대해 강한 지오데식 수는 정확히 3^k이며, 여기서 k는 네트워크의 레벨이다.
• 완전한 아폴로니우스 네트워크 A(r)의 최소 강한 지오데식 집합은 모든 r-레벨 정점으로 이루어져 있으며, 이 집합은 모든 정점을 고정된 최단 경로를 통해 커버하는 데 필수적이고 충분하다.
• 아폴로니우스 네트워크의 단순 정점들은 어떤 강한 지오데식 집합에도 반드시 포함되어야 하므로, 최소 해의 특성화를 단순화한다.
• 독립 집합 문제에서 강한 지오데식 문제로의 내림침 과정에서 해의 크기를 유지하므로, G의 최소 독립 집합은 생성된 그래프 G̅의 최소 강한 지오데식 집합과 정확히 일치함을 보였다.
• NP-완전성 결과에도 불구하고, 체이널 그래프, 이분 그래프, 격자 그래프, 카일리 그래프 등의 여러 그래프 클래스에 대해서는 여전히 문제의 해결이 열려있다.