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