這篇文章解決了樹大小的估計問題,具體定理如下,,附件里的另一篇文章Quantum walk speedup of backtracking algorithms提出了一個效率依賴于樹大小的算法,,所以這篇文章的作者就想解決樹大小的估計問題,具體方法是構(gòu)造酉矩陣,,使用相位估計來得到想要的信息,。