[논문 리뷰] Dynamic Sketching for Graph Optimization Problems with Applications to Cut-Preserving Sketches

Sepehr Assadi, Sanjeev Khanna외 1명|arXiv (Cornell University)|2015. 10. 12.

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

한 줄 요약

이 논문은 k개의 터미널을 위한 정적 그래프를 크기가 다항식(k)인 압축된 스케치로 압축함으로써 그래프 최적화를 위한 동적 스케치 모델을 제안한다. 이는 터미널 간 동적 엣지 업데이트 상황에서도 최대 매칭 및 컷 보존 문제를 효율적으로 계산할 수 있도록 한다. 최대 매칭에 대해 엄밀한 O(k²) 상한을 증명하고, 컷 보존 스케치의 크기를 O(kC²)로 유도하며, 정보 이론적 하한을 통해 최대 클리크 및 정점 커버와 같은 문제의 경우 2Ω(k)의 공간이 필요하다는 것을 보여준다.

ABSTRACT

In this paper, we introduce a new model for sublinear algorithms called \emph{dynamic sketching}. In this model, the underlying data is partitioned into a large \emph{static} part and a small \emph{dynamic} part and the goal is to compute a summary of the static part (i.e, a \emph{sketch}) such that given any \emph{update} for the dynamic part, one can combine it with the sketch to compute a given function. We say that a sketch is \emph{compact} if its size is bounded by a polynomial function of the length of the dynamic data, (essentially) independent of the size of the static part. A graph optimization problem $P$ in this model is defined as follows. The input is a graph $G(V,E)$ and a set $T \subseteq V$ of $k$ terminals; the edges between the terminals are the dynamic part and the other edges in $G$ are the static part. The goal is to summarize the graph $G$ into a compact sketch (of size poly$(k)$) such that given any set $Q$ of edges between the terminals, one can answer the problem $P$ for the graph obtained by inserting all edges in $Q$ to $G$, using only the sketch. We study the fundamental problem of computing a maximum matching and prove tight bounds on the sketch size. In particular, we show that there exists a (compact) dynamic sketch of size $O(k^2)$ for the matching problem and any such sketch has to be of size $Ω(k^2)$. Our sketch for matchings can be further used to derive compact dynamic sketches for other fundamental graph problems involving cuts and connectivities. Interestingly, our sketch for matchings can also be used to give an elementary construction of a \emph{cut-preserving vertex sparsifier} with space $O(kC^2)$ for $k$-terminal graphs; here $C$ is the total capacity of the edges incident on the terminals. Additionally, we give an improved lower bound (in terms of $C$) of $Ω(C/\log{C})$ on size of cut-preserving vertex sparsifiers.

연구 동기 및 목표

• 정적 및 동적 부분을 분리하여 효율적인 질의 응답을 가능하게 하는 새로운 모델인 동적 스케치를 위한 하위선형 알고리즘 모델을 개발한다.
• 터미널 엣지에 대한 동적 업데이트 상황에서 최대 매칭, s-t 간선 연결성, 컷 보존과 같은 기본적인 그래프 문제의 공간 복잡도를 연구한다.
• 핵심 문제에 대해 스케치 크기의 엄밀한 상한과 하한을 확립하여, 최대 매칭 문제에 대해 O(k²)가 최적임을 보인다.
• 매칭을 위한 동적 스케치를 활용해 크기가 O(kC²)인 컷 보존 정점 스케일러를 구성함으로써 기존에 알려진 최상의 상한과 일치시킨다.
• 정보 이론적 접근을 통해 동적 스케치 프레임워크의 본질적 한계를 규명하며, 최대 클리크 및 최소 정점 커버와 같은 문제에 대해 지수적 하한을 증명한다.

제안 방법

• k개의 터미널을 가진 그래프가 전체 그래프 크기와 무관하게 다항식(k) 크기의 스케치로 압축되는 k-동적 스케치 모델을 제안한다.
• 정적 엣지를 요약하는 압축 알고리즘과 스케치 및 동적 엣지 업데이트를 조합하여 질의에 응답하는 추출 알고리즘을 설계한다.
• 최대 클리크 문제에 대해 스케치 크기의 하한을 증명하기 위해 멤버십 문제로의 감소를 적용하여 Ω(2k) 하한을 도출한다.
• 매칭 스케치를 활용해 C가 전체 터미널 용량일 때 크기가 O(kC²)인 컷 보존 정점 스케일러를 구성한다.
• s-t 최대 유량의 동적 스케치와 컷 보존 정점 스케일러의 크기 사이의 연결 고리를 설정하여, 한쪽의 진전이 다른 쪽의 진전을 이끌어낸다는 것을 보여준다.
• 정보 이론적 추론을 활용하여, 특정 문제에 대해 조건부로 계산 능력이 무한한 알고리즘조차도 2Ω(k) 공간이 필요하다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 최대 매칭 문제에 대해 터미널 엣지 업데이트를 효율적으로 지원하는 스케치 크기가 다항식(k)인 작고 효율적인 동적 스케치를 설계할 수 있는가?
• RQ2 동적 스케치의 최대 매칭 문제에 대해 최적의 스케치 크기는 무엇이며, 이 크기가 엄밀한지 증명할 수 있는가?
• RQ3 매칭을 위한 동적 스케치를 활용해 크기가 O(kC²)인 컷 보존 정점 스케일러를 구성할 수 있는가? 이는 기존 알려진 상한과 일치하는가?
• RQ4 계산 능력이 무한한 경우에도, k에 대해 초다항식 스케치 크기가 필요한 P에 속하는 문제들이 존재하는가?
• RQ5 s-t 최대 유량의 동적 스케치와 컷 보존 정점 스케일러의 크기 사이에 어떤 연결 고리가 존재하는가?

주요 결과

• 최대 매칭 문제에 대해 크기가 O(k²)인 동적 스케치가 존재하며, 이 상한은 엄밀하다: 그러한 스케치는 반드시 크기 Ω(k²) 이상이어야 한다.
• 매칭 스케치를 통해 크기가 O(kC²)인 컷 보존 정점 스케일러를 구성할 수 있으며, 이는 기존에 알려진 최상의 상한과 일치한다.
• 최대 클리브 문제에 대해 정보 이론적 하한 2Ω(k)을 증명하여, 이 문제에 대해 압축 가능한 동적 스케치가 존재하지 않음을 보였다.
• 클리크와 정점 커버의 이중성에 기반하여 최소 정점 커버 문제에 대해서도 유사한 2Ω(k) 하한을 확립하였다.
• P에 속하는 일부 부울 함수에 대해, 어떤 동적 스케치도 min{2k, n}의 공간이 필요하다는 것을 보여주며, 이 프레임워크의 본질적 한계를 규명하였다.
• s-t 최대 유량 문제의 동적 스케치에 대한 진전은 직접적으로 컷 보존 정점 스케일러의 크기 향상에 이르게 한다.