$ A$ student proposes to omit the sending of $\langle$ nys, $w\rangle$ messages from Algorithm 4.6; he argues that a node knows that a neighbor is not a son in $T_w$ if no $\langle\mathbf{y s}, w\rangle$ message is received from that neighbor.
Is it possible to modify the algorithm in this way? What happens to the complexity of the algorithm?