无形约束的 AND-OR 树上平衡不等式的分离与崩溃

我们研究了 AND-OR 树计算的随机化复杂性，探讨了普通随机化布尔决策树与定向算法之间的差异，并引入了一种新算法用于分离结果的证明。