[논문 리뷰] Triangle counting in dynamic graph streams

Laurent Bulteau, Vincent Froese외 2명|arXiv (Cornell University)|2014. 04. 18.

Complex Network Analysis Techniques참고 문헌 24인용 수 18

한 줄 요약

이 논문은 간선이 삽입되고 삭제될 수 있는 동적 그래프 스트림에서 삼각형 수를 추정하기 위한 새로운 샘플링 기반 알고리즘을 제안한다. 정점 삼중체 샘플링과 그래프 희소화를 조합함으로써, 전이 계수(transitivity coefficient)가 일정한 그래프에 대해 간선 갱신당 일정한 처리 시간을 달성한다—이는 이 클래스에 대해 이러한 성능을 달성하는 최초의 알고리즘이며, 이전 작업에 비해 공간 및 시간 복잡도가 향상되었다.

ABSTRACT

Estimating the number of triangles in graph streams using a limited amount of memory has become a popular topic in the last decade. Different variations of the problem have been studied, depending on whether the graph edges are provided in an arbitrary order or as incidence lists. However, with a few exceptions, the algorithms have considered {\em insert-only} streams. We present a new algorithm estimating the number of triangles in {\em dynamic} graph streams where edges can be both inserted and deleted. We show that our algorithm achieves better time and space complexity than previous solutions for various graph classes, for example sparse graphs with a relatively small number of triangles. Also, for graphs with constant transitivity coefficient, a common situation in real graphs, this is the first algorithm achieving constant processing time per edge. The result is achieved by a novel approach combining sampling of vertex triples and sparsification of the input graph. In the course of the analysis of the algorithm we present a lower bound on the number of pairwise independent 2-paths in general graphs which might be of independent interest. At the end of the paper we discuss lower bounds on the space complexity of triangle counting algorithms that make no assumptions on the structure of the graph.

연구 동기 및 목표

• 간선이 삽입되고 삭제될 수 있는 동적 그래프 스트림에서 효율적인 삼각형 수 계산 문제를 해결하기 위해.
• 특히 삼각형 밀도가 낮거나 중간 수준인 실생활 그래프에서 낮은 공간 및 시간 복잡도를 유지하는 스트리밍 알고리즘을 설계하기 위해.
• 전이 계수가 일정한 그래프에 대해 간선 갱신당 일정한 처리 시간을 달성하기 위해.
• 그래프 구조에 의존하지 않는 동적 스트림에서 삼각형 수 계산의 이론적 공간 복잡도 하한을 설정하기 위해.

제안 방법

• 삼각형 수 추정을 위해 정점 삼중체의 균일한 샘플링을 사용하며, 간선 삭제가 가능한 동적 스트림에 이 접근법을 적응적으로 적용한다.
• 샘플링 동안 삼각형 추정 정확도를 유지하면서 그래프 크기를 줄이는 새로운 희소화 기법을 적용한다.
• 간선 삽입 및 삭제를 효율적으로 지원하며 최소한의 재계산을 요구하는 그래프의 압축된 스케치를 유지한다.
• 이론적 분석은 이차 독립적인 2경로 수 계산과 확률적 샘플링을 조합하여 추정 오차를 제한한다.
• 통신 복잡도 이론의 1방향 인덱스 문제에서의 감소를 통해 하한을 유도하며, 삼각형이 없는 그래프와 T₃개의 삼각형을 가진 그래프를 구분하기 위해 최소 Ω(m³/T₃²) 비트의 공간이 필요하다는 것을 보여준다.
• 공개된 데이터셋을 사용하여 실제 그래프에서 알고리즘의 성능을 평가하며, 다양한 방법 간의 공간 및 시간 복잡도를 비교한다.

실험 결과

연구 질문

• RQ1 동적 그래프 스트림에서 삼각형 수 계산을 위한 스트리밍 알고리즘이 간선 갱신당 일정한 처리 시간을 달성할 수 있는가?
• RQ2 동적 스트림에서 삼각형 수 계산의 최적 공간 복잡도는 무엇이며, 그래프 구조에 어떻게 의존하는가?
• RQ3 샘플링 기반 방법은 간선이 삭제되는 동적 환경에서도 신뢰성 있게 적용될 수 있는가?
• RQ4 전이 계수는 실생활 그래프에서 삼각형 수 계산의 효율성에 어떤 영향을 미치는가?
• RQ5 그래프 구조에 의존하지 않는 동적 스트림에서 삼각형 수 계산의 공간 사용의 기본 한계는 무엇인가?

주요 결과

• 제안된 알고리즘은 전이 계수가 일정한 그래프에 대해 간선 갱신당 일정한 처리 시간을 달성하여 이전 방법에 비해 핵심적인 발전을 이룬다.
• 페이스북, DBLP, Astro-Ph와 같은 실생활 그래프에서, 알고리즘의 공간 사용은 이전 접근법보다 크게 낮으며, 표 4의 13개 데이터셋 중 7개에서 가장 낮은 공간 사용을 기록한다.
• 알고리즘의 공간 복잡도는 최악의 경우 O(mn/T₃)이지만, 전이 계수가 일정할 경우 근사 최적의 성능으로 크게 향상된다.
• 동적 스트림에서 일회성 삼각형 수 계산에 대해 Ω(m³/T₃²) 비트의 이론적 하한은 특정 그래프 클래스에 대한 상한과 일치하여 이론적 하한이 날카롭다는 것을 보여준다.
• 희소한 그래프에서 삼각형 수가 상대적으로 적을 경우, 특히 T₃가 m에 비해 클 때, 알고리즘은 공간 및 시간 복잡도 측면에서 기존 방법을 능가한다.
• 분석 결과, 전이 계수와 같은 그래프 구조에 대한 가정이 삼각형 수 계산의 효율성 달성에 필수적임을 밝혀내었으며, 일반적인 경우 이러한 가정 없이 효율적인 알고리즘이 존재하지 않음을 시사한다.