T2求正确性 T3玄学做法求时间复杂度证明

T2考虑到mst性质，边只加不减的情况下若一个边不在mst上之后也不会在

故考虑K次挨个判断，当前答案记录为ans，加边后跑mst看新ans减去激活点的代价与原and关系，取最优解的n-1个边参与下一次kruskal。整体 $O(mlogm+qlogn)$

T3分别对于s1和s2建trie，遍历t1t2失配前的每个点扔进去trie里更新答案