题意：给定一堆2二进制砝码，给定一个物品，要求在天平两端加入物品和砝码使之平衡，求可能数。
思路：一开始想到了直接用数学原理，结果没证出来。做如下思考,此题需要用二进制:
（1）设物品重量为w，加入的砝码重量为x，另一边重量为y，便有w+x=y。
（2）另外，假如物品为100110，加入的砝码可以为000010，那么总和为101000，显然x与y不能有位数相同的1（因为每种砝码只有一个），因此便有x&y=0
依据这两点，可以知道此题的关键之处就在于如何分析w+x的进位情况。分析物品的第i位，比如为1，那么如果前面的一位没有进位，那么他便可以加上1或者不加；如果进位，那就肯定不能加1（因为加1以后与进位的1加上这一位的结果还是1，与x&y=0矛盾），所以对于每一位，它的进位与不进位情况需要分开判断。
DP思路：设f[i][0]表示判断到i位时它不进位的情况数，f[i][1]表示到i位时它进位的情况数，都是从低位到高位判断。
（1）先考虑f[i][0]（不进位的情况）
- i位为1，如果前面不进位，那么这一位只能加上0才满足不进位的情况；如果前面进位，那么无论如何不可能使这一位不进位，因此f[i][0]=f[i-1][0]；
- i位为0，如果前面不进位，那么这一位只能选择0（因为选择加1的话将会与x&y=0矛盾）；如果前面进位，那么这一位也只能选择0才能使i位也不进位，因此有f[i][0]=f[i-1][0]+f[i-1][1]；
（2）再考虑f[i][1]（进位的情况）
- i位为1，如果前面不进位，那么这一位只能选择1才能使i位进位；如果前面进位，那么只能选择0使之进位（如果选择1那么结果将会与x&y=0矛盾），因此f[i][1]=f[i-1][0]+f[i-1][1]；
- i位为0，如果前面不进位，那么这一位无论如何不可能进位；如果前面进位，那么只能选择1才能使i位进位，因此f[i][1]=f[i-1][1];
这样，DP方程就得到了
if(s[i] == ){
f[i][] = f[i-][];
f[i][] = f[i-][]+f[i-][];
}
else{
f[i][] = f[i-][]+f[i-][];
f[i][] = f[i-][];
}
注意：不得不说，这个题目挺不错的，此题中间结果可能会超出long long，因此需要分次数判断，因为这个点我WA了N次
#include <iostream>
#include <string>
#include <cstring>
#include <cstdio>
#include <algorithm>
#include <memory>
#include <cmath>
#include <bitset>
#include <queue>
#include <vector>
#include <stack>
using namespace std; #define CLR(x,y) memset(x,y,sizeof(x))
#define MIN(m,v) (m)<(v)?(m):(v)
#define MAX(m,v) (m)>(v)?(m):(v)
#define ABS(x) ((x)>0?(x):-(x))
#define rep(i,x,y) for(i=x;i<y;++i) const int MAXN = 1100000; int t,n,m,d;
int s[MAXN];
int dp[MAXN][2]; void Solve()
{
char c; scanf("%d",&t);
while(t--)
{
scanf("%d%d%d",&n,&m,&d);
getchar();
CLR(s,0);
for(int i = m-1; i >= 0; --i){
scanf("%c",&c);
s[i] = c-'0';
}
if(s[0] == 0) {
dp[0][0] = 1;
dp[0][1] = 0;
}
else{
dp[0][0] = 1;
dp[0][1] = 1;
}
for(int i = 1; i < n; ++i){
if(s[i] == 1){
dp[i][0] = dp[i-1][0];
dp[i][1] = dp[i-1][0]+dp[i-1][1];
}
else{
dp[i][0] = dp[i-1][0]+dp[i-1][1];
dp[i][1] = dp[i-1][1];
}
if(dp[i][0]>=d) dp[i][0]-=d;
if(dp[i][1]>=d) dp[i][1]-=d;
}
cout<<(dp[n-1][0])<<endl;
}
} int main()
{
Solve();
return 0;
}