题面

Bzoj

洛谷

题解

(除了代码均摘自喻队的博客,可是他退役了)

首先固定一棵树,枚举另一棵树,显然另一棵树只有与这棵树同构才有可能产生贡献 如果固定的树以重心为根,那么另一棵树最多就只有重心为根才有可能同构了(可能有两个) 然后就是求改动次数最小值,设$f[x][y]$表示以第一棵树$x$为根的子树内和第二棵树内$y$为根的子树内,达到目标最少需要改动的次数 我们发现只有同构的子树需要决策,我们把同构的子树分别拿出来,我们要做的就是做一个匹配,跑一遍$KM$或者费用流就好了。因为要最小化$f[x][y]$,所以是跑最小完美匹配。 $f[x][y]$要记忆化一下,判断同构用树哈希即可

#include <cstdio>
#include <vector>
#include <cstring>
#include <algorithm>
using std::sort; using std::vector;
typedef long long ll; template<typename T>
void read(T &x) {
int flag = 1; x = 0; char ch = getchar();
while(ch < '0' || ch > '9') { if(ch == '-') flag = -flag; ch = getchar(); }
while(ch >= '0' && ch <= '9') x = x * 10 + ch - '0', ch = getchar(); x *= flag;
} const int N = 1.4e3 + 10, Inf = 1e9 + 7;
void upt0(int &x, int y) { if(x < y) x = y; }
void upt1(int &x, int y) { if(x > y) x = y; } namespace KM {
int n, w[N][N], match[N], ret, lx[N], ly[N];
bool visx[N], visy[N];
bool Hungary(int x) {
visx[x] = 1;
for(int y = 1; y <= n; ++y)
if(!visy[y] && lx[x] + ly[y] == w[x][y]) {
visy[y] = true;
if(!match[y] || Hungary(match[y])) { match[y] = x; return 1; }
}
return 0;
}
int main(int opt) {
for(int i = 1; i <= n; ++i)
for(int j = 1; j <= n; ++j)
w[i][j] = opt * w[i][j];
for(int i = 1; i <= n; ++i) {
lx[i] = -Inf, ly[i] = 0;
for(int j = 1; j <= n; ++j) upt0(lx[i], w[i][j]);
}
memset(match, 0, sizeof match);
for(int x = 1; x <= n; ++x)
while(1) {
memset(visx, 0, sizeof visx), memset(visy, 0, sizeof visy);
if(Hungary(x)) break;
int inc = Inf;
for(int i = 1; i <= n; ++i)
if(visx[i])
for(int j = 1; j <= n; ++j)
if(!visy[j]) upt1(inc, lx[i] + ly[j] - w[i][j]);
for(int i = 1; i <= n; ++i) {
if(visx[i]) lx[i] -= inc;
if(visy[i]) ly[i] += inc;
}
}
for(int i = 1; i <= n; ++i)
if(match[i]) ret += w[match[i]][i];
return opt * ret;
}
}//KM模板 int n, rt, fir[N], sec[N], f[N][N], c[N][N]; ll hash[N];
int from[N], cnt, to[N << 1], nxt[N << 1];
inline void addEdge(int u, int v) {
to[++cnt] = v, nxt[cnt] = from[u], from[u] = cnt;
}
int tmp, siz[N];
vector<int> v1[N], v2[N];
inline bool cmp(const int &i, const int &j) { return hash[i] < hash[j]; } void getrt(int u, int fa) {
int max_part = 0; siz[u] = 1;
for(int i = from[u]; i; i = nxt[i]) {
int v = to[i]; if(v == fa) continue;
getrt(v, u), siz[u] += siz[v], upt0(max_part, siz[v]);
} upt0(max_part, n - siz[u]);
if(max_part < tmp) tmp = max_part, rt = u;
}//寻找树的重心 void dfs(int u, int fa, vector<int> *V) {
siz[u] = 1, hash[u] = 0, V[u].clear();
for(int i = from[u]; i; i = nxt[i]) {
int v = to[i]; if(v == fa) continue;
dfs(v, u, V), siz[u] += siz[v], V[u].push_back(v);
} sort(V[u].begin(), V[u].end(), cmp);
for(int i = V[u].size() - 1; ~i; --i)
hash[u] = hash[u] * N + hash[V[u][i]];
hash[u] = hash[u] * N + siz[u];
}//处理各子树hash值以及儿子(将儿子放进一个vector里面) int dp(int x, int y) {
if(f[x][y] != -1) return f[x][y];
f[x][y] = fir[x] ^ sec[y]; int lim = v1[x].size() - 1;
for(int i = 0; i <= lim; ++i) {
int j = i;
while(j < lim && hash[v1[x][j + 1]] == hash[v1[x][i]]) ++j;
for(int k = i; k <= j; ++k)
for(int l = i; l <= j; ++l)
dp(v1[x][k], v2[y][l]);
for(int k = i; k <= j; ++k)
for(int l = i; l <= j; ++l)
KM::w[k - i + 1][l - i + 1] = dp(v1[x][k], v2[y][l]);
//初始化边权
KM::ret = 0, KM::n = j - i + 1, f[x][y] += KM::main(-1), i = j;
//最小化f[x][y]
} return f[x][y];
} int main () {
read(n);
for(int i = 1, u, v; i < n; ++i)
read(u), read(v), addEdge(u, v), addEdge(v, u);
for(int i = 1; i <= n; ++i) read(fir[i]);
for(int i = 1; i <= n; ++i) read(sec[i]);
tmp = Inf, getrt(1, 0), dfs(rt, 0, v2); ll tmp = hash[rt];
int ans = Inf;
for(int i = 1; i <= n; ++i) {//暴力枚举重心
dfs(i, 0, v1);
if(hash[i] == tmp) memset(f, -1, sizeof f), upt1(ans, dp(i, rt));
} printf("%d\n", ans);
return 0;
}

Bzoj3197/洛谷3296 [SDOI2013]刺客信条assassin(树的重心+树Hash+树形DP+KM)的更多相关文章

  1. Bzoj4753/洛谷P4432 [JSOI2016]最佳团体(0/1分数规划+树形DP)

    题面 Bzoj 洛谷 题解 这种求比值最大就是\(0/1\)分数规划的一般模型. 这里用二分法来求解最大比值,接着考虑如何\(check\),这里很明显可以想到用树形背包\(check\),但是时间复 ...

  2. 洛谷2016 战略游戏 (0/1状态的普通树形Dp)

    题意: 给出一个树,覆盖树上某一个点的花费为w[i],求树上每一条边至少有一个点覆盖的最小花费. 细节: 1.一条边的两端可以均被覆盖,但是不能存在一条边的两端都不被覆盖. 2.可能存在 分析: 对于 ...

  3. 【洛谷5439】【XR-2】永恒(树链剖分,线段树)

    [洛谷5439][XR-2]永恒(树链剖分,线段树) 题面 洛谷 题解 首先两个点的\(LCP\)就是\(Trie\)树上的\(LCA\)的深度. 考虑一对点的贡献,如果这两个点不具有祖先关系,那么这 ...

  4. [BZOJ3197][SDOI2013]刺客信条assassin

    bzoj luogu Description 故事发生在1486 年的意大利,Ezio原本只是一个文艺复兴时期的贵族,后来因为家族成员受到圣殿骑士的杀害,决心成为一名刺客.最终,凭借着他的努力和出众的 ...

  5. [洛谷P3304] [SDOI2013]直径

    洛谷题目链接:[SDOI2013]直径 题目描述 小Q最近学习了一些图论知识.根据课本,有如下定义.树:无回路且连通的无向图,每条边都有正整数的权值来表示其长度.如果一棵树有N个节点,可以证明其有且仅 ...

  6. 洛谷P2633 Count on a tree(主席树,倍增LCA)

    洛谷题目传送门 题目大意 就是给你一棵树,每个点都有点权,每次任意询问两点间路径上点权第k小的值(强制在线). 思路分析 第k小......又是主席树了.但这次变成树了,无法直接维护前缀和. 又是树上 ...

  7. 洛谷P2982 [USACO10FEB]慢下来Slowing down(线段树 DFS序 区间增减 单点查询)

    To 洛谷.2982 慢下来Slowing down 题目描述 Every day each of Farmer John's N (1 <= N <= 100,000) cows con ...

  8. 【洛谷4587】 [FJOI2016]神秘数(主席树)

    传送门 BZOJ 然而是权限题 洛谷 Solution 发现题目给出的一些规律,emm,如果我们新凑出来的一个数,那么后面一个数一定是\(sum+1\). 于是就可以主席树随便维护了! 代码实现 #i ...

  9. 洛谷P2633 Count on a tree(主席树,倍增LCA,树上差分)

    洛谷题目传送门 题目大意 就是给你一棵树,每个点都有点权,每次任意询问两点间路径上点权第k小的值(强制在线). 思路分析 第k小......又是主席树了.但这次变成树了,无法直接维护前缀和. 又是树上 ...

随机推荐

  1. UVA 12034 Race

    https://vjudge.net/problem/UVA-12034 题意:n个人比赛,有多少种可能的结果 假设i个人中,有j个人是第一名,方案数为C(i,j) 所以ans=Σ C(n,j)* f ...

  2. 51Nod 1080

    #include "bits/stdc++.h" using namespace std; #define LL long long #define INF 0x3f3f3f3f3 ...

  3. Codeforces 617E XOR and Favorite Number莫队

    http://codeforces.com/contest/617/problem/E 题意:给出q个查询,每次询问区间内连续异或值为k的有几种情况. 思路:没有区间修改,而且扩展端点,减小端点在前缀 ...

  4. Spring Security 过滤器链

    Alias Filter Class Namespace Element or Attribute CHANNEL_FILTER ChannelProcessingFilter http/interc ...

  5. 【Codeforces542E】Playing on Graph [Bfs][Dfs]

    Playing on Graph Time Limit: 20 Sec  Memory Limit: 512 MB Description Input Output Sample Input 5 4 ...

  6. bzoj 1914: [Usaco2010 OPen]Triangle Counting 数三角形——极角排序

    Description 在一只大灰狼偷偷潜入Farmer Don的牛群被群牛发现后,贝西现在不得不履行着她站岗的职责.从她的守卫塔向下瞭望简直就是一件烦透了的事情.她决定做一些开发智力的小练习,防止她 ...

  7. 【51NOD-0】1049 最大子段和

    [算法]DP [题解]开long long…… #include<cstdio> #include<algorithm> #include<cstring> usi ...

  8. 崩坏3mmd中的渲染技术研究

    http://youxiputao.com/articles/11839 主要是参考该篇文章做一个微小的复盘. 漫反射与高光 文章中的漫反射与高光并不是类似于普通的 resultCol = Diffu ...

  9. windows10安装oracle11g报错ORA-01034、ORA-01078

    ORA-01034表示数据库实例未建立,可以先用管理员账号进入一个空白实例 sqlplus / as sysdba; 如果您当前使用的账号是安装oracle的账号,则不需要账号密码就可以登陆oracl ...

  10. vue-awesome-swipe 基于vue使用的轮播组件 使用(改)

    npm install vue-awesome-swiper --save  //基于vue使用的轮播组件 <template> <swiper :options="swi ...