結果

問題 No.470 Inverse S+T Problem
ユーザー tubo28tubo28
提出日時 2016-12-20 02:07:10
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
MLE  
実行時間 -
コード長 3,966 bytes
コンパイル時間 2,651 ms
コンパイル使用メモリ 197,972 KB
実行使用メモリ 1,617,408 KB
最終ジャッジ日時 2024-12-22 13:22:55
合計ジャッジ時間 74,565 ms
ジャッジサーバーID
(参考情報)
judge1 / judge2
このコードへのチャレンジ
(要ログイン)

テストケース

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

ソースコード

diff #

#include <bits/stdc++.h>
using namespace std;
using ll = long long;
#define rep(i, n) for (int i = 0; i < (int)(n); ++i)
#define all(c) begin(c), end(c)
#define dump(x) cerr << __LINE__ << ":\t" #x " = " << (x) << endl

using Weight = int;
using Cap = int;
struct Edge {
    int src, dst;
    Cap cap;
    Edge(int s, int d, Cap c) : src(s), dst(d), cap(c) {}
};
using Edges = vector<Edge>;
using Graph = vector<Edges>;
using Array = vector<Weight>;
using Matrix = vector<Array>;

struct dinic {
    int n, s, t;
    vector<int> level, prog, que;
    vector<vector<Cap>> cap, flow;
    vector<vector<int>> g;
    Cap inf;
    dinic(const Graph &graph)
        : n(graph.size()),
        cap(n, vector<Cap>(n)),
        flow(n, vector<Cap>(n)),
        g(n, vector<int>()),
        inf(numeric_limits<Cap>::max() / 8) {
        for (int i = 0; i < n; i++) {
            for (auto &e : graph[i]) {
                int u = e.src, v = e.dst;
                Cap c = e.cap;
                cap[u][v] += c;
                cap[v][u] += c;
                flow[v][u] += c;
                g[u].push_back(v);
                g[v].push_back(u);
            }
        }
    }
    inline Cap residue(int u, int v) { return cap[u][v] - flow[u][v]; }
    Cap solve(int s_, int t_) {
        this->t = t_, this->s = s_;
        que.resize(n + 1);
        Cap res = 0;
        while (levelize()) {
            prog.assign(n, 0);
            res += augment(s, inf);
        }
        return res;
    }
    bool levelize() {
        int l = 0, r = 0;
        level.assign(n, -1);
        level[s] = 0;
        que[r++] = s;
        while (l != r) {
            int v = que[l++];
            if (v == t) break;
            for (const int &d : g[v])
                if (level[d] == -1 && residue(v, d) != 0) {
                    level[d] = level[v] + 1;
                    que[r++] = d;
                }
        }
        return level[t] != -1;
    }
    Cap augment(int v, Cap lim) {
        Cap res = 0;
        if (v == t) return lim;
        for (int &i = prog[v]; i < (int)g[v].size(); i++) {
            const int &d = g[v][i];
            if (residue(v, d) == 0 || level[v] >= level[d]) continue;
            const Cap aug = augment(d, min(lim, residue(v, d)));
            flow[v][d] += aug;
            flow[d][v] -= aug;
            res += aug;
            lim -= aug;
            if (lim == 0) break;
        }
        return res;
    }
};

int main() {
    vector<char> alpha;
    for (char c = 'A'; c <= 'Z'; ++c) {
        alpha.push_back(c);
    }
    for (char c = 'a'; c <= 'z'; ++c) {
        alpha.push_back(c);
    }

    vector<string> vs;
    for (char c : alpha) {
        string s = { c };
        vs.push_back(s);
        for (char d : alpha) {
            string t = { c, d };
            vs.push_back(t);
        }
    }

    sort(vs.begin(), vs.end());
    auto id = [&](const string &s) {
        return lower_bound(all(vs), s) - vs.begin();
    };

    int n;
    while (cin >> n) {
        int N = vs.size() * 2 + vs.size() + 2;
        int S = N - 2;
        int T = N - 1;
        Graph g(N); // S->(1->2)*->T
        for (auto &v : vs) {
            if (v.size() == 1) {
                int i = id(v);
                g[S].emplace_back(S, i, 1);
            } else {
                int i = id(v);
                g[i].emplace_back(i, T, 1);
            }
        }

        for (int i = 0; i < n; i++) {
            string abc;
            cin >> abc;
            string a = abc.substr(0, 1);
            string ab = abc.substr(0, 2);
            string bc = abc.substr(1, 2);
            string c = abc.substr(2, 1);
            g[id(a)].emplace_back(id(a), id(bc), 1);
            g[id(c)].emplace_back(id(c), id(ab), 1);
        }

        dinic dn(g);
        int f = dn.solve(S, T);
        if (f >= n) {
            cout << "possible" << endl;
            abort();
        } else {
            cout << "Impossible" << endl;
        }
    }
}
0