[논문 리뷰] Pebbling and Branching Programs Solving the Tree Evaluation Problem

Dustin Wehr|arXiv (Cornell University)|2010. 02. 25.

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

한 줄 요약

이 논문은 나눗셈 페블링과 절충 분기 프로그램이라는 제한된 계산 모델을 사용하여 나무 평가 문제(Terp)의 더 강력한 하한을 도출하기 위해 연구한다. 이는 d-형 나무에 대해 엄밀한 분수 페블링 하한을 증명하고, 모든 k와 h에 대해 유효하며 점점 더 제약이 약해지는 모델로 확장되는 통합된 새로운 증명을 제공한다.

ABSTRACT

We study restricted computation models related to the Tree Evaluation Problem}. The TEP was introduced in earlier work as a simple candidate for the (*very*) long term goal of separating L and LogDCFL. The input to the problem is a rooted, balanced binary tree of height h, whose internal nodes are labeled with binary functions on [k] = {1,...,k} (each given simply as a list of k^2 elements of [k]), and whose leaves are labeled with elements of [k]. Each node obtains a value in [k] equal to its binary function applied to the values of its children, and the output is the value of the root. The first restricted computation model, called Fractional Pebbling, is a generalization of the black/white pebbling game on graphs, and arises in a natural way from the search for good upper bounds on the size of nondeterministic branching programs (BPs) solving the TEP - for any fixed h, if the binary tree of height h has fractional pebbling cost at most p, then there are nondeterministic BPs of size O(k^p) solving the height h TEP. We prove a lower bound on the fractional pebbling cost of d-ary trees that is tight to within an additive constant for each fixed d. The second restricted computation model we study is a semantic restriction on (non)deterministic BPs solving the TEP - Thrifty BPs. Deterministic (resp. nondeterministic) thrifty BPs suffice to implement the best known algorithms for the TEP, based on black (resp. fractional) pebbling. In earlier work, for each fixed h a lower bound on the size of deterministic thrifty BPs was proved that is tight for sufficiently large k. We give an alternative proof that achieves the same bound for all k. We show the same bound still holds in a less-restricted model, and also that gradually weaker lower bounds can be obtained for gradually weaker restrictions on the model.

연구 동기 및 목표

• 제한된 모델을 통해 나무 평가 문제(TEP)를 분석함으로써 L과 LogDCFL의 분리에 대한 이해를 강화하기 위해.
• 분수 페블링과 절충 모델을 사용하여 TEP를 해결하는 비결정적 및 결정적 분기 프로그램의 크기에 대해 엄밀한 하한을 설정하기 위해.
• 기존의 절충 분기 프로그램 하한 증명을 일반화하고 통합하여, 점근적 가정 없이 모든 k와 h에 대해 유효하도록 하기 위해.
• 분기 프로그램에 점차 약해지는 제약 조건을 도입할 경우 크기 하한에 어떤 영향을 미치는지 탐색하기 위해.

제안 방법

• 흑백 페블링의 일반화로 분수 페블링을 도입하여, O(k^p) 상한을 통해 페블링 비용과 비결정적 분기 프로그램 크기 간의 연관성을 설정한다.
• 고정된 각 d에 대해 애드티브 상수 내에서 정확한 하한을 갖는 d-형 나무에 대한 분수 페블링 비용에 대해 엄밀한 하한을 증명한다.
• 흑백 페블링과 분수 페블링에 기반한 최적 알고리즘을 포괄하는 의미론적 제약 조건으로 절충 분기 프로그램을 정의한다.
• 모든 k와 h에 대해 유효한 절충 결정적 분기 프로그램 하한 증명을 대체로 제시하며, 특히 큰 k일 때만 유효한 기존 증명의 한계를 극복한다.
• 절충 집합 크기가 1을 초과하는 노드 수를 제한하는 매개변수 w를 도입하여 강력한 모델과 약한 모델 사이의 중간 상태를 구현한다.
• 조언 문자열 기법을 사용하여 학습 상태를 시뮬레이션하고, 이러한 상태의 수와 그들의 절충 집합 크기에 기반한 크기 하한을 유도한다.

실험 결과

연구 질문

• RQ1 d-형 나무의 정확한 분수 페블링 비용은 무엇이며, 모든 d에 대해 엄밀하게 유계일 수 있는가?
• RQ2 모든 k와 h에 대해 절충 분기 프로그램 하한을 통일적으로 증명할 수 있는가? 특히 k가 크다고 가정하지 않고도 가능한가?
• RQ3 분기 프로그램에 점차 약해지는 제약 조건을 도입할 경우, 결과적으로 크기 하한에 어떤 영향을 미치는가?
• RQ4 큰 절충 집합을 가진 노드 수 w가 유한한 모델에서도 초다항 하한을 도출할 수 있는가?
• RQ5 (k+1)^h 개 이하의 상태를 가진 결정적 분기 프로그램이 TEP를 해결할 수 있는가? 이는 추측된 하한을 도전하는가?

주요 결과

• 고정된 각 d에 대해 애드티브 상수 내에서 상한과 정확히 일치하는 분수 페블링 비용에 대한 엄밀한 하한이 확립되었다.
• 모든 k와 h에 대해 유효한 절충 결정적 분기 프로그램 하한 증명을 대체로 제시하였으며, 특히 큰 k일 때만 유효한 기존 증명의 제약을 제거하였다.
• 더 제약이 약한 모델에서도 동일한 하한이 유지됨을 보여, 하한이 엄격한 절충 제약을 초월하여 강건함을 입증하였다.
• 절충 집합 크기가 1을 초과하는 노드 수를 제한하는 매개변수 w를 도입함으로써, BT^h(k)를 해결하는 결정적 BPs에 대해 k^h / π^w 의 하한을 도출하였다.
• w=1 이고 π=log k - log log k 일 때, 하한은 Ω(k^h / log k) 로 변환되며, 이는 BT^h(k)에 대해 알려진 최고의 상한과 일치하여 하한의 엄밀함을 시사한다.
• w < h-2 이고 π < k 일 경우, 비트리비얼 하한이 도출되며, 절충 BPs가 Ω(k^{#FRpebbles(T^h)}) 개의 상태를 필요로 한다는 추측을 지지한다.