[논문 리뷰] Maximizing the Cohesion is NP-hard

Adrien Friggeri, Éric Fleury|arXiv (Cornell University)|2011. 09. 09.

Complex Network Analysis Techniques참고 문헌 3인용 수 3

한 줄 요약

이 논문은 비방향 네트워크에서 최대 응집도를 가지는 정점 부분집합을 찾는 것이 Clique 문제를 결합된 응집도(Connected-Cohesive)라는 결정 문제로 감소시킴으로써 NP-난이도임을 증명한다. 저자들은 최대 응집도 집합이 반드시 연결되어야 한다고 밝히며, 다항시간 변환을 통해 원래 그래프에 크기 $ k $ 의 클리크가 존재하는 것과 동치로 변환된 그래프에서 특정 응집도 임계값을 만족하는 연결된 부분집합이 존재함을 보여준다.

ABSTRACT

We show that the problem of finding a set with maximum cohesion in an undirected network is NP-hard.

연구 동기 및 목표

• 비방향 네트워크에서 최대 응집도를 가지는 집합을 찾는 문제의 계산 복잡도를 규명하는 것.
• 결정 문제인 Connected-Cohesive의 NP-완전성 증명을 통해 응집도 최대화 문제의 NP-난이도임을 보여주는 것.
• 최대 응집도를 달성하는 모든 집합은 반드시 연결되어야 하므로, 검색 공간을 연결된 부분집합으로 제한할 수 있음을 보여주는 것.
• Clique 문제에서 Connected-Cohesive로의 다항시간 감소를 제공하여 결정 문제의 NP-완전성을 증명하는 것.
• 결정 문제의 NP-완전성에 따라 최적화 문제인 응집도 최대화 문제의 NP-난이도임을 확인하는 것.

제안 방법

• 응집도를 수학적으로 정의한다: $ \mathcal{C}(S) = \frac{i(S)^2}{\binom{|S|}{3}(i(S) + o(S))} $, 여기서 $ i(S) $ 는 부분집합 $ S $ 내부의 삼각형 수, $ o(S) $ 는 외부로 나가는 삼각형 수이다.
• 비연결된 부분집합과 그 합집합 간의 응집도 비교를 근거로 한 모순 추론을 통해 최대 응집도 집합이 반드시 연결되어야 함을 증명한다.
• 결정 문제 Connected-Cohesive 를 도입한다: 주어진 그래프 $ G $ 와 임계값 $ \lambda $ 에 대해, $ \mathcal{C}(S) \geq \lambda $ 를 만족하는 연결된 부분집합 $ S $ 가 존재하는가?
• 비연결된 간선을 연결하기 위해 큰 클리크를 추가하여 Clique 문제의 인스턴스를 Connected-Cohesive 의 인스턴스로 다항시간 변환한다.
• 이 변환을 통해 원래 그래프에 크기 $ k $ 의 클리크가 존재하는 것과 동치로 변환된 그래프 $ G' $ 에서 응집도 $ \lambda = \frac{{k\choose 3}}{{k\choose 3} + {k\choose 2}(n-k)} $ 를 만족하는 연결된 부분집합이 존재함을 보여준다.
• Clique 문제로부터의 감소를 통해 Connected-Cohesive 가 NP 에 속하고 NP-난이도이므로, NP-완전임을 증명한다.

실험 결과

연구 질문

• RQ1 비방향 그래프에서 최대 응집도를 가지는 정점 부분집합을 찾는 문제는 계산적으로 타당한가?
• RQ2 최대 응집도 집합을 최적의 해를 잃지 않고 연결된 부분집합으로 제한할 수 있는가?
• RQ3 응집도가 최소 $ \lambda $ 이상인 연결된 부분집합이 존재하는지를 판단하는 결정 문제는 NP-완전한가?
• RQ4 Clique 문제를 다항시간 내에 Connected-Cohesive 결정 문제로 감소시킬 수 있는가?
• RQ5 Connected-Cohesive 가 NP-완전하다는 사실은 응집도 최대화 최적화 문제의 NP-난이도를 의미하는가?

주요 결과

• 비방향 네트워크에서 최대 응집도를 가지는 집합을 찾는 문제는 결정 문제인 Connected-Cohesive 가 NP-완전이므로 NP-난이도임을 확인한다.
• 최대 응집도를 달성하는 모든 집합은 반드시 연결되어야 하므로, 검색 공간을 연결된 부분집합으로 제한할 수 있다.
• 결정 문제 Connected-Cohesive 는 Clique 문제(GT19)로부터의 다항시간 감소를 통해 NP-완전함을 증명하였다.
• 원래 그래프 $ G $ 에 크기 $ k $ 의 클리크가 존재하는 것과 동치로 변환된 그래프 $ G' $ 에서 응집도 $ \lambda = \frac{{k\choose 3}}{{k\choose 3} + {k\choose 2}(n-k)} $ 를 만족하는 연결된 부분집합이 존재한다.
• Clique 문제에서 Connected-Cohesive 로의 변환은 다항시간 내에 수행되며, 이는 응집도 최대화 문제의 NP-난이도를 확인한다.
• 결과적으로 사회적 네트워크 및 복잡한 네트워크에서 응집도 최적화가 일반적으로 계산적으로 비가역적임을 시사한다.