洛谷 P1347 排序

题目描述

一个不同的值的升序排序数列指的是一个从左到右元素依次增大的序列，例如，一个有序的数列A,B,C,D 表示A<B,B<C,C<D。在这道题中，我们将给你一系列形如A<B的关系，并要求你判断是否能够根据这些关系确定这个数列的顺序。

输入输出格式

输入格式：

第一行有两个整数n,m，n表示需要排序的元素数量，2<=n<=26，第1到n个元素将用大写的A,B,C,D....表示。m表示将给出的形如A<B的关系的数量。

接下来有m行，每行有3个字符，分别为一个大写字母，一个<符号，一个大写字母，表示两个元素之间的关系。

输出格式：

若根据前x个关系即可确定这n个元素的顺序yyy..y（如ABC），输出

Sorted sequence determined after xxx relations: yyy...y.

若根据前x个关系即发现存在矛盾（如A<B,B<C,C<A），输出

Inconsistency found after 2 relations.

若根据这m个关系无法确定这n个元素的顺序，输出

Sorted sequence cannot be determined.

（提示：确定n个元素的顺序后即可结束程序，可以不用考虑确定顺序之后出现矛盾的情况）

输入输出样例

输入样例#1：

1:
4 6
A<B
A<C
B<C
C<D
B<D
A<B

2:
3 2
A<B
B<A

3:
26 1
A<Z

输出样例#1：

1:
Sorted sequence determined after 4 relations: ABCD.
2:
Inconsistency found after 2 relations.
3:
Sorted sequence cannot be determined.

————————————————我是分割线——————————————————-

/*
    Problem:
    OJ:
    User:S.B.S.
    Time:
    Memory:
    Length:
*/
#include<iostream>
#include<cstdio>
#include<cstring>
#include<cmath>
#include<algorithm>
#include<queue>
#include<cstdlib>
#include<iomanip>
#include<cassert>
#include<climits>
#include<functional>
#include<bitset>
#include<vector>
#include<list>
#include<map>
#define maxn 100001
#define F(i,j,k) for(int i=j;i<=k;i++)
#define rep(i,j,k) for(int i=j;i<k;i++)
#define M(a,b) memset(a,b,sizeof(a))
#define FF(i,j,k) for(int i=j;i>=k;i--)
#define inf 0x3f3f3f3f
#define maxm 1001
#define mod 998244353
//#define LOCAL
using namespace std;
int read(){
    int x=0,f=1;char ch=getchar();
    while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
    while(ch>='0'&&ch<='9'){x=x*10+ch-'0';ch=getchar();}
    return x*f;
}
void print(int n){
    if(n<0){putchar('-');n=0-n;}
    if(n>=10) print(n/10);
    putchar((n%10)+'0');
    return;
}
int n,m;
int p[maxn],in[maxn],out[maxn];
int tot,ans;
vector<int> edge[maxn];
char mp[4];
bool vis[maxn],cur[maxn];
inline bool solve(int u)
{
//    cout<<"in solve!"<<endl;
    vis[u]=true;
    for(register int i=edge[u].size()-1;i>=0;i--){
        int v=edge[u][i];
        if(vis[v]) return false;
        if(!solve(edge[u][i])) return false;
    }
    vis[u]=false;
    return true;
}
inline void dfs(int u,int sum,int id)
{
//    cout<<"int dfs!!"<<endl;
    p[sum]=u;
    if(sum==n){
        cout<<"Sorted sequence determined after "<<id<<" relations: ";
        F(i,1,n) cout<<(char)(p[i]+'A'-1);
        cout<<"."<<endl;exit(0);
    }
    for(register int i=edge[u].size()-1;i>=0;i--) dfs(edge[u][i],sum+1,id);
}
inline void ok(int u)
{
//    cout<<"in ok !!!"<<endl;
    F(i,1,n){
        if(cur[i]){
            M(vis,false);
            if(!solve(i)){
                cout<<"Inconsistency found after "<<u<<" relations."<<endl;
                exit(0);
            }
        }
    }
    if(tot!=n) return;
    F(i,1,n) if(!in[i]) {dfs(i,1,u);break;}
}
int main()
{
//    std::ios::sync_with_stdio(false);//cout<<setiosflags(ios::fixed)<<setprecision(1)<<y;
    #ifdef LOCAL
    freopen("data.in","r",stdin);
    freopen("data.out","w",stdout);
    #endif
    n=read();m=read();
    F(i,1,m){
//        cout<<"in main!!!!"<<endl;
        scanf("%s",mp);
        int a=mp[0]-'A'+1,b=mp[2]-'A'+1;
        out[a]++;in[b]++;
        if(!cur[a]) tot++;
        if(!cur[b]) tot++;
        cur[a]=cur[b]=true;
        edge[a].push_back(b);
        ok(i);
    }
    cout<<"Sorted sequence cannot be determined."<<endl;
    return 0;
}