CodeForces 217 D.Bitonix' Patrol(dfs+bitset)

本文介绍了一种解决特定计数问题的方法,通过分析序列元素与模数的关系,利用bitset进行状态压缩,实现高效的DFS搜索算法。针对给定的序列和模数,计算满足条件的序列数量。

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

Description

给出一个长度为t的序列ai,问满足条件的bi{1,0,1}序列个数使得m不能整除i=1taibi

Input

第一行三个整数n,m,t,之后输入t个整数ai(2n1000,1m120,1t10000,1ai109)

Output

输出满足条件的序列个数,结果模109+7

Sample Input

7 6 5
5 4 12 6 5

Sample Output

6

Solution

首先只需考虑aim的余数,同余的两个数字不能同时出现(一个配1一个配1其他配0可知不合法),且xmx不能同时出现,那么对于超过m/2的余数x,我们只用考虑mx即可,余数集规模降到60,假设当前有一个集合维护了不能出现的数字,那么当前步可以取的余数不能在这个集合中,我们用长度为60bitset存到当前不能取的数字,然后直接dfs加剪枝即可,假设当前要取的数字是kbitsetS,那么S中的第k位和第mk不能是1,取了k之后,不能取的数字集变成三个集合的并:原先不能取的数字集,原先不能取的数字集中每个数字减k得到的集合,原先不能取的数字集中每个数字加k得到的集合,由于bitset不自带循环左右移,所以可以将循环移动分成两块,以循环左移k位为例:(S<<k)|(S>>(mk))

Code

#include<cstdio>
#include<iostream>
#include<cstring>
#include<algorithm>
#include<cmath>
#include<vector>
#include<queue>
#include<map>
#include<set>
#include<ctime>
#include<bitset>
using namespace std;
typedef long long ll;
typedef pair<int,int>P;
const int INF=0x3f3f3f3f,maxn=123;
#define mod 1000000007
bitset<maxn>s[7];
int n,m,t,num[maxn],a[11];
int dfs(int cnt,int pos)//已经拿了cnt个邮箱,从体积为pos的邮箱开始抉择是否拿 
{
    int ans=1;
    for(int i=0;i<cnt;i++)ans=(ll)ans*num[a[i]]%mod;
    if(cnt<6)
    {
        for(int i=pos;i<=m/2;i++)
        {
            if(!num[i]||s[cnt][i]||s[cnt][m-i])continue; 
            a[cnt]=i;
            s[cnt+1]=s[cnt];
            s[cnt+1]|=s[cnt]<<i;
            s[cnt+1]|=s[cnt]>>i;
            s[cnt+1]|=s[cnt]<<(m-i);
            s[cnt+1]|=s[cnt]>>(m-i);
            ans+=dfs(cnt+1,i+1);
            if(ans>=mod)ans-=mod;
        }
    }
    return ans; 
}
int main()
{
    scanf("%d%d%d",&n,&m,&t);
    while(t--)
    {
        int x;
        scanf("%d",&x);
        x%=m;
        x=min(x,m-x);
        num[x]++;
    }
    s[0][0]=1;
    printf("%d\n",dfs(0,1));
    return 0;
}
基于开源大模型的教学实训智能体软件,帮助教师生成课前备课设计、课后检测问答,提升效率与效果,提供学生全时在线练习与指导,实现教学相长。 智能教学辅助系统 这是一个智能教学辅助系统的前端项目,基于 Vue3+TypeScript 开发,使用 Ant Design Vue 作为 UI 组件库。 功能模块 用户模块 登录/注册功能,支持学生和教师角色 毛玻璃效果的登录界面 教师模块 备课与设计:根据课程大纲自动设计教学内容 考核内容生成:自动生成多样化考核题目及参考答案 学情数据分析:自动化检测学生答案,提供数据分析 学生模块 在线学习助手:结合教学内容解答问题 实时练习评测助手:生成随练题目并纠错 管理模块 用户管理:管理员/教师/学生等用户基本管理 课件资源管理:按学科列表管理教师备课资源 大屏概览:使用统计、效率指数、学习效果等 技术栈 Vue3 TypeScript Pinia 状态管理 Ant Design Vue 组件库 Axios 请求库 ByteMD 编辑器 ECharts 图表库 Monaco 编辑器 双主题支持(专业科技风/暗黑风) 开发指南 # 安装依赖 npm install # 启动开发服务器 npm run dev # 构建生产版本 npm run build 简介 本项目旨在开发一个基于开源大模型的教学实训智能体软件,帮助教师生成课前备课设计、课后检测问答,提升效率与效果,提供学生全时在线练习与指导,实现教学相长。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值