[논문 리뷰] Lower bound for deterministic semantic-incremental branching programs solving GEN

Dustin Wehr|arXiv (Cornell University)|2011. 01. 14.

Complexity and Algorithms in Graphs참고 문헌 5인용 수 6

한 줄 요약

이 논문은 GEN 문제를 해결하는 결정적 의미적-증분 분기 프로그램에 대해 지수하한을 확립한다. 이에 따라 이러한 프로그램은 무수히 많은 $m$에 대해 최소 $2^{c\,m/\log m}$개의 상태를 필요로 한다. 여기서 $c > 0$은 상수이다. 이 결과는 의미적-증분 BPs를 절약형 분기 프로그램으로 감소시키고, 높은 검은 돌기 비용을 가지는 난이도 높은 DAG를 활용하여 도출된다.

ABSTRACT

We answer a problem posed in (Gál, Koucký, McKenzie 2008) regarding a restricted model of small-space computation, tailored for solving the GEN problem. They define two variants of "incremental branching programs", the syntactic variant defined by a restriction on the graph-theoretic paths in the program, and the more-general semantic variant in which the same restriction is enforced only on the consistent paths - those that are followed by at least one input. They show that exponential size is required for the syntactic variant, but leave open the problem of superpolynomial lower bounds for the semantic variant. Here we give an exponential lower bound for the semantic variant by generalizing lower bound arguments, from earlier work, for a similar restricted model tailored for solving a special case of GEN called Tree Evaluation.

연구 동기 및 목표

• 결정적 의미적-증분 분기 프로그램이 GEN 문제를 해결할 때 초다항 하한이 존재하는지에 대한 [GKM08]에서 제기된 미해결 문제를 해결하기 위해.
• 의미적-증분 분기 프로그램의 더 일반적인 의미적 변형에 대해 초다항 하한을 증명하여 문법적 및 의미적 변형 간의 격차를 메우기 위해.
• 나무 평가 문제를 해결하는 절약형 BPs에 알려진 하한 기법을 더 넓은 GEN 문제로 확장하기 위해.
• 의미적-증분 모델은 그 일반성에도 불구하고 여전히 강력한 계산적 제약을 부과한다는 것을 보여주기 위해.

제안 방법

• 정확성과 크기를 유지하는 구축을 통해 결정적 의미적-증분 분기 프로그램을 절약형 분기 프로그램으로 감소시키는 것.
• [PTC76]에서 유도된 $\Theta(t)$개의 노드와 검은 돌기 비용 $\Omega(t/\log t)$를 가지는 루트가 있는 DAG 가중치 $\{G_t\}$의 가족을 사용하는 것.
• 이 DAG에 대해 정리 3을 $k=2$로 적용하여 돌기 비용을 분기 프로그램 크기의 하한으로 변환하는 것.
• 노드 수 $n_t$가 $G_t$에 속한 노드 수일 때, 크기 $m_t = 7n_t + 1 \leq 8n_t$인 GEN 문제의 인스턴스를 구성하여 돌기 비용과 $m_t$를 연결하는 것.
• 돌기 비용 $p(n_t) = \Omega(n_t / \log n_t)$이 $m_t$에 대해 $2^{p(n_t)} \geq 2^{c\,m_t / \log m_t}$의 하한을 이끌어내는 것으로 증명하는 것.
• 의미적-증분 BPs에서 절약형 BPs로의 변환 과정이 정확성과 크기를 유지하며, 원래 모델에 하한이 적용됨을 보장하는 것.

실험 결과

연구 질문

• RQ1 결정적 의미적-증분 분기 프로그램이 GEN 문제를 해결할 때 초다항 하한을 증명할 수 있는가?
• RQ2 후자 모델이 초다항 크기를 요구하는 반면, 의미적-증분 모델이 문법적 변형보다 현저히 더 강력한가?
• RQ3 절약형 BPs에 대한 하한이 더 일반적인 의미적-증분 모델으로 확장될 수 있는가?
• RQ4 어떤 DAG의 구조적 특성이 높은 돌기 비용을 유도하며, 이를 어떻게 분기 프로그램 복잡도의 강력한 하한 유도에 활용할 수 있는가?

주요 결과

• 무수히 많은 $m$에 대해, 모든 결정적 의미적-증분 분기 프로그램이 $[\text{-GEN}m]$를 해결하려면 최소 $2^{c\,m/\log m}$개의 상태가 필요하며, 이때 $c > 0$은 상수이다.
• 하한은 의미적-증분 BPs를 절약형 BPs로 감소시키고, $\Omega(n/\log n)$의 검은 돌기 비용을 가지는 난이도 높은 DAG의 가족을 적용하여 도출된다.
• 이 구성은 $\Theta(t)$개의 노드와 $\Omega(t/\log t)$의 검은 돌기 비용을 가지는 루트가 있는 DAG 가중치 $\{G_t\}$를 사용하여, 하한이 $m$에 따라 스케일링됨을 보장한다.
• 결과는 더 일반적인 의미적-증분 모델조차도 GEN 문제를 해결할 때 지수적 크기를 피할 수 없음을 확인하며, [GKM08]에서 열려 있던 격차를 메운다.
• 의미적-증분 BPs에서 절약형 BPs로의 감소 과정이 정확성과 크기를 유지하므로, 하한이 정당화된 상태로 이전 모델로 이전될 수 있다.