【题解】Kathy函数 [BZOJ1223] [P2235] [HNOI2002]
【题解】Kathy函数 [BZOJ1223] [P2235] [HNOI2002]
这几疯狂刷了数位\(dp\)的题,到这道题时被卡了一天,一看大佬的讲解发现居然是求回文数╮(╯_╰)╭
感觉被大佬狠狠地蹂蹑了一番。。。
废话到此结束,进入正题:
满足\(f(n)=n\)的\(n\)在二进制的形式下一定是一个回文数
例如:
\(f(1)=1\) (\(1\))
\(f(3)=3\) (\(11\))
\(f(5)=5\) (\(101\))
\(f(7)=7\) (\(111\))
至于为什么会有这个性质,这里就作证明(都懒得给自己的懒惰找借口了)
假设已经成功的证明了这个结论,那么问题就变成了在\([1,n]\)中找到符合二进制形式为回文数的总个数,这里我提供一种用\(dfs\)实现数位\(dp\)的思路
可以先写一下这道题(因为不需要高精):
只需要输出区间内回文数的总个数
LightOJ1205
用\(dfs\)找回文数个数:
一:转进制
首先我们需要把\(n\)转化为二进制存储在一个数组\(num[lenn]\)中
二:DFS
\(dfs(st,pos,ok,limit)\)
记搜以及状态表示:
用一个数组记录已经搜过的地方,\(dp[pos][ok][st]\) 示已经选到了第\(pos\)位,前已经选好的是否满足回文\(ok\),去前导\(0\)后共有\(st\)位,并且前面已选的并未全部达到上限(\(pos\)开始后面可以随意选\(0\)或\(1\)),此时的回文数总数。
\(limit\)表示前面已选的是否全达到上限,如果是,那么这一位的可以选的数的上限为\(num[pos]\),否则可以随意选,\(ed=limit?num[pos]:1\)。
如果当前状态并未受限,且当前状态的\(dp\)值已经被记录,直接返回这个值
如何枚举递归
每当选了一个数\(i\)时, \(tmp[pos]=i\)。
(1) 如果前面都没选(即全是前\(0\),\(st=pos\)),
\(ans+=dfs\)(\(st-1\),\(pos-1\),\(ok\),\(limit\)&&\(i==ed\))
(2) 如果前面选了(即\(st>pos\))
- 如果当前状态是回文数,且当前选的这位在\(st\)的后半段(即\(ok\)&&\(pos<=st/2\)),则\(okk=tmp[st-pos+1]==i\)
- 否则 \(okk=ok\)。
\(ans+=dfs\)(\(st\),\(pos-1\),\(okk\),\(limit\)&&\(i==ed\))
\(dfs\)边界
当\(pos==0\)(即已经选完了所有位)
如果满足回文数(即\(ok=1\))且选了数(即并非全是\(0\),\(st>0\))\(return 1\)。
三.高精
推荐写结构体,用起来方便,不会的可以参考一下大佬的高精模板
最后附上代码:
#include<cstdio>
#include<cstring>
using namespace std;
typedef long long ll;
const int base = 1e8;
const int N = 20;
int aux[N << 3];
struct bigint {
int s[N], l;
void CL() { l = 0; memset(s, 0, sizeof(s)); }
void pr()
{
printf("%d", s[l]);
for (int i = l - 1; i; i--)
printf("%08d", s[i]);
}
void re_l()
{
int i, x = 0, k = 1, L = 0, fl, o;
char c = getchar();
for (; c < '0' || c > '9'; c = getchar());
for (; c >= '0' && c <= '9'; c = getchar())
{
if (!(L - 1) && !aux[L])
L--;
aux[++L] = c - '0';
}
CL();
l = L / 8 + ((o = L % 8) > 0);
for (i = 1; i <= o; i++)
x = x * 10 + aux[i];
if (o)
s[l] = x;
fl = !o ? l + 1 : l;
for (i = o + 1, x = 0; i <= L; i++, k++)
{
x = x * 10 + aux[i];
if (!(k ^ 8))
{
s[--fl] = x;
x = k = 0;
}
}
if (!l)
l = 1;
}
ll toint()
{
ll x = 0;
for (int i = l; i; i--)
x = x * base + s[i];
return x;
}
bigint operator = (int b)
{
CL();
do
{
s[++l] = b % base;
b /= base;
} while (b > 0);
return *this;
}
bigint operator = (ll b)
{
CL();
do
{
s[++l] = b % base;
b /= base;
} while (b > 0);
return *this;
}
bigint operator + (const int &b)
{
bigint c = *this;
ll x = b;
for (int i = 1; i <= l && x; i++)
{
x = x + c.s[i];
c.s[i] = x % base;
x /= base;
}
if(x)c.s[++c.l] = x;
return c;
}
bigint operator + (const ll &b)
{
bigint c = *this;
ll x = b;
for (int i = 1; i <= l && x; i++)
{
x = x + c.s[i];
c.s[i] = x % base;
x /= base;
}
if (x)
c.s[++c.l] = x;
return c;
}
bigint operator + (bigint &b)
{
if (b.l < 3)
return *this + b.toint();
bigint c;
ll x = 0;
int k = l < b.l ? b.l : l;
c.CL();
c.l = k;
for (int i = 1; i <= k; i++)
{
x = x + s[i] + b.s[i];
c.s[i] = x % base;
x /= base;
}
if (x)
c.s[++c.l] = x;
return c;
}
bigint operator / (const int &b)
{
bigint c;
ll x = 0;
c.CL();
for (int i = l; i; i--)
{
c.s[i] = (x * base + s[i]) / b;
x = (x * base + s[i]) % b;
}
for (c.l = l; !c.s[c.l] && c.l > 1; c.l--);
return c;
}
bigint operator % (const int &b)
{
bigint c;
ll x = 0;
c.CL();
for (int i = l; i; i--)
x = (x * base + s[i]) % b;
return c = x;
}
bool operator > (const bigint &b) const
{
if (l ^ b.l)
return l > b.l;
for (int i = l; i; i--)
if (s[i] ^ b.s[i])
return s[i] > b.s[i];
return false;
}
bigint operator += (bigint &b)
{
return *this = *this + b;
}
bool operator > (int b) const{
bigint c;return *this > (c = b);
}
};
//以上皆为高精度部分
bigint a;
int num[350],tmp[350];bigint dp[350][2][350];
bool pan[350][2][350];
inline bigint dfs(int st,int len,int ok,bool limit){
bigint ans,pp;ans=0;pp=0;
if(len<1){//边界
if(ok&&st>0)ans=1;
return ans;
}
if(!limit&&pan[len][ok][st])return dp[len][ok][st];//返回所记录的值
int ed=limit?num[len]:1;//处理枚举上限
for(int i=0;i<=ed;i++){
tmp[len]=i;//记录每次选的数,方便判断是否满足回文
if(st==len&&!i)pp=dfs(st-1,len-1,ok,limit&&i==ed),ans+=pp;//如果一直都没选数
else pp=dfs(st,len-1,(ok&&len<=st/2)?tmp[st-len+1]==i:ok,limit&&i==ed),ans+=pp;//如果选了数
}
if(!limit)dp[len][ok][st]=ans,pan[len][ok][st]=1;//记录
return ans;
}
int main(){
a.re_l();ll Lenn=0;
while(a>0){num[++Lenn]=(a%2).toint();a=(a/2);}//转成2进制存起来
bigint ans=dfs(Lenn,Lenn,1,1);
ans.pr();
return 0;
}
【题解】Kathy函数 [BZOJ1223] [P2235] [HNOI2002]的更多相关文章
- bzoj 1223: [HNOI2002]Kathy函数 数位DP 高精度
1223: [HNOI2002]Kathy函数 Time Limit: 10 Sec Memory Limit: 162 MBSubmit: 207 Solved: 90[Submit][Stat ...
- [bzoj1223] [HNOI2002]Kathy函数
首先由题解可得TAT,f(i)=i当且仅当i在二进制下为回文串. 那么问题就变成了1~n中有多少个二进制下的回文串. 把m转成2进制后就是正常的统计了= =. f[i]表示二进制下,有多少个i位的回文 ...
- 洛谷P2235 [HNOI2002]Kathy函数
传送门 题解 // luogu-judger-enable-o2 //minamoto #include<cstdio> #include<cstring> using nam ...
- [HNOI2002] Kathy 函数
数位 DP 套路题,求二进制下区间内回文串个数. 设 dp[][][] 表示到第几位时,是否为回文数,去掉前导零后共几位.之后到边界时判断是否为回文数计入贡献. 一开始不知道答案统计要高精,于是后来就 ...
- 洛谷$P$2235 $Kathy$函数 $[HNOI2002]$ 数位$dp$
正解:数位$dp$ 解题报告: 传送门$qwq$ $HNOI$的题从02年就这么神了嘛$QAQ$,,, 嗷对了这题如果看出了一个结论就是个数位$dp$板子,,,?但是结论很神我$jio$得挺难看出来的 ...
- 【CJOJ2484】【Luogu2805】最小函数值(函数最小值)
题面 Description 有n个函数,分别为F1,F2,...,Fn.定义 Fi(x)=Aix2+Bix+Ci(x∈N∗)Fi(x)=Aix2+Bix+Ci(x∈N∗) .给定这些Ai.Bi和Ci ...
- 「题解」300iq Contest 2 H. Honorable Mention
本文将同步发布于: 洛谷博客: csdn: 博客园: 简书. 题目 题目链接:gym102331H. 题意概述 给定一个长度为 \(n\) 的序列 \(a\),有 \(q\) 次询问,每次询问给定三个 ...
- Noip前的大抱佛脚----赛前任务
赛前任务 tags:任务清单 前言 现在xzy太弱了,而且他最近越来越弱了,天天被爆踩,天天被爆踩 题单不会在作业部落发布,所以可(yi)能(ding)会不及时更新 省选前的练习莫名其妙地成为了Noi ...
- 数位DP学习笔记
数位DP学习笔记 什么是数位DP? 数位DP比较经典的题目是在数字Li和Ri之间求有多少个满足X性质的数,显然对于所有的题目都可以这样得到一些暴力的分数 我们称之为朴素算法: for(int i=l_ ...
随机推荐
- elasticsearch组合多条件查询实现restful api以及java代码实现
原文:http://blog.java1234.com/blog/articles/372.html elasticsearch组合多条件查询实现restful api以及java代码实现 实际开发中 ...
- Using hints for Postgresql
本文转自:http://pghintplan.osdn.jp/pg_hint_plan.html pg_hint_plan 1.1 pg_hint_plan Name Synopsis Descrip ...
- 记录一个h5页面生成canvas画布做签名的js插件--signature_pad
demo地址:https://jsfiddle.net/02dLn15g/5/ GitHub地址:https://github.com/szimek/signature_pad 配置项: dotSiz ...
- 压缩,解压缩 和tar详细介绍
文件压缩/解压缩 gzip bzip2 xz 只能压缩文件,不能压缩文件夹(压缩完后,文件会消失) 先建三个文件来进行演示 touch ./{1..3}.txt 文件已经创建好,下面就开始介 ...
- centos7.2下安装python3.6.5
yum groupinstall 'Development Tools' 出现错误 系统 centos 7.3 使用命令 yum groupinstall 'Development Tools' 出现 ...
- django rest framework 序列化组件总结
序列化组件总结 一. 序列化组件本质上为了实现前后端分离,而进行json序列化的一个组件形式,极大方便了解析数据的作用 二. 所有序列化是基于APIView 解析器实现的,通过内部的多继承关系方便实现 ...
- Linux之基础系统优化
Linux基础系统优化 >>> https://www.cnblogs.com/pyyu/p/9355477.html Linux的网络功能相当强悍,一时之间我们无法了解所有的网络命 ...
- wpf学习资料链接(做记录)
1.wpf快速入门系列:https://www.cnblogs.com/zhili/tag/WPF/
- RE:SB的SDOISB记
Day0 到了农大 进门看见hly 和myj一起乱%一通 一本爷的气场就是强大 晚上gryz搬砖三人组出去吃饭,开心>_< 吃完饭后去试机 手速比较快,写了一下ntt,lct,sa和一些小 ...
- 如何确定假设检验的样本量(sample size)?
在<如何计算假设检验的功效(power)和效应量(effect size)?>一文中,我们讲述了如何根据显著性水平α,效应量和样本容量n,计算功效,以及如何根据显著性水平α,功效和样本容量 ...