题面传送门

题意:

  • 有一棵 \(n\) 个节点的图 \(G\),R 和 B 两个人轮流操作,R 先操作。
  • 每次操作 R 可以染红任意一条未染色的边,B 可以染蓝任意一条未染色的边
  • R 的目标是染成一棵全蓝的生成树,R 的目标是阻止后手染成一棵全蓝的生成树,问谁会赢。
  • \(n \in [1,10]\),\(m \in [1,30]\)

yet another 博弈论 problem......

不难猜出本题的结论是如果 \(G\) 中存在两棵边集不相交的生成树,答案为 \(\texttt{YES}\),否则答案为 \(\texttt{NO}\),你手玩几组数据应该就可以看出来。

但是怎么证明呢?

对于游戏中任意一个局面,我们分以下几种情况考虑:

  1. 如果 \(G\) 中存在两棵生成树 \(T_1,T_2\),满足 \(T_1,T_2\) 只由蓝边或无色边组成,并且 \(T_1,T_2\) 中无色边组成的边集不相交。

    如果 R 染红的边不在 \(T_1,T_2\) 中,那么 B 随便染蓝一条边都可以保持这个局面。因为你染蓝这条边后 \(T_1,T_2\) 依然满足上述条件。

    如果 R 染红的边在 \(T_1,T_2\) 中,不妨假设 R 染红的边为 \(e_1 \in T_1\),那么 B 必然可以找出 \(e_2 \in T_2\),满足从 \(T_1\) 中删除 \(e_1\) 加入 \(e_2\) 依然是一个生成树 \(T'_1\)。你感性理解一下,去掉 \(e_1\) 之后原树 \(T_1\) 分成两个点集 \(V_1,V_2\),由于 \(T_2\) 是一棵树,那么必然有一条边 \(e_2\) 沟通了 \(V_1,V_2\),不然 \(T_2\) 就不连通了。如果此时 \(e_2\) 未染色,那么 B 可以将 \(e_2\) 染成蓝色,此时 \(T'_1\) 与 \(T_2\) 依然满足上述条件。如果 \(e_2\) 已经染成蓝色,那么 B 随便染蓝一条边也不会使局面更坏。

    综上,这种情况下 B 有必胜策略。
  2. 如果 \(G\) 中不存在两棵生成树 \(T_1,T_2\),满足 \(T_1,T_2\) 只由蓝边或无色边组成,并且 \(T_1,T_2\) 中无色边组成的边集不相交。

    Ⅰ. 如果 \(G\) 中存在一条边 \(e\) 满足 B 将 \(e\) 染蓝后会得到 1 的局面。那么 R 可将 \(e\) 染红。此时,先手边后手,后手变先手,根据 1 的结论,R 可以染出一棵全红的生成树,B 就染不出一棵全蓝的生成树了。

    Ⅱ. 如果 \(G\) 中不存在一条边 \(e\) 满足 B 将 \(e\) 染蓝后会得到 1 的局面。那么 R 可以随便染红一条边,因为 B 不管染蓝哪条边都得不到 1 的局面。

    综上,这种情况下 R 有必胜策略。

接下来就是实现的问题。本题数据范围很小,而博主又太菜不会什么 Minmax 搜索之类的高级算法。只好采用暴搜的方法,暴力枚举一棵生成树的边集判断其他边是否能构成一棵生成树,由于 \(C_{30}^9=14307150\) 只达到 \(10^7\) 级别。因此你稍微剪点枝就可以过了。

/*
Contest: -
Problem: HDU 3267
Author: tzc_wk
Time: 2020.7.27
*/
#include <bits/stdc++.h>
using namespace std;
#define fi first
#define se second
#define fz(i,a,b) for(int i=a;i<=b;i++)
#define fd(i,a,b) for(int i=a;i>=b;i--)
#define foreach(it,v) for(__typeof(v.begin()) it=v.begin();it!=v.end();it++)
#define all(a) a.begin(),a.end()
#define fill0(a) memset(a,0,sizeof(a))
#define fill1(a) memset(a,-1,sizeof(a))
#define fillbig(a) memset(a,0x3f,sizeof(a))
#define fillsmall(a) memset(a,0xcf,sizeof(a))
#define y1 y1010101010101
#define y0 y0101010101010
typedef pair<int,int> pii;
inline int read(){
int x=0,neg=1;char c=getchar();
while(!isdigit(c)){
if(c=='-') neg=-1;
c=getchar();
}
while(isdigit(c)) x=x*10+c-'0',c=getchar();
return x*neg;
}
bool ans=0;
int n,k,m,u[75],v[75],f[75],num=0;
bool vis[75];
inline int find(int x){
return (f[x]==x)?(x):find(f[x]);
}
int to[75],ecnt=0,nxt[75],hd[75];
inline void ae(int x,int y){
to[++ecnt]=y;
nxt[ecnt]=hd[x];
hd[x]=ecnt;
}
int used[75];
inline void findcomp(int x){
if(used[x]) return;
used[x]=1;
for(int i=hd[x];i;i=nxt[i]) findcomp(to[i]);
}
inline void dfs(int x,int lst){
if(x==n){
// num++;
// if(num%100000==0) cout<<num<<endl;
// fz(i,1,m) if(vis[i]) cout<<i<<" ";puts("");
fill0(hd);fill0(nxt);fill0(to);ecnt=0;fill0(used);
fz(i,1,m) if(!vis[i]) ae(u[i],v[i]),ae(v[i],u[i]);
findcomp(1);bool flg=1;
fz(i,1,n) if(!used[i]) flg=0;
if(flg) ans=1;
return;
}
for(int i=lst+1;i<=m;i++){
int _u=u[i],_v=v[i];
// if(rand()&1) swap(_u,_v);
int fu=find(_u),fv=find(_v);
if(fu!=fv){
f[fu]=fv;vis[i]=1;dfs(x+1,i);
if(ans) return;
vis[i]=0;f[fu]=fu;f[fv]=fv;
}
}
}
inline void solve(){
m=0;fill0(u);fill0(v);fill0(f);
fz(i,1,k){
int _u=read(),_v=read();_u++;_v++;
if(_u!=_v) u[++m]=_u,v[m]=_v;
}
fz(i,1,n) f[i]=i;
fill0(vis);ans=0;dfs(1,0);
if(ans) puts("YES");
else puts("NO");
}
signed main(){
while(scanf("%d %d",&n,&k)){
if(!~n) break;
solve();
}
return 0;
}

HDU 3267 Graph Game(博弈论+图论+暴力)的更多相关文章

  1. HDU 1557 权利指数 国家压缩 暴力

    HDU 1557 权利指数 状态压缩 暴力 ACM 题目地址:HDU 1557 权利指数 题意:  中文题,不解释. 分析:  枚举全部集合,计算集合中的和,推断集合里面的团体是否为关键团队. 代码: ...

  2. [la P5031&hdu P3726] Graph and Queries

    [la P5031&hdu P3726] Graph and Queries Time Limit: 10000/5000 MS (Java/Others)    Memory Limit: ...

  3. HDU 1524 树上无环博弈 暴力SG

    一个拓扑结构的图,给定n个棋的位置,每次可以沿边走,不能操作者输. 已经给出了拓扑图了,对于每个棋子找一遍SG最后SG和就行了. /** @Date : 2017-10-13 20:08:45 * @ ...

  4. HDU.2149 Public Sale (博弈论 巴什博弈)

    HDU.2149 Public Sale (博弈论 巴什博弈) 题意分析 巴什博奕裸题 博弈论快速入门 代码总览 #include <bits/stdc++.h> using namesp ...

  5. HDU.1846 Brave Game (博弈论 巴什博弈)

    HDU.1846 Brave Game (博弈论 巴什博弈) 题意分析 巴什博奕裸题 博弈论快速入门 代码总览 include <bits/stdc++.h> using namespac ...

  6. HDU 3726 Graph and Queries treap树

    题目来源:HDU 3726 Graph and Queries 题意:见白书 思路:刚学treap 參考白皮书 #include <cstdio> #include <cstring ...

  7. 图论/暴力 Codeforces Beta Round #94 (Div. 2 Only) B. Students and Shoelaces

    题目传送门 /* 图论/暴力:这是个连通的问题,每一次把所有度数为1的砍掉,把连接的点再砍掉,总之很神奇,不懂:) */ #include <cstdio> #include <cs ...

  8. HDU 3131 One…Two…Five! (暴力搜索)

    题目链接:pid=3131">HDU 3131 One-Two-Five! (暴力搜索) 题意:给出一串数字,要求用加,减,乘,除(5/2=2)连接(计算无优先级:5+3*6=8*6= ...

  9. HDU 4467 Graph(图论+暴力)(2012 Asia Chengdu Regional Contest)

    Description P. T. Tigris is a student currently studying graph theory. One day, when he was studying ...

随机推荐

  1. ZooKeeper分布式配置——看这篇就够了

    ZooKeeper 的由来 PS:这一节不重要, 不感兴趣的小伙伴可以跳过 ZooKeeper 最早起源于雅虎研究院的一个研究小组,在当时,研究人员发现,在雅虎内部有很多的大型系统基本上都需要依赖一个 ...

  2. windows右键菜单自动打包发布nuget,没有CI/CD一样方便!

    构建现代的 .Net 应用离不开 Nuget 的支持,而快速打包 Nuget 成了提高生产率的有效方法.没有CI/CD?来试试使用windows右键菜单吧 先看右键效果图 有时候我们可能没有CI/CD ...

  3. 初始HTML05

    HTML 表单控件属性 表单控件可设置以下标签属性 属性名 取值 type 设置控件类型 name 设置控件名称,最终与值一并发送给服务器 value 设置控件的值 placeholder 设置输入框 ...

  4. OO_JAVA_JML系列作业_单元总结

    OO_JAVA_JML系列作业_单元总结 (1)梳理JML语言的理论基础.应用工具链情况 简单梳理 以下三者是jml规格里的核心,对一个方法功能和属性的限制: requires子句:规定方法的前置条件 ...

  5. python的random模块生成随机数

    python的random函数 random.random() 生成0-1之间的随机数 random.uniform(a,b)生成a,b之间的浮点数 random.randint(a,b)生成a,b之 ...

  6. Linux下Zabbix5.0 LTS监控基础原理及安装部署(图文教程)

    Zabbix 是什么? zabbix 是一个基于 Web 界面的提供分布式系统监视以及网络监视功能的企业级的开源解决方案.通过 C/S 模式采集数据,通过 B/S 模式在 Web 端展示和配置,能监视 ...

  7. 洛谷 P5665 [CSP-S2019] 划分

    链接: P5665 题意: 给出 \(n\) 个整数 \(a_i\) ,你需要找到一些分界点 \(1 \leq k_1 \lt k_2 \lt \cdots \lt k_p \lt n\),使得 \( ...

  8. CPU使用率和平均负载

    转载: https://mp.weixin.qq.com/s?__biz=MzU4NzU0MDIzOQ==&mid=2247487782&idx=3&sn=3f04bb053d ...

  9. Luogu P2827 [NOIp2016提高组]蚯蚓 | 神奇的队列

    题目链接 80分思路: 弄一个优先队列,不停地模拟,切蚯蚓时就将最长的那一条出队,然后一分为二入队,简单模拟即可.还要弄一个标记,表示从开始到当前时间每一条蚯蚓应该加上的长度,操作时就加上,入队时就减 ...

  10. 议题解析与复现--《Java内存攻击技术漫谈》(一)

    解析与复现议题 Java内存攻击技术漫谈 https://mp.weixin.qq.com/s/JIjBjULjFnKDjEhzVAtxhw allowAttachSelf绕过 在Java9及以后的版 ...