算法笔记

参考资料：https://wenku.baidu.com/view/25540742a8956bec0975e3a8.html

sg函数大神详解：http://blog.csdn.net/luomingjun12315/article/details/45555495

sg[i]定义，从i走一步能到达的j的sg[j]以外的最小值，那么从sg函数值为x的状态出发，我们能转移到sg值为0,1,...,x-1的状态

对于某个人来说，0是他的必败态，sg[0] = 0

我们从这个状态出发，用dp求sg函数的值

sg[n] = 0，表示必败，否则， 表示必胜

如果sg[n] > 0，说明肯定能转移到必败态，则必胜

如果sg[n] = 0, 说明无论怎么转移都是必胜态，则必败

模板：

int f[N],SG[N];

bool S[M];

void getSG(int n)

{

    memset(SG,,sizeof(SG));

    for(int i=;i<=n;i++)

    {

        memset(S,false,sizeof(S));

        for(int j=;f[j]<=i&&j<M;j++)

        {

             S[SG[i-f[j]]]=true;

        }

        while(S[SG[i]]) SG[i]++;

    }

}

例题：http://www.cnblogs.com/widsom/p/7171428.html

　　　http://www.cnblogs.com/widsom/p/7170891.html

sg函数拓展：

反sg博弈：

先手必胜：（所有单一局面sg值都不超过1&&总局面sg值为0） || （存在一个单一局面sg值超过1&&总局面sg值不为0）

否则后手必胜。

HDU 1907

代码：

#pragma GCC optimize(2)

#pragma GCC optimize(3)

#pragma GCC optimize(4)

#include<bits/stdc++.h>

using namespace std;

#define y1 y11

#define fi first

#define se second

#define pi acos(-1.0)

#define LL long long

//#define mp make_pair

#define pb push_back

#define ls rt<<1, l, m

#define rs rt<<1|1, m+1, r

#define ULL unsigned LL

#define pll pair<LL, LL>

#define pli pair<LL, int>

#define pii pair<int, int>

#define piii pair<pii, int>

#define pdd pair<double, double>

#define mem(a, b) memset(a, b, sizeof(a))

#define debug(x) cerr << #x << " = " << x << "\n";

const int N = , M = 5e3 + ;

int a[N], sg[M], T, n;

int main() {

    for (int i = ; i < M; ++i) sg[i] = i;

    scanf("%d", &T);

    while(T--) {

        scanf("%d", &n);

        for (int i = ; i <= n; ++i) scanf("%d", &a[i]);

        int cnt = , s = ;

        for (int i = ; i <= n; ++i) {

                if(sg[a[i]] > ) ++cnt;

                s ^= sg[a[i]];

        }

        if((!cnt && !s) || (cnt && s)) printf("John\n");

        else printf("Brother\n");

    }

    return ;

}

树上删边博弈：

定理：叶子节点的sg值为0，其他节点u的sg[u]值等于它儿子v的(sg[v]+1)的亦或和。

图上删边博弈：

将偶环缩成点，奇环缩成一个点加一条边，就可以转换成树上删边博弈了。

具体证明看最上面的链接。

HDU 3094

思路：树上删边博弈

代码：

#pragma GCC optimize(2)

#pragma GCC optimize(3)

#pragma GCC optimize(4)

#include<bits/stdc++.h>

using namespace std;

#define y1 y11

#define fi first

#define se second

#define pi acos(-1.0)

#define LL long long

//#define mp make_pair

#define pb push_back

#define ls rt<<1, l, m

#define rs rt<<1|1, m+1, r

#define ULL unsigned LL

#define pll pair<LL, LL>

#define pli pair<LL, int>

#define pii pair<int, int>

#define piii pair<pii, int>

#define pdd pair<double, double>

#define mem(a, b) memset(a, b, sizeof(a))

#define debug(x) cerr << #x << " = " << x << "\n";

const int N = 1e5 + ;

vector<int> g[N];

int T, n, u, v;

int sg(int u, int o) {

    int res = ;

    for (int i = ; i < g[u].size(); ++i) {

        int v = g[u][i];

        if(v != o) res ^= sg(v, u) + ;

    }

    return res;

}

int main() {

    scanf("%d", &T);

    while(T--) {

        scanf("%d", &n);

        for (int i = ; i < n; ++i) scanf("%d %d", &u, &v), g[u].pb(v), g[v].pb(u);

        if(sg(, )) printf("Alice\n");

        else printf("Bob\n");

        for (int i = ; i <= n; ++i) g[i].clear();

    }

    return ;

}

POJ 3710

思路：tarjan缩边双转换成树上删边博弈

代码：

#pragma GCC optimize(2)

#pragma GCC optimize(3)

#pragma GCC optimize(4)

#include<cstdio>

#include<iostream>

#include<cstring>

#include<vector>

using namespace std;

#define y1 y11

#define fi first

#define se second

#define pi acos(-1.0)

#define LL long long

//#define mp make_pair

#define pb push_back

#define ls rt<<1, l, m

#define rs rt<<1|1, m+1, r

#define ULL unsigned LL

#define pll pair<LL, LL>

#define pli pair<LL, int>

#define pii pair<int, int>

#define piii pair<pii, int>

#define pdd pair<double, double>

#define mem(a, b) memset(a, b, sizeof(a))

#define debug(x) cerr << #x << " = " << x << "\n";

const int N = ;

vector<int> g[N];

int t, n, m, u, v;

int stk[N], sg[N], low[N], dfn[N], cnt = , top = ;

bool vis[N], vv[N];//vv标记环上的点是否被删掉

void tarjan(int u, int o) {

    dfn[u] = low[u] = ++cnt;

    stk[++top] = u;

    vv[u] = vis[u] = true;

    for (int i = ; i < g[u].size(); ++i) {

        int v = g[u][i];

        if(v == o) continue;

        if(!dfn[v]) tarjan(v, u), low[u] = min(low[u], low[v]);

        else if(vis[v]) low[u] = min(low[u], dfn[v]);

    }

    if(low[u] == dfn[u]) {

        int c = ;

        while(stk[top] != u) {

            vv[stk[top]] = false;

            vis[stk[top--]] = false;

            ++c;

        }

        vis[stk[top--]] = false;

        ++c;

        if(c >  && c%) sg[u] ^= ;

    }

    for (int i = ; i < g[u].size(); ++i) {

        int v = g[u][i];

        if(v == o) continue;

        if(vv[v]) sg[u] ^= sg[v]+;

    }

}

int main() {

    while(~scanf("%d", &t)) {

        int s = ;

        while(t--) {

            scanf("%d %d", &n, &m);

            for (int i = ; i < m; ++i) {

                scanf("%d %d", &u, &v);

                g[u].pb(v);

                g[v].pb(u);

            }

            tarjan(, );

            s ^= sg[];

            for (int i = ; i <= n; ++i) low[i] = dfn[i] = sg[i] = vis[i] = vv[i] = ;

            cnt = top = ;

            for (int i = ; i <= n; ++i) g[i].clear();

        }

        if(s) printf("Sally\n");

        else printf("Harry\n");

    }

    return ;

}

HDU 5299

思路：

圆扫描线+树上删边博弈

代码：

#pragma GCC optimize(2)

#pragma GCC optimize(3)

#pragma GCC optimize(4)

#include<bits/stdc++.h>

using namespace std;

#define y1 y11

#define fi first

#define se second

#define pi acos(-1.0)

#define LL long long

//#define mp make_pair

#define pb push_back

#define ls rt<<1, l, m

#define rs rt<<1|1, m+1, r

#define ULL unsigned LL

#define pll pair<LL, LL>

#define pli pair<LL, int>

#define pii pair<int, int>

#define piii pair<pii, int>

#define pdd pair<double, double>

#define mem(a, b) memset(a, b, sizeof(a))

#define debug(x) cerr << #x << " = " << x << "\n";

const int N = 2e4 + ;

int nowx;

struct circle {

    int x, y, r;

}p[N];

double Y(int id, int ty) {

    if(ty == ) return p[id].y - sqrt(p[id].r*1.0*p[id].r - (nowx-p[id].x)*1.0*(nowx-p[id].x));

    else return p[id].y + sqrt(p[id].r*1.0*p[id].r - (nowx-p[id].x)*1.0*(nowx-p[id].x));

}

struct node {

    int id, ty;

    bool operator < (const node &rhs) const {

        if(id == rhs.id) return ty < rhs.ty;

        else return Y(id, ty) < Y(rhs.id, rhs.ty);

    }

};

set<node> s;

vector<int> g[N];

int T, n, dp[N], fa[N], sg[N];

piii t[N*];

void dfs(int u, int o) {

    sg[u] = ;

    for (int i = ; i < g[u].size(); ++i) {

        int v = g[u][i];

        if(v != o) {

            dfs(v, u);

            sg[u] ^= sg[v] + ;

        }

    }

}

int main() {

    p[].x = p[].y = ;

    p[].r = ;

    s.insert({, });

    s.insert({, });

    scanf("%d", &T);

    while(T--) {

        scanf("%d", &n);

        for (int i = ; i <= n; ++i) scanf("%d %d %d", &p[i].x, &p[i].y, &p[i].r);

        for (int i = ; i <= n; ++i) {

            t[i].fi.fi = p[i].x - p[i].r;

            t[i].fi.se = ;

            t[i].se = i;

            t[n+i].fi.fi = p[i].x + p[i].r;

            t[n+i].fi.se = ;

            t[n+i].se = i;

        }

        sort(t+, t++*n);

        for (int i = ; i <= *n; ++i) {

            nowx = t[i].fi.fi;

            int id = t[i].se;

            node tmp = {id, };

            if(t[i].fi.se == ) {

                auto l = s.lower_bound(tmp); --l;

                auto r = s.upper_bound(tmp);

                if((*l).id == (*r).id) {

                    dp[id] = dp[(*l).id] + ;

                    fa[id] = (*l).id;

                }

                else if(dp[(*l).id] >= dp[(*r).id]) {

                    dp[id] = dp[(*l).id];

                    fa[id] = fa[(*l).id];

                }

                else {

                    dp[id] = dp[(*r).id];

                    fa[id] = fa[(*r).id];

                }

                g[fa[id]].pb(id);

                s.insert({id, });

                s.insert({id, });

            }

            else {

                s.erase({id, });

                s.erase({id, });

            }

        }

        dfs(, );

        if(sg[]) printf("Alice\n");

        else printf("Bob\n");

        for (int i = ; i <= n; ++i) g[i].clear(), sg[i] = fa[i] = dp[i] = ;

    }

    return ;

}

HDU 3590

思路：

出题人真是个机灵鬼，将反-sg和树上删边结合起来，大概是看了论文后才出的题（雾

代码：

#pragma GCC optimize(2)

#pragma GCC optimize(3)

#pragma GCC optimize(4)

#include<bits/stdc++.h>

using namespace std;

#define y1 y11

#define fi first

#define se second

#define pi acos(-1.0)

#define LL long long

//#define mp make_pair

#define pb push_back

#define ls rt<<1, l, m

#define rs rt<<1|1, m+1, r

#define ULL unsigned LL

#define pll pair<LL, LL>

#define pli pair<LL, int>

#define pii pair<int, int>

#define piii pair<pii, int>

#define pdd pair<double, double>

#define mem(a, b) memset(a, b, sizeof(a))

#define debug(x) cerr << #x << " = " << x << "\n";

const int N = ;

vector<int> g[N];

int t, n, u, v;

int dfs(int u, int o) {

    int sg = ;

    for (int i = ; i < g[u].size(); ++i) {

        int v = g[u][i];

        if(v != o) sg ^= dfs(v, u) + ;

    }

    return sg;

}

int main() {

    while(~scanf("%d", &t)) {

        int cnt = , s = ;

        while(t--) {

            scanf("%d", &n);

            for (int i = ; i < n; ++i) scanf("%d %d", &u, &v), g[u].pb(v), g[v].pb(u);

            int sg = dfs(, );

            s ^= sg;

            if(sg > ) ++cnt;

            for (int i = ; i <= n; ++i) g[i].clear();

        }

        if((cnt && s) || (!cnt && !s)) printf("PP\n");

        else printf("QQ\n");

    }

    return ;

}

算法笔记--sg函数详解及其模板的更多相关文章

  1. 【基础操作】博弈论 / SG 函数详解

    博弈死我了……(话说哪个小学生会玩博弈论提到的这类弱智游戏,还取石子) 先推荐两个文章链接:浅谈算法——博弈论(从零开始的博弈论) 博弈论相关知识及其应用 This article was updat ...

  2. Python学习笔记：函数详解（下）

    本文介绍:高阶函数,嵌套函数,以及由前面两个组成的装饰器 一.高阶函数:以下两种情况都是高阶函数   1.将函数名当成参数传递给另外一个函数(作用:不修改被传递函数源代码就可以添加新功能): impo ...

  3. Angular6 学习笔记——组件详解之模板语法

    angular6.x系列的学习笔记记录,仍在不断完善中,学习地址: https://www.angular.cn/guide/template-syntax http://www.ngfans.net ...

  4. C++ 虚函数详解

    C++ 虚函数详解 这篇文章主要是转载的http://blog.csdn.net/haoel/article/details/1948051这篇文章,其中又加入了自己的理解和难点以及疑问的解决过程,对 ...

  5. CreateFile函数详解

    CreateFile函数详解 CreateFile The CreateFile function creates or opens the following objects and returns ...

  6. softmax函数详解

    答案来自专栏:机器学习算法与自然语言处理 详解softmax函数以及相关求导过程 这几天学习了一下softmax激活函数,以及它的梯度求导过程,整理一下便于分享和交流. softmax函数 softm ...

  7. [转]softmax函数详解

    答案来自专栏:机器学习算法与自然语言处理 详解softmax函数以及相关求导过程 这几天学习了一下softmax激活函数,以及它的梯度求导过程,整理一下便于分享和交流. softmax函数 softm ...

  8. # OpenGL常用函数详解（持续更新）

    OpenGL常用函数详解(持续更新) 初始化 void glutInit(int* argc,char** argv)初始化GULT库,对应main函数的两个参数 void gultInitWindo ...

  9. python 排序算法总结及实例详解

    python 排序算法总结及实例详解 这篇文章主要介绍了python排序算法总结及实例详解的相关资料,需要的朋友可以参考下 总结了一下常见集中排序的算法 排序算法总结及实例详解"> 归 ...

随机推荐

  1. Summary: Prime

    最近遇到很多问题都跟Prime有关,于是总结一下: Prime definition:A prime number (or a prime) is a natural number greater t ...

  2. C#导出Excel总结

    一.asp.net中导出Execl的方法:在asp.net中导出Execl有两种方法,一种是将导出的文件存放在服务器某个文件夹下面,然后将文件地址输出在浏览器上:一种是将文件直接将文件输出流写给浏览器 ...

  3. 《User Modeling with Neural Network for Review Rating Prediction》评论打分预测

    摘要: 传统的评分预测只考虑到了文本信息,没有考虑到用户的信息,因为同一个词 在不同的用户表达中是不一样的.同样good 一词, 有人觉得5分是good 有人觉得4分是good.但是传统的文本向量表达 ...

  4. bug管理工具为开发者工作带来哪些改变？

    BUG管理工具的主要功能是对软件开发测试过程中出现的BUG进行跟踪管理,提高开发者的工作效率与工作质量. 在实际工作中,如果没有bug管理工具的帮助,就可能会出现如下一系列的影响: 1.软件测试人员将 ...

  5. web前端----Bootstrap框架

    Bootstrap介绍 Bootstrap是Twitter开源的基于HTML.CSS.JavaScript的前端框架. 它是为实现快速开发Web应用程序而设计的一套前端工具包. 它支持响应式布局,并且 ...

  6. torch7入门(安装与使用)

    http://blog.csdn.net/real_myth/article/details/52291636 1.安装与使用 测试系统是ubuntu14.04LTS,默认安装在-/torch,当然我 ...

  7. rabbitmq架构简介(包括集群)

    总的来说,rabbitmq使用erlang语言编写,其架构类似于servlet容器运行servlet应用,底层是erlang VM.然后是erlang节点,上面是应用.如下所示: 每个MQ中运行的应用 ...

  8. linux学习笔记《一.烧写篇_android》

    一.菜鸟入门.烧写篇 (1).A8板子烧写程序 (NANDFlash烧写) ①烧写软件: 安装原件 安装后: 应用软件图标 ② 我们首先选中English/中文,切换到中文,然后关掉重启(也可以用英文 ...

  9. linux下安装与运行docker

    写者环境: 1.lsb_release -a hello@hello:~$ lsb_release -aNo LSB modules are available.Distributor ID: Ubu ...

  10. 牌型种数|2015年蓝桥杯B组题解析第七题-fishers

    牌型种数 小明被劫持到X赌城,被迫与其他3人玩牌. 一副扑克牌(去掉大小王牌,共52张),均匀发给4个人,每个人13张. 这时,小明脑子里突然冒出一个问题: 如果不考虑花色,只考虑点数,也不考虑自己得 ...