[논문 리뷰] Space Complexity Dichotomies for Subgraph Finding Problems in the Streaming Model

Yu‐Shan Shih, Meng-Tsung Tsai외 2명|arXiv (Cornell University)|2026. 02. 08.

Complexity and Algorithms in Graphs인용 수 0

한 줄 요약

본 논문은 insertion-only 스트리밍에서 네 가지 부분그래프 발견 변형에 대해 Turán-type 극값 경계와 커뮤니케이션 복잡도 축소를 바탕으로 완전한 공간 사용 이분법을 확립한다.

ABSTRACT

We study the space complexity of four variants of the standard subgraph finding problem in the streaming model. Specifically, given an $n$-vertex input graph and a fixed-size pattern graph, we consider two settings: undirected simple graphs, denoted by $G$ and $H$, and oriented graphs, denoted by $\vec{G}$ and $\vec{H}$. Depending on the setting, the task is to decide whether $G$ contains $H$ as a subgraph or as an induced subgraph, or whether $\vec{G}$ contains $\vec{H}$ as a subgraph or as an induced subgraph. Let Sub$(H)$, IndSub$(H)$, Sub$(\vec{H})$, and IndSub$(\vec{H})$ denote these four variants, respectively. An oriented graph is well-oriented if it admits a bipartition in which every arc is oriented from one part to the other, and a vertex is non-well-oriented if both its in-degree and out-degree are non-zero. For each variant, we obtain a complete dichotomy theorem, briefly summarized as follows. (1) Sub$(H)$ can be solved by an $ ilde{O}(1)$-pass $n^{2-Ω(1)}$-space algorithm if and only if $H$ is bipartite. (2) IndSub$(H)$ can be solved by an $ ilde{O}(1)$-pass $n^{2-Ω(1)}$-space algorithm if and only if $H \in \{P_3, P_4, co\mbox{-}P_3\}$. (3) Sub$(\vec{H})$ can be solved by a single-pass $n^{2-Ω(1)}$-space algorithm if and only if every connected component of $\vec H$ is either a well-oriented bipartite graph or a tree containing at most one non-well-oriented vertex. (4) IndSub$(\vec{H})$ can be solved by an $ ilde{O}(1)$-pass $n^{2-Ω(1)}$-space algorithm if and only if the underlying undirected simple graph $H$ is a $co\mbox{-}P_3$.

연구 동기 및 목표

• 스트리밍 설정에서 고정 패턴 부분그래프 발견의 공간 복잡도 연구를 동기화한다.
• 네 가지 문제 변형: Sub(H), IndSub(H), Sub(vec{H}), IndSub(vec{H})에 대한 정확한 공간 및 패스 수의 트레이드오프를 characterize한다.
• 극값 그래프 이론(Turán 수)과 커뮤니케이션 복잡도를 스트리밍 하한에 연결하고 constructive한 상한을 제공한다.
• 구조적 그래프 속성(이분성, 잘 방향화됨, 숲, NWOC/C3)이 트랙터블한 영역을 결정함을 식별한다.

제안 방법

• Multi-Disjointness 및 Set-Disjointness와 같은 커뮤니케이션 문제로부터 스트리밍 모델로의 축소를 통해 하한을 도출한다.
• ex(n,H) 경계를 사용해 공간 하한을 확립하고 ex(n,H)가 부분 제곱 공간을 야기하는지 식별한다.
• 특정 그래프 클래스에서 공간이 대략 ex(n,H) 또는 그보다 나은 차원의 다패스 또는 단일 패스 스트리밍 알고리즘을 설계하여 상한을 개발한다.
• 작은 숲 보존 증명서와 같은 희소 증명서를 도입해 숲과 유사한 패턴에 대해 거의 선형 공간을 달성한다.
• 색 인코딩(color-coding)과 배칭(batch) 기법을 활용해 선택된 유도/무향 케이스에서 부분 제곱 공간을 달성한다.
• 문제 변형, 패턴 구조 및 달성 가능한 공간을 연결하는 완전한 이분법 표를 제공한다.

실험 결과

연구 질문

• RQ1 단일 삽입 스트리밍에서 n-정점 그래프 G에서 고정 패턴 H를 찾는 정확한 공간 복잡도 트레이드오프는 무엇인가?
• RQ2 Sub(H)가 부분 제곱(n^{2-Ω(1)}) 공간을 허용하는지 아니면 거의 제곱 공간이 필요한지, 그리고 H의 이분성은 여기서 어떻게 영향을 미치는가?
• RQ3 IndSub(H) 및 IndSub(vec{H})의 경우, 어떤 패턴 그래프 H가 tilde{O}(n)의 부분선형 공간 또는 casi 선형 공간의 알고리즘을 tilde{O}(1) 패스에서 허용하는가?
• RQ4 방향 설정에서 잘 방향화됨(WO) 및 비잘 방향화(V) 구성요소가 Sub(vec{H}) 및 IndSub(vec{H})의 공간 및 패스 요구에 어떤 영향을 미치는가?
• RQ5 숲, NWOC, 지름, Δ'와 같은 구조적 그래프 속성은 네 가지 변형에서 효율적인 스트리밍 알고리즘을 어떻게 보장하는가?

주요 결과

• Sub(H)는 H가 이분 그래프인 경우 tilde{O}(1)-패스, n^{2−Ω(1)}-공간이 필요하고 비이분 그래프일 때는 tilde{Ω}(n^{2}/p) 하한이 성립한다.
• IndSub(H)는 대부분의 H에 대해 tilde{O}(1)-패스, n^{2−Ω(1)}-공간을 허용하며 예외 {P3, P4, co-P3}는 tilde{O}(n) 공간을 허용한다.
• Sub(vec{H})는 H의 모든 구성요소가 WO이거나 한 명의 NWO 정점을 가진 트리인 경우를 제외하고 단일 패스에서 tilde{Ω}(n^{2}) 하한을 가지며, 숲의 경우에는 tilde{O}(n) 공간으로 축소된다.
• IndSub(vec{H})는 예외적인 co-P3 케이스를 제외하고는 hard(tilde{Ω}(n^{2}) 공간)이며, 그 예외 케이스는 p = tilde{O}(1)일 때 tilde{O}(n) 공간을 허용한다.
• 본 논문은 또한 숲과 같이 작은 숲 보존 증명서를 도입해 단일 패스 설정에서 forest-like H에 대해 tilde{O}(n) 공간을 가능하게 한다.
• 결과는 네 가지 변형과 방향/무향 그래프에 대한 공간/패스의 전체 이분법을 제공한다.