leetcode
leetcode 2301 ~ 2350
相邻值的按位异或

相邻值的按位异或

难度:

标签:

题目描述

A 0-indexed array derived with length n is derived by computing the bitwise XOR (⊕) of adjacent values in a binary array original of length n.

Specifically, for each index i in the range [0, n - 1]:

  • If i = n - 1, then derived[i] = original[i] ⊕ original[0].
  • Otherwise, derived[i] = original[i] ⊕ original[i + 1].

Given an array derived, your task is to determine whether there exists a valid binary array original that could have formed derived.

Return true if such an array exists or false otherwise.

  • A binary array is an array containing only 0's and 1's

 

Example 1:

Input: derived = [1,1,0]
Output: true
Explanation: A valid original array that gives derived is [0,1,0].
derived[0] = original[0] ⊕ original[1] = 0 ⊕ 1 = 1 
derived[1] = original[1] ⊕ original[2] = 1 ⊕ 0 = 1
derived[2] = original[2] ⊕ original[0] = 0 ⊕ 0 = 0

Example 2:

Input: derived = [1,1]
Output: true
Explanation: A valid original array that gives derived is [0,1].
derived[0] = original[0] ⊕ original[1] = 1
derived[1] = original[1] ⊕ original[0] = 1

Example 3:

Input: derived = [1,0]
Output: false
Explanation: There is no valid original array that gives derived.

 

Constraints:

  • n == derived.length
  • 1 <= n <= 105
  • The values in derived are either 0's or 1's

代码结果

运行时间: 77 ms, 内存: 20.6 MB


// 思路: 使用 Java Stream 对 derived 数组中的所有元素求和,然后判断其是否为偶数。
import java.util.Arrays;

public class Solution {
    public boolean doesValidOriginalExist(int[] derived) {
        // 计算 derived 数组的元素总和
        int sum = Arrays.stream(derived).sum();
        // 如果总和为偶数,则存在有效的原始二进制数组 original
        return sum % 2 == 0;
    }
}

解释

方法:

题解的核心思路是利用按位异或的性质来判断是否存在一个符合条件的原始数组。具体地,由于异或操作具有可逆性和自反性(即 a^a=0 且 a^0=a),对派生数组 `derived` 中的所有元素进行连续异或操作后,如果结果为0,说明原始数组 `original` 可能存在。这是因为在派生过程中的异或操作,如果从 `original` 数组派生出 `derived`,最终所有的项异或的结果应该是0。这是因为各个项的异或会在原始数组的首尾项上抵消,即 original[0] ⊕ original[n-1],如果 `derived` 数组能够由某个数组派生而来,则这个结果必须为0。

时间复杂度:

O(n)

空间复杂度:

O(1)

代码细节讲解

🦆
题解中提到,如果所有derived数组的元素异或的结果为0,则原始数组可能存在。请问这种方法是否能保证derived数组确实可以由某个原始数组派生而来?
这种方法只能证明存在一个可能的原始数组,但不能确保只有这一种可能。由于异或操作的性质,如果得到的结果是0,这意味着原数组的第一个元素和最后一个元素异或的结果为0(即两者相等),这是构造原始数组的一个必要条件。但是,这种方法不能确定具体的原始数组是什么,只能说明这样的数组存在可能性。也就是说,可能存在多个不同的原始数组都能产生相同的derived数组。
🦆
在题解的异或操作中,为什么最终的结果只需要检查是否为0?这与原始数组和派生数组的关系是怎样的?
异或操作具有一些特殊的性质,其中包括:任何数与0进行异或都会得到它本身,任何数与自身异或的结果是0。在派生数组的构建规则中,除了最后一个元素外,每个元素都与其下一个元素进行异或。最后一个元素与第一个元素异或。这种方式的结果是,除了原数组的第一个元素和最后一个元素外,所有元素都会在异或中被抵消(每个元素都出现两次)。因此,如果所有derived的元素异或之后的结果为0,这说明原数组的第一个元素与最后一个元素异或后也为0,即它们相等。这是由原始数组派生出derived数组的必要条件,因此检查异或结果是否为0是验证可能性的关键步骤。
🦆
题解中使用了一个循环来对derived数组中的所有元素进行异或操作。请问这种方法的时间复杂度是多少?
题解中的方法通过一个简单的循环遍历derived数组,对数组中的每个元素执行一次异或操作。因为每个元素只被访问和处理一次,所以这个算法的时间复杂度是O(n),其中n是derived数组的长度。这意味着算法的执行时间与数组的大小成线性关系,算法效率较高,适合处理大数据量。

相关问题