力扣刷题之600.不含连续1的非负整数

题干描述

给定一个正整数 n ，请你统计在 [0, n] 范围的非负整数中，有多少个整数的二进制表示中不存在 连续的 1 。

示例 1:

输入: n = 5
输出: 5
解释: 
下面列出范围在 [0, 5] 的非负整数与其对应的二进制表示：
0 : 0
1 : 1
2 : 10
3 : 11
4 : 100
5 : 101
其中，只有整数 3 违反规则（有两个连续的 1 ），其他 5 个满足规则。

示例 2:

输入: n = 1
输出: 2

示例 3:

输入: n = 2
输出: 3

题干分析

题干理解

        给定一个正整数n，需要统计在[0，n]范围内，二进制表示中没有连续1的数字个数。

动态规划的斐波那契数列

• 已知若长度为i的二进制数的最高位为0，则前i-1位可谓一是任何不含连续1的i-1位数；若最高位为1，则次最高位必须为0，剩余i-2位可以是任何不含连续1的i-2位数。
• 定义f[i]表示长度为i的二进制数中不含连续1的数字个数。
• 使用动态规划预计算f[i]公式为f[i]=f[i−1]+f[i−2]。

从高位到低位遍历n的每一位 

• 遍历n的每一位（从高位到低位），根据当前位是否为1更新结果。
• 使用last_bit变量来记录前一位是否为1。

具体实现步骤 

初始化f[0] = 1 和f[1] = 2、

预计算f[i]，即斐波那契数列。

初始化result = 0，last_bit = 0.

遍历n的二进制位（从高位到低位）

• 若当前位为 1，则 result += f[i]。
• 如果上一位也是 1，则出现连续 1，减去 1 并结束计算，因为这种情况已经不满足题意。
• 否则，更新 last_bit = 1。
• 如果当前位为 0，则 last_bit = 0。

包含n本身

最后return result + 1，因为需要包括n本身（如果其不包含连续1）。 

代码实现如下

#include <stdio.h>

//计算范围[0,n]中不包含连续1的数字个数
int findIntegers(int n) {
    // f[i] 表示长度为 i 的二进制数中不含连续 1 的个数
    int f[32];
    f[0] = 1;
    f[1] = 2;
    
    // 预计算斐波那契数列
    for (int i = 2; i < 32; ++i) {
        f[i] = f[i - 1] + f[i - 2];
    }

    int last_bit = 0, result = 0;
    // 从高位到低位遍历 n 的每一位
    for (int i = 30; i >= 0; --i) {
        if ((n & (1 << i)) != 0) { // 当前位是 1
            result += f[i]; // 加上长度为 i 的不含连续 1 的数的个数
            if (last_bit == 1) {
                // 找到连续的 1，停止计算
                result--; // 因为最后一个加的 f[i] 实际上不应该包含
                break;
            }
            last_bit = 1;
        } else {
            last_bit = 0;
        }
    }
    return result + 1; // 包含 n 本身
}