题目

给出\(n,m_1,m_2,...,m_n\),求\(x_1 xor x_2 xor ... xor x_n=k (0 \leq x_i \leq m_i)\)的解的数量。二进制位数小于\(32\)。

分(tu)析(cao)

这其实是一道非常不错的题目,又感觉像rng_58的题了。囧

算法

我们现在只考虑前\(i\)位(二进制)的状态,第\(i+1 \sim 32\)位假设都已经填好了。这时,如果一个数\(x_j\)没有限制,也就是它的前\(i\)位可以任意地填\(0\)或\(1\),这个时候,我们可以将除这个数外的数任意填,设任意填完后的异或值为\(b\),那么取\(x_j=k xor b\),我们就得到了一个解。

这告诉我们,如果我们从高位到低位计算,如果有任意一个数\(x_j\)脱离了\(m\)的限制,那么就不再需要往下计算了,答案就是:除\(x_j\)外的数任意填,并且满足\(b\)的第\(i\)位等于\(k\)的第\(i\)位(因为这时的\(x_j\)的第\(i\)位已经为了脱离限制而填了\(0\))的方案数。那么怎么计算这个方案数呢,由于在\(i\)位的时候,可能有很多数同时脱离限制,所以我们可以枚举最后一个脱离限制的是哪个数,然后在这个数前面的可以用dp算出来,后面的由于都没有脱离限制,可以直接算。

时间复杂度,如果将预处理写好了就是\(O(32n)\)的,我图方便就直接乱搞了。

#include <cstdio>
#include <cmath>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std; typedef long long i64; const int MOD = (int) 1e9 + 3;
const int MAXN = 53; int n, k;
int A[MAXN]; i64 solve(int cur) {
static i64 f[MAXN][2];
memset(f, 0, sizeof f);
f[0][0] = 1;
i64 upper = (1ll << (cur + 1)) - 1;
for (int i = 0; i < n; i ++)
for (int j = 0; j < 2; j ++) {
if (f[i][j] == 0) continue;
if (A[i] >> cur & 1) {
i64 x = upper - (1 << cur) + 1;
f[i + 1][j] = ((i64) f[i][j] * x + f[i + 1][j]) % MOD;
x = (A[i] & upper) - (1 << cur) + 1;
f[i + 1][j ^ 1] = ((i64) f[i][j] * x + f[i + 1][j ^ 1]) % MOD;
}
else {
i64 x = (A[i] & upper) + 1;
f[i + 1][j] = ((i64) f[i][j] * x + f[i + 1][j]) % MOD;
}
}
i64 ret = 0;
for (int i = 0; i < n; i ++) {
int cnt = 0;
for (int j = i + 1; j < n; j ++) // 可以预处理
cnt += A[j] >> cur & 1;
i64 sum = 0;
if (A[i] >> cur & 1)
for (int j = 0; j < 2; j ++)
if ((k >> cur & 1) == ((j + cnt) & 1))
sum = (sum + f[i][j]) % MOD;
for (int j = i + 1; j < n; j ++) // 可以预处理
if (A[j] >> cur & 1)
sum = sum * ((A[j] & upper) - (1 << cur) + 1) % MOD;
else
sum = sum * ((A[j] & upper) + 1) % MOD;
ret = (ret + sum) % MOD;
}
return ret;
} int main() {
while (true) {
scanf("%d%d", &n, &k);
if (n == 0 && k == 0) break;
for (int i = 0; i < n; i ++)
scanf("%d", A + i); i64 ans = 0;
for (int i = 30; i >= 0; i --) {
ans = (ans + solve(i)) % MOD;
int x = 0;
for (int j = 0; j < n; j ++)
x ^= A[j] >> i & 1;
if (x != (k >> i & 1)) break;
if (i == 0) ans = (ans + 1) % MOD;
}
cout << ans << endl;
} return 0;
}

POJ 3986 Math teacher's homework的更多相关文章

  1. HDU3693 Math Teacher's Homework ---- 数位DP

    HDU3693 Math Teacher's Homework 一句话题意 给定$n, k以及m_1, m_2, m_3, ..., m_n$求$x_1 \oplus x_2 \oplus x_3 \ ...

  2. Math teacher's homework

    Title:[Math teacher's homework] Description 题目大意:给你n个数m1,m2...mn,求满足X1 xor X2 xor ... xor Xn=k,0< ...

  3. 题解 Math teacher's homework

    题目传送门 题目大意 给出 \(n,k\) 以及 \(a_{1,2,...,n}\) ,求有多少个 \(m_{1,2,...,n}\) 满足 \(\forall i,m_i\le a_i\) 且 \( ...

  4. HDU 5068 Harry And Math Teacher

    主题链接~~> 做题情绪:的非常高深,有种高大上的感觉. 解题思路: 两层之间的联通能够看成是一个矩阵  代表上下两层都能够联通,,代表下层第1个门与上层第一个门不联通,以此类推联通就能够用矩阵 ...

  5. POJ 3126 math(BFS)

    Prime Path Time Limit: 1000MS   Memory Limit: 65536K Total Submissions: 21581   Accepted: 11986 Desc ...

  6. HDU 5068 Harry And Math Teacher 线段树+矩阵乘法

    题意: 一栋楼有n层,每一层有2个门,每层的两个门和下一层之间的两个门之间各有一条路(共4条). 有两种操作: 0 x y : 输出第x层到第y层的路径数量. 1 x y z : 改变第x层 的 y门 ...

  7. bzoj AC倒序

    Search GO 说明:输入题号直接进入相应题目,如需搜索含数字的题目,请在关键词前加单引号 Problem ID Title Source AC Submit Y 1000 A+B Problem ...

  8. 【转载】ACM总结——dp专辑

    感谢博主——      http://blog.csdn.net/cc_again?viewmode=list       ----------  Accagain  2014年5月15日 动态规划一 ...

  9. 【DP专辑】ACM动态规划总结

    转载请注明出处,谢谢.   http://blog.csdn.net/cc_again?viewmode=list          ----------  Accagain  2014年5月15日 ...

随机推荐

  1. LightOJ 1033 Generating Palindromes(dp)

    LightOJ 1033  Generating Palindromes(dp) 题目链接:http://acm.hust.edu.cn/vjudge/contest/view.action?cid= ...

  2. git配合tortoiseGit的基础使用

    转载自:http://www.cnblogs.com/ssor/archive/2012/02/04/2337823.html 一定要自己写出来才能牢记,所以我来写一下 git确实比svn好用的多了, ...

  3. 基于Win7 Python2.7的Numpy安装包分享

    Numpy-1.9.2安装包: http://pan.baidu.com/s/1i3WZRoT 下载后双击安装即可! 另外分享一个安装教程,mark一下慢慢看: http://blog.csdn.ne ...

  4. 【转】OCR识别引擎tesseract使用方法——安装leptonica和libtiff

    原文来自:http://cache.baiducontent.com/c?m=9f65cb4a8c8507ed4fece7631046893b4c4380146d96864968d4e414c4224 ...

  5. 移动平台WEB前端开发技巧汇总(转)

    最近我很关注移动前端的知识,但做为一个UI设计师和web前端工作人员没有这个工作环境接触,做为门外汉,网上系统的知识也了了,一直有种雾里看花的感觉,见到本文,我自己是奉为经典.所以我分享之后又专门打笔 ...

  6. Windows Phone 8初学者开发—第1部分:系列介绍

    原文 Windows Phone 8初学者开发—第1部分:系列介绍 您好,欢迎来到这个包含35课为Window Phone 8平台创建应用程序的系列教程.我叫Bob Tabor,在过去的11年中我一直 ...

  7. .vimrc快捷键设置

    $ cat ~/.vimrc,centos7是在/etc/vimrc文件中配置. nmap <C-_>s :cs find s <C-R>=expand("<c ...

  8. BZOJ 1622: [Usaco2008 Open]Word Power 名字的能量

    题目 1622: [Usaco2008 Open]Word Power 名字的能量 Time Limit: 5 Sec  Memory Limit: 64 MB Submit: 349  Solved ...

  9. 数据结构——二叉搜索树(Binary Search Tree)

    二叉树(Binary Tree)的基础下 每个父节点下 左节点小,右节点大. 节点的插入: 若root==NULL则root=newnode 否则不断与节点值比较,较小则向左比较,较大则向右比较. 完 ...

  10. [Unity 3D] Unity 3D 性能优化(二)

    IsAlive U3D的粒子系统脚本接口相信很多人都用过,ParticleSyetem类的一系列接口都有一个bool类型的参数——withChildren,通过这个参数可以直接将相同的判断或者操作应用 ...