雨课堂: 语法判断 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.