CodeForces 388 D.Fox and Perfect Sets(线性基+dp)

本文介绍了一种使用动态规划方法来解决特定数学问题的算法:计算不超过给定整数k的所有非负整数集合中,有多少个集合对于异或运算封闭(即完美集合)。通过构建动态规划状态转移方程,文章详细解释了如何高效地求解此类问题。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

Description

称一个非空子集(元素均非负)的集合是完美的当且仅当其对异或运算封闭,问所包含元素为不超过kk的非负整数的集合中有多少是完美的

Input

一个整数k(1k109)

Output

输出满足条件的集合个数,结果模109+7109+7

Sample Input

1

Sample Output

2

Solution

考虑线性基的位置,如果线性基的位置确定,那么集合SS在这些位是确定的,方案数体现在其他非线性基的位

从高位到低位按位考虑以该位为最高位的线性基是否加入,dp[i][j][k]表示从第ii位到最高位已经选了j个位做基且基异或得到的最大值(指的是在第ii位到最高位)是否等于n的方案数

1.当k=0k=0时,考虑第i1i−1

该位如果要作为一个基,那么有dp[i1][j+1][0]+=dp[i][j][0]dp[i−1][j+1][0]+=dp[i][j][0]

该位不是基,那么之前的jj个基每个基在这一位都可以0,1随便选,故有dp[i1][j][0]+=2jdp[i][j][0]dp[i−1][j][0]+=2j⋅dp[i][j][0]

2.当k=1k=1时,考虑第i1i−1位和nn的第i1位,之前的jj个基在该位的取值有2j

x=2j1,j1,x=1,j=0,y=2j1,j1,y=0,j=0x=2j−1,j≥1,x=1,j=0,y=2j−1,j≥1,y=0,j=0,表示有xx种可能使得这些基异或得到的最大值在第i1位是00,有y种可能使得这些基异或得到的最大值在第i1i−1位是11

x的含义就是有偶数个基在该位是11则异或结果是0yy的含义就是有奇数个基在该位是1则异或结果是11

如果n的第i1i−1位是00,那么最大值在该位必须是0,有xx种情况,故dp[i1][j][1]+=xdp[i][j][1]

如果nn的第i1位是11,如果该位要作为一个基,那么有dp[i1][j+1][1]+=dp[i][j][1],如果该位不是基,那么有xx种情况使得当前最大值小于n,有yy种情况使得当前最大值等于n,故有dp[i1][j][0]+=xdp[i][j][1],dp[i1][j][1]+=ydp[i][j][1]dp[i−1][j][0]+=x⋅dp[i][j][1],dp[i−1][j][1]+=y⋅dp[i][j][1]

最终i(dp[0][i][0]+dp[0][i][1])∑i(dp[0][i][0]+dp[0][i][1])即为答案

Code

#include<cstdio>
#include<iostream>
#include<cstring>
#include<algorithm>
#include<cmath>
#include<vector>
#include<queue>
#include<map>
#include<set>
#include<ctime>
using namespace std;
typedef long long ll;
#define mod 1000000007
void add(int &x,int y)
{
    x=x+y>=mod?x+y-mod:x+y;
} 
int n,dp[32][32][2];
int main()
{
    scanf("%d",&n);
    dp[30][0][1]=1;
    for(int i=30;i>0;i--)
        for(int j=0;j<=30;j++)
        {
            add(dp[i-1][j][0],(1ll<<j)*dp[i][j][0]%mod);
            add(dp[i-1][j+1][0],dp[i][j][0]);
            int x=j?(1<<(j-1)):1,y=j?(1<<(j-1)):0;
            if(n>>(i-1)&1)
            {
                add(dp[i-1][j][0],(ll)x*dp[i][j][1]%mod);
                add(dp[i-1][j][1],(ll)y*dp[i][j][1]%mod);
                add(dp[i-1][j+1][1],dp[i][j][1]);
            }
            else add(dp[i-1][j][1],(ll)x*dp[i][j][1]%mod);
        }
    int ans=0;
    for(int i=0;i<=30;i++)
        add(ans,dp[0][i][0]),add(ans,dp[0][i][1]);
    printf("%d\n",ans);
    return 0;
}
评论 4
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值