KY8 整数拆分

KY8 整数拆分

法一: 数学推导法

# 法一: 数学推导法

'''
搬运一下思路：
记f(n)为n的划分数,我们有递推公式:
    
    f(2m + 1) = f(2m),
f(2m) = f(2m - 1) + f(m),
初始条件:f(1) = 1。

证明:
 
 证明的要点是考虑划分中是否有1。
记:
A(n) = n的所有划分组成的集合,
B(n) = n的所有含有1的划分组成的集合,
C(n) = n的所有不含1的划分组成的集合,
则有: A(n) = B(n)∪C(n)
又记:
f(n) = A(n)中元素的个数,
g(n) = B(n)中元素的个数,
h(n) = C(n)中元素的个数，
易知: f(n) = g(n) + h(n)。
以上记号的具体例子见文末。
我们先来证明: f(2m + 1) = f(2m),
首先,2m + 1 的每个划分中至少有一个1,去掉这个1,就得到 2m 的一个划分,故 f(2m + 1)≤f(2m)。
其次,2m 的每个划分加上个1,就构成了 2m + 1 的一个划分,故 f(2m)≤f(2m + 1)。
综上,f(2m + 1) = f(2m)。
接着我们要证明: f(2m) = f(2m - 1) + f(m),
把 B(2m) 中的划分中的1去掉一个,就得到 A(2m - 1) 中的一个划分,故 g(2m)≤f(2m - 1)。
把 A(2m - 1) 中的划分加上一个1,就得到 B(2m) 中的一个划分,故 f(2m - 1)≤g(2m)。
综上,g(2m) = f(2m - 1)。
把 C(2m) 中的划分的元素都除以2,就得到 A(m) 中的一个划分,故 h(2m)≤f(m)。
把 A(m) 中的划分的元素都乘2,就得到 C(2m) 中的一个划分,故 f(m)≤h(2m)。
综上,h(2m) = f(m)。
所以: f(2m) = g(2m) + h(2m) = f(2m - 1) + f(m)。 
这就证明了我们的递推公式。
'''
import functools
base = 1000000000

dp = [1 for i in range(1000010)]
for i in range(2,1000010):
    if i % 2 == 0:
        dp[i] = (dp[i-1] + dp[i//2]) % base
    else:
        dp[i] = (dp[i-1]) % base

N = int(input())
print(dp[N] % base)

法二: 采用完全背包问题的思想,动态规划法(运行超时)

# 法二: 采用完全背包问题的思想,动态规划法
# 运行超时
# dp[i][j] == 0,若i*j==0
# if: j>=2**i, dp[i][j] = dp[i-1][j]+dp[i][j-2**i]
# if: j<2**j,  dp[i][j] = dp[i-1][j]
import math
base = 1000000000
N = int(input().strip())
max_i = math.floor(math.log2(N))
dp = [1 for i in range(N+1)]

for i in range(1, max_i+1):
    for j in range(1,N+1):
        if j >= 2**i:
            dp[j] = (dp[j] + dp[j-2**i]) % base

print(dp[N])