正题

题目链接:https://www.luogu.com.cn/problem/AT2390


解题思路

\(n\)个点的\(DAG\),\(m\)条边可有可无,\(1\)和\(2\)上有石头。求有多少种方案使得先手必胜。

\(1\leq n\leq 15,1\leq m\leq \frac{n(n-1)}{2}\)


解题思路

这个复杂度比较麻烦,要设计一个比较巧妙的\(dp\)。

考虑到题目是问多少种情况\(SG(1)\neq SG(2)\),其实求\(SG(1)=SG(2)\)的方案会更简单些。

设\(f_{S}\)表示目前只考虑了生成子图\(S\)时\(SG(1)=SG(2)\)的方案数,那么若从\(T\)转移到\(S\)时我们可以构造一种方案使得\(T\)的所有点内的\(SG\)加一,然后\(S/T\)的所有点的\(SG\)为\(0\)。

也就相当于我们把点按照\(SG\)大小分成若干层,然后一层一层转移进去。好了现在考虑怎么转移\(f_S\),我们枚举它的子集\(T\),那么\(S/T\)就是它的下一层,也就是目前\(S/T\)内的点\(SG=0\)。

对于\(T\)内的每个点,我们需要连接至少一个\(S/T\)内的点,对于\(S/T\)内的点,可以随意连接\(T\)内的点,枚举一下点集统计方案就好了。

时间复杂度\(O(3^nn)\)


code

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<vector>
#define ll long long
using namespace std;
const ll N=15,P=1e9+7;
ll n,m,ans,f[1<<N],c[1<<N],e[N];
vector<int>q[N];
signed main()
{
scanf("%lld%lld",&n,&m);
for(ll i=1;i<=m;i++){
ll x,y;
scanf("%lld%lld",&x,&y);
x--;y--;e[x]|=(1<<y);
}
ll MS=(1<<n),o=0;c[0]=1;
for(ll i=1;i<MS;i++)c[i]=c[i-(i&-i)]*2;
for(ll s=0;s<MS;s++){
if((s&1)!=((s>>1)&1))continue;
f[s]=1;
for(ll t=(s-1)&s;t;t=(t-1)&s){
ll buf=f[t];
for(ll i=0;i<n;i++){
if((t>>i)&1)buf=buf*(c[(s^t)&e[i]]-1)%P;
if(((s^t)>>i)&1)buf=buf*c[t&e[i]]%P;
}
(f[s]+=buf)%=P;
}
}
ll ans=1;
while(m)m--,ans=ans*2%P;
printf("%lld\n",(ans-f[MS-1]+P)%P);
return 0;
}

AT2390-[AGC016F]Games on DAG【状压dp,SG函数】的更多相关文章

  1. AGC 016 F - Games on DAG(状压dp)

    题意 给你一个有 \(n\) 个点 \(m\) 条边 DAG 图,点的标号和拓扑序一致. 现在有两个人进行博弈,有两个棋子分别在 \(1, 2\) 号点上,需要不断移动到它指向的点上. 如果当前两个点 ...

  2. DAG求最短路--TSP变形--状压dp

    DAG状压dp的一种 题目: $m$个城市,$n$张车票,第i张车票上的时间是$t_i$, 求从$a$到$b$的最短时间,如果无法到达则输出“impossible” 解法: 考虑状态:“现在在城市$v ...

  3. 【XSY3042】石像 拓扑排序 状压DP 洲阁筛

    题目大意 有 \(n\) 个整数 \(a_1,a_2,\ldots,a_n\),每个数的范围是 \([1,m]\).还有 \(k\) 个限制,每个限制 \(x_i,y_i\) 表示 \(a_{x_i} ...

  4. 【状压DP】poj2686 Traveling by Stagecoach

    状压DP裸题,将({当前车票集合},当前顶点)这样一个二元组当成状态,然后 边权/马匹 当成边长,跑最短路或者DAG上的DP即可. #include<cstdio> #include< ...

  5. UVA 1412 Fund Management (预处理+状压dp)

    状压dp,每个状态可以表示为一个n元组,且上限为8,可以用一个九进制来表示状态.但是这样做用数组开不下,用map离散会T. 而实际上很多九进制数很多都是用不上的.因此类似uva 1601 Mornin ...

  6. 状压dp专题复习

    状压dp专题复习 (有些题过于水,我直接跳了) 技巧总结 : 1.矩阵状压上一行的选择情况 \(n * 2^n\) D [BZOJ2734][HNOI2012]集合选数 蒻得不行的我觉得这是一道比较难 ...

  7. 【CSP模拟赛】Adore(状压dp 二进制)

    题目描述 小w偶然间见到了一个DAG.这个DAG有m层,第一层只有一个源点,最后一层只有一个汇点,剩下的每一层都有k个节点.现在小w每次可以取反第i(1<i<n-1)层和第i+1层之间的连 ...

  8. [JZOJ5398]:Adore(状压DP+记忆化搜索)

    题目描述 小$w$偶然间见到了一个$DAG$. 这个$DAG$有$m$层,第一层只有一个源点,最后一层只有一个汇点,剩下的每一层都有$k$个节点. 现在小$w$每次可以取反第$i(1<i< ...

  9. BZOJ 1087: [SCOI2005]互不侵犯King [状压DP]

    1087: [SCOI2005]互不侵犯King Time Limit: 10 Sec  Memory Limit: 162 MBSubmit: 3336  Solved: 1936[Submit][ ...

随机推荐

  1. nginx 部署vue

    server { listen 80; server_name localhost; root /www/meiduo_admin/dist; access_log /var/log/nginx/ad ...

  2. 【maven】入门教程

    一:Maven简介 1.Maven是什么? 是一个跨平台的项目管理工具.使用java语言开发(Maven 3.3+ require JDK 1.7 or above to execute)2. 为什么 ...

  3. 07.SpringMVC之静态资源

    如何你的DispatcherServlet拦截 *.do这样的URL,就不存在访问不到静态资源的问题.如果你的DispatcherServlet拦截"/",拦截了所有的请求,同时对 ...

  4. Docker与数据:三种挂载方式

    操作系统与存储 操作系统中将存储定义为 Volume(卷) ,这是对物理存储的逻辑抽象,以达到对物理存储提供有弹性的分割方式.另外,将外部存储关联到操作系统的动作定义为 Mount(挂载). Dock ...

  5. rabbitMq可靠性投递之配置(消息至交换机,至队列不通的回调)

    @Bean public RabbitTemplate rabbitTemplate(CachingConnectionFactory factory) { //若使用confirm-callback ...

  6. Win10安装gcc

    使用MinGW安装gcc 1.下载MinGW,地址 https://sourceforge.net/projects/mingw/files/ ,选择Download mingw-get-setup. ...

  7. idea导出jar包及坑

    导出基本步骤 1.打开项目结构,在artifact新建一个jar 2.然后填写主类和依赖 3.这里的坑: 4.查看 5.点击编译输出 6.得到jar包

  8. thymeleaf+layui加载页面渲染时报错

    将freemaker替换成thymeleaf时出现以下问题: org.thymeleaf.exceptions.TemplateProcessingException: Could not parse ...

  9. appium+python运行自动化测试提示“find_element() takes from 1 to 3 positional arguments but 14 were given”错误

    1.运行后提示"find_element() takes from 1 to 3 positional arguments but 14 were given",在网上找了很多解决 ...

  10. Linux内核中的Workqueue机制分析

    1. 什么是workqueue Linux中的workqueue(工作队列)主要是为了简化在内核创建线程而设计的.通过相应的工作队列接口,可以使开发人员只关心与特定功能相关的处理流程,而不必关心内核线 ...