[ZOJ3316]Game
题意:有一个棋盘,棋盘上有一些棋子,两个人轮流拿棋,第一个人可以随意拿,以后每一个人拿走的棋子与上一个人拿走的棋子的曼哈顿距离不得超过$L$,无法拿棋的人输,问后手能否胜利
把棋子看做点,如果两个棋子的距离$\leq L$就连一条边,显然一局游戏只能在一个连通块里玩
如果某一个连通块只有一个点,那么先手拿走它,后手就输了
如果一个连通块有很多个点,做一次匹配,如果有完美匹配,那么后手胜利,否则先手胜利
为什么?
假设$A$先手,$B$后手,如果没有完美匹配,那么$A$可以选择一个非匹配点开始游戏,每次$B$都必须选择一个匹配点,然后$A$可以选择走匹配边,如此往复,最后一定是$A$走到某个地方使得$B$不能再走了(如果$B$还能走并且使得$A$不能走,说明这个图里还有增广路,不是最大匹配)
如果有完美匹配,$A$一开始只能选择匹配点,每次$B$可以走匹配边,如此往复,最后一定是$A$走不动了(如果$A$还能走并使得$B$走不动,那么最后到的是一个未匹配点,图就不是完美匹配了)
所以建出图之后直接跑带花树,判断是否存在完美匹配即可
#include<stdio.h>
#include<string.h>
int n,head,tail,h[400],nex[160000],to[160000],q[400],fa[400],type[400],match[400],pre[400],tm[400],M;
void swap(int&a,int&b){a^=b^=a^=b;}
void add(int a,int b){
M++;
to[M]=b;
nex[M]=h[a];
h[a]=M;
}
int get(int x){return(fa[x]==x)?x:(fa[x]=get(fa[x]));}
int lca(int x,int y){
M++;
while(1){
if(x){
x=get(x);
if(tm[x]==M)return x;
tm[x]=M;
x=pre[match[x]];
}
swap(x,y);
}
}
void blossom(int x,int y,int p){
while(get(x)!=p){
pre[x]=y;
y=match[x];
if(type[y]==2){
type[y]=1;
tail++;
q[tail]=y;
}
if(fa[x]==x)fa[x]=p;
if(fa[y]==y)fa[y]=p;
x=pre[y];
}
}
void bfs(int x){
int i,now,las;
memset(pre,0,sizeof(pre));
memset(type,0,sizeof(type));
for(i=1;i<=n;i++)fa[i]=i;
type[x]=1;
head=tail=1;
q[1]=x;
while(head<=tail){
x=q[head];
head++;
for(i=h[x];i;i=nex[i]){
if(type[to[i]]==2||get(x)==get(to[i]))continue;
if(type[to[i]]==0){
pre[to[i]]=x;
type[to[i]]=2;
if(match[to[i]]==0){
now=to[i];
while(now){
las=match[pre[now]];
match[now]=pre[now];
match[pre[now]]=now;
now=las;
}
return;
}
type[match[to[i]]]=1;
tail++;
q[tail]=match[to[i]];
}else{
now=lca(x,to[i]);
blossom(x,to[i],now);
blossom(to[i],x,now);
}
}
}
}
int x[400],y[400];
int abs(int x){return x>0?x:-x;}
int dis(int i,int j){
return abs(x[i]-x[j])+abs(y[i]-y[j]);
}
int main(){
int i,j,L;
while(~scanf("%d",&n)){
memset(h,0,sizeof(h));
memset(match,0,sizeof(match));
memset(tm,0,sizeof(tm));
M=0;
for(i=1;i<=n;i++)scanf("%d%d",x+i,y+i);
scanf("%d",&L);
for(i=1;i<=n;i++){
for(j=1;j<=n;j++){
if(i!=j&&dis(i,j)<=L)add(i,j);
}
}
M=0;
for(i=1;i<=n;i++){
if(match[i]==0)bfs(i);
}
M=1;
for(i=1;i<=n;i++){
if(match[i]==0){
puts("NO");
M=0;
break;
}
}
if(M)puts("YES");
}
}
[ZOJ3316]Game的更多相关文章
- 【ZOJ3316】Game(带花树)
[ZOJ3316]Game(带花树) 题面 Vjudge 翻译: 给定棋盘上\(n\)个旗子 一开始先手可以随便拿, 然后每次都不能取离上次的曼哈顿距离超过\(L\)的旗子 谁不能动谁输. 问后手能否 ...
- [ZOJ3316]:Game
题面 vjudge Sol 有一个棋盘,棋盘上有一些棋子,两个人轮流拿棋,第一个人可以随意拿,以后每一个人拿走的棋子与上一个人拿走的棋子的曼哈顿距离不得超过L,无法拿棋的人输,问后手能否胜利 首先距离 ...
随机推荐
- Equal Sums (map的基本应用) 多学骚操作
C. Equal Sums time limit per test 2 seconds memory limit per test 256 megabytes input standard input ...
- Spring Boot(一)
1.注解 @EnableAutoConfiguration 官方文档:The @EnableAutoConfiguration annotation is often placed on your ...
- matlab求矩阵的鞍点
function count = andian(a) v = max(a,[],2); count = 0; for i=1:length(v) [r2,c2] = find(a==v(i)); mi ...
- Java面向对象编程三大特性 --- 多态
多态特性: 子类Child继承父类Father,我们可以编写一个指向子类的父类类型引用,该引用既可以处理父类Father对象,也可以处理子类Child对象,当相同的消息发送给子类或者父类对象时,该对象 ...
- Fragment里使用 PhoneGap 的 CordovaWebView
首先说明一下为什么要使用 CordovaWebView 而不直接使用 WebView 呢?由于 Android4.4 版本之后对 WebView 做了很大的改变,具体参考 这篇文章:理解WebKit和 ...
- 斯特林数(Stirling number)
在组合数学,Stirling 数可指两类数,第一类Stirling 数和第二类 Stirling 数,都是由18世纪数学家 James Stirling 提出的. Stirling 数有两种,第一类和 ...
- JetbrainsCrack
http://blog.csdn.net/lcyong_/article/details/61205672 http://blog.csdn.net/nn_jbrs/article/details/7 ...
- bzoj 1293 贪心
首先我们可以将这道题看成一个数轴,数轴其中的某些点存在一些颜色,我们要选取最短的一段,使这段存 在所有颜色,那么我们使用指针i,j表示在j-i位置中包含的颜色,那么初值是0,0,我们先i++,同时添加 ...
- [ Openstack ] Openstack-Mitaka 高可用之 环境初始化
目录 Openstack-Mitaka 高可用之 概述 Openstack-Mitaka 高可用之 环境初始化 Openstack-Mitaka 高可用之 Mariadb-Galera集群 ...
- ETL(Extract-Transform-Load的缩写,即数据抽取、转换、装载的过程)
ETL(Extract-Transform-Load的缩写,即数据抽取.转换.装载的过程)