LeetCode-990、等式方程的可滿足性-中等
給定一個由表示變量之間關係的字符串方程組成的數組,每個字符串方程 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
提示:
- 1 <= equations.length <= 500
- equations[i].length == 4
- equations[i][0] 和 equations[i][3] 是小寫字母
- equations[i][1] 要麼是 '=',要麼是 '!'
- equations[i][2] 是 '='
代碼:
class Solution:
def equationsPossible(self, equations: List[str]) -> bool:
def find(x): # 隔代壓縮
if x == p[x]:
return p[x]
else:
p[x] = find(p[x])
return p[x]
p = [i for i in range(26)] # 創建並查集
for eq in equations:
if eq[1] == '=':
r1 = find(ord(eq[0]) - ord('a'))
r2 = find(ord(eq[3]) - ord('a'))
if r1 != r2:
p[r2] = r1
for eq in equations:
if eq[1] == '!':
r1 = find(ord(eq[0]) - ord('a'))
r2 = find(ord(eq[3]) - ord('a'))
if r1 == r2:
return False
return True
# 並查集(隔代壓縮)