[논문 리뷰] No small nondeterministic read-once branching programs for CNFs of bounded treewidth

Igor Razgon|BIROn (Birkbeck, University of London)|2014. 07. 02.

Advanced Graph Theory Research참고 문헌 1인용 수 6

한 줄 요약

이 논문은 유계 트리폭을 가진 단조 2-CNF에 대해 비결정성 일회 읽기 분기 프로그램(nROBPs)이 일정한 상수 $ c > 0 $ 에 대해 최소 $ n^{ck} $ 의 크기를 가져야 하며, 이는 트리폭이 유계일지라도 nROBPs의 고정 매개변수 다항 시간 공간 복잡도가 불가능함을 보여준다. 이 결과는 새로운 그래프 매개변수인 원거리 매칭 폭(distant matching width, dmw)과 트리폭이 유계이면서 dmw가 높은 그래프의 재귀적 구성 방법을 통해 확립되며, 이러한 함수를 효율적으로 표현할 수 없음을 보여준다.

ABSTRACT

In this paper, given a parameter $k$, we demonstrate an infinite class of {\sc cnf}s of treewidth at most $k$ of their primary graphs such that the equivalent nondeterministic read-once branching programs ({\sc nrobp}s) are of size at least $n^{ck}$ for some universal constant $c$. Thus we rule out the possibility of fixed-parameter space complexity of {\sc nrobp}s parameterized by the smallest treewidth of the equivalent {\sc cnf}.

연구 동기 및 목표

• 입력 CNF의 프라이멀 그래프의 트리폭이 유계일 때 비결정성 일회 읽기 분기 프로그램(nROBPs)이 고정 매개변수 다항 시간 공간 복잡도를 달성할 수 있는지 조사하는 것.
• 이전의 순서형 이진 결정 다이어그램(OBDDs)에 대한 하한을 더 강력한 nROBP 모델으로 확장하는 것.
• 임의로 큰 $ k $ 에 대해 트리폭이 $ k $ 이하인 단조 2-CNF의 무한한 가족을 구성하여, 해당 nROBP의 크기가 초다항 수준이 되도록 하는 것.
• nROBP 크기 하한을 증명하는 데 도구로 사용할 수 있는 Distant Matching Width(dmw) 매개변수를 도입하고 분석하는 것.

제안 방법

• 그래프에 대해 원거리 매칭 폭(dmw) 매개변수를 도입하여, 접두사 집합과 접미사 집합 사이에 큰 매칭을 지원하는 정점 순서의 최소 폭을 측정하는 것.
• dmw가 $ t $ 이상인 그래프 $ G $ 와 관련된 단조 2-CNF와 동치인 모든 nROBP는 $ a $ 가 최대 차수에 따라 의존하는 상수 $ a $ 에 대해 최소 $ 2^{t/a} $ 의 크기를 가져야 한다는 것을 증명하는 것.
• 재귀적 트리 구조를 이용하여 트리폭 $ k $, 최대 차수 5, dmw가 $ b \log n \cdot k $ 이상인 그래프의 무한한 가족을 구성하는 것.
• 이러한 그래프의 재귀적 구조를 활용해 nROBP의 경로 집합에 대해 귀납적 세기 기법을 적용하여, 필요한 경로 수가 dmw에 따라 지수적으로 증가함을 보장하는 것.
• 클래즈를 간선으로 간주하는 단조 2-CNF와 그래프 간의 대응 관계를 이용해 그래프 이론적 성질을 nROBP 크기 하한으로 번역하는 것.
• 비결정성 및 일회 읽기 제약 조건을 고려해 수정된 경로 분할 및 매칭 폭 기반 세기 기법을 적용하는 것.

실험 결과

연구 질문

• RQ1 입력 CNF의 프라이멀 그래프의 트리폭을 매개변수로 삼을 때 nROBPs가 고정 매개변수 다항 시간 공간 복잡도를 달성할 수 있는가?
• RQ2 임의로 큰 $ k $ 에 대해 트리폭이 $ k $ 이하인 무한한 CNF의 가족이 존재하는가? 이 가족의 동치 nROBP는 어떤 상수 $ c > 0 $ 에 대해 크기가 $ n^{ck} $ 이상이어야 하는가?
• RQ3 단조 2-CNF에 대해 nROBP 크기의 하한을 제공할 수 있는 그래프 이론적 매개변수는 무엇인가?
• RQ4 OBDD에 사용된 하한 기법을 더 표현력이 강한 nROBP 모델으로 확장할 수 있는가?
• RQ5 최대 차수가 유계인 그래프에서 트리폭과 원거리 매칭 폭(dmw) 사이의 관계는 무엇인가?

주요 결과

• 각 충분히 큰 $ k $ 에 대해, 트리폭이 $ k $ 이하인 단조 2-CNF의 무한한 가족이 존재하며, 이에 해당하는 최소 동치 nROBP의 크기는 어떤 전연 상수 $ c > 0 $ 에 대해 최소 $ n^{ck} $ 이상이어야 한다.
• 그래프 $ G $ 의 원거리 매칭 폭(dmw)은 $ G $ 와 관련된 단조 2-CNF와 동치인 모든 nROBP의 크기 하한을 제공한다. 특히 $ t $ 가 dmw이고 $ a $ 가 최대 차수에 따라 의존하는 상수일 때 최소 $ 2^{t/a} $ 이상이어야 한다.
• 트리폭 $ k $, 최대 차수 5, dmw가 전연 상수 $ b $ 에 대해 $ b \log n \cdot k $ 이상인 그래프의 무한한 가족이 존재한다. 이는 $ k $ 와 무관하게 성립한다.
• nROBP 크기의 하한은 dmw에 대해 지수적이며, dmw가 $ \Omega(\log n \cdot k) $ 로 증가하므로, $ k $ 가 유계일지라도 nROBP의 크기는 $ n $ 에 대해 초다항 수준이 된다.
• 이 결과는 트리폭이 유계인 CNF로 표현 가능한 함수를 nROBPs가 효율적으로 표현할 수 없음을 시사하며, 이 모델에 대해 고정 매개변수 공간 복잡도가 불가능함을 의미한다.
• nROBPs의 비결정성 특성로 인해 OBDD의 경우보다 더 엄격한 증명 기법이 필요하며, 이에 따라 CNF 인스턴스의 구성도 더 세밀하게 설계되어야 한다.