本题维护的变量不是布尔，因此不存在像P5937那样因为$a\not =b,b\not = c$所以$a=c$这样的情况