语法判断To start with, according to Lemma 2, the number of saved candidate nodes at each searching layer is upper bounded by the summation of searching sizes at the previous layer.