等式方程的可满足性

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

  • 输入：[“a==b”,”b!=a”]

  • 输出：false
    解释：如果我们指定，a = 1 且 b = 1，那么可以满足第一个方程，但无法满足第二个方程。没有办法分配变量同时满足这两个方程。

  • 输入：[“b==a”,”a==b”]

  • 输出：true
    解释：我们可以指定 a = 1 且 b = 1 以满足满足这两个方程。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
var equationsPossible = function(equations) {
  let parent = new Array(26);
  for (let i = 0; i < parent.length; i++) {
    parent[i] = i;
  }
  const a = 'a'.charCodeAt();
  for (const e of equations) {
    if (e[1] === '=') {
      union(parent, e[0].charCodeAt() - a, e[3].charCodeAt() - a);
    }
  }
  for (const e of equations) {
    if (e[1] === '!') {
      if (
        find(parent, e[0].charCodeAt() - a) ===
        find(parent, e[3].charCodeAt() - a)
      )
        return false;
    }
  }
  return true;
};
function union(parent, a, b) {
  parent[find(parent, a)] = find(parent, b);
}
function find(parent, i) {
  while (parent[i] !== i) {
    parent[i] = parent[parent[i]];
    i = parent[i];
  }
  return i;
};