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. 【数据库】DML-增删改查-SQL实现

    一.数据插入-Insert 1. 插入单条记录 insert into 表名(字段名,字段名,字段名) //当插入所有字段时,字段名可以省略 values('值1','值2','值3'); 2. 插入 ...

  2. django-3 admin开启后台配置并展示表内容

    设置了superuser 之后,可以在run server 后, 通过浏览器访问后台,进行界面配置. 1. python manage.py creatersuperuser 此命令在manage.p ...

  3. Spider-scrapy 中的 xpath 语法与调试

    把setting中的机器人过滤设为False ROBOTSTXT_OBEY = False 1 语法 artcile 选取所有子节点 /article 选取根元素 artile article/a 选 ...

  4. 集训第四周(高效算法设计)K题 (滑窗问题)

    UVA 11572 唯一的雪花 题意:给你从1到n的数组,要求求得其中的最长连续不重复子序列,经典的滑窗问题,方法是维护一个窗口,设置左框和右框,然后不断的进行维护和更新 方法一: #include& ...

  5. json,js中typeof用法详细介绍及NaN、 null 及 undefined 的区别

    JSON.parse(jsonstr); //可以将json字符串转换成json对象 JSON.stringify(jsonobj); //可以将json对象转换成json对符串 在js使用中的一个函 ...

  6. runOnUiThread在子进程中更新主进程UI

    package com.pingyijinren.test; import android.support.v7.app.AppCompatActivity; import android.os.Bu ...

  7. zoj——3195 Design the city

    Design the city Time Limit: 1 Second      Memory Limit: 32768 KB Cerror is the mayor of city HangZho ...

  8. SAP EP 设置Portal别名安全模式

    Securing the Portal Alias Cookie Context We recommend that you set the portal alias cookie to be del ...

  9. 【SQL Server 学习系列】-- 随机生成日期时间的SQL脚本

    DECLARE @dt1 DATETIME,@dt2 DATETIME,@a BIGINT,@b BIGINT SET @dt1='2010-01-01'--开始日期 SET @dt2='2010-0 ...

  10. 【转】Golang 关于通道 Chan 详解

    原文:http://blog.csdn.net/netdxy/article/details/54564436 在用 chan 类型时,发生死锁的错误,表面上看不出什么问题 ------------- ...