• Jzoj5674 香槟


    有一棵 n 个节点的树,初始时所有节点都为空。Alan 和 Bob 在树上玩游戏,双方轮流进行,Alan先手。每轮中,Alan 可以选择一个空节点 x,在 x 上放一个波澜哥;Bob 每轮可以选择一个空节点 y,将 y 节点以及所有与 y 相邻的节点上都放置一个面筋哥。可能存在节点既有波澜哥,又有面筋哥。当所有节点非空时,游戏结束。

    由于面筋哥比较得劲,Alan 和 Bob 认为如果一个节点上有面筋哥,那么该节点是“石灰”的。如果游戏结束时,所有节点都是“石灰”的,Bob 取得胜利;否则,Alan 取得胜利。

    Bob 求胜心切,会趁 Alan 不注意切开一些树边。Bob 可以在任意时刻执行切边操作,包括游戏开始前,每回合 Alan 操作前,自己操作前,自己操作后,以及游戏结束后。不过谨慎起见,Bob 不会切边超过 K 条。   

    求双方都是最优决策的情况下,谁会取得胜利。

    是一个非常奇妙的结论题

    我们手玩一下发现一个问题,如果一个联通块大小不为2,那么一定是Alan胜利,下面给出了详细证明:


    所以,我们只需要对树做一个完美匹配,让后看看k是否大于n/2-1就行了

    #pragma GCC optimize("O3")
    #pragma G++ optimize("O3")
    #include<stdio.h>
    #include<string.h>
    #include<algorithm>
    #define N 500010
    using namespace std;
    int n,k,h[N],f[N],cnt;
    struct edge{ int v,nt; } G[N<<1];
    inline void adj(int x,int y){
    	G[++cnt]=(edge){y,h[x]}; h[x]=cnt;
    	G[++cnt]=(edge){x,h[y]}; h[y]=cnt;
    }
    inline void dfs(int x,int p){
    	f[x]=1;
    	for(int v,i=h[x];i;i=G[i].nt)
    		if((v=G[i].v)!=p){
    			dfs(v,x);
    			if(f[v]<0){ f[x]=-1; return; }
    			f[x]-=f[v];
    		}
    }
    int main(){
    	freopen("shampagne.in","r",stdin);
    	freopen("shampagne.out","w",stdout);
    	scanf("%d%d",&n,&k);
    	if((n&1)||(k<(n-1>>1))) return 0&puts("Alan");
    	for(int x,y,i=1;i<n;++i){
    		scanf("%d%d",&x,&y);
    		adj(x,y);
    	}
    	dfs(1,0);
    	if(f[1]) puts("Alan"); else puts("Bob");
    }

  • 相关阅读:
    再谈多线程编程(一)——线程的概念、多线程的创建、守护线程、线程状态的转化
    java创建线程的三种方式及其对比
    再谈Spring AOP
    初始化一个static的Map变量
    Spring AOP详解
    git命令汇总
    AngularJS如何修改URL中的参数
    VirtualBox安装Ubuntu搭建js环境的注意事项
    Sql server日期函数操作
    凤凰网股票接口
  • 原文地址:https://www.cnblogs.com/Extended-Ash/p/9477102.html
Copyright © 2020-2023  润新知