首页 > 其他 > 详细

BZOJ4727 [POI2017]Turysta 【竞赛图哈密顿路径/回路】

时间:2018-07-08 21:36:14      阅读:288      评论:0      收藏:0      [点我收藏+]

题目链接

BZOJ4727

题解

前置芝士

1.竞赛图存在哈密顿路径
2.竞赛图存在哈密顿回路,当且仅当它是强联通的

所以我们将图缩点后,拓扑排序后一定是一条链,且之前的块内的点和之后块内的点的边一定全都由前面指向后面
而每个块都是强联通的,所以我们从起点出发,一定能找到一条路径走完后面所有点

我们只需预处理出每个强联通块内的一条哈密顿回路,就可以求出答案了

现在问题转化成了求竞赛图的哈密顿回路
我们先求出一条哈密顿路径

哈密顿路径

从竞赛图中任意一个点出发向外扩展,维护一个链表
假若扩展到点\(u\)
1.如果\(u\)指向链头或链尾,直接加入链表
2.否则链的中间一定存在相邻两点,使得\(i\)指向\(u\)\(u\)指向\(i + 1\),这时候把\(u\)插入之间即可

哈密顿回路

我们在哈密顿路径的基础上构造哈密顿回路
首先如果存在如图情况,前\(4\)个点构成回路
技术分享图片
我们先找到最大的一个这样的回路,然后只需处理后面不在圈内的几个点

对于一个点\(u\),如果存在一条\(u\)指向圈内点的边,那么\(u\)可以插入圈内
否则跳过\(u\),将\(u\)和之后插入圈内的点一起插入圈内
由于图是强联通的,所以最后一定能全部加入

复杂度\(O(n^2)\)

#include<algorithm>
#include<iostream>
#include<cstdlib>
#include<cstring>
#include<cstdio>
#include<vector>
#include<queue>
#include<cmath>
#include<map>
#define LL long long int
#define REP(i,n) for (register int i = 1; i <= (n); i++)
#define cls(s,v) memset(s,v,sizeof(s))
#define mp(a,b) make_pair<int,int>(a,b)
#define cp pair<int,int>
#define res register
using namespace std;
const int maxn = 2005,maxm = 100005,INF = 0x3f3f3f3f;
inline int read(){
    int out = 0,flag = 1; char c = getchar();
    while (c < 48 || c > 57){if (c == '-') flag = 0; c = getchar();}
    while (c >= 48 && c <= 57){out = (out << 1) + (out << 3) + c - 48; c = getchar();}
    return flag ? out : -out;
}
int tmp[20],ti;
inline void write(int x){
    ti = 0;
    while (x) tmp[++ti] = x % 10,x /= 10;
    while (ti) putchar('0' + tmp[ti--]);
}
vector<int> S[maxn];
int n,G[maxn][maxn];
int dfn[maxn],low[maxn],Scc[maxn],st[maxn],top,cnt,scci;
int nxt[maxn],head[maxn],tail[maxn];
int Nxt[maxn],Head[maxn],Tail[maxn];
int g[maxn][maxn],de[maxn],q[maxn],hh,tt;
int tp[maxn],pos[maxn],ans[maxn],ansi,tot;
int c[maxn],ci;
void dfs(int u){
    dfn[u] = low[u] = ++cnt;
    st[++top] = u;
    for (res int to = 1; to <= n; to++){
        if (!G[u][to]) continue;
        if (!dfn[to]){
            dfs(to);
            low[u] = min(low[u],low[to]);
        }
        else if (!Scc[to]) low[u] = min(low[u],dfn[to]);
    }
    if (low[u] == dfn[u]){
        scci++;
        do{
            Scc[st[top]] = scci;
            S[scci].push_back(st[top]);
        }while (st[top--] != u);
    }
}
void workline(){
    int siz;
    for (res int p = 1; p <= scci; p++){
        siz = S[p].size();
        head[p] = tail[p] = S[p][0];
        for (res int i = 1; i < siz; i++){
            int u = S[p][i];
            if (G[u][head[p]]) nxt[u] = head[p],head[p] = u;
            else if (G[tail[p]][u]) nxt[tail[p]] = u,tail[p] = u;
            else for (res int j = head[p]; j; j = nxt[j])
                if (G[j][u] && G[u][nxt[j]]){
                    nxt[u] = nxt[j]; nxt[j] = u; break;
                }
        }
    }
}
void workcir(){
    int p,last;
    for (int i = 1; i <= scci; i++){
        ci = 0; p = 1;
        for (int k = head[i]; k; k = nxt[k]) c[++ci] = k;
        for (int k = ci; k; k--)
            if (G[c[k]][head[i]]) {p = k; break;}
        Head[i] = c[1]; Tail[i] = c[p];
        for (int k = 1; k < p; k++) Nxt[c[k]] = c[k + 1];
        last = c[p + 1];
        for (int k = p + 1; k <= ci; k++){
            int u = c[k],flag = false;
            for (int j = Nxt[Head[i]],pre = Head[i]; j; j = Nxt[pre = j])
                if (G[u][j]){
                    Nxt[pre] = last;
                    Nxt[u] = j;
                    flag = true;
                    break;
                }
            if (flag) last = c[k + 1];
            else Nxt[u] = c[k + 1];
        }
        Nxt[Tail[i]] = Head[i];
    }
}
void work(){
    for (res int i = 1; i <= n; i++){
        int u = Scc[i];
        for (res int j = 1; j <= n; j++)
            if (G[i][j] && Scc[j] != u && !g[u][Scc[j]])
                de[Scc[j]]++,g[u][Scc[j]] = 1;
    }
    for (res int i = 1; i <= scci; i++) if (!de[i]) q[++tt] = i;
    int u; hh = 1;
    while (hh <= tt){
        u = q[hh++]; pos[u] = ++tot; tp[tot] = u;
        for (int i = 1; i <= scci; i++) if (g[u][i]){
            if (!(--de[i])) q[++tt] = i;
        }
    }
    for (res int u = 1; u <= n; u++){
        int s = Scc[u];
        ans[ansi = 1] = u;
        for (res int i = Nxt[u]; i != u; i = Nxt[i]) ans[++ansi] = i;
        for (res int j = pos[s] + 1; j <= scci; j++){
            int t = tp[j];
            ans[++ansi] = Head[t];
            for (res int i = Nxt[Head[t]]; i != Head[t]; i = Nxt[i])
                ans[++ansi] = i;
        }
        write(ansi); putchar(' ');
        for (res int i = 1; i <= ansi; i++){
            write(ans[i]);
            if (i < ansi) putchar(' ');
        }
        puts("");
    }
}
int main(){
    n = read();
    for (res int i = 2; i <= n; i++)
        for (res int j = 1; j < i; j++)
            G[i][j] = ((G[j][i] = read()) ^ 1);
    REP(i,n) if (!dfn[i]) dfs(i);
    workline();
    //puts("LXT");
    workcir();
    //puts("LXT");
    work();
    return 0;
}

BZOJ4727 [POI2017]Turysta 【竞赛图哈密顿路径/回路】

原文:https://www.cnblogs.com/Mychael/p/9281355.html

(0)
(0)
   
举报
评论 一句话评论(0
关于我们 - 联系我们 - 留言反馈 - 联系我们:wmxa8@hotmail.com
© 2014 bubuko.com 版权所有
打开技术之扣,分享程序人生!