[논문 리뷰] An approximation algorithm for the link building problem

Martin Olsen, Anastasios Viglas외 1명|arXiv (Cornell University)|2012. 04. 05.

Complexity and Algorithms in Graphs참고 문헌 7인용 수 4

한 줄 요약

이 논문은 방향 그래프에서 k개의 백링크를 추가함으로써 대상 노드의 PageRank를 근사적으로 최대화하는 다항시간 근사 알고리즘을 제시한다. 단순한 그레디 방법이 높은 PageRank를 가진 노드에서 링크를 선택하는 것과는 달리, 제안된 알고리즘은 구조적 성질을 고려함으로써 도달 가능성과 PageRank를 더 효과적으로 향상시킨다. 이 알고리즘은 이론적으로 최소 $\frac{1}{1 - \alpha^2}$의 근사 비율을 보장하며, $\alpha = 0.85$일 경우 약 3.6에 수렴한다. 알고리즘은 APX에 속해 있음을 증명되었고, 더 단순한 휴리스틱의 성능에 대한 하한도 제시되었다.

ABSTRACT

In this work we consider the problem of maximizing the PageRank of a given target node in a graph by adding $k$ new links. We consider the case that the new links must point to the given target node (backlinks). Previous work shows that this problem has no fully polynomial time approximation schemes unless $P=NP$. We present a polynomial time algorithm yielding a PageRank value within a constant factor from the optimal. We also consider the naive algorithm where we choose backlinks from nodes with high PageRank values compared to the outdegree and show that the naive algorithm performs much worse on certain graphs compared to the constant factor approximation scheme.

연구 동기 및 목표

• 대상 노드의 PageRank를 k개의 백링크를 추가함으로써 최적해에 근사하는 다항시간 알고리즘을 개발하는 것.
• 높은 PageRank 대 출력도 비율을 가진 노드에서 링크를 선택하는 단순 그레디 휴리스틱의 성능을 분석하는 것.
• 이러한 휴리스틱이 달성할 수 있는 근사 비율에 대한 이론적 하한을 설정하는 것.
• 링크 구축 문제(Link Building problem)가 APX에 속해 있음을 증명함으로써 다항시간 내에 상수 근사가 가능함을 보이는 것.
• P = NP가 아닐 경우, 완전한 다항시간 근사 스킴(FPTAS)이 존재하지 않음을 보여주어 문제의 계산적 난이도를 부각하는 것.

제안 방법

• 알고리즘은 도달 가능성 기반 그레디 전략을 사용하며, 무작위 서핑 모델에서 대상 노드의 도달 가능성 증가를 최대화하는 노드를 반복적으로 선택한다.
• 각 추가 링크마다 도달 가능성에 대해 단조로운 향상이 이루어짐을 증명하기 위해 재귀적 PageRank 업데이트 공식 $ f^{r+1}_i(B \cup \{y\}) \geq f^{r+1}_i(B) $ 를 활용한다.
• 무작위 서핑 보행의 정적 분포를 모델링하기 위해 식 $ \pi^T = \pi^T Q $ 에 기반한 선형 방정식계를 통해 PageRank 벡터를 분석한다.
• 3종류의 노드 유형(그림자 노드: 고인-degree, 저출력도, 밝은 노드: 고출력도, 고립 클리크: 제로 효과 제어)을 포함하는 파rameterized 그래프 구조를 도입한다.
• 알고리즘의 성능은 $ c $를 매개변수로 하는 그래프의 일족에서 최적해와의 비교를 통해 평가되며, $ t_b = c $, $ t_c = c+1 $, $ t_i = c^2 $ 로 설정된다.
• 이론적 분석은 $ c \to \infty $의 극한을 사용하여 점점 커지는 그래프 크기에서의 점근적 근사 비율 $ \frac{1}{1 - \alpha^2} $ 을 유도한다.

실험 결과

연구 질문

• RQ1 링크 구축 문제에 대해 어떤 다항시간 알고리즘도 달성할 수 있는 최선의 근사 비율은 무엇인가요?
• RQ2 높은 PageRank 대 출력도 비율을 가진 노드에서 링크를 선택하는 단순 그레디 휴리스틱은 최적해에 비해 어떻게 성능을 내나요?
• RQ3 NP-난이도이자 FPTAS가 존재하지 않는 링크 구축 문제에 대해 상수 근사 알고리즘을 설계할 수 있을까요?
• RQ4 어떤 그래프의 구조적 성질이 단순 휴리스틱의 성능을 떨어뜨리며, 이를 어떻게 개선에 활용할 수 있나요?
• RQ5 백링크를 통한 PageRank 최대화를 위한 r-그레디 알고리즘의 이론적 하한 근사 비율은 무엇인가요?

주요 결과

• 제안된 알고리즘은 최적해에 대해 상수 요인 내의 PageRank 값을 달성하여 문제의 APX 소속을 증명한다.
• r-그레디 알고리즘의 근사 비율은 $ \frac{1}{1 - \alpha^2} $ 이하로 하한이 존재하며, $ \alpha = 0.85 $일 경우 약 3.6에 도달하며, 그래프 크기가 증가함에 따라 이 하한이 날카롭게 타이트해진다.
• 높은 PageRank 대 출력도 비율을 가진 노드에서 링크를 선택하는 단순 휴리스틱은 특정 그래프 가족에서는 극단적으로 열등하게 작동할 수 있으며, 최악의 경우 근사 비율이 무한대에 수렴할 수 있다.
• 최적해는 종종 짧은 순환(즉, 고 $ z_{xx} $)을 형성하는 노드에서 링크를 추가함으로써 이점을 얻지만, r-그레디 알고리즘은 이를 탐지하지 못한다.
• 논문은 링크 구축 문제에 대해 FPTAS가 존재하지 않음을 증명하였으며, 이는 P = NP가 아닐 경우에 해당하므로 문제의 계산적 난이도를 강력히 입증한다.
• 분석 결과, 특정한 그래프 가족을 구성함으로써 단순 휴리스틱과 최적해 사이의 성능 격차를 임의로 크게 만들 수 있음을 보여준다.