[논문 리뷰] Triangle Estimation using Polylogarithmic Queries.

Anup Bhattacharya, Arijit Bishnu외 2명|arXiv (Cornell University)|2018. 08. 02.

Data Management and Algorithms참고 문헌 22인용 수 3

한 줄 요약

이 논문은 삼분할 독립 집합(TIS) 쿼리 오라클을 도입함으로써 유일한 다항로그 쿼리만을 사용하는 첫 번째 근사 삼각형 수세기 알고리즘을 제시한다. 이 오라클은 세 개의 분리된 정점 집합을 통해 삼각형이 존재하는지 검사한다. Beame 등이 제시한 프레임워크를 확장하고 색상 코딩 및 Janson의 농도 불확실성 부등식을 활용하여, 그래프에서 삼각형 수를 추정하는 데 하위선형 쿼리 복잡도를 달성한다.

ABSTRACT

Estimating the number of triangles in a graph is one of the most fundamental problems in sublinear algorithms. In this work, we provide the first approximate triangle counting algorithm using only polylogarithmic queries. Our query oracle Tripartite Independent Set (TIS) takes three disjoint sets of vertices $A$, $B$ and $C$ as input, and answers whether there exists a triangle having one endpoint in each of these three sets. Our query model is inspired by the Bipartite Independent Set (BIS) query oracle of Beame et al. (ITCS, 2018). Their algorithm for edge estimation requires only polylogarithmic BIS queries, where a BIS query takes two disjoint sets $A$ and $B$ as input and answers whether there is an edge with endpoints in $A$ and $B$. We extend the algorithmic framework of Beame et al., with TIS replacing BIS, for triangle counting using ideas from color coding due to Alon et al. (J. ACM, 1995) and a concentration inequality for sums of random variables with bounded dependency due to Janson (Rand. Struct. Alg., 2004).

연구 동기 및 목표

• 하위선형 알고리즘의 맥락에서 하위선형 쿼리 복잡도를 갖는 근사 삼각형 수세기 알고리즘을 개발하기.
• 이중 정점 집합(BIS) 오라클의 자연스러운 확장으로서 삼분할 독립 집합(TIS) 쿼리 오라클을 도입하고 형식화하기.
• BIS 모델 하에서의 간선 수세기 효율성에 맞추어 삼각형 추정에 대해 다항로그 쿼리 복잡도를 달성하기.
• Alon 등(1995)의 색상 코딩 기법을 TIS 쿼리 모델에 적응시켜 효과적인 삼각형 샘플링을 위한 방법 개발하기.
• 한정된 종속성 하에서의 합에 대한 Janson의 농도 불확실성 부등식을 적용하여, 높은 확률로 추정 정확도를 보장하기.

제안 방법

• 알고리즘은 세 개의 분리된 정점 집합 A, B, C가 주어졌을 때, 각 집합에 정점 하나씩을 포함하는 삼각형이 존재하는지 확인하는 TIS 쿼리 오라클을 사용한다.
• 정점들을 무작위로 색상 클래스로 분할하여 삼각형을 단색 트리플릿을 통해 식별하는 색상 코딩을 활용한다.
• 정점 집합에 대한 무작위 3색 칠하기를 수행하고, TIS 쿼리를 사용하여 각 색상 클래스에 정점 하나씩을 포함하는 삼각형을 탐지한다.
• 다양한 무작위 색상 칠하기에 걸쳐 추정치를 집계하여 분산을 줄이고 정확도를 향상시킨다.
• 샘플링 과정에서 종속성이 한정된 상황에서 추정 삼각형 수가 진짜 값에서 벗어나지 않도록 하기 위해 Janson의 농도 불확실성 부등식을 적용한다.
• BIS 쿼리를 TIS 쿼리로 교체함으로써 Beame 등이 제시한 BIS 기반 간선 수세기 접근 방식을 삼각형 수세기 상황으로 확장한다.

실험 결과

연구 질문

• RQ1 그래프에서 삼각형 수세기를 다항로그 쿼리만으로 근사할 수 있는가?
• RQ2 TIS 쿼리 모델이 높은 정확도로 하위선형 삼각형 수세기 가능성을 충족하는가?
• RQ3 삼각형 탐지에 적합한 TIS 쿼리 프레임워크 내에서 색상 코딩을 어떻게 적응시킬 수 있는가?
• RQ4 이 샘플링 기반 추정 과정에서 종속적인 랜덤 변수의 합에 적용 가능한 농도 경계는 무엇인가?
• RQ5 BIS 기반 프레임워크는 삼각형 수세기의 삼분할 쿼리 처리를 위해 일반화될 수 있는가?

주요 결과

• 논문은 TIS 오라클을 사용하여 다항로그 쿼리 복잡도를 갖는 첫 번째 근사 삼각형 수세기 알고리즘을 달성했다.
• 색상 코딩을 활용하여 무작위 정점 색상 칠하기를 통해 잠재적 삼각형을 효율적으로 샘플링한다.
• Janson의 농도 불확실성 부등식을 적용함으로써 추정 삼각형 수가 높은 확률로 진짜 값 주변에 집중됨을 보장한다.
• Beame 등이 제시한 BIS 기반 접근 방식을 삼각형 수세기 문제로 성공적으로 확장하여 하위선형 복잡도를 달성했다.
• TIS 오라클 모델은 고차원 하위그래프 수세기의 맥락에서 BIS 모델의 자연스럽고 효과적인 확장이다.
• 알고리즘은 삼각형 추정이 오직 다항로그 쿼리만으로도 가능하다는 것을 입증하여 이전 방법에 비해 크게 향상된 성능을 보였다.