LeetCode每日一题1 - 1720.解码异或后的数组（Python编程）

题目名称：1720.解码异或后的数组

难度 ：简单

题目描述

未知 整数数组 arr 由 n 个非负整数组成。

经编码后变为长度为 n - 1 的另一个整数数组 encoded ，其中 encoded[i] = arr[i] XOR arr[i + 1] 。例如，arr = [1,0,2,1] 经编码后得到 encoded = [1,2,3] 。

给你编码后的数组 encoded 和原数组 arr 的第一个元素 first（arr[0]）。

请解码返回原数组 arr 。可以证明答案存在并且是唯一的。

示例1

输入：encoded = [1,2,3], first = 1
输出：[1,0,2,1]
解释：若 arr = [1,0,2,1] ，那么 first = 1 且 encoded = [1 XOR 0, 0 XOR 2, 2 XOR 1] = [1,2,3]

示例2

输入：encoded = [6,2,7,3], first = 4
输出：[4,2,0,7,4]

提示

• 2 <= n <= 104
• encoded.length == n - 1
• 0 <= encoded[i] <= 105
• 0 <= first <= 105

题目解析

Python位运算符

运算符	描述
&	按位与运算符：参与运算的两个值,如果两个相应位都为1,则该位的结果为1,否则为0
|	按位或运算符：只要对应的二个二进位有一个为1时，结果位就为1
^	按位异或运算符：当两对应的二进位相异时，结果为1
~	按位取反运算符：对数据的每个二进制位取反,即把1变为0,把0变为1 。~x 类似于 -x-1
<<	左移动运算符：运算数的各二进位全部左移若干位，由 << 右边的数字指定了移动的位数，高位丢弃，低位补0
>>	右移动运算符：把">>"左边的运算数的各二进位全部右移若干位，>> 右边的数字指定了移动的位数

数学证明

异或运算的性质：

• 相同数值异或，结果为 0
• 任意数值与 0 进行异或，结果为数值本身
• 异或本身满足交换律

已知 encoded[i-1] = arr[i-1] XOR arr[i]，将等式两边同时「异或」arr[i-1]。可得：
encoded[i-1] XOR arr[i-1] = arr[i-1] XOR arr[i] XOR arr[i-1]
可化简得
encoded[i-1] XOR arr[i-1] = arr[i] XOR 0
故arr[i] = encoded[i-1] XOR arr[i-1]

python编程实现

class Solution:
    def decode(self, encoded: List[int], first: int) -> List[int]:
        arr = [first]
        for num in encoded:
            arr.append(arr[-1] ^ num)
        return arr

复杂度分析

• 时间复杂度：O(n)
• 空间复杂度：O(n)

提交结果

题目总结

这道题目的求解有点像解方程，通过已知的两个数求解另一个未知数，而求解的过程中主要运用了异或运算的性质。这道题目很好的结合了逻辑思维（求证）和计算思维（模拟计算过程）。

知识拓展

• 异或
  异或是一个数学运算符。它应用于逻辑运算。异或的数学符号为“⊕”，计算机符号为“^”。其运算法则为：a⊕b = a’b + ab’（a’为非a）
• 同或
  同或是一个数学运算符，应用于逻辑运算。 其运算法则为：a同或b=ab+a’b’（a’为非a）
• 可以证明同或和异或互为非运算