結果

問題 No.1744 Selfish Spies 1 (à la Princess' Perfectionism)
ユーザー KudeKude
提出日時 2021-11-14 22:23:16
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 257 ms / 5,000 ms
コード長 2,543 bytes
コンパイル時間 3,731 ms
コンパイル使用メモリ 252,088 KB
実行使用メモリ 22,320 KB
最終ジャッジ日時 2023-08-20 07:18:40
合計ジャッジ時間 7,505 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge13
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,376 KB
testcase_01 AC 2 ms
4,380 KB
testcase_02 AC 1 ms
4,376 KB
testcase_03 AC 1 ms
4,376 KB
testcase_04 AC 1 ms
4,380 KB
testcase_05 AC 1 ms
4,376 KB
testcase_06 AC 1 ms
4,380 KB
testcase_07 AC 2 ms
4,376 KB
testcase_08 AC 2 ms
4,376 KB
testcase_09 AC 2 ms
4,376 KB
testcase_10 AC 2 ms
4,380 KB
testcase_11 AC 2 ms
4,376 KB
testcase_12 AC 3 ms
4,380 KB
testcase_13 AC 2 ms
4,376 KB
testcase_14 AC 3 ms
4,380 KB
testcase_15 AC 4 ms
4,380 KB
testcase_16 AC 4 ms
4,376 KB
testcase_17 AC 6 ms
4,380 KB
testcase_18 AC 6 ms
4,384 KB
testcase_19 AC 2 ms
4,376 KB
testcase_20 AC 2 ms
4,380 KB
testcase_21 AC 3 ms
4,380 KB
testcase_22 AC 2 ms
4,380 KB
testcase_23 AC 2 ms
4,380 KB
testcase_24 AC 27 ms
6,976 KB
testcase_25 AC 4 ms
4,376 KB
testcase_26 AC 4 ms
4,380 KB
testcase_27 AC 8 ms
4,380 KB
testcase_28 AC 245 ms
21,956 KB
testcase_29 AC 8 ms
4,488 KB
testcase_30 AC 8 ms
4,500 KB
testcase_31 AC 8 ms
4,548 KB
testcase_32 AC 8 ms
4,560 KB
testcase_33 AC 247 ms
22,016 KB
testcase_34 AC 227 ms
22,320 KB
testcase_35 AC 242 ms
21,904 KB
testcase_36 AC 250 ms
21,860 KB
testcase_37 AC 237 ms
21,728 KB
testcase_38 AC 257 ms
21,848 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<bits/stdc++.h>
namespace {
#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wunused-function"
#include<atcoder/all>
#pragma GCC diagnostic pop
using namespace std;
using namespace atcoder;
#define rep(i,n)for (int i = 0; i < int(n); ++i)
#define rrep(i,n)for (int i = int(n)-1; i >= 0; --i)
#define all(x) (x).begin(), (x).end()
#define rall(x) (x).rbegin(), (x).rend()
template<class T> void chmax(T& a, const T& b) { a = max(a, b); }
template<class T> void chmin(T& a, const T& b) { a = min(a, b); }
using ll = long long;
using P = pair<int,int>;
using VI = vector<int>;
using VVI = vector<VI>;
using VL = vector<ll>;
using VVL = vector<VL>;

} int main() {
  ios::sync_with_stdio(false);
  cin.tie(0);
  int n, m, l;
  cin >> n >> m >> l;
  int s = n + m, t = s + 1;
  mf_graph<int> g(t + 1);
  rep(i, l) {
    int s, t;
    cin >> s >> t;
    s--, t--;
    g.add_edge(s, n + t, 1);
  }
  rep(i, n) g.add_edge(s, i, 1);
  rep(i, m) g.add_edge(n + i, t, 1);
  g.flow(s, t);
  scc_graph scc(n + m);
  // VVI to(n + m);
  VI ans(l);
  rep(i, l) {
    auto e = g.get_edge(i);
    if (e.flow) {
      scc.add_edge(e.to, e.from);
    } else {
      ans[i] = true;
      scc.add_edge(e.from, e.to);
    }
  }
  auto cs = scc.scc();
  dsu uf(n + m);
  for(auto c: cs) {
    int l = c[0];
    for(int x: c) uf.merge(x, l);
  }
  rep(i, l) {
    auto e = g.get_edge(i);
    if (uf.same(e.from, e.to)) ans[i] = true;
  }

  auto min_cut = g.min_cut(s);
  VVI to(n + m);
  map<P, int> mp;
  rep(i, l) {
    auto e = g.get_edge(i);
    if (min_cut[e.from] != min_cut[e.to]) continue;
    mp[{e.from, e.to}] = mp[{e.to, e.from}] = i;
    if (!min_cut[e.from] ^ e.flow) {
      to[e.to].push_back(e.from);
      // cout << e.to << ' ' << e.from << endl;
    } else {
      // cout << e.from << ' ' << e.to << endl;
      to[e.from].push_back(e.to);
    }
  }
  VI indeg(n + m);
  rep(i, n + m) for(int j: to[i]) indeg[j]++;
  VI st;
  VI visited(n + m);
  rep(i, n + m) {
    if (min_cut[i]) {
      if (i < n && indeg[i] == 0) {
        // cout << "aa" << endl;
        st.push_back(i);
        visited[i] = true;
      }
    } else {
      if (i >= n && indeg[i] == 0) {
        // cout << "bb" << endl;
        st.push_back(i);
        visited[i] = true;
      }
    }
  }
  while(st.size()) {
    int u = st.back(); st.pop_back();
    for(int v: to[u]) {
      ans[mp[{u, v}]] = true;
      if (!visited[v]) {
        visited[v] = true;
        st.push_back(v);
      }
    }
  }
  rep(i, l) cout << (ans[i] ? "Yes\n" : "No\n");
}
0