[논문 리뷰] Towards a Decomposition-Optimal Algorithm for Counting and Sampling Arbitrary Motifs in Sublinear Time

Amartya Shankha Biswas, Talya Eden외 1명|arXiv (Cornell University)|2021. 01. 01.

Gene Regulatory Network Analysis참고 문헌 36인용 수 4

한 줄 요약

이 논문은 차수, 이웃, 쌍, 균일한 간선 쿼리 등을 사용하여 그래프 내 임의의 무늬(motif)에 대해 근사적인 카운팅과 균일한 샘플링을 위한 새로운 비선형 시간 알고리즘을 제안한다. 차수 분포의 p차 모멘트에 따라 정점을 샘플링하는 개선된 스타-샘플링 서브루틴을 도입함으로써, 이 알고리즘은 이전 방법보다 항상 최소한의 쿼리 복잡도를 확보하고 대부분의 그래프에서 더 나은 성능을 보인다. 주요 기여는 분해에 적어도 하나의 홀수 순환이 포함된 무늬에 대해 분해 최적성(decomposition-optimality)을 증명한 것으로, 이러한 무늬에 대해 처음으로 비자명한 하한선을 확립하였다.

ABSTRACT

We consider the problem of sampling and approximately counting an arbitrary given motif H in a graph G, where access to G is given via queries: degree, neighbor, and pair, as well as uniform edge sample queries. Previous algorithms for these tasks were based on a decomposition of H into a collection of odd cycles and stars, denoted D^*(H) = {O_{k₁},...,O_{k_q}, S_{p₁},...,S_{p_𝓁}}. These algorithms were shown to be optimal for the case where H is a clique or an odd-length cycle, but no other lower bounds were known. We present a new algorithm for sampling arbitrary motifs which, up to poly(log n) factors, is always at least as good, and for most graphs G is strictly better. The main ingredient leading to this improvement is an improved uniform algorithm for sampling stars, which might be of independent interest, as it allows to sample vertices according to the p-th moment of the degree distribution. Finally, we prove that this algorithm is decomposition-optimal for decompositions that contain at least one odd cycle. These are the first lower bounds for motifs H with a nontrivial decomposition, i.e., motifs that have more than a single component in their decomposition.

연구 동기 및 목표

• 대규모 그래프에서 근사적인 무늬 카운팅과 균일한 샘플링을 위한 더 효율적인 비선형 시간 알고리즘을 개발하기 위해.
• 비트리비얼 분해(즉, 분해 시 구성 요소가 두 개 이상인) 무늬에 대한 하한선 부재 문제를 해결하기 위해.
• 스터-샘플링의 최신 기술을 향상시켜 차수 분포의 p차 모멘트 비례로 샘플링할 수 있도록 하기 위해.
• 분해에 적어도 하나의 홀수 순환이 포함된 무늬에 대해 분해 최적성을 확립하기 위해.
• 클리크와 홀수 순환을 초월하여 비트리비얼 분해를 가진 임의의 무늬에 대해 처음으로 하한선을 제공하기 위해.

제안 방법

• 무늬 H를 정점 간에 서로소인 홀수 순환과 스타로 분해하며, 이를 D*(H) = {Ok1, ..., Okq, Sp1, ..., Spℓ}로 표기한다.
• 차수 d(v)^p 비례 확률로 정점을 샘플링하는 새로운 스타-샘플링 서브루틴을 도입하여 비선형 시간 내에 스타를 효율적으로 샘플링할 수 있도록 한다.
• 균일한 간선 샘플링 오라클과 철저히 구성된 통신 복잡도 프레임워크를 활용하여 하한선을 증명한다.
• 무늬 샘플링 문제의 어려운 인스턴스를 시뮬레이션하기 위해 순환-기구(cycle-gadgets), 스타-기구(star-gadgets), 소수의 순환-기구(few-cycles-gadget)를 사용한 기구 기반 구성 기법을 적용한다.
• 알고리즘의 쿼리 복잡도는 무늬의 분해 값 ρ(H)에 따라 분석되며, 이는 홀수 순환의 k_i/2 합과 스타의 p_j 합으로 정의된다.
• 하한선은 두 당사자 통신 문제로의 환원을 통해 증명되며, 앨리스와 박브가 어려운 그래프 가족에 대한 쿼리를 시뮬레이션함으로써, 균일하게 무늬 복사본을 샘플링하는 데에 Ω(m/B)의 쿼리 복잡도를 확립한다.

실험 결과

연구 질문

• RQ1 모든 무늬 유형에 대해 최적인 비선형 시간 알고리즘을 설계할 수 있는가? (클리크와 홀수 순환 외에도.)
• RQ2 차수 분포의 p차 모멘트 비례로 정점을 샘플링할 수 있는 더 효율적인 스타-샘플링 절차가 존재하는가?
• RQ3 복잡한 분해를 가진 무늬에 대해 비선형 무늬 샘플링 및 카운팅의 정보 이론적 한계는 무엇인가?
• RQ4 분해에 두 개 이상의 구성 요소가 포함된 무늬, 특히 적어도 하나의 구성 요소가 홀수 순환이 포함된 경우에 하한선을 증명할 수 있는가?
• RQ5 제안된 알고리즘이 비트리비얼 분해를 가진 무늬에 대해 분해 최적성인가?

주요 결과

• 제안된 알고리즘은 poly(log n) 요소를 제외한 한, 이전 방법보다 항상 최소한의 쿼리 복잡도를 확보하고 대부분의 그래프에서 더 나은 성능을 보인다.
• 새로운 스타-샘플링 서브루틴은 d(v)^p 비례 확률로 정점을 샘플링할 수 있도록 하여 독립적인 관심사가 되며 효율성을 향상시킨다.
• 분해에 적어도 하나의 홀수 순환이 포함된 무늬에 대해 알고리즘이 분해 최적성임을 증명하였다.
• 클리크와 홀수 순환을 초월하여 분해에 두 개 이상의 구성 요소가 포함된 무늬에 대해 처음으로 비자명한 하한선을 확립하였다.
• 모든 알고리즘이 균일하게 무늬 복사본을 샘플링할 때, B가 두 당사자 통신 모델에서의 통신 비용이라면 Ω(m/B)의 쿼리 복잡도 하한선이 성립한다.
• 순환-기구, 스타-기구, 소수의 순환-기구를 사용한 어려운 그래프 가족의 구성은 분해 비용이 Θ(dc)임을 보장하여, 무늬의 구조적 복잡성 측면에서 하한선의 타당성을 검증한다.