T3：如果整张图只有一个点双，输出Yes，否则输出No。 T4：将树进行黑白染色，$b_i$ 为以 $i$ 为根的子树的黑点的数量，$w_i$ 同理，答案为 $C^k_{b_i \times w_i} \mod p_i$。