布尔函数查询属性的算法
计算复杂性
2007-05-23 v1 数据结构与算法
摘要
我们提出了新的算法来计算以真值表形式给出的布尔函数的基本属性。具体而言，我们给出一个 O(N^2.322 log N) 的块敏感性算法，一个 O(N^1.585 log N) 的树分解算法，以及一个 O(N) 的准对称性算法。这些算法基于对布尔函数结构的新见解，这些见解可能本身也具有独立的兴趣。我们还给出一个亚指数时间的算法，用于计算布尔函数的空间受限量子查询复杂度。为证明该算法正确，我们发展了有限精度单位算子表示的理论，基于伯恩斯坦和瓦茨里兹的工作。
引用
@article{arxiv.cs/0107010,
title = {Algorithms for Boolean Function Query Properties},
author = {Scott Aaronson},
journal= {arXiv preprint arXiv:cs/0107010},
year = {2007}
}
备注
13 pages, no figures, earlier version submitted to SIAM J. Comp