<p>Given a positive integer <code>n</code>, return the number of the integers in the range <code>[0, n]</code> whose binary representations <strong>do not</strong> contain consecutive ones.</p>

<p>&nbsp;</p>
<p><strong class="example">Example 1:</strong></p>

<pre>
<strong>Input:</strong> n = 5
<strong>Output:</strong> 5
<strong>Explanation:</strong>
Here are the non-negative integers &lt;= 5 with their corresponding binary representations:
0 : 0
1 : 1
2 : 10
3 : 11
4 : 100
5 : 101
Among them, only integer 3 disobeys the rule (two consecutive ones) and the other 5 satisfy the rule. 
</pre>

<p><strong class="example">Example 2:</strong></p>

<pre>
<strong>Input:</strong> n = 1
<strong>Output:</strong> 2
</pre>

<p><strong class="example">Example 3:</strong></p>

<pre>
<strong>Input:</strong> n = 2
<strong>Output:</strong> 3
</pre>

<p>&nbsp;</p>
<p><strong>Constraints:</strong></p>

<ul>
	<li><code>1 &lt;= n &lt;= 10<sup>9</sup></code></li>
</ul>

class Solution {
public:
    int findIntegers(int n) {
        int m = __lg(n);
        cout << m << endl;
        vector<vector<int>> dp(1 + m, vector<int>(2, -1));
        std::function<int(int, bool, bool)> dfs = [&] (int i, bool pre, bool limit) -> int {
            if (i < 0) {
                return 1;
            } else if (!limit && dp[i][pre] != -1) {
                return dp[i][pre];
            }
            int up = limit ? ((n >> i) & 1) : 1;
            int res = dfs(i - 1, false, limit && up == 0);
            if (!pre && up) {
                res += dfs(i - 1, true, limit);
            }
            if (!limit) {
                dp[i][pre] = res;
            }
            return res;

        };
        return dfs(m, false, true);
    }
};
10600