BZOJ 4006 Luogu P3264 [JLOI2015]管道连接 (斯坦纳树、状压DP)
生活随笔
收集整理的這篇文章主要介紹了
BZOJ 4006 Luogu P3264 [JLOI2015]管道连接 (斯坦纳树、状压DP)
小編覺得挺不錯的,現在分享給大家,幫大家做個參考.
題目鏈接: (bzoj)https://www.lydsy.com/JudgeOnline/problem.php?id=4006
(luogu)https://www.luogu.org/problemnew/show/P3264
題解: 終于寫出來斯坦納樹了。。
我一直不明白的地方是: spfa那種轉移為什么是直接加邊權?為什么沒有一些特殊情況(如從根轉移到兒子)不是加邊權?后來覺得大概是因為那種特殊情況如果出現,則一定會在枚舉子集的轉移中被轉移到。
做法就是,先對每個特殊點的子集求出來最小斯坦納樹,然后設\(dp[S]\)表示顏色集合\(S\)內的最小答案,那么\(dp[S]\)可以直接等于它所對應的關鍵點集合的斯坦納樹,也可以由好幾個子集合并過來,枚舉子集轉移即可。
時間復雜度\(O(ShortestPath(n,m)\times 2^p+n3^p)\)
這里貌似SPFA比Dijkstra略快一些。(我在洛谷上開O2,spfa 3234ms, Dijkstra 6695ms, 不開O2 spfa T成65, Dijkstra T成40)
代碼
SPFA
#include<cstdio> #include<cstdlib> #include<cstring> #include<algorithm> #include<queue> using namespace std;const int N = 1e3; const int M = 3e3; const int NN = 10; const int INF = 707406378; struct Edge {int v,w,nxt; } e[(M<<1)+3]; int fe[N+3]; int ky[NN+3]; int clrset[(1<<NN)+3]; int clr[NN+3]; int dp[N+3][(1<<NN)+3]; int ans[(1<<NN)+3]; bool inq[M+3]; int que[M+3]; int n,m,nn,en;void addedge(int u,int v,int w) {en++; e[en].v = v; e[en].w = w;e[en].nxt = fe[u]; fe[u] = en; }void update(int &x,int y) {x = x<y?x:y;}void SPFA(int sta) {int head = 1,tail = 1;for(int i=1; i<=n; i++){if(dp[i][sta]<INF){que[tail] = i; tail++; if(tail>n+1) tail = 1;inq[i] = true;}}while(head!=tail){int u = que[head]; head++; if(head>n+1) head = 1;for(int i=fe[u]; i; i=e[i].nxt){int v = e[i].v;if(dp[u][sta]+e[i].w<dp[v][sta]){dp[v][sta] = dp[u][sta]+e[i].w;if(!inq[v]){que[tail] = v; tail++; if(tail>n+1) tail = 1;inq[v] = true;}}}inq[u] = false;} }int main() {scanf("%d%d%d",&n,&m,&nn);for(int i=1; i<=m; i++){int x,y,z; scanf("%d%d%d",&x,&y,&z);addedge(x,y,z); addedge(y,x,z);}for(int i=0; i<nn; i++){scanf("%d%d",&clr[i],&ky[i]); clr[i]--;clrset[1<<clr[i]] |= (1<<i);}memset(dp,42,sizeof(dp));for(int i=0; i<nn; i++) dp[ky[i]][(1<<i)] = 0;for(int i=1; i<(1<<nn); i++){for(int j=(i-1)&i; j; j=(j-1)&i){for(int k=1; k<=n; k++){dp[k][i] = min(dp[k][i],dp[k][i^j]+dp[k][j]);}}SPFA(i);}for(int i=1; i<(1<<nn); i<<=1){for(int j=0; j<(1<<nn); j++){if(j&i){clrset[j] |= clrset[i];}}}for(int i=1; i<(1<<nn); i++){ans[i] = INF;for(int j=1; j<=n; j++){update(ans[i],dp[j][clrset[i]]);}for(int j=(i-1)&i; j; j=(j-1)&i){update(ans[i],ans[j]+ans[i^j]);}}printf("%d\n",ans[(1<<nn)-1]);return 0; }Dijkstra
#include<cstdio> #include<cstdlib> #include<cstring> #include<algorithm> #include<queue> using namespace std;const int N = 1e3; const int M = 3e3; const int NN = 10; const int INF = 707406378; struct Edge {int v,w,nxt; } e[(M<<1)+3]; struct DijNode {int u,dis;DijNode() {}DijNode(int _u,int _dis) {u = _u,dis = _dis;}bool operator <(const DijNode &arg) const {return dis>arg.dis;} }; int fe[N+3]; bool vis[N+3]; int ky[NN+3]; int clrset[(1<<NN)+3]; int clr[NN+3]; int dp[N+3][(1<<NN)+3]; int ans[(1<<NN)+3]; priority_queue<DijNode> que; int n,m,nn,en;void addedge(int u,int v,int w) {en++; e[en].v = v; e[en].w = w;e[en].nxt = fe[u]; fe[u] = en; }void update(int &x,int y) {x = min(x,y);}void Dijkstra(int sta) {while(!que.empty()){DijNode tmp = que.top(); que.pop(); int u = tmp.u;if(tmp.dis!=dp[u][sta]) continue;vis[u] = true;for(int i=fe[u]; i; i=e[i].nxt){int v = e[i].v;if(vis[v]==false && dp[u][sta]+e[i].w<dp[v][sta]){dp[v][sta] = dp[u][sta]+e[i].w;que.push(DijNode(v,dp[v][sta]));}}}for(int i=1; i<=n; i++) vis[i] = false; }int main() {scanf("%d%d%d",&n,&m,&nn);for(int i=1; i<=m; i++){int x,y,z; scanf("%d%d%d",&x,&y,&z);addedge(x,y,z); addedge(y,x,z);}for(int i=0; i<nn; i++){scanf("%d%d",&clr[i],&ky[i]); clr[i]--;clrset[1<<clr[i]] |= (1<<i);}memset(dp,42,sizeof(dp));for(int i=0; i<nn; i++) dp[ky[i]][(1<<i)] = 0;for(int i=1; i<(1<<nn); i++){for(int j=(i-1)&i; j; j=(j-1)&i){for(int k=1; k<=n; k++){dp[k][i] = min(dp[k][i],dp[k][i^j]+dp[k][j]);}}for(int j=1; j<=n; j++){if(dp[j][i]!=INF){que.push(DijNode(j,dp[j][i]));}}Dijkstra(i);}for(int i=1; i<(1<<nn); i<<=1){for(int j=0; j<(1<<nn); j++){if(j&i){clrset[j] |= clrset[i];}}}for(int i=1; i<(1<<nn); i++){ans[i] = INF;for(int j=1; j<=n; j++){update(ans[i],dp[j][clrset[i]]);}for(int j=(i-1)&i; j; j=(j-1)&i){update(ans[i],ans[j]+ans[i^j]);}}printf("%d\n",ans[(1<<nn)-1]);return 0; }總結
以上是生活随笔為你收集整理的BZOJ 4006 Luogu P3264 [JLOI2015]管道连接 (斯坦纳树、状压DP)的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: BZOJ 2095 [POI2010]B
- 下一篇: BZOJ 4819 Luogu P370