990. Satisfiability of Equality Equations


Problem Description

In the LeetCode problem presented, we are given a set of equations that express relationships between variables. Each variable is represented by a single lowercase letter, and each equation is a string of 4 characters. The equations come in two forms:

  1. "xi==yi" which indicates that the two variables represented by xi and yi must be equal.
  2. "xi!=yi" which specifies that the two variables must not be equal, where xi and yi are any lowercase letters.

We need to determine if there is a way to assign integers to each variable such that all the equality and inequality equations are satisfied simultaneously. If there is a way to do so, we should return true, else return false.

Intuition

To solve this problem, we can use the union-find algorithm, which is a data structure that is very efficient at grouping elements into disjoint sets and determining whether two elements are in the same set.

Here is the intuition broken into steps:

  1. Initialization: We first initialize 26 elements, one for each lowercase letter, to represent each variable. Each element is its own parent in the union-find data structure in the beginning.

  2. Processing Equalities: We iterate through all the equalities - equations that say xi==yi. For each equality, we find the parent representations of the variables xi and yi. If they are different, then we merge the sets by assigning one parent to both, effectively stating that they are equal.

  3. Processing Inequalities: After dealing with all the equalities, we iterate through the inequalities - equations that say xi!=yi. For each inequality, again, we find the parent representations of xi and yi. If they have the same parent, this means we have previously determined they are equal, which contradicts the current inequality equation. Therefore, we can return false.

  4. Conclusion: After checking all inequalities, if none have caused a contradiction, it means that all equations can be satisfied, so we return true.

Using union-find allows us to efficiently merge groups and keep track of the connected components or disjoint sets. The two-pass approach first ensures all equalities are accounted for which forms the base state for dealing with inequalities.

Learn more about Union Find and Graph patterns.

Solution Approach

The solution leverages the union-find algorithm, also known as the disjoint set union (DSU) algorithm. This is well suited for problems that deal with connectivity and component relationships, like the one we have at hand.

Here's a step-by-step breakdown of how the union-find algorithm is applied in this solution:

  1. Find Function: A find function is defined to determine the parent or the representative of a set to which a particular element belongs. The purpose is to find the topmost parent (the representative) of a variable. If a variable's parent is not itself, the function recursively updates and assigns the variable's parent to be the result of the find function. This also implements path compression, where during the find operation, we make each looked-up node point to the root (representative) directly to speed up future lookups.

    1def find(x):
    2    if p[x] != x:
    3        p[x] = find(p[x])
    4    return p[x]
  2. Initializing Parent Array: A parent array p is initialized to keep track of the representative of each element (in this case, variables represented by lowercase letters). It starts with each element being its own parent, which means they are each in their own separate set.

    1p = list(range(26))  # 26 for the number of lowercase English letters
  3. Union Operation: For each equality equation (denoted by ==), we union the sets containing the variables of the equation. This involves changing the parent of one element to be the parent of the other element, therefore establishing that they are in the same set (they are connected or equal).

    1for e in equations:
    2    if e[1] == '=':
    3        a, b = ord(e[0]) - ord('a'), ord(e[-1]) - ord('a')
    4        p[find(a)] = find(b)

    Here, ord function converts a character into its corresponding ASCII value, and the subtraction of ord('a') is done to get an index from 0 to 25 for each letter.

  4. Checking Inequalities: After equalities are processed, we iterate over the inequality equations (denoted by !=). For each inequality, we check if the variables are in the same set by comparing their parents. If they have the same parent, it implies they are equal (by the union operations done previously), which contradicts the inequality condition.

    1for e in equations:
    2    if e[1] == '!' and find(a) == find(b):
    3        return False
  5. Returning the Result: If no contradictions are found in the inequality equations, we return true since all equations can be satisfied with the unions performed.

By applying the union-find data structure for the equality relationships first and then checking for any violations in the inequality relationships later, we can efficiently resolve if all equations can hold true concurrently or not.

Ready to land your dream job?

Unlock your dream job with a 2-minute evaluator for a personalized learning plan!

Start Evaluator

Example Walkthrough

Let's walk through a small example to illustrate the solution approach.

Suppose we have the following equations:

1["a==b", "b!=c", "c==a"]

Our goal is to determine if we can assign integers to each variable (a, b, and c) such that these equations are simultaneously satisfied.

  1. Initial Parent Array: We initialize an array p representing the parents of each variable.

    1p = [0, 1, 2]  // since we have 26 letters, for simplicity let's consider only indices for a, b, and c.
  2. Process Equalities: Following the equalities, "a==b" and "c==a":

    • For "a==b":

      • We find the parents of a (which is 0) and b (which is 1).

      • Since a and b are not in the same set, we perform a union by setting the parent of a to be the parent of b. Now, p[0] is 1.

        1p = [1, 1, 2]  // a and b are now in the same set.
    • For "c==a":

      • We find the parents of c (which is 2) and a (now 1 after compression).

      • We perform a union by setting the parent of c to be the parent of a. Now, p[2] is 1.

        1p = [1, 1, 1] // a, b, and c are now all connected.
  3. Checking Inequalities: We go over the inequality "b!=c":

    • We find the parents for b and c, which is index 1 for both after compression.
    • Since b and c have the same parent, they are considered to be in the same set, implying they are equal according to our previous unions, which contradicts the inequality "b!=c".
    • Thus, we return False at this step because there is no way we can satisfy this inequality given the equality connections that we have already made.

With this example, it is clear that the union-find algorithm helps efficiently determine the connectivity between variables, and due to the contradicting inequality, the entire set of equations cannot be satisfied simultaneously.

Solution Implementation

1from typing import List
2
3class Solution:
4    def equationsPossible(self, equations: List[str]) -> bool:
5        # Define a function to find the root of an element x in the parent array
6        def find(x):
7            # Recursively find the root parent of x. Path compression is used for optimization.
8            if parent[x] != x:
9                parent[x] = find(parent[x])
10            return parent[x]
11
12        # Initialize a parent array for union-find, where each element is its own root initially
13        parent = list(range(26))
14
15        # Union phase: process all equations that are equalities to unify groups
16        for eq in equations:
17            if eq[1] == '=':
18                # Extract the variables from the equation and convert to numeric indices
19                index1 = ord(eq[0]) - ord('a')
20                index2 = ord(eq[3]) - ord('a')
21                # Unify the groups by assigning the same root parent
22                parent[find(index1)] = find(index2)
23
24        # Check phase: process all equations that are inequalities to detect conflicts
25        for eq in equations:
26            if eq[1] == '!':
27                # Extract the variables from the equation and convert to numeric indices
28                index1 = ord(eq[0]) - ord('a')
29                index2 = ord(eq[3]) - ord('a')
30                # If the two variables belong to the same group, the equations are not possible
31                if find(index1) == find(index2):
32                    return False
33
34        # If no conflicts are found, all equations are possible
35        return True
36
1public class Solution {
2    // Parent array to represent the disjoint set (union-find) data structure.
3    private int[] parent;
4
5    // Function to determine if a given set of equations is possible.
6    public boolean equationsPossible(String[] equations) {
7        // Initialize parent array, where each element is its own parent.
8        parent = new int[26];
9        for (int i = 0; i < 26; ++i) {
10            parent[i] = i;
11        }
12
13        // Process all equations of the type "a==b"
14        for (String equation : equations) {
15            if (equation.charAt(1) == '=') {
16                int var1 = equation.charAt(0) - 'a';
17                int var2 = equation.charAt(3) - 'a';
18                // Union the sets to which the variables belong
19                parent[find(var1)] = find(var2);
20            }
21        }
22
23        // Process all equations of the type "a!=b"
24        for (String equation : equations) {
25            if (equation.charAt(1) == '!') {
26                int var1 = equation.charAt(0) - 'a';
27                int var2 = equation.charAt(3) - 'a';
28                // If the variables belong to the same set, the equation is not possible
29                if (find(var1) == find(var2)) {
30                    return false;
31                }
32            }
33        }
34
35        // If we did not find a contradiction, the equations are possible
36        return true;
37    }
38
39    // Helper function to find the representative of the set to which element x belongs.
40    private int find(int x) {
41        // Path compression: make every visited node point directly to the set representative
42        if (parent[x] != x) {
43            parent[x] = find(parent[x]);
44        }
45        return parent[x];
46    }
47}
48
1#include <vector>
2#include <string>
3using namespace std;
4
5class Solution {
6public:
7    vector<int> parent; // Vector to store the parent of each character
8
9    // Finds the parent of a given element x
10    int find(int x) {
11        if (parent[x] != x) {
12            parent[x] = find(parent[x]); // Path compression
13        }
14        return parent[x];
15    }
16
17    // Function to check if a list of equations is possible
18    bool equationsPossible(vector<string>& equations) {
19        // Initialize parent vector with element itself as the parent
20        parent.resize(26);
21        for (int i = 0; i < 26; ++i) {
22            parent[i] = i;
23        }
24
25        // First pass to process all "equal" equations
26        for (auto& equation : equations) {
27            int char1 = equation[0] - 'a'; // Convert char to index
28            int char2 = equation[3] - 'a'; // Convert char to index
29            if (equation[1] == '=') {
30                // Unite the sets of the two characters
31                parent[find(char1)] = find(char2);
32            }
33        }
34
35        // Second pass to process all "not equal" equations
36        for (auto& equation : equations) {
37            int char1 = equation[0] - 'a'; // Convert char to index
38            int char2 = equation[3] - 'a'; // Convert char to index
39            if (equation[1] == '!' && find(char1) == find(char2)) {
40                // If the two characters are in the same set, the equations are not possible
41                return false;
42            }
43        }
44
45        return true; // All equations are possible
46    }
47};
48
1// Initial parent array, where each element's index represents a unique character (a-z),
2// and the value at that index represents the parent in the union-find structure.
3const parent: number[] = Array.from({ length: 26 }, (_, i) => i);
4
5// The find function locates the root of the set that the character at the given index belongs to.
6// It employs path compression to flatten the structure for faster future lookups.
7function find(index: number): number {
8    if (parent[index] !== index) {
9        parent[index] = find(parent[index]);
10    }
11    return parent[index];
12}
13
14// The union function joins two sets together by linking the root of one set to the root of the other.
15function union(index1: number, index2: number): void {
16    parent[find(index1)] = find(index2);
17}
18
19// The equationsPossible function checks if a series of equations is satisfiable.
20// It uses the union-find structure to represent equivalences and separations between characters.
21function equationsPossible(equations: string[]): boolean {
22    for (const equation of equations) {
23        const index1 = equation.charCodeAt(0) - 'a'.charCodeAt(0);
24        const index2 = equation.charCodeAt(3) - 'a'.charCodeAt(0);
25
26        // Handle equivalence relationships by uniting the sets of the two characters.
27        if (equation.charAt(1) === '=') {
28            union(index1, index2);
29        }
30    }
31
32    for (const equation of equations) {
33        const index1 = equation.charCodeAt(0) - 'a'.charCodeAt(0);
34        const index2 = equation.charCodeAt(3) - 'a'.charCodeAt(0);
35
36        // Check for conflicts: if characters that should not be equal are found in the same set,
37        // the equations are not possible.
38        if (equation.charAt(1) === '!') {
39            if (find(index1) === find(index2)) {
40                return false;
41            }
42        }
43    }
44
45    // If there are no conflicts, the equations are possible.
46    return true;
47}
48

Time and Space Complexity

Time Complexity

The time complexity of the code consists of two main parts: the union operations that occur when equations with "==" are processed, and the find operations to check for contradictions in equations with "!=".

  • The find function performs a path compression, which is an optimization of the Disjoint Set Union (DSU) data structure. With path compression, the complexity of each find operation is amortized to O(alpha(n)), where alpha(n) is the inverse Ackermann function, which grows very slowly and is considered almost constant for all practical purposes.
  • During the first loop, there are potentially n union operations (one for each "==" equation).
  • During the second loop, there may be up to n find operations (one for each "!=" equation).

Since n is the number of equations given, the time complexity approximates to O(n * alpha(n)), but it's commonly denoted as O(n) due to the negligible growth of alpha(n).

Space Complexity

The space complexity is determined by the space required for the parent array p.

  • There is a fixed size parent array p of size 26 to account for each lowercase letter from 'a' to 'z'.

Therefore, the space complexity of the code is O(1), as space does not scale with the input size and remains constant because we are only dealing with lowercase English letters, which are just 26.

Learn more about how to find time and space complexity quickly using problem constraints.


Discover Your Strengths and Weaknesses: Take Our 2-Minute Quiz to Tailor Your Study Plan:
Question 1 out of 10

Which algorithm is best for finding the shortest distance between two points in an unweighted graph?


Recommended Readings

Got a question? Ask the Monster Assistant anything you don't understand.

Still not clear?  Submit the part you don't understand to our editors. Or join our Discord and ask the community.