1863. Sum of All Subsets XOR Total - Explanation

Description

The XOR total of an array is defined as the bitwise XOR of all its elements, or 0 if the array is empty.

For example, the XOR total of the array [2,5,6] is 2 XOR 5 XOR 6 = 1.

You are given an array nums, return the sum of all XOR totals for every subset of nums.

Note: Subsets with the same elements should be counted multiple times.

An array a is a subset of an array b if a can be obtained from b by deleting some (possibly zero) elements of b.

Example 1:

Input: nums = [2,4]

Output: 12

Explanation: The four subsets of [2,4] are

The empty subset has an XOR total of 0.
[2] has an XOR total of 2.
[4] has an XOR total of 4.
[2,4] has an XOR total of (2 XOR 4 = 6).
The sum of all XOR totals is 0 + 2 + 4 + 6 = 12.

Example 2:

Input: [3,1,1]

Output: 12

Explanation: The eight subsets of [3,1,1] are

The empty subset has an XOR total of 0.
[3] has an XOR total of 3.
[1] has an XOR total of 1.
[1] has an XOR total of 1.
[3,1] has an XOR total of (3 XOR 1 = 2).
[3,1] has an XOR total of (3 XOR 1 = 2).
[1,1] has an XOR total of (1 XOR 1 = 0).
[3,1,1] has an XOR total of (3 XOR 1 XOR 1 = 3).
The sum of all XOR totals is 0 + 3 + 1 + 1 + 2 + 2 + 0 + 3 = 12.

Constraints:

1 <= nums.length <= 12
1 <= nums[i] <= 20

Topics

Company Tags

Please upgrade to NeetCode Pro to view company tags.

Prerequisites

Before attempting this problem, you should be comfortable with:

Recursion/Backtracking - Used to generate all possible subsets by making include/exclude decisions for each element
XOR Operation - Understanding that XOR is self-inverse (a ^ a = 0) and its bit-level behavior
Bit Manipulation - Bitmasks can represent subsets, and the optimal solution uses OR and bit shifting

1. Backtracking

Intuition

We need to generate all possible subsets and compute the XOR total of each. The standard backtracking approach builds subsets by deciding for each element whether to include it or not. At each step, we compute the XOR of the current subset and add it to our running total.

Algorithm

Initialize res = 0 to accumulate the sum of XOR totals.
Define a backtracking function that takes the current index and the current subset:
- Compute the XOR of all elements in the subset and add it to res.
- For each remaining element starting from the current index:
  - Add the element to the subset.
  - Recursively call backtrack with the next index.
  - Remove the element from the subset.
Call the backtracking function starting at index 0 with an empty subset.
Return res.

class Solution:
    def subsetXORSum(self, nums: List[int]) -> int:
        res = 0

        def backtrack(i, subset):
            nonlocal res
            xorr = 0
            for num in subset:
                xorr ^= num
            res += xorr

            for j in range(i, len(nums)):
                subset.append(nums[j])
                backtrack(j + 1, subset)
                subset.pop()

        backtrack(0, [])
        return res

public class Solution {
    int res = 0;

    public int subsetXORSum(int[] nums) {
        backtrack(0, nums, new ArrayList<>());
        return res;
    }

    private void backtrack(int i, int[] nums, List<Integer> subset) {
        int xorr = 0;
        for (int num : subset) xorr ^= num;
        res += xorr;

        for (int j = i; j < nums.length; j++) {
            subset.add(nums[j]);
            backtrack(j + 1, nums, subset);
            subset.remove(subset.size() - 1);
        }
    }
}

class Solution {
public:
    int subsetXORSum(vector<int>& nums) {
        int res = 0;
        vector<int> subset;

        function<void(int)> backtrack = [&](int i) {
            int xorr = 0;
            for (int num : subset) xorr ^= num;
            res += xorr;

            for (int j = i; j < nums.size(); ++j) {
                subset.push_back(nums[j]);
                backtrack(j + 1);
                subset.pop_back();
            }
        };

        backtrack(0);
        return res;
    }
};

class Solution {
    /**
     * @param {number[]} nums
     * @return {number}
     */
    subsetXORSum(nums) {
        let res = 0;

        const backtrack = (i, subset) => {
            let xorr = 0;
            for (let num of subset) xorr ^= num;
            res += xorr;

            for (let j = i; j < nums.length; j++) {
                subset.push(nums[j]);
                backtrack(j + 1, subset);
                subset.pop();
            }
        };

        backtrack(0, []);
        return res;
    }
}

public class Solution {
    private int res = 0;

    public int SubsetXORSum(int[] nums) {
        Backtrack(0, new List<int>(), nums);
        return res;
    }

    private void Backtrack(int i, List<int> subset, int[] nums) {
        int xorr = 0;
        foreach (int num in subset) {
            xorr ^= num;
        }
        res += xorr;

        for (int j = i; j < nums.Length; j++) {
            subset.Add(nums[j]);
            Backtrack(j + 1, subset, nums);
            subset.RemoveAt(subset.Count - 1);
        }
    }
}

func subsetXORSum(nums []int) int {
    res := 0

    var backtrack func(i int, subset []int)
    backtrack = func(i int, subset []int) {
        xorr := 0
        for _, num := range subset {
            xorr ^= num
        }
        res += xorr

        for j := i; j < len(nums); j++ {
            subset = append(subset, nums[j])
            backtrack(j+1, subset)
            subset = subset[:len(subset)-1]
        }
    }

    backtrack(0, []int{})
    return res
}

class Solution {
    private var res = 0

    fun subsetXORSum(nums: IntArray): Int {
        backtrack(0, mutableListOf(), nums)
        return res
    }

    private fun backtrack(i: Int, subset: MutableList<Int>, nums: IntArray) {
        var xorr = 0
        for (num in subset) {
            xorr = xorr xor num
        }
        res += xorr

        for (j in i until nums.size) {
            subset.add(nums[j])
            backtrack(j + 1, subset, nums)
            subset.removeAt(subset.size - 1)
        }
    }
}

class Solution {
    func subsetXORSum(_ nums: [Int]) -> Int {
        var res = 0

        func backtrack(_ i: Int, _ subset: inout [Int]) {
            var xorr = 0
            for num in subset {
                xorr ^= num
            }
            res += xorr

            for j in i..<nums.count {
                subset.append(nums[j])
                backtrack(j + 1, &subset)
                subset.removeLast()
            }
        }

        var subset = [Int]()
        backtrack(0, &subset)
        return res
    }
}

impl Solution {
    pub fn subset_xor_sum(nums: Vec<i32>) -> i32 {
        let mut res = 0;
        let mut subset = Vec::new();
        Self::backtrack(0, &mut subset, &nums, &mut res);
        res
    }

    fn backtrack(i: usize, subset: &mut Vec<i32>, nums: &[i32], res: &mut i32) {
        let mut xorr = 0;
        for &num in subset.iter() {
            xorr ^= num;
        }
        *res += xorr;

        for j in i..nums.len() {
            subset.push(nums[j]);
            Self::backtrack(j + 1, subset, nums, res);
            subset.pop();
        }
    }
}

Time & Space Complexity

Time complexity: $O(n * 2 ^ n)$
Space complexity: $O(n)$

2. Recursion

Intuition

A cleaner recursive approach avoids explicitly building subsets. For each element, we make a binary choice: include it in the XOR or skip it. We pass the running XOR total down the recursion tree. When we reach the end of the array, we return the accumulated XOR value. The sum of all returned values gives us the total.

Algorithm

Define a recursive function dfs(i, total) where i is the current index and total is the running XOR:
- Base case: If i == len(nums), return total.
- Recursive case: Return dfs(i + 1, total ^ nums[i]) + dfs(i + 1, total).
  - The first call includes nums[i] in the XOR.
  - The second call excludes nums[i].
Call dfs(0, 0) and return the result.

class Solution:
    def subsetXORSum(self, nums: List[int]) -> int:
        def dfs(i, total):
            if i == len(nums):
                return total
            return dfs(i + 1, total ^ nums[i]) + dfs(i + 1, total)

        return dfs(0, 0)

public class Solution {
    public int subsetXORSum(int[] nums) {
        return dfs(nums, 0, 0);
    }

    private int dfs(int[] nums, int i, int total) {
        if (i == nums.length) {
            return total;
        }
        return dfs(nums, i + 1, total ^ nums[i]) + dfs(nums, i + 1, total);
    }
}

class Solution {
public:
    int subsetXORSum(vector<int>& nums) {
        return dfs(nums, 0, 0);
    }

private:
    int dfs(vector<int>& nums, int i, int total) {
        if (i == nums.size()) {
            return total;
        }
        return dfs(nums, i + 1, total ^ nums[i]) + dfs(nums, i + 1, total);
    }
};

class Solution {
    /**
     * @param {number[]} nums
     * @return {number}
     */
    subsetXORSum(nums) {
        const dfs = (i, total) => {
            if (i === nums.length) {
                return total;
            }
            return dfs(i + 1, total ^ nums[i]) + dfs(i + 1, total);
        };

        return dfs(0, 0);
    }
}

public class Solution {
    public int SubsetXORSum(int[] nums) {
        return Dfs(0, 0, nums);
    }

    private int Dfs(int i, int total, int[] nums) {
        if (i == nums.Length) {
            return total;
        }
        return Dfs(i + 1, total ^ nums[i], nums) + Dfs(i + 1, total, nums);
    }
}

func subsetXORSum(nums []int) int {
    var dfs func(i, total int) int
    dfs = func(i, total int) int {
        if i == len(nums) {
            return total
        }
        return dfs(i+1, total^nums[i]) + dfs(i+1, total)
    }

    return dfs(0, 0)
}

class Solution {
    fun subsetXORSum(nums: IntArray): Int {
        fun dfs(i: Int, total: Int): Int {
            if (i == nums.size) {
                return total
            }
            return dfs(i + 1, total xor nums[i]) + dfs(i + 1, total)
        }

        return dfs(0, 0)
    }
}

class Solution {
    func subsetXORSum(_ nums: [Int]) -> Int {
        func dfs(_ i: Int, _ total: Int) -> Int {
            if i == nums.count {
                return total
            }
            return dfs(i + 1, total ^ nums[i]) + dfs(i + 1, total)
        }

        return dfs(0, 0)
    }
}

Time & Space Complexity

Time complexity: $O(2 ^ n)$
Space complexity: $O(n)$ for recursion stack.

3. Bit Manipulation

Intuition

Every subset can be represented by a bitmask where bit i indicates whether element i is included. With n elements, there are 2^n subsets corresponding to masks from 0 to 2^n - 1. We iterate through all masks, compute the XOR of selected elements for each mask, and sum them up.

Algorithm

Initialize res = 0.
For each mask from 0 to 2^n - 1:
- Initialize xorr = 0.
- For each bit position i from 0 to n - 1:
  - If bit i is set in the mask, XOR nums[i] into xorr.
- Add xorr to res.
Return res.

class Solution:
    def subsetXORSum(self, nums: List[int]) -> int:
        n = len(nums)
        res = 0

        for mask in range(1 << n):
            xorr = 0
            for i in range(n):
                if mask & (1 << i):
                    xorr ^= nums[i]
            res += xorr

        return res

public class Solution {
    public int subsetXORSum(int[] nums) {
        int n = nums.length;
        int res = 0;

        for (int mask = 0; mask < (1 << n); mask++) {
            int xorr = 0;
            for (int i = 0; i < n; i++) {
                if ((mask & ( 1 << i)) != 0) {
                    xorr ^= nums[i];
                }
            }
            res += xorr;
        }

        return res;
    }
}

class Solution {
public:
    int subsetXORSum(vector<int>& nums) {
        int n = nums.size();
        int res = 0;

        for (int mask = 0; mask < (1 << n); mask++) {
            int xorr = 0;
            for (int i = 0; i < n; i++) {
                if ((mask & ( 1 << i)) != 0) {
                    xorr ^= nums[i];
                }
            }
            res += xorr;
        }

        return res;
    }
};

class Solution {
    /**
     * @param {number[]} nums
     * @return {number}
     */
    subsetXORSum(nums) {
        const n = nums.length;
        let res = 0;

        for (let mask = 0; mask < 1 << n; mask++) {
            let xorr = 0;
            for (let i = 0; i < n; i++) {
                if ((mask & (1 << i)) !== 0) {
                    xorr ^= nums[i];
                }
            }
            res += xorr;
        }

        return res;
    }
}

public class Solution {
    public int SubsetXORSum(int[] nums) {
        int n = nums.Length;
        int res = 0;

        for (int mask = 0; mask < (1 << n); mask++) {
            int xorr = 0;
            for (int i = 0; i < n; i++) {
                if ((mask & (1 << i)) != 0) {
                    xorr ^= nums[i];
                }
            }
            res += xorr;
        }

        return res;
    }
}

func subsetXORSum(nums []int) int {
    n := len(nums)
    res := 0

    for mask := 0; mask < (1 << n); mask++ {
        xorr := 0
        for i := 0; i < n; i++ {
            if mask&(1<<i) != 0 {
                xorr ^= nums[i]
            }
        }
        res += xorr
    }

    return res
}

class Solution {
    fun subsetXORSum(nums: IntArray): Int {
        val n = nums.size
        var res = 0

        for (mask in 0 until (1 shl n)) {
            var xorr = 0
            for (i in 0 until n) {
                if (mask and (1 shl i) != 0) {
                    xorr = xorr xor nums[i]
                }
            }
            res += xorr
        }

        return res
    }
}

class Solution {
    func subsetXORSum(_ nums: [Int]) -> Int {
        let n = nums.count
        var res = 0

        for mask in 0..<(1 << n) {
            var xorr = 0
            for i in 0..<n {
                if mask & (1 << i) != 0 {
                    xorr ^= nums[i]
                }
            }
            res += xorr
        }

        return res
    }
}

impl Solution {
    pub fn subset_xor_sum(nums: Vec<i32>) -> i32 {
        let n = nums.len();
        let mut res = 0;

        for mask in 0..(1 << n) {
            let mut xorr = 0;
            for i in 0..n {
                if mask & (1 << i) != 0 {
                    xorr ^= nums[i];
                }
            }
            res += xorr;
        }

        res
    }
}

Time & Space Complexity

Time complexity: $O(n * 2 ^ n)$
Space complexity: $O(1)$ extra space.

4. Bit Manipulation (Optimal)

Intuition

Each bit position in any number contributes independently to the XOR totals. For any bit that is set in at least one number, exactly half of all subsets will have that bit set in their XOR result (because each element either flips the bit or not, and the combinations balance out). The OR of all numbers gives us all bits that appear in at least one element. Each such bit contributes its value multiplied by 2^(n-1) subsets.

Algorithm

Compute the OR of all elements in nums. This gives a number where each bit is set if and only if that bit is set in at least one element.
Left shift the result by n - 1 positions (multiply by 2^(n-1)).
Return the result.

class Solution:
    def subsetXORSum(self, nums: List[int]) -> int:
        res = 0
        for num in nums:
            res |= num
        return res << (len(nums) - 1)

public class Solution {
    public int subsetXORSum(int[] nums) {
        int res = 0;
        for (int num : nums) {
            res |= num;
        }
        return res << (nums.length - 1);
    }
}

class Solution {
public:
    int subsetXORSum(vector<int>& nums) {
        int res = 0;
        for (int& num : nums) {
            res |= num;
        }
        return res << (nums.size() - 1);
    }
};

class Solution {
    /**
     * @param {number[]} nums
     * @return {number}
     */
    subsetXORSum(nums) {
        let res = 0;
        for (let num of nums) {
            res |= num;
        }
        return res << (nums.length - 1);
    }
}

public class Solution {
    public int SubsetXORSum(int[] nums) {
        int res = 0;
        foreach (int num in nums) {
            res |= num;
        }
        return res << (nums.Length - 1);
    }
}

Time & Space Complexity

Time complexity: $O(n)$
Space complexity: $O(1)$ extra space.

Common Pitfalls

Forgetting the Empty Subset

The problem includes all subsets, including the empty subset which has an XOR value of 0. While this does not affect the sum, a common conceptual error is starting the subset generation from size 1 instead of size 0, or incorrectly counting the total number of subsets as 2^n - 1 instead of 2^n. This can lead to off-by-one issues in verification.

Misunderstanding XOR Properties

A frequent mistake is confusing XOR with addition or other operations. XOR has the property that a ^ a = 0 and a ^ 0 = a. When computing subset XOR totals, some assume that duplicate elements cancel out across all subsets, but each subset is computed independently. Also, the optimal solution relies on understanding that each bit appears in exactly half of all subsets, which requires grasping XOR's bit-level behavior.