[논문 리뷰] Constant delay enumeration with FPT-preprocessing for conjunctive queries of bounded submodular width

Christoph Berkholz, Nicole Schweikardt|arXiv (Cornell University)|2020. 03. 02.

Complexity and Algorithms in Graphs인용 수 11

한 줄 요약

이 논문은 자유-연결(submodular) 폭이 유계인 연결 조건 쿼리(CQs)에 대해 FPT-전처리 시간 이후 일정 시간 지연으로 결과를 반복 없이 열거할 수 있음을 입증한다. 마르의 분할 루틴을 확장하고 자유-연결 트리 분해를 활용하여, FPT 전처리 시간 이후 일정 시간 지연으로 효율적이고 반복 없이 결과를 열거할 수 있는 데이터 구조를 구축한다.

ABSTRACT

Marx (STOC~2010, J.~ACM 2013) introduced the notion of submodular width of a conjunctive query (CQ) and showed that for any class $Φ$ of Boolean CQs of bounded submodular width, the model-checking problem for $Φ$ on the class of all finite structures is fixed-parameter tractable (FPT). Note that for non-Boolean queries, the size of the query result may be far too large to be computed entirely within FPT time. We investigate the free-connex variant of submodular width and generalise Marx's result to non-Boolean queries as follows: For every class $Φ$ of CQs of bounded free-connex submodular width, within FPT-preprocessing time we can build a data structure that allows to enumerate, without repetition and with constant delay, all tuples of the query result. Our proof builds upon Marx's splitting routine to decompose the query result into a union of results; but we have to tackle the additional technical difficulty to ensure that these can be enumerated efficiently.

연구 동기 및 목표

• 유계 하위모듈러 폭을 가진 부울 CQ에 대한 마르의 고정 매개변수 다항(FPT) 모델 체킹 결과를 비부울 CQ로 확장한다.
• 완전한 물리적 저장 없이도 큰 결과 집합을 효율적으로 열거하는 데 도전한다.
• 유계 분수 하이퍼트리 폭에서의 일정 시간 지연 열거 결과를 유계 하위모듈러 폭으로 일반화함으로써 문헌의 격차를 메운다.
• 순환적이거나 저트리위드의 경우를 초월해 비순환 CQ에 대해 일정 시간 지연 열거가 가능한지의 조건을 규명한다.

제안 방법

• 쿼리 결과를 개선된 구조에 대한 결과의 합집합으로 분해하기 위해 마르의 분할 루틴을 적응시킨다.
• 효율적인 분해와 열거를 보장하는 폭 측정으로 자유-연결 하위모듈러 폭을 도입한다.
• 각 부분쿼리에 대해 자유-연결 트리 분해를 구축하여 구조적 다항성 유지한다.
• 트리 분해 백의 관련 원자들만을 사용하여 개선된 쿼리와 축소된 데이터베이스를 정의한다.
• Durand-Strozecki 기법을 사용하여 분해된 구성 요소 간에 반복 없이 결과를 열거한다.
• 하위모듈러 폭 매개변수와 변수 수를 사용하여 각 개선된 구조의 크기를 유 bounds한다.

실험 결과

연구 질문

• RQ1 유계 하위모듈러 폭을 가진 비부울 연결 조건 쿼리에 대해 FPT-전처리와 함께 일정 시간 지연 열거를 달성할 수 있는가?
• RQ2 크기가 클 수 있는 결과 집합에도 불구하고 자유-연결 하위모듈러 폭의 변형이 효율적 열거를 보장하는 데 충분한가?
• RQ3 마르의 분할 기법을 다수의 부분쿼리에 걸쳐 결과를 열거할 때 일정 시간 지연을 유지하도록 적응시킬 수 있는가?
• RQ4 어떤 CQ의 구조적 성질이 FPT-전처리 이후 일정 시간 지연으로 결과를 열거할 수 있도록 보장하는가?
• RQ5 자기조인 없는 CQ에 대해 자유-연결 하위모듈러 폭 기반의 이분법이 존재하는가, 특히 유계 하위모듈러 폭과 무한대 자유-연결 하위모듈러 폭 사이의 灰색 영역에서?

주요 결과

• 유계 자유-연결 하위모듈러 폭을 가진 연결 조건 쿼리의 모든 클래스에 대해 FPT-전처리 이후 일정 시간 지연 열거가 가능하다.
• 각 개선된 데이터베이스 구조의 크기는 $ O(|\text{vars}(φ)|^2 m^{(1+δ)w}) $ 이하이며, 여기서 $ w $ 는 자유-연결 하위모듈러 폭이고 $ m $ 은 최대 관계 크기이다.
• 분해는 $ \llbracket\varphi\rrbracket^{\mathcal{A}} = \bigcup_{i\in[\ell]} \llbracket\psi_i\rrbracket^{\mathcal{C}_i} $ 를 보장하며, 각 $ \psi_i $ 는 자유-연결이면서 순환적이다.
• 각 부분쿼리 $ \psi_i $ 는 순환적이고 자유-연결 구조를 가지므로 일정 시간 지연 열거가 가능하며, 이를 통해 전체적으로 일정 시간 지연을 달성할 수 있다.
• 이 방법은 입력 튜플이 쿼리 결과에 속하는지의 여부를 일정 시간 내에 확인할 수 있도록 지원한다.
• 결과는 자기조인 없는 CQ에 대해 마르의 조건부 하한값과 일치하며, 이는 이 클래스에 대해 폭 측정의 날카로움(tightness)을 시사한다.