这篇文章解决了树大小的估计问题，具体定理如下，附件里的另一篇文章Quantum walk speedup of backtracking algorithms提出了一个效率依赖于树大小的算法，所以这篇文章的作者就想解决树大小的估计问题，具体方法是构造酉矩阵，使用相位估计来得到想要的信息。