LeetCode990. 等式方程的可满足性

题目

给定一个由表示变量之间关系的字符串方程组成的数组，每个字符串方程 equations[i] 的长度为 4，并采用两种不同的形式之一：“a==b” 或 “a!=b”。在这里，a 和 b 是小写字母（不一定不同），表示单字母变量名。
只有当可以将整数分配给变量名，以便满足所有给定的方程时才返回 true，否则返回 false。
链接

思路

• 不会并查集，以前应该听过，但是不会写，看了看题解，感觉有点像套娃(/dog)。
• 思路其实比较好想，等式具有传递性，同一组的分到一起，最后再遍历不等式，查找他们是否根据之前的等式传递出的相等结果矛盾。
  关键是如何分组，相等的如何确保是属于同一个集合。这个并查集数据结构就比较方便（流下了不学无术的泪水）。
• 并查集由数组实现，下标的值代表节点的值，而数组的值存放的是他父亲节点(如果按照树来说，但实际上这些就是连接根节点的中间节点，代表他们属于同一个集合，通过值和下标串联起来)，本题由于等式两边全是小写字母，所以用长为26的数组存储，先遍历所有等式，把相等的合并到一个集合，再遍历不等式，判断矛盾。
  weiwei大佬详细题解

class Solution {
    private int[]parent=new int[26];
    public boolean equationsPossible(String[] equations) {
        for(int i=0;i<26;i++){
            parent[i]=i;
        }
        for(String s:equations){
            char[]cs=s.toCharArray();
            if(cs[1]=='='){
                union(cs[0]-'a',cs[3]-'a');
            }
        }
        for(String s:equations){
            char[]cs=s.toCharArray();
            if(cs[1]=='!'){
                if(find(cs[0]-'a')==find(cs[3]-'a')){
                    return false;
                }
            }
        }
        return true;
    }

    private void union(int idx1,int idx2){
    	//这个地方，归并到谁都行，只要idx1和idx2属于一个集合
        parent[find(idx2)]=find(idx1);
    }
	//查找idx的根节点
    private int find(int idx){
        while(parent[idx]!=idx){
        	//隔代路径压缩，详细参考大佬题解
            parent[idx]=parent[parent[idx]];
            idx=parent[idx];
        }
        return idx;
    }
}