LLM2D
无形状约束的 AND-OR 树上平衡不等式的分离与合并
Separation and Collapse of Equilibria Inequalities on AND-OR Trees without Shape Constraints
作者: Fuki Ito, Toshio Suzuki
发布日期: 10/2/2024
arXiv ID: oai:arXiv.org:2405.20138v2

摘要

本文研究了在对算法施加各种限制以找到树根的布尔值(树形不受限制)的情况下,AND-OR 树计算的零错误随机复杂度,即针对最坏输入的最小成本。当树满足其对称性方面的特定条件时,Saks 和 Wigderson(1986)提出的方向算法(一种特殊的随机算法)已知可以实现随机复杂度。此外,已知存在一个如此不平衡的树,以至于没有任何方向算法可以实现随机复杂度(Vereshchagin 1998)。在本研究中,我们旨在确定一般随机布尔决策树及其特殊情况(方向算法)之间偏差的出现位置。在本文中,我们表明,对于任何 AND-OR 树,随机深度优先算法(与方向算法相比,构成更广泛的类别)具有与方向算法相同的均衡。因此,我们得到了对任意 AND-OR 树成立的均衡不等式的坍缩结果。这意味着存在一种情况,即使深度优先算法也不能是最快的,从而导致均衡不等式的分离结果。此外,一种新的算法作为分离结果证明的关键概念被引入。