[논문 리뷰] Triangle Estimation Using Tripartite Independent Set Queries

Anup Bhattacharya, Arijit Bishnu외 2명|arXiv (Cornell University)|2019. 01. 01.

Data Management and Algorithms인용 수 5

한 줄 요약

이 논문은 삼분할 독립집합(TIS) 오라클에 대한 다항로그 쿼리만을 사용하여 그래프 내 삼각형 수를 추정하는 비선형 알고리즘을 제안한다. TIS 오라클은 세 개의 서로소 정점 집합 각각에 정점 하나씩을 포함하는 삼각형이 존재하는지를 확인한다. 주요 결과로는 최대로 어떤 한 간선을 공유하는 삼각형의 수가 d 이하일 경우, 높은 확률로 O(d² log¹⁸n / ϵ⁴)의 TIS 쿼리를 사용하여 (1±ϵ)-근사값을 달성함으로써, 새로운 강력한 쿼리 모델 하에서 효율적인 삼각형 수 계산에 있어 중요한 전진을 이룬다.

ABSTRACT

Estimating the number of triangles in a graph is one of the most fundamental problems in sublinear algorithms. In this work, we provide an approximate triangle counting algorithm using only polylogarithmic queries when the number of triangles on any edge in the graph is polylogarithmically bounded. 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 generally belongs to the class of group queries (Ron and Tsur, ACM ToCT, 2016; Dell and Lapinskas, STOC 2018) and in particular is inspired by the Bipartite Independent Set (BIS) query oracle of Beame et al. (ITCS 2018). 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 (Janson, Rand. Struct. Alg., 2004).

연구 동기 및 목표

• 새로운 쿼리 모델을 사용하여 그래프 내 삼각형 수를 효율적으로 추정하는 알고리즘을 개발한다.
• 최소한의 쿼리 복잡도로 하위선형 시간 내 삼각형 추정이라는 기본 문제를 다룬다.
• Beame 등이 BIS 쿼리를 사용한 간선 추정에서 확장한 프레임워크를 TIS 쿼리를 사용한 삼각형 수 계산으로 확장한다.
• 특히 간선-삼각형 밀도가 다항로그적으로 유계일 경우 TIS 모델 하에서의 쿼리 복잡도에 대한 이론적 한계를 설정한다.
• 일반화된 초그래프 수 계산 문제로의 접근 기반을 마련한다.

제안 방법

• 세 개의 서로소 정점 집합 각각에 정점 하나씩 포함하는 삼각형이 존재하는지를 확인하는 삼분할 독립집합(TIS) 쿼리 오라클을 도입한다.
• Beame 등의 BIS 쿼리 기반 알고리즘 프레임워크를 삼각형 추정을 위한 TIS 쿼리로 적응 및 확장한다.
• 삼각형 수를 승수적 요인으로 유지하면서 그래프를 희박한 부분그래프로 줄이는 스퍼지피케이션 기법을 사용한다.
• 추정 과정에서 발생하는 약하게 종속된 랜덤 변수들의 합을 분석하기 위해 Janson의 집중부등식을 적용한다.
• 粗미세 추정 전략을 구현하여 임계값 기반 추정과 중요도 샘플링을 조합함으로써 고정밀 근사값을 달성한다.
• 에러 확률을 제어하고 높은 확률로 성공을 보장하기 위해 찬드러프 경계와 분수 색수 같은 확률 도구를 활용한다.

실험 결과

연구 질문

• RQ1 TIS 오라클에 대한 다항로그 쿼리만을 사용하여 삼각형 수를 어떻게 근사할 수 있는가?
• RQ2 한 간선이 포함된 삼각형의 수가 d 이하일 경우 삼각형 수 추정의 쿼리 복잡도는 어떻게 되는가?
• RQ3 TIS 오라클 모델을 사용하여 BIS와 같은 간선 추정 기법을 삼각형 수 계산으로 일반화할 수 있는가?
• RQ4 TIS 모델은 국소 쿼리 모델과 비교해 효율성과 적용 가능성 측면에서 어떻게 다른가?
• RQ5 예를 들어 ∆E가 유계일 경우와 같은 구조적 가정 하에 삼각형 수 계산에서 다항로그 쿼리 복잡도를 달성할 수 있는 조건은 무엇인가?

주요 결과

• 논문은 최대로 어떤 한 간선을 공유하는 삼각형의 수가 d 이하일 경우, 삼각형 수 추정이 오직 O(d² log¹⁸n / ϵ⁴)의 TIS 쿼리로 가능하다고 규명한다.
• d = O(logᶜn)일 경우에도 n에 대해 다항로그이고 ϵ에 대해 다항식인 쿼리 복잡도를 확보한다.
• 알고리즘은 진짜 삼각형 수의 (1±ϵ)-승수 근사값을 최소 1 − O(1/n²)의 확률로 달성한다.
• 이전의 국소 쿼리 모델과 달리, 최대 차수나 정점-삼각형 인cidenc에 대한 제약이 필요 없고, 오직 간선-삼각형 인cidenc에만 제약이 있다.
• 이 프레임워크는 c-균일 초그래프로 일반화 가능하며, 후속 연구에서 ∆E 유계 조건이 다항로그 쿼리 복잡도를 확보하는 데 필수적이지 않음을 보여주었다.
• 중요도 샘플링과 스퍼지피케이션 기법을 통해 삼각형을 명시적으로 나열하지 않더라도 효율적인 추정이 가능해져 쿼리 오버헤드를 크게 감소시켰다.