arXiv 1311.02932013-11-01cs.CC

用于树评估的Pebbling参数

Pebbling Arguments for Tree Evaluation

David Liu

摘要：

树评价问题是由Cook等人在2010年引入的，作为将P与L和NL分离的候选问题。树评估问题中已知的最一般的空间下界需要对分支程序进行语义限制，并使用与著名的卵石游戏的连接来生成瓶颈参数。这些界限满足相应的上限产生的自然实现的最佳卵石算法。在本文中，我们将这些想法扩展到各种限制家庭的确定性和非确定性分支程序，证明紧下界下，这些限制模型。我们还调查和统一已知的下限在我们的“鹅卵石论证”框架。

英文摘要：

The Tree Evaluation Problem was introduced by Cook et al. in 2010 as a candidate for separating P from L and NL. The most general space lower bounds known for the Tree Evaluation Problem require a semantic restriction on the branching programs and use a connection to well-known pebble games to generate a bottleneck argument. These bounds are met by corresponding upper bounds generated by natural implementations of optimal pebbling algorithms. In this paper we extend these ideas to a variety of restricted families of both deterministic and non-deterministic branching programs, proving tight lower bounds under these restricted models. We also survey and unify known lower bounds in our "pebbling argument" framework.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

用Pebbling和Branching程序解决树求值问题

Pebbling and Branching Programs Solving the Tree Evaluation Problem

我们研究与树评估问题相关的受限计算模型。在早期的工作中，TEP被引入作为分离L和LogDCFL的（* 非常 *）长期目标的简单候选者。该问题的输入是一个高度为h的有根平衡二叉树，其内部节点用[k] = {1，.，k}（每一个简单地给出为[k]的k^2个元素的列表），并且其叶子被标记为[k]的元素。每个节点在[k]中获得一个值，该值等于其应用于其子节点值的二元函数，输出是根节点的值。第一个限制计算模型，称为分数卵石，是图上黑/白卵石游戏的推广，并且以自然的方式从寻找求解TEP的非确定性分支程序（BP）的大小的良好上界中产生-对于任何固定的h，如果高度h的二叉树具有至多p的分数卵石成本，然后有大小为O（k^p）的非确定性BP求解高度h TEP。我们证明了一个下界的分数卵石成本的d-元树，是紧内的一个附加常数为每个固定的d。我们研究的第二个限制计算模型是对（非）确定性BP求解TEP-Thrifty BP的语义限制。确定性（非确定性）节俭BP足以实现用于TEP的最佳已知算法，基于黑色（分别为分数）卵石。在早期的工作中，对于每个固定的h，证明了确定性节俭BP的大小的下限对于足够大的k是紧的。我们给出了一个替代的证明，实现了所有k相同的界限。我们证明了同样的界在一个较少限制的模型中仍然成立，并且对于模型上逐渐较弱的限制，可以得到逐渐较弱的下界。

2010-02-25cs.CC

树宽的不可逼近性、一次卵石化及相关布局问题

Inapproximability of Treewidth, One-Shot Pebbling, and Related Layout Problems

我们研究了一些图形问题的可逼近性：树宽和路径宽度的图形，一次性黑（和黑白）卵石成本的有向无环图，以及各种不同的图形布局问题，如最小切割线性排列和区间图完成。我们表明，假设最近引入的小集合扩展猜想，所有这些问题都很难在任何常数因子内近似。

2011-09-22cs.CCcs.DS

Pebbling、熵与分支程序规模下界

Pebbling, Entropy and Branching Program Size Lower Bounds

我们有助于证明下界的分支程序的大小解决树评价问题介绍库克等。（2012）。证明非确定性节俭分支程序（NTBP）的大小的超多项式下界将区分$NL$和解决树评估问题的节俭模型的$P$。首先，我们证明了{ \em Read-Once NTBP}等价于整个黑白pebbling算法，从而显示了该模型的紧密下界（忽略多项式因子）。然后，我们引入一个较弱的限制NTBP称为{ \em逐位独立}。最有名的NTBP（大小$O(k^{h/2+1})$）的树评价问题的库克等。（2012）是位独立的。作为我们的主要结果，我们表明，任何按位独立的NTBP解决$TEP_{2}^{h}(k)$必须有至少$\frac{1}{2}k^{h/2}$状态。在这项工作之前，仅对于固定高度$h=2,3,4$已知NTBP的下限（参见Cook et.（2012））。我们证明了我们的结果相关联的分数黑白卵石战略与任何按位独立的NTBP解决树评价问题。这样的联系是不知道以前甚至固定的高度。我们的主要技术是Jukna和Z{á}k（2001）最初在证明只读分支程序的下界时引入的熵方法。我们还表明，以前的下限库克等。al.（2012）的树评估问题的确定性分支程序可以使用这种方法获得。使用这种方法，我们还显示了紧下界时，任何$k$路确定性分支程序解决树评价问题的实例被限制在所有内部节点具有相同的组操作。

2013-11-16cs.CC

二叉树上的最优（并行）Spooky Pebbling

Optimal (Parallel) Spooky Pebbling on Binary Trees

Seoul National University（首尔国立大学）；Kyung Hee University（庆熙大学）

本文针对二叉树依赖的双输入计算，提出分块清理策略，给出完全二叉树的最优工作量和并行深度算法，并改进现有界，应用于实际实现可减少约20%的门数量。

2026-10-08cs.CC

分数卵石博弈的下界

Fractional Pebbling Game Lower Bounds

分数卵石是最近引入的黑白卵石的推广。在这篇研究论文中，我们通过证明对高度为h的平衡d叉树进行分数卵石所需的卵石重量的严格下界来解决一个开放问题。这个界与分支程序和P与NL的分离有着密切的联系。

2013-05-28cs.CCcs.DS

树形与负归结中的蓝色 pebbling 代价及空间

The blue pebbling cost and the space in tree-like and negative Resolution

Universität Ulm（乌尔姆大学）

该研究定义蓝色 pebbling 代价，精确刻画树形与负归结的空间界，证明两类归结的空间分离，并改进现有相关刻画结果。

2026-08-10cs.CCcs.LO

更多相关论文收起更多论文

卵石满足着色：可逆卵石游戏树上

Pebbling Meets Coloring: Reversible Pebble Game On Trees

可逆卵石博弈是一个在有根DAG上进行的组合博弈。这个博弈是由Bennett（1989）引入的，其动机是设计空间有效的可逆算法。最近，Chan（2013）证明了任何DAG的可逆卵石博弈数与其Dymond-Tompa卵石数和Raz-McKenzie卵石数相同。作为我们的主要结果，我们表明，对于任何有根有向树T，其可逆卵石博弈数总是仅比T的底层无向树U的边秩着色数多一个。已知给定一个DAG G作为输入，确定其可逆卵石博弈数是PSPACE困难的。我们的结果意味着树的可逆卵石博弈数可以在多项式时间内计算。我们还解决的问题，找到所需的步骤数，以最佳卵石各种家庭的树木。众所周知，树可以以$n^{O(\log(n))}$步骤被pebble化，其中$n$是树中节点的数量。利用可逆卵石博弈和Dymond-Tompa卵石博弈（Chan，2013）之间的等价性，我们证明了完全二叉树可以在$n^{O(\log\log(n))}$步骤中被卵石化，这是对$n^{O(\log(n))}$的朴素上界的实质性改进。完整的二叉树是否能以多项式（以$n$为单位）的步数被pebbled仍然是一个未知数。为此，我们表明，几乎最优（即，对于任何常数$ε> 0$，在因子$(1 + ε)$内）完全二叉树的遍历可以以多项式数目的步骤完成。我们还显示了一个时间-空间权衡可逆卵石家庭的有界度树的分治方法：对于任何常数$ε> 0$，这样的…

2016-04-19cs.CCcs.DMmath.CO

多项式时间几乎对数空间树评估的催化推砖

Polynomial-Time Almost Log-Space Tree Evaluation by Catalytic Pebbling

本文提出首个多项式时间、几乎对数空间的树评估算法，通过牺牲部分催化空间换取时间复杂度降低，解决树评估问题。

2026-04-07cs.CCcs.DS

用于树评价的Pebbles和分枝程序

Pebbles and Branching Programs for Tree Evaluation

我们介绍了树评价问题，表明它是在logDCFL（因此在P），并研究其分支程序的复杂性，希望最终证明一个超对数空间下界。该问题的输入是一个高度为h的有根平衡d元树，其内部节点用d元函数标记在[k] = {1，.，k}，并且其叶用[k]的元素标记。每个节点在[k]中获得一个值，该值等于其应用于其d个子节点的值的d元函数。输出是根的值。我们表明，标准的黑卵石算法应用于二叉树的高度h产生一个确定性的k路分支程序与Theta（k^h）状态解决这个问题，我们证明了这个上限是紧的h=2和h=3。我们介绍了一个简单的语义限制称为“节俭”的k路分支程序解决树的评价问题，并表明，相同的状态界θ（k^h）是紧（一个常数因子）的所有h >= 2的确定性节俭计划。我们介绍了分数卵石树，并表明，这产生不确定性节俭计划与Theta（k^{h/2+1}）状态解决布尔问题“确定根是否有值1”。我们证明了这个界对于h= 2，3，4是紧的，并且对于h= 2，3的无限制非确定k路分支规划是紧的.

2010-05-15cs.CC

基于对称化的AND-OR树的下界

Lower Bounding the AND-OR Tree via Symmetrization

我们证明了一个简单的，几乎紧的下界的近似度的两级$\mathsf{AND}$ - $\mathsf{OR}$树使用对称化参数。具体来说，我们表明，$\widetilde{\mathrm{deg}}(\mathsf{AND}_m \circ \mathsf{OR}_n) = \widetildeΩ(\sqrt{mn})$。我们通过一系列的对称化步骤，通过还原到$\mathsf{OR}$函数来证明这个下界，与大多数其他证明相反，这些证明涉及将近似度制定为线性规划[BT 13，She 13，BDBGK 18]。我们的证明还证明了Aaronson，Kothari，Kretschmer和Thaler [AKKT 19]之前介绍的涉及Laurent多项式（负指数多项式）的对称化技术的强大功能。

2023-03-22cs.CCquant-ph