2275-按位与结果大于零的最长组合
对数组 nums
执行 按位与 相当于对数组 nums
中的所有整数执行 按位与 。
- 例如,对
nums = [1, 5, 3]
来说,按位与等于1 & 5 & 3 = 1
。 - 同样,对
nums = [7]
而言,按位与等于7
。
给你一个正整数数组 candidates
。计算 candidates
中的数字每种组合下 按位与 的结果。 candidates
中的每个数字在每种组合中只能使用 一次 。
返回按位与结果大于 0
的 最长 组合的长度 。
示例 1:
**输入:** candidates = [16,17,71,62,12,24,14]
**输出:** 4
**解释:** 组合 [16,17,62,24] 的按位与结果是 16 & 17 & 62 & 24 = 16 > 0 。
组合长度是 4 。
可以证明不存在按位与结果大于 0 且长度大于 4 的组合。
注意,符合长度最大的组合可能不止一种。
例如,组合 [62,12,24,14] 的按位与结果是 62 & 12 & 24 & 14 = 8 > 0 。
示例 2:
**输入:** candidates = [8,8]
**输出:** 2
**解释:** 最长组合是 [8,8] ,按位与结果 8 & 8 = 8 > 0 。
组合长度是 2 ,所以返回 2 。
提示:
1 <= candidates.length <= 105
1 <= candidates[i] <= 107
方法一:逐位计算
提示 1
数组 candidates 的某个组合按位与结果大于零,当且仅当至少存在一个特定的二进制位,该组合中的所有整数的该位数值均为 1。
提示 1 解释
上述命题的必要性显然。
对于充分性,我们可以通过证明其逆否命题来证明,即「如果组合中不存在任何二进制位使得所有元素在该位的数值均为 1,则该组合的按位与结果为 0」。该命题可以通过遍历所有存在该位为 1 元素的二进制位证明。
提示 2
我们可以遍历所有存在该位为 1 元素的二进制位,并统计这些位数值为 1 的元素个数。这些个数的最大值即为按位与结果大于零的组合的最大长度。
提示 2 解释
首先,根据 提示 1,任何长度大于该最大值的组合都不会存在某一个数值均为 1 的二进制位,因此该组合的按位与结果一定为 0。
其次,为了构造可以达到最大长度的按位与非零组合,我们只需要找到二进制位为 1 元素数量最大的二进制位,并将该位数值为 1 的元素挑选成为组合,此时该组合不仅按位与的结果非零,且该组合的长度等于最大长度。
思路与算法
根据 提示 2,我们可以遍历所有存在该位为 1 元素的二进制位,并统计对应位数值为 1 的元素个数及最大值。
对于二进制位的范围,由于 candidates 中的整数的取值范围均在 [1, 10^7] 闭区间内,同时我们有 2^{23} < 10^7 < 2^{24,因此我们只需要遍历最低的 24 个二进制位即可。
我们用 res 来维护该最大值。在遍历二进制位时,我们用函数 maxlen}(k) 来表示 candidates 中从低到高第 k 位为 1 的元素数量。具体地,我们遍历 candidates 中的每个元素,检查该元素的第 k 为是否为 1,并统计为 1 的元素数量,最终返回该数量。
当遍历完成所有二进制位后,res 即为 candidates 中按位与非零组合的最大长度,我们返回该数值作为答案。
代码
1 | class Solution { |
1 | class Solution: |
复杂度分析
时间复杂度:O(n\log M),其中 n 为 candidates 的长度, M 为 candidates 中元素的数值上界。我们总共需要枚举 O(\log M) 个二进制位,其中每个二进制位都需要 O(n) 的时间遍历数组。
空间复杂度:O(1)。