https://www.zybuluo.com/ysner/note/1298755

题面

有一天小胡同学看到了一种表达式。这个表达式有四个变量\(A,B,C,D\)。这四

个变量都只有\(0\)和\(1\)两种取值。小写字母\(a,b,c,d\)表示对应变量取反后的值。

  • 如果\(X\)是个变量,那么\(X\)是个表达式。
  • 如果\(X,Y\)都是表达式,那么\((X)|(Y)\)是个表达式。
  • 如果\(X,Y\)都是表达式,那么\((X)\&(Y)\)是个表达式。

小胡同学正准备对一个表达式求值的时候,他发现邪恶的小王把这个表达式

的一些变量或运算符给抹掉了(所有的括号均没被抹掉),小胡同学想复原这个

表达式,他现在有\(m\)个已知的运算结果。每个运算结果记为\(f(A,B,C,D)=E\),

表示当\(A,B,C,D\)取对应值的时候整个表达式的结果为\(E\)。

现在小胡同学想知道,有多少个合法的表达式满足所有的运算结果。

  • \(60pts\ m\leq8\)
  • \(100pts\ |S|\leq500,m\leq16\)

解析

\(60pts\)算法

一般来说,求表达式的值都是用栈。

然而这样不能应用于\(DP\)。

所以有个东西叫表达式树

它的形态是,最底层是所有的数字,两个数字间的运算符作为它们共同的父亲,同时这个父亲代表它们的运算结果,依次类推。。。

设\(f[i][j]\)为在第\(i\)个结点,当前运算结果集合为\(j\)的方案数。

然后每次递归进左边的括号和右边的括号,最后合并左边和右边的答案即可。

(然而并没那么好写)

复杂度\(O(|S|2^{2m})\)。(然而其实|S|中大多数都是括号,运算符可能只有\(100+\)个)

要特别注意当前处理完后,到达下一次处理的字符要挪几位,有时\(1\)位,有时\(2\)位。

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<algorithm>
#define ll long long
#define re register
#define il inline
#define fp(i,a,b) for(re int i=a;i<=b;i++)
#define fq(i,a,b) for(re int i=a;i>=b;i--)
using namespace std;
const int N=100,mod=1e9+7;
int n,m,st[6],S,p,tot,f[505][1<<17];
char s[550];
il ll gi()
{
re ll x=0,t=1;
re char ch=getchar();
while(ch!='-'&&(ch<'0'||ch>'9')) ch=getchar();
if(ch=='-') t=-1,ch=getchar();
while(ch>='0'&&ch<='9') x=x*10+ch-48,ch=getchar();
return x*t;
}
il void dfs(re int x)
{
re int ls,rs;
if(s[p]!='(')
{
if(s[p]=='?') fp(i,0,3) ++f[x][st[i]],++f[x][st[i]^S];
else if(s[p]>='A'&&s[p]<='D') ++f[x][st[s[p]-'A']];
else ++f[x][st[s[p]-'a']^S];
p+=2;//到运算符
return;
}
++p;dfs(ls=++tot);
char op=s[p];
if(op!='|'&&op!='&'&&op!='?') return;
p+=2;//到右边括号的内部
dfs(rs=++tot);
fp(i,0,S)
fp(j,0,S)
{
if(op!='|') (f[x][i&j]+=1ll*f[ls][i]*f[rs][j]%mod)%=mod;
if(op!='&') (f[x][i|j]+=1ll*f[ls][i]*f[rs][j]%mod)%=mod;
}
++p;//到达下一次运算
}
int main()
{
freopen("calculate.in","r",stdin);
freopen("calculate.out","w",stdout);
scanf("%s",s+1);n=strlen(s+1);m=gi();S=(1<<m)-1;
fp(i,1,m)
fp(j,0,4) (st[j]<<=1)|=gi();
dfs(tot=p=1);
printf("%d\n",f[1][st[4]]);
fclose(stdin);
fclose(stdout);
return 0;
}

\(100pts\)算法

\(FWT\)专门用于处理异或、或、与下标时的卷积运算。

通常复杂度为\(O(nlogn)\)。

这样搞一搞,复杂度就成\(O(|S|2^mm)\)了。

但是这玩意儿应用范围很小,先鸽着。

[noip模拟赛]算算数的更多相关文章

  1. noip模拟赛 算

    [问题背景]zhx 帮他妹子做数学题.[问题描述]求: 如 N=3, M=3, 这个值为 1^1+1^2+1^3+2^1+2^2+2^3+3^1+3^2+3^3=56. [输入格式]仅一行, 包含两个 ...

  2. CH Round #58 - OrzCC杯noip模拟赛day2

    A:颜色问题 题目:http://ch.ezoj.tk/contest/CH%20Round%20%2358%20-%20OrzCC杯noip模拟赛day2/颜色问题 题解:算一下每个仆人到它的目的地 ...

  3. CH Round #49 - Streaming #4 (NOIP模拟赛Day2)

    A.二叉树的的根 题目:http://www.contesthunter.org/contest/CH%20Round%20%2349%20-%20Streaming%20%234%20(NOIP 模 ...

  4. 【noip模拟赛5】细菌 状压dp

    [noip模拟赛5]细菌   描述 近期,农场出现了D(1<=D<=15)种细菌.John要从他的 N(1<=N<=1,000)头奶牛中尽可能多地选些产奶.但是如果选中的奶牛携 ...

  5. 10.16 NOIP模拟赛

    目录 2018.10.16 NOIP模拟赛 A 购物shop B 期望exp(DP 期望 按位计算) C 魔法迷宫maze(状压 暴力) 考试代码 C 2018.10.16 NOIP模拟赛 时间:2h ...

  6. NOIP模拟赛-2018.11.7

    NOIP模拟赛 如果用命令行编译程序可以发现没加头文件之类的错误. 如果用命令行编译程序可以发现没加头文件之类的错误. 如果用命令行编译程序可以发现没加头文件之类的错误. 编译之前另存一份,听说如果敲 ...

  7. Nescafe #29 NOIP模拟赛

    Nescafe #29 NOIP模拟赛 不知道这种题发出来算不算侵权...毕竟有的题在$bz$上是权限题,但是在$vijos$似乎又有原题...如果这算是侵权的话请联系我,我会尽快删除,谢谢~ 今天开 ...

  8. NOI.AC NOIP模拟赛 第五场 游记

    NOI.AC NOIP模拟赛 第五场 游记 count 题目大意: 长度为\(n+1(n\le10^5)\)的序列\(A\),其中的每个数都是不大于\(n\)的正整数,且\(n\)以内每个正整数至少出 ...

  9. 2016-06-19 NOIP模拟赛

          2016-06-19 NOIP模拟赛 by coolyangzc 共3道题目,时间3小时 题目名 高级打字机 不等数列 经营与开发 源文件 type.cpp/c/pas num.cpp/c ...

随机推荐

  1. CSS+DIV命名

    原地址:http://www.cnblogs.com/hylaz/archive/2012/10/27/2742743.html#2521377 页头:header 登录条:loginBar 标志:l ...

  2. 缩小Oracle目录下UNDOTBS01.DBF文件的大小

    缩小Oracle目录下UNDOTBS01.DBF文件的大小 分类: Oracle 使用sys用户登录Oracle 方法一:重置表空间大小 执行ALTER DATABASE DATAFILE 'D:OR ...

  3. Leetcode 214.最短回文串

    最短回文串 给定一个字符串 s,你可以通过在字符串前面添加字符将其转换为回文串.找到并返回可以用这种方式转换的最短回文串. 示例 1: 输入: "aacecaaa" 输出: &qu ...

  4. hihoCoder#1109 最小生成树三·堆优化的Prim算法

    原题地址 坑了我好久...提交总是WA,找了个AC代码,然后做同步随机数据diff测试,结果发现数据量小的时候,测试几十万组随机数据都没问题,但是数据量大了以后就会不同,思前想后就是不知道算法写得有什 ...

  5. Codeforces Round #264 (Div. 2) D

    题意: 给出最多5个序列,问这几个序列的最长公共子序列的长度是多少. solution : 脑抽级别我是,第一个序列每个数字位置固定,这样只要维护一个k-1维的偏序集就好了.然后在保证每个位置合法的情 ...

  6. UVA 116_ Unidirectional TSP

    题意: 给定整数矩阵,从第一列的任何一个位置出发,每次可以向右.右上.右下走一个格,将最后一行和第一行看成是邻接的,最终到达最后一列,路径长度为所经过格中的整数之和,求最小路径,答案不唯一,输出字典序 ...

  7. MongoDB学习day01--非关系型数据库

    1.数据库和文件的主要区别: 1.1数据库有数据库表/行和列的概念,让我们存储操作数据方便 1.2数据库提供了方便的接口,让java.php..net.nodejs很方便的实现增删改查 2.NoSQL ...

  8. Ubuntu 16.04安装TortoiseSVN(基于CrossOver)

    基于CrossOver的TortoiseSVN有如下缺点: 1.不能像Windows下实现右键菜单提交,但是可以通过TortoiseSVN实现迁出代码. 可以解决的问题: 1.可以通过Tortoise ...

  9. Ubuntu 16.04安装Atom(加强版文本工具)

    安装: sudo add-apt-repository ppa:webupd8team/atom sudo apt-get update sudo apt-get install atom 或者直接上 ...

  10. kafka-manager 的编译和使用(附安装包)

    kafka-manager 的编译和使用(附安装包) 学习了:https://my.oschina.net/wangjiankui/blog/653139