FZU - 2042 The Mad Mathematician 数位dp + 算贡献

传送门

文章目录

  • 题意:
  • 思路:

题意:

sumsumsum
在这里插入图片描述
a,b,c,d,e≤1e18a,b,c,d,e\le1e18a,b,c,d,e1e18

思路:

这是一篇无从考究的题解,因为fzu现在进不去。
看到这种题直接考虑数位dpdpdp,对于[A,B],[C,D][A,B],[C,D][A,B],[C,D]两个区间我们不太好直接处理,但是我们可以容斥一下,即[0,B][0,D]−[0,A−1][0,D]−[0,B][0,C−1]+[0,A−1][0,C−1][0,B][0,D]-[0,A-1][0,D]-[0,B][0,C-1]+[0,A-1][0,C-1][0,B][0,D][0,A1][0,D][0,B][0,C1]+[0,A1][0,C1]
假设我们求的[0,B][0,D][0,B][0,D][0,B][0,D],我们设计状态f[pos][flag1][flag2][flag3]f[pos][flag1][flag2][flag3]f[pos][flag1][flag2][flag3]
(1)flag1(1)flag1(1)flag1表示i<Bi<Bi<B
(2)flag2(2)flag2(2)flag2表示j<Dj<Dj<D
(3)flag3(3)flag3(3)flag3表示(ixorj)>E(i \ \ xor \ \ j) >E(i  xor  j)>E
到目前为止,如果这个题改成求方案数,就可以直接秒了,但是改不得。
dp1(pos)dp1(pos)dp1(pos)为从pospospos位开始的方案数,dp2(pos)dp2(pos)dp2(pos)为从pospospos位开始的贡献,考虑如何求贡献,我们直接按位来考虑,假设当前到了第pospospos位,且当前位(ixorj)==1(i \ \ xor \ \ j)==1(i  xor  j)==1,那么当前位的贡献就是(1ll<<pos)∗dp1(pos−1)+dp2(pos−1)(1ll<<pos)*dp1(pos-1)+dp2(pos-1)(1ll<<pos)dp1(pos1)+dp2(pos1),这个显然可以维护一个pairpairpair进行转移。
所以还是一个裸的数位dpdpdp
代码也比较好写辣,一定要注意取模,比如代码686868行,1ll<<pos1ll<<pos1ll<<pos一定要取模,不然炸LLLLLL了,因为这个对拍的时候一直过不了大样例。。。

// Problem: The Mad Mathematician
// Contest: Virtual Judge - FZU
// URL: https://vjudge.net/problem/FZU-2042
// Memory Limit: 32 MB
// Time Limit: 1000 ms
// 
// Powered by CP Editor (https://cpeditor.org)//#pragma GCC optimize("Ofast,no-stack-protector,unroll-loops,fast-math")
//#pragma GCC target("sse,sse2,sse3,ssse3,sse4.1,sse4.2,avx,avx2,popcnt,tune=native")
//#pragma GCC optimize(2)
#include<cstdio>
#include<iostream>
#include<string>
#include<cstring>
#include<map>
#include<cmath>
#include<cctype>
#include<vector>
#include<set>
#include<queue>
#include<algorithm>
#include<sstream>
#include<ctime>
#include<cstdlib>
#include<random>
#include<cassert>
#define X first
#define Y second
#define L (u<<1)
#define R (u<<1|1)
#define pb push_back
#define mk make_pair
#define Mid ((tr[u].l+tr[u].r)>>1)
#define Len(u) (tr[u].r-tr[u].l+1)
#define random(a,b) ((a)+rand()%((b)-(a)+1))
#define db puts("---")
using namespace std;//void rd_cre() { freopen("d://dp//data.txt","w",stdout); srand(time(NULL)); }
//void rd_ac() { freopen("d://dp//data.txt","r",stdin); freopen("d://dp//AC.txt","w",stdout); }
void rd_wa() { freopen("d://dp//data.txt","r",stdin); freopen("d://dp//WA.txt","w",stdout); }typedef long long LL;
typedef unsigned long long ULL;
typedef pair<LL,LL> PII;const int N=110,mod=1e9+7,INF=0x3f3f3f3f;
const double eps=1e-6;LL a,b,c,d,e;
int A[N],B[N],E[N];
PII f[70][2][2][2];PII dp(int pos,int flag1,int flag2,int flag3) {if(pos==-1) return {flag3,0};if(f[pos][flag1][flag2][flag3].X!=-1) return f[pos][flag1][flag2][flag3];int x=flag1? 1:A[pos];int y=flag2? 1:B[pos];int z=flag3? 0:E[pos];PII ans={0,0};for(int i=0;i<=x;i++) {for(int j=0;j<=y;j++) {if((i^j)<z) continue;PII now=dp(pos-1,flag1||i<x,flag2||j<y,flag3||((i^j)>z));ans.X+=now.X; ans.X%=mod;ans.Y+=now.Y;if((i^j)==1) ans.Y+=(1ll*(1ll<<pos)%mod)*now.X%mod;ans.Y%=mod;}}return f[pos][flag1][flag2][flag3]=ans;
}LL solve(LL x,LL y) {if(x<=0||y<=0) return 0;for(int i=62;i>=0;i--) {A[i]=x>>i&1;B[i]=y>>i&1;}memset(f,-1,sizeof(f));return dp(62,0,0,0).Y%mod;
}int main()
{
//	ios::sync_with_stdio(false);
//	cin.tie(0);//rd_wa();int _; scanf("%d",&_);for(int __=1;__<=_;__++) {scanf("%lld%lld%lld%lld%lld",&a,&b,&c,&d,&e);for(int i=62;i>=0;i--) E[i]=e>>i&1;LL ans=solve(b,d)%mod; ans-=solve(a-1,d); ans%=mod; ans+=mod; ans%=mod;ans-=solve(b,c-1); ans%=mod; ans+=mod; ans%=mod;ans+=solve(a-1,c-1); ans%=mod; ans+=mod; ans%=mod;printf("Case %d: %lld\n",__,ans%mod);}return 0;
}
/*
1
0 200000300000002 0 200000300002322 3
6860360
53360
*/

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/314976.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

「PowerBI」分析服务多维数据结构重回关系数据库的一大绝招

在过往Excel催化剂定位的轻量级ExcelPowerBIDesktop的解决方案中&#xff0c;已经做过了近乎完美的PowerBIDesktop数据模型数据导出到Excel工作表的应用&#xff0c;这也是个人版数据应用的重要的刚需功能&#xff0c;由Excel催化剂免费奉献给PowerBI社区作完结。此篇再次带领大…

Codeforces Round #257 (Div. 1) D. Jzzhu and Numbers 高维前缀和 + 容斥

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 思路&#xff1a; 完全想不到容斥啊&#xff0c;看了半天也没看懂渍渍渍。 定义f[i]f[i]f[i]表示iii的超集个数&#xff0c;那么选择的方案就是2f[i]−12^{f[i]}-12f[i]−1了&#xff0c;因为不能一个不选所…

花5分钟时间来了解一下高性能网关Kong会有意外收获

前言前几天开源发布了 Kong.Net 项目&#xff0c;收到了大量园友的反馈&#xff0c;开源当天就突破了 100 个star &#xff0c;可喜可贺&#xff0c;但是从侧面也说明&#xff0c;我们 .NetCore 阵营真的非常需要拥抱开源&#xff0c;应该敞开心扉&#xff0c;集众家之长&#…

长沙.NET技术社区·设计到实现

方案最终夭折回到一年前的四月初&#xff0c;也是这样一个气象更新&#xff0c;春意盎然的一年中最好的时光。 在长沙.NET技术圈中&#xff0c;有一个不知名的QQ群&#xff0c;叫做放肆.NET技术交流群&#xff08;群号&#xff1a;44329330&#xff09;&#xff0c;在这个群里面…

Loj #6274. 数字 数位dp + 去重

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 思路&#xff1a; 考虑数位dpdpdp&#xff0c;设计状态f[pos][flag1][flag2][flag3][flag4]f[pos][flag1][flag2][flag3][flag4]f[pos][flag1][flag2][flag3][flag4]&#xff0c;其中flag1:x≥Lxflag2:y≤Rx…

微软发布 VS Code 容器化开发工具,大大简化物联网设备开发

近日&#xff08;北京时间 2019 年 7 月 9 日&#xff09;&#xff0c;微软宣布了 Azure IoT Tools for VS Code 的全新功能&#xff1a;通过在容器中封装编译器、设备 SDK 以及基本库&#xff0c;大大简化了设备交叉编译的工作量&#xff0c;使得嵌入式 Linux 设备&#xff08…

Codeforces Round #636 (Div. 3) F. Restore the Permutation by Sorted Segments 思维 + 暴力

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; n≤200n\le200n≤200 思路&#xff1a; 首先关注到rrr从[2,n][2,n][2,n]都出现一次&#xff0c;所以很明显最后一个位置只出现一次&#xff0c;但是这样倒着来不是很好做考虑正着来。 我们可以枚举111位置填…

.NET中生成动态验证码

NET中生成动态验证码验证码是图片上写上几个字&#xff0c;然后对这几个字做特殊处理&#xff0c;如扭曲、旋转、修改文字位置&#xff0c;然后加入一些线条&#xff0c;或加入一些特殊效果&#xff0c;使这些在人类能正常识别的同时&#xff0c;机器却很难识别出来&#xff0c…

Codeforces Beta Round #51 D. Beautiful numbers 数位dp + 状态优化

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 思路&#xff1a; 数位dpdpdp挺经典的一个题辣&#xff0c;有一个很明显的状态就是f[pos][num][lcm]f[pos][num][lcm]f[pos][num][lcm]表示到了第pospospos位&#xff0c;数是numnumnum&#xff0c;个位数最…

在C#中使用Irony实现SQL语句的解析

在上一篇博文 LogoSharp&#xff1a;Logo语言的C#实现中&#xff0c;我介绍了LOGO语言的C#实现&#xff0c;在该项目中&#xff0c;我使用了.NET下的语法解析框架&#xff1a;Irony。Irony框架最开始的时候是由Roman Ivantsov发布在codeplex上的一个开源项目&#xff0c;它使用…

P4127 [AHOI2009]同类分布 数位dp + 对状态剪枝

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 思路&#xff1a; 比较套路的题&#xff0c;首先也有个明显的状态f[pos][num][sum]f[pos][num][sum]f[pos][num][sum]表示到了pospospos位&#xff0c;当前数为numnumnum&#xff0c;各位数字之和为sumsumsu…

.NET开发框架(六)-架构设计之IIS负载均衡(视频)

前面有关注我们公众号文章的朋友应该都知道&#xff0c;我们的分布式应用服务可以通过Ocelot网关进行负载均衡&#xff0c;这种方式属于应用级别的实现。而今天我们给大家介绍的是平台级别的实现&#xff0c;并且我们首次使用视频方式进行讲解。本文通过视频方式为大家演示&…

架构杂谈《二》

服务化到微服务1、微服务的产生随着互联网企业的不断发展&#xff0c;海量用户发起的大规模、高并发请求是企业不得不面对的&#xff0c;上一篇 架构杂谈《一》杂谈的SOA服务化系统能够分解任务&#xff0c;让每个服务更简单、职责单一、更易于扩展。但无论是Web Service 还是E…

简化 Pod 故障诊断:kubectl-debug 介绍

背景容器技术的一个最佳实践是构建尽可能精简的容器镜像。但这一实践却会给排查问题带来麻烦&#xff1a;精简后的容器中普遍缺失常用的排障工具&#xff0c;部分容器里甚至没有 shell (比如 FROM scratch &#xff09;。在这种状况下&#xff0c;我们只能通过日志或者到宿主机…

dotnet 新项目格式与对应框架预定义的宏

在 sdk style 的项目格式支持使用多框架开发&#xff0c;此时需要在代码里面通过宏判断&#xff0c;在编译的时候执行不同的代码。本文告诉大家在框架里面对应的预定义的条件编译符有哪些在让一个 csproj 项目指定多个开发框架 - walterlv告诉大家如何在 sdk style 项目格式如何…

TPL Dataflow .Net 数据流组件,了解一下?

作为单体程序&#xff0c;依赖的第三方服务虽不多&#xff0c;但是2C的程序还是有不少内容可讲&#xff1b;作为一个常规互联网系统&#xff0c;无外乎就是接受请求、处理请求&#xff0c;输出响应。由于业务渐渐增长&#xff0c;数据处理的过程会越来越复杂和冗长&#xff0c;…

Educational Codeforces Round 76 (Rated for Div. 2) F. Make Them Similar 折半搜索

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 思路&#xff1a; 一个显然的思路就是2302^{30}230枚举所有的xxx&#xff0c;让后再检查&#xff0c;这个复杂度显然不能接受。 又发现对于每个位置它取多少不受其他位置限制&#xff0c;满足可拼接性&#…

windows container 踩坑记

windows container 踩坑记Intro我们有一些服务是 dotnet framework 的&#xff0c;不能直接跑在 docker linux container 下面&#xff0c;最近一直在折腾把它部署在 windows container 下&#xff0c;折腾的有点恶心&#xff0c;记录一下。Windows Container 介绍Windows Cont…

小白开学Asp.Net Core 《七》

小白开学Asp.Net Core 《七》— — 探究中间件&#xff08;MiddleWare&#xff09;1、何为中间件&#xff1f;中间件是组装到应用程序管道中以处理请求和响应的家伙&#xff0c;管道中的每个组件都要满足以下两个条件选择是否将请求传递给管道中的下一个组件可以在调用管道中的…

aspnetcore 实现简单的伪静态化

aspnetcore 实现简单的伪静态化Intro在我的活动室预约项目中&#xff0c;有一个公告模块&#xff0c;类似于新闻发布&#xff0c;个人感觉像新闻这种网页基本就是发布的时候编辑一次之后就再也不会改了&#xff0c;最适合静态化了&#xff0c; 静态化之后用户请求的就是静态文件…