2546. 执行逐位运算使字符串相等
题目描述
给你两个下标从 0 开始的 二元 字符串 s 和 target ,两个字符串的长度均为 n 。你可以对 s 执行下述操作 任意 次:
- 选择两个 不同 的下标 
i和j,其中0 <= i, j < n。 - 同时,将 
s[i]替换为 (s[i]ORs[j]) ,s[j]替换为 (s[i]XORs[j]) 。 
例如,如果 s = "0110" ,你可以选择 i = 0 和 j = 2,然后同时将 s[0] 替换为 (s[0] OR s[2] = 0 OR 1 = 1),并将 s[2] 替换为 (s[0] XOR s[2] = 0 XOR 1 = 1),最终得到 s = "1110" 。
如果可以使 s 等于 target ,返回 true ,否则,返回 false 。
示例 1:
输入:s = "1010", target = "0110" 输出:true 解释:可以执行下述操作: - 选择 i = 2 和 j = 0 ,得到 s = "0010". - 选择 i = 2 和 j = 1 ,得到 s = "0110". 可以使 s 等于 target ,返回 true 。
示例 2:
输入:s = "11", target = "00" 输出:false 解释:执行任意次操作都无法使 s 等于 target 。
提示:
n == s.length == target.length2 <= n <= 105s和target仅由数字0和1组成
解法
方法一:脑筋急转弯
我们注意到 \(1\) 其实是数字转换的“工具”,因此只要两个字符串中都有 \(1\) 或者都没有 \(1\),那么就可以通过操作使得两个字符串相等。
时间复杂度 \(O(n)\),其中 \(n\) 为字符串的长度。空间复杂度 \(O(1)\)。
1 2 3  |  | 
1 2 3 4 5  |  | 
1 2 3 4 5 6 7 8  |  | 
1 2 3  |  | 
1 2 3  |  | 
1 2 3 4 5  |  | 
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16  |  |