标签：给定变量集合，二元组集合描述其中一些变量的相等关系，可使用Floyd算法解决判断任意两变量间是否相等的问题