[논문 리뷰] Maximum-Likelihood Network Reconstruction for SIS Processes is NP-Hard

Bastian Prasse, Piet Van Mieghem|arXiv (Cornell University)|2018. 07. 23.

Complex Network Analysis Techniques참고 문헌 8인용 수 4

한 줄 요약

이 논문은 연속시간 SIS 전염병 과정에 대한 최대우도 네트워크 재구성 문제가 감염률과 회복률이 알려져 있더라도 NP-난이도임을 증명한다. 저자들은 최대 컷 문제—기존의 NP-완전 문제—에서 SIS 네트워크 재구성 문제로의 다항시간 축소를 통해, 바이러스 상태 관측치로부터 진정한 네트워크 구조를 추론하는 것이 어떤 연결된 그래프이든 계산적으로 비가능하다는 것을 보여준다.

ABSTRACT

The knowledge of the network topology is imperative to precisely describing the viral dynamics of an SIS epidemic process. In scenarios for which the network topology is unknown, one resorts to reconstructing the network from observing the viral state trace. This work focusses on the impact of the viral state observations on the computational complexity of the resulting network reconstruction problem. We propose a novel method of constructing a specific class of viral state traces from which the inference of the presence or absence of links is either easy or difficult. In particular, we use this construction to prove that the maximum-likelihood SIS network reconstruction is NP-hard. The NP-hardness holds for any adjacency matrix of a graph which is connected.

연구 동기 및 목표

• 관측된 바이러스 상태 추적치로부터 SIS 전염병 과정에서 최대우도(ML) 네트워크 재구성의 계산 복잡도를 규명하는 것.
• SIS 과정에 대한 최대우도 추정 문제가 다항식 시간 내에 해결 가능한지 여부를 조사하는 것.
• SIS 네트워크 재구성과 기존의 NP-난이도 문제 사이의 공식적 연결 고리를 설정하는 것.
• 모든 연결 그래프에 대해 최대우도 네트워크 재구성 문제가 여전히 NP-난이도임을 증명하는 것, 구조에 관계없이.

제안 방법

• 특정 클래스의 바이러스 상태 추적치를 구성하여 네트워크 내 링크의 존재 또는 부재를 추론할 수 있도록 하는 것.
• 기존의 NP-완전 문제인 최대 컷 문제에서 최대우도 SIS 네트워크 재구성 문제로의 다항시간 축소를 사용하는 것.
• 최대우도 추정 문제를 해결하는 것이 0-1 비제약 이차프로그램(UQP)을 해결하는 것과 동일하다는 것을 보여주는 것, 이는 NP-난이도임을 의미한다.
• 로그우도 목적함수를 UQP 형태로 공식적으로 변환하여 특정 매개변수 설정 하에서 동치성을 보여주는 것.
• 점근적 분석과 매개변수 조정(예: 전이 횟수 및 확률)을 적용하여 최대우도 해가 최대 컷 문제의 해와 일치하도록 보장하는 것.
• 보조정리들을 활용하여 구성된 추적치에서 알려진 링크 상태를 유지해야 한다는 점을 보여주어 문제를 부분 간선 집합에 대한 핵심 최적화 문제로 축소하는 것.

실험 결과

연구 질문

• RQ1 SIS 과정에 대한 최대우도 네트워크 재구성 문제가 계산적으로 다항식 시간 내에 해결 가능한가?
• RQ2 SIS 네트워크 재구성 문제를 기존의 알려진 NP-난이도 문제로 축소할 수 있는가?
• RQ3 SIS 재구성의 NP-난이도는 모든 연결 그래프에 대해 유지되는가?
• RQ4 SIS 재구성에서 로그우도 목적함수와 0-1 비제약 이차프로그램(UQP) 공식화 간의 관계는 무엇인가?
• RQ5 최대 컷 문제를 해결하는 것과 동일한 최대우도 재구성 문제를 해결할 수 있도록 바이러스 상태 추적치를 설계할 수 있는가?

주요 결과

• 모든 연결 인접행렬에 대해 최대우도 SIS 네트워크 재구성 문제가 NP-난이도임이 입증된다.
• 최대 컷 문제에서 최대우도 추정 문제로의 다항시간 축소를 통해 NP-난이도가 입증된다.
• SIS 재구성 문제에서의 로그우도 목적함수는 0-1 비제약 이차프로그램(UQP)과 동치로 만들 수 있으며, 이는 NP-난이도임을 의미한다.
• 기본 그래프의 구조에 관계없이 연결되어 있으면서만, 축소가 성립한다.
• 바이러스 상태 추적치가 적절히 구성되면 최대우도 추정 문제의 해는 최대 컷 문제의 해와 동일한 제약 조건을 만족해야 한다.
• 감염률과 회복률이 알려져 있더라도, 네트워크가 무방향이고 가중치 없는 경우에도 계산적 비가역성은 유지된다.