[논문 리뷰] Towards a Theory of Parameterized Streaming Algorithms

Rajesh Chitnis, Graham Cormode|arXiv (Cornell University)|2019. 01. 01.

Advanced Graph Theory Research참고 문헌 34인용 수 2

한 줄 요약

이 논문은 파라미터화된 스트리밍 알고리즘을 위한 기초 이론을 수립하며, 공간 복잡도 클래스의 계층 구조인 FPS, SubPS, SemiPS, SupPS, BrutePS를 도입하고, 길이 경로, 피드백 정점 집합, 트리너비와 같은 핵심 그래프 문제들을 이 프레임워크 내에서 분류한다. 이는 이분성 이론과 반복 압축 기법을 활용한 새로운 파라미터화된 스트리밍 알고리즘을 제안하며, 통신 복잡도와 커널화 기반 감소를 통한 엄밀한 공간 하한을 증명하여, 많은 문제들이 파라미터화된 환경에서도 거의 최적의 공간을 요구한다는 것을 보여준다.

ABSTRACT

Parameterized complexity attempts to give a more fine-grained analysis of the complexity of problems: instead of measuring the running time as a function of only the input size, we analyze the running time with respect to additional parameters. This approach has proven to be highly successful in delineating our understanding of NP-hard problems. Given this success with the TIME resource, it seems but natural to use this approach for dealing with the SPACE resource. First attempts in this direction have considered a few individual problems, with some success: Fafianie and Kratsch [MFCS'14] and Chitnis et al. [SODA'15] introduced the notions of streaming kernels and parameterized streaming algorithms respectively. For example, the latter shows how to refine the Omega(n^2) bit lower bound for finding a minimum Vertex Cover (VC) in the streaming setting by designing an algorithm for the parameterized k-VC problem which uses O(k^{2}log n) bits. In this paper, we initiate a systematic study of graph problems from the paradigm of parameterized streaming algorithms. We first define a natural hierarchy of space complexity classes of FPS, SubPS, SemiPS, SupPS and BrutePS, and then obtain tight classifications for several well-studied graph problems such as Longest Path, Feedback Vertex Set, Dominating Set, Girth, Treewidth, etc. into this hierarchy (see Figure 1 and Table 1). On the algorithmic side, our parameterized streaming algorithms use techniques from the FPT world such as bidimensionality, iterative compression and bounded-depth search trees. On the hardness side, we obtain lower bounds for the parameterized streaming complexity of various problems via novel reductions from problems in communication complexity. We also show a general (unconditional) lower bound for space complexity of parameterized streaming algorithms for a large class of problems inspired by the recently developed frameworks for showing (conditional) kernelization lower bounds. Parameterized algorithms and streaming algorithms are approaches to cope with TIME and SPACE intractability respectively. It is our hope that this work on parameterized streaming algorithms leads to two-way flow of ideas between these two previously separated areas of theoretical computer science.

연구 동기 및 목표

• 기존 스트리밍 모델을 초월한 공간 복잡도를 다루는 그래프 문제를 위한 파라미터화된 스트리밍 알고리즘의 체계적 이론을 개발한다.
• 파라미터화된 스트리밍에 적합한 공간 복잡도 클래스 계층(FPS, SubPS, SemiPS, SupPS, BrutePS)을 정의하고 특성화한다.
• 길이 경로, 피드백 정점 집합, 트리너비와 같은 잘 알려진 NP-난이도 그래프 문제들을 이 복잡도 클래스에 분류한다.
• 통신 복잡도와 커널화 하한에서 유도된 새로운 감소를 통해 파라미터화된 스트리밍 알고리즘의 엄밀한 공간 하한을 설정한다.
• 시간에 중점을 두는 파라미터화 알고리즘과 공간에 중점을 두는 스트리밍 알고리즘 간의 격차를 메우며, 두 분야 간의 상호 육성적 관계를 촉진한다.

제안 방법

• 파라미터화된 스트리밍에 적합한 공간 복잡도 클래스의 형식적 계층을 제안하며, f(k) · poly(log n) 공간 내에서 해결 가능한 문제에 대해 FPS를 핵심 클래스로 설정한다.
• 이분성 이론을 활용한 평면 그래프용, k-OCT와 같은 문제에 적합한 반복 압축 기법, 커널화에 영향을 받는 정점 제거 기법을 활용한 파라미터화된 스트리밍 알고리즘 설계.
• 특히 인덱스 문제에서 감소를 통해 d-SAT 및 기타 문제의 공간 하한을 증명하기 위해 통신 복잡도 감소를 활용한다.
• FPT 세계에서의 조건부 커널화 하한을 변형하여 파라미터화된 스트리밍 알고리즘에 대한 조건부가 아닌 공간 하한을 도출한다.
• d-SAT의 경우 문장 도착 모델을 사용하여, Ω((N/d)^d) 비트의 공간이 필요하다는 것을 보이며, d ≥ 2일 경우 모든 문장을 저장하는 것이 거의 피할 수 없다는 것을 증명한다.
• 지수 시간 가설의 스트리밍 버전을 도입하여, d ≥ 2일 경우 변수 수에 대해 지수적 공간이 필요하다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 파라미터 k와 공간 사용 간의 상호작용을 반영할 수 있는 파라미터화된 스트리밍 알고리즘을 위한 형식적 복잡도 계층을 정의할 수 있는가?
• RQ2 길이 경로, 피드백 정점 집합, 트리너비와 같은 고전적 그래프 문제들은 FPS, SubPS, 또는 BrutePS 클래스에 속하는가?
• RQ3 반복 압축과 이분성 이론과 같은 FPT 기법을 스트리밍 환경에서 활용해 효율적인 파라미터화된 스트리밍 알고리즘을 설계할 수 있는가?
• RQ4 파라미터화된 스트리밍 알고리즘의 본질적 공간 하한은 무엇이며, 통신 복잡도를 통해 조건부가 아닌 하한을 도출할 수 있는가?
• RQ5 FPT 세계에서의 조건부 커널화 하한이 스트리밍 모델에서 조건부가 아닌 공간 하한으로 어떻게 번역될 수 있는가?

주요 결과

• k-정점 커버 문제는 O(k² log n) 비트의 공간으로 해결 가능하며, 이는 고전적 스트리밍 모델에서의 Ω(n²) 하한을 개선한 것이다.
• k-OCT 문제(그래프가 k-간선 삭제 이분 그래프인지 확인)는 1-패assing 알고리즘에 대해 기존 Ω(n log n) 비트 하한이 알려져 있으나, k=1일지라도 효율적인 다중패assing 알고리즘이 알려져 있지 않다.
• 문장 도착 모델에서 d-SAT에 대해, 어떤 스트리밍 알고리즘도 Ω((N/d)^d) 비트의 공간이 필요하며, 이는 d ≥ 2일 경우 모든 문장을 저장하는 것이 거의 피할 수 없다는 것을 보여준다.
• 논문은 인덱스 문제에서 감소를 통해 d-SAT(d ≥ 2)에 대해 Ω(n) 비트의 조건부가 아닌 하한을 증명하여, 부분선형 공간 알고리즘이 존재하지 않음을 보였다.
• 이 프레임워크는 길이 경로, 피드백 정점 집합, 고리 길이(Girth) 문제들이 SupPS 또는 BrutePS에 속한다는 것을 보여주며, 이는 파라미터화된 경우에도 거의 전체 그래프 저장이 필요하다는 것을 시사한다.
• 이 연구는 FPT 세계에서의 조건부 커널화 하한을 파라미터화된 스트리밍 모델에서 조건부가 아닌 공간 하한으로 변환할 수 있음을 보여주며, 무결성 불가능성을 증명하는 데 새로운 도구를 제공한다.