結果

問題 No.1744 Selfish Spies 1 (à la Princess' Perfectionism)
ユーザー KudeKude
提出日時 2021-11-14 21:58:39
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 2,104 bytes
コンパイル時間 3,035 ms
コンパイル使用メモリ 253,236 KB
実行使用メモリ 22,248 KB
最終ジャッジ日時 2024-05-07 14:06:48
合計ジャッジ時間 5,556 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,812 KB
testcase_01 AC 2 ms
6,944 KB
testcase_02 AC 2 ms
6,940 KB
testcase_03 AC 2 ms
6,940 KB
testcase_04 AC 2 ms
6,944 KB
testcase_05 AC 2 ms
6,940 KB
testcase_06 WA -
testcase_07 WA -
testcase_08 AC 2 ms
6,940 KB
testcase_09 WA -
testcase_10 WA -
testcase_11 AC 2 ms
6,940 KB
testcase_12 WA -
testcase_13 WA -
testcase_14 WA -
testcase_15 WA -
testcase_16 AC 4 ms
6,944 KB
testcase_17 AC 6 ms
6,944 KB
testcase_18 WA -
testcase_19 WA -
testcase_20 AC 2 ms
6,944 KB
testcase_21 AC 3 ms
6,944 KB
testcase_22 WA -
testcase_23 WA -
testcase_24 AC 23 ms
7,048 KB
testcase_25 WA -
testcase_26 AC 4 ms
6,944 KB
testcase_27 WA -
testcase_28 AC 160 ms
22,248 KB
testcase_29 AC 8 ms
6,944 KB
testcase_30 AC 7 ms
6,944 KB
testcase_31 AC 8 ms
6,940 KB
testcase_32 AC 8 ms
6,944 KB
testcase_33 AC 152 ms
22,208 KB
testcase_34 AC 153 ms
22,096 KB
testcase_35 AC 160 ms
22,224 KB
testcase_36 AC 163 ms
22,192 KB
testcase_37 AC 164 ms
22,052 KB
testcase_38 AC 161 ms
22,048 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;
  }

  VVI to(n + m);
  map<P, int> mp;
  rep(i, l) {
    auto e = g.get_edge(i);
    mp[{e.from, e.to}] = mp[{e.to, e.from}] = i;
    if (e.flow) {
      to[e.to].push_back(e.from);
    } else {
      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) if (indeg[i] == 0) {
    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