結果

問題 No.470 Inverse S+T Problem
ユーザー cardano1016cardano1016
提出日時 2020-04-21 16:21:32
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
TLE  
実行時間 -
コード長 6,251 bytes
コンパイル時間 1,651 ms
コンパイル使用メモリ 120,076 KB
実行使用メモリ 304,896 KB
最終ジャッジ日時 2023-08-24 01:38:59
合計ジャッジ時間 5,380 ms
ジャッジサーバーID
(参考情報)
judge12 / judge11
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
8,760 KB
testcase_01 AC 1 ms
4,376 KB
testcase_02 AC 2 ms
4,376 KB
testcase_03 AC 2 ms
4,376 KB
testcase_04 AC 1 ms
4,376 KB
testcase_05 AC 2 ms
4,376 KB
testcase_06 TLE -
testcase_07 -- -
testcase_08 -- -
testcase_09 -- -
testcase_10 -- -
testcase_11 -- -
testcase_12 -- -
testcase_13 -- -
testcase_14 -- -
testcase_15 -- -
testcase_16 -- -
testcase_17 -- -
testcase_18 -- -
testcase_19 -- -
testcase_20 -- -
testcase_21 -- -
testcase_22 -- -
testcase_23 -- -
testcase_24 -- -
testcase_25 -- -
testcase_26 -- -
testcase_27 -- -
testcase_28 -- -
testcase_29 -- -
testcase_30 -- -
権限があれば一括ダウンロードができます

ソースコード

diff #

#include <iostream>
#include <algorithm>
#include <complex>
#include <utility>
#include <vector>
#include <string>
#include <queue>
#include <tuple>
#include <cmath>
#include <bitset>
#include <cctype>
#include <set>
#include <map>
#include <numeric>
#include <functional>
#define _overload3(_1,_2,_3,name,...) name
#define _rep(i,n) repi(i,0,n)
#define repi(i,a,b) for(ll i=ll(a);i<ll(b);++i)
#define rep(...) _overload3(__VA_ARGS__,repi,_rep,)(__VA_ARGS__)
#define all(x) (x).begin(),(x).end()
#define PRINT(V) cout << V << "\n"
#define SORT(V) sort((V).begin(),(V).end())
#define RSORT(V) sort((V).rbegin(), (V).rend())
using namespace std;
using ll = long long;
template<class T>bool chmax(T &a, const T &b) { if (a<b) { a=b; return 1; } return 0; }
template<class T>bool chmin(T &a, const T &b) { if (b<a) { a=b; return 1; } return 0; }
inline void Yes(bool condition){ if(condition) PRINT("Yes"); else PRINT("No"); }
template<class itr> void cins(itr first,itr last){
    for (auto i = first;i != last;i++){
        cin >> (*i);
    }
}
template<class itr> void array_output(itr start,itr goal){
    string ans = "",k = " ";
    for (auto i = start;i != goal;i++) ans += to_string(*i)+k;
    if (!ans.empty()) ans.pop_back();
    PRINT(ans);
}
ll gcd(ll a, ll b) {
    return a ? gcd(b%a,a) : b;
}
const ll INF = 1e16;
const ll MOD = 1000000007;
typedef pair<ll,ll> P;
const ll MAX = 200005;
constexpr ll nx[8] = {1,0,-1,0,-1,-1,1,1};
constexpr ll ny[8] = {0,1,0,-1,-1,1,-1,1};
class StronglyConnectedComponents{
    private:
        int siz;
        vector<vector<int>> g,rg;
        vector<int> vs,cmp;
        vector<bool> done;
    public:
        StronglyConnectedComponents(int n){
            siz = n;
            g.resize(n);
            rg.resize(n);
            cmp.resize(n);
        }
        void add_edge(int from,int to){
            g[from].push_back(to);
            rg[to].push_back(from);
        }
        void dfs(int v){
            done[v] = true;
            for(int u:g[v]){
                if (!done[u]) dfs(u);
            }
            vs.push_back(v);
        }
        void rdfs(int v,int k){
            done[v] = true;
            cmp[v] = k;
            for(int u:rg[v]){
                if (!done[u]) rdfs(u,k);
            }
        }
        int scc(){
            done.assign(siz,false);
            rep(v,siz) if (!done[v]) dfs(v);
            done.assign(siz,false);
            int k = 0;
            for (int v = siz-1;v >= 0;v--) if (!done[vs[v]]) rdfs(vs[v],k++);
            return k;
        }
        int operator[](int k){
            return cmp[k];
        }
};
int main(){
    cin.tie(0);
    ios::sync_with_stdio(false);
    ll n;
    cin >> n;
    vector<string> u(n);
    cins(all(u));
    vector<vector<int>> first(52),last(52);
    rep(i,n){
        if (u[i][0] <= 'Z') first[26+(u[i][0]-'A')].push_back(i);
        else first[(u[i][0]-'a')].push_back(i);
        if (u[i][2] <= 'Z') last[26+(u[i][2]-'A')].push_back(i);
        else last[(u[i][2]-'a')].push_back(i);
    }
    rep(i,52){
        if ((int)first[i].size() > 52*52 || (int)last[i].size() > 52*52){
            PRINT("Impossible");
            return 0;
        }
    }
    StronglyConnectedComponents g(2*n);
    rep(i,52){
        rep(a,first[i].size()-1){
            rep(b,a+1,first[i].size()){
                int j = first[i][a],k = first[i][b];
                string s = u[j];
                string t = u[k];
                if (s[0] == t[0] || s.substr(1,2) == t.substr(1,2)){
                    g.add_edge(j,k+n);
                    g.add_edge(k,j+n);
                }
                if (s[0] == t[2] || s.substr(1,2) == t.substr(0,2)){
                    g.add_edge(j,k);
                    g.add_edge(k+n,j+n);
                }
                if (s[2] == t[0] || s.substr(0,2) == t.substr(1,2)){
                    g.add_edge(k,j);
                    g.add_edge(j+n,k+n);
                }
                if (s[2] == t[2] || s.substr(0,2) == t.substr(0,2)){
                    g.add_edge(j+n,k);
                    g.add_edge(k+n,j);
                }
            }
        }
        rep(a,last[i].size()-1){
            rep(b,a+1,last[i].size()){
                int j = last[i][a],k = last[i][b];
                string s = u[j];
                string t = u[k];
                if (s[0] == t[0] || s.substr(1,2) == t.substr(1,2)){
                    g.add_edge(j,k+n);
                    g.add_edge(k,j+n);
                }
                if (s[0] == t[2] || s.substr(1,2) == t.substr(0,2)){
                    g.add_edge(j,k);
                    g.add_edge(k+n,j+n);
                }
                if (s[2] == t[0] || s.substr(0,2) == t.substr(1,2)){
                    g.add_edge(k,j);
                    g.add_edge(j+n,k+n);
                }
                if (s[2] == t[2] || s.substr(0,2) == t.substr(0,2)){
                    g.add_edge(j+n,k);
                    g.add_edge(k+n,j);
                }
            }
        }
        rep(a,first[i].size()){
            rep(b,last[i].size()){
                int j = first[i][a],k = last[i][b];
                if (j == k) continue;
                string s = u[j];
                string t = u[k];
                if (s[0] == t[0] || s.substr(1,2) == t.substr(1,2)){
                    g.add_edge(j,k+n);
                    g.add_edge(k,j+n);
                }
                if (s[0] == t[2] || s.substr(1,2) == t.substr(0,2)){
                    g.add_edge(j,k);
                    g.add_edge(k+n,j+n);
                }
                if (s[2] == t[0] || s.substr(0,2) == t.substr(1,2)){
                    g.add_edge(k,j);
                    g.add_edge(j+n,k+n);
                }
                if (s[2] == t[2] || s.substr(0,2) == t.substr(0,2)){
                    g.add_edge(j+n,k);
                    g.add_edge(k+n,j);
                }
            }
        }
    }
    g.scc();
    rep(i,n){
        if (g[i] == g[i+n]){
            PRINT("Impossible");
            return 0;
        }
    }
    rep(i,n){
        if (g[i] > g[i+n]){
            cout << u[i][0] << " " << u[i].substr(1,2) << '\n';
        }
        else{
            cout << u[i].substr(0,2) << " " << u[i][2] << '\n';
        }
    }
}
0