[路飞]_990. 等式方程的可满足性

150 阅读2分钟

题目介绍

给定一个由表示变量之间关系的字符串方程组成的数组,每个字符串方程 equations[i] 的长度为 4,并采用两种不同的形式之一:"a==b" 或 "a!=b"。在这里,a 和 b 是小写字母(不一定不同),表示单字母变量名。

只有当可以将整数分配给变量名,以便满足所有给定的方程时才返回 true,否则返回 false。 

 

示例 1:

输入:["a==b","b!=a"] 输出:false 解释:如果我们指定,a = 1 且 b = 1,那么可以满足第一个方程,但无法满足第二个方程。没有办法分配变量同时满足这两个方程。 示例 2:

输入:["b==a","a==b"] 输出:true 解释:我们可以指定 a = 1 且 b = 1 以满足满足这两个方程。 示例 3:

输入:["a==b","b==c","a==c"] 输出:true 示例 4:

输入:["a==b","b!=c","c==a"] 输出:false 示例 5:

输入:["c==c","b==d","x!=z"] 输出:true

来源:力扣(LeetCode) 链接:leetcode-cn.com/problems/sa… 著作权归领扣网络所有。商业转载请联系官方授权,非商业转载请注明出处。

解题思路

1.并查集思路,遍历数组中,如果是等式就用并查集进行连通 2.再次遍历数组,如果是等号就查询两个值是否在同一个集合中,不是就返回false,如果是不等于号,就判断两个值是否不在同一个集合中,是同一个集合就返回true 3.遍历结束就返回true

代码

/**
 * @param {string[]} equations
 * @return {boolean}
 */
class UnionSet {
    constructor(n) {
        this.fa = new Array(n + 1)
        for (let i = 0; i <= n; i++) {
            this.fa[i] = i
        }
    }
    get(x) {
        let fa = this.fa
        return fa[x] = (fa[x] === x ? x : this.get(fa[x]))
    }
    merge(a, b) {
       this.fa[this.get(a)] = this.get(b)
    }
}
var equationsPossible = function(equations) {
    let n = equations.length
    let unionset = new UnionSet(26)
    let baseNum = 'a'.charCodeAt()
    for (let i = 0; i < n; i++) {
        let item = equations[i]
        if (item[1] === '=') {
            unionset.merge(item[0].charCodeAt() - baseNum, item[3].charCodeAt() - baseNum)
        }
        // if ()
    }
    for (let i = 0; i < n; i++) {
        let item = equations[i]
        if (item[1] === '=') {
            if (unionset.get(item[0].charCodeAt()- baseNum) !== unionset.get(item[3].charCodeAt()-baseNum)) return false
        } else {
            if (unionset.get(item[0].charCodeAt() - baseNum) === unionset.get(item[3].charCodeAt() - baseNum)) return false

        }
    }
    return true
};