結果

問題 No.470 Inverse S+T Problem
ユーザー nok0nok0
提出日時 2020-08-14 11:21:47
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 17 ms / 2,000 ms
コード長 5,945 bytes
コンパイル時間 2,569 ms
コンパイル使用メモリ 217,744 KB
実行使用メモリ 6,744 KB
最終ジャッジ日時 2023-08-24 01:39:28
合計ジャッジ時間 4,145 ms
ジャッジサーバーID
(参考情報)
judge11 / judge15
このコードへのチャレンジ(β)

テストケース

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

ソースコード

diff #

#include<bits/stdc++.h>
using namespace std;
#pragma region Macros
#define ll long long
#define ld long double
#define FOR(i,l,r) for(ll i=(l);i<(r);++i)
#define REP(i,n) FOR(i,0,n)
#define REPS(i,n) FOR(i,1,n+1)
#define RFOR(i,l,r) for(ll i=(l);i>=(r);--i)
#define RREP(i,n) RFOR(i,n-1,0)
#define RREPS(i,n) RFOR(i,n,1)
#define pb push_back
#define eb emplace_back
#define SZ(x) ((ll)(x).size())
#define all(x) (x).begin(),(x).end()
#define rall(x) (x).rbegin(),(x).rend()
template<class T = ll> using V = vector<T>;
template<class T = ll> using VV = V<V<T>>;
using P = pair<ll, ll>;
using Graph = VV<>;
#define ios\
    ios::sync_with_stdio(false);\
    cin.tie(nullptr);
#define VEC(type, name, size)\
    V<type> name(size);\
    IN(name)
#define VVEC(type, name, h, w)\
    VV<type> name(h, V<type>(w));\
    IN(name)
#define INT(...)\
    int __VA_ARGS__;\
    IN(__VA_ARGS__)
#define LL(...)\
    ll __VA_ARGS__;\
    IN(__VA_ARGS__)
#define STR(...)\
    string __VA_ARGS__;\
    IN(__VA_ARGS__)
#define CHAR(...)\
    char __VA_ARGS__;\
    IN(__VA_ARGS__)
#define DOUBLE(...)\
    DOUBLE __VA_ARGS__;\
    IN(__VA_ARGS__)
#define LD(...)\
    LD __VA_ARGS__;\
    IN(__VA_ARGS__)
template <class T> void scan(T a) { cin >> a; }
void scan(int &a) { cin >> a; }
void scan(long long &a) { cin >> a; }
void scan(char &a) { cin >> a; }
void scan(double &a) { cin >> a; }
void scan(long double &a) { cin >> a; }
void scan(char a[]) { scanf("%s", a); }
void scan(string &a) { cin >> a; }
template <class T> void scan(V<T> &);
template <class T, class L> void scan(pair<T, L> &);
template <class T> void scan(V<T> &a) { for(auto &i : a) scan(i); }
template <class T, class L> void scan(pair<T, L> &p){ scan(p.first); scan(p.second); }
template <class T> void scan(T &a) { cin >> a; }
void IN() {}
template <class Head, class... Tail> void IN(Head &head, Tail &... tail) { scan(head); IN(tail...); }
template <class T> inline void print(T x){ cout << x << '\n';}
template <class T> V<T> press(V<T> &x){ 
    V<T> res = x;
    sort(all(res));
    res.erase(unique(all(res)), res.end());
    REP(i, SZ(x)){
        x[i] = lower_bound(all(res), x[i]) - res.begin();
    }
    return res;
}
template<class T> inline bool chmin(T& a, T b) {if (a > b) {a = b; return true; }return false; }
template<class T> inline bool chmax(T& a, T b) {if (a < b) {a = b; return true; }return false; }
inline void Yes(bool b = true) {cout << (b ? "Yes" : "No") << '\n';}
inline void YES(bool b = true) {cout << (b ? "YES" : "NO") << '\n';}
inline void err(bool b = true) {if(b) {cout << -1 << '\n'; exit(0);}}
template<class T> inline void fin(bool b = true, T e = 0) {if(b) {cout << e << '\n'; exit(0);}}
template<class T> T Roundup_div(T x, T y) {return (x+(y-1))/y;}
template <typename T> T pow(T a, long long n, T e = 1) {T ret = e; while (n) {if (n & 1) ret *= a; a *= a; n >>= 1; } return ret; }
const ll INF = 1e18;
#pragma endregion

struct SCC{
    const Graph &g;
    Graph ng, rg;
    V<> compo, order, used;

    //g:元のグラフ, ret:強連結成分分解後のグラフ
    SCC(Graph &g, Graph &ret) : g(g), ng(SZ(g)), rg(SZ(g)), compo(SZ(g), -1), used(SZ(g)){
        REP(i, SZ(g)){
            for(auto v : g[i]){
                ng[i].pb(v);
                rg[v].pb(i);
            }
        }
        build(ret);
    }

    ll operator[](ll k){ return compo[k];}

    void dfs(ll now){
        if(used[now]) return;
        used[now] = true;
        for(auto to : ng[now]) dfs(to);
        order.eb(now);
    }

    void rdfs(ll now, ll count){
        if(compo[now] != -1) return;
        compo[now] = count;
        for(auto to : rg[now]) rdfs(to, count);
    }

    void build(Graph &ret){
        REP(i, SZ(ng)) dfs(i);
        reverse(rall(order));
        int group = 0;
        for(auto i : order) if(compo[i] == -1) rdfs(i, group), group++;
        ret.resize(group);
        REP(i, SZ(g)){
            for(auto &to : g[i]){
                ll s = compo[i], t = compo[to];
                if(s != t) ret[s].eb(t);
            }
        }
    }
};

struct TwoSat{
    int n;
    Graph g;
    TwoSat(int n) : n(n), g(n * 2){}
    int negate(int v){return (n + v) % (n * 2);}
    void add_if(int u,int v){
        // u -> v <=> !v -> !u
        g[u].pb(v);
        g[negate(v)].pb(negate(u));
    }
    void add_or(int u,int v){
        // u or v <=> !u -> v
        add_if(negate(u), v);
    }
    void add_nand(int u,int v){
        // u nand v <=> u -> !v
        add_if(u, negate(v));
    }
    void set_true(int v){
        //  v <=> !v ->  v
        g[negate(v)].pb(v);
    }
    void set_false(int v){
        // !v <=>  v -> !v
        g[v].pb(negate(v));
    }
    vector<int> build(){
        Graph ret;
        SCC scc(g, ret);
        vector<int> res(n);
        for(int i=0;i<n;i++){
            if(scc[i]==scc[n+i]) return {};
            res[i] = scc[i] > scc[n+i];
        }
        return res;
    }
};

int main(){
    INT(n);
    VEC(string, u, n);
    auto NO=[](){cout<<"Impossible"<<endl;exit(0);};
    if(n>=100) NO();

    TwoSat ts(n);
    for(int i=0;i<n;i++){
        for(int j=0;j<i;j++){
        auto &as=u[i];
        auto &bs=u[j];
        if(as[0]==bs[0]&&as[1]==bs[1])
            ts.add_nand(i,j);
        if(as[0]==bs[1]&&as[1]==bs[2])
            ts.add_nand(i,ts.negate(j));

        if(as[1]==bs[0]&&as[2]==bs[1])
            ts.add_nand(ts.negate(i),j);

        if(as[1]==bs[1]&&as[2]==bs[2])
            ts.add_nand(ts.negate(i),ts.negate(j));

        if(as[0]==bs[0]) ts.add_nand(ts.negate(i),ts.negate(j));
        if(as[0]==bs[2]) ts.add_nand(ts.negate(i),j);
        if(as[2]==bs[0]) ts.add_nand(i,ts.negate(j));
        if(as[2]==bs[2]) ts.add_nand(i,j);
        }
    }

    auto res=ts.build();
    if(res.empty()) NO();

    for(int i=0;i<n;i++){
        if(res[i]) cout<<u[i][0]<<u[i][1]<<" "<<u[i][2]<<endl;
        else cout<<u[i][0]<<" "<<u[i][1]<<u[i][2]<<endl;
    }
    return 0;
}
0