999ms

Untitled

Oct 23rd, 2021
676
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. #include <bits/stdc++.h>
  2.  
  3. #define all(x) begin(x), end(x)
  4.  
  5. using namespace std;
  6. using ll = long long;
  7.  
  8. map<string, int> mp;
  9.  
  10. int rs() {
  11.   string s;
  12.   cin >> s;
  13.   if (mp.count(s)) return mp[s];
  14.   return mp[s] = (int) mp.size();
  15. }
  16.  
  17. const int N = 303;
  18. bool g[N][N];
  19. vector<int> indexes[N][N];
  20.  
  21. void YES() {
  22.   cout << "Yes\n";
  23.   exit(0);
  24. }
  25.  
  26. void NO() {
  27.   cout << "No\n";
  28.   exit(0);
  29. }
  30.  
  31. void solve() {
  32.   int f = rs();
  33.   int t = rs();
  34.   int n;
  35.   cin >> n;
  36.  
  37.   vector<vector<pair<int, int>>> edges(n);
  38.   vector<bool> used(n);
  39.   for (int i = 0; i < n; i++) {
  40.     auto &v = edges[i];
  41.     int k;
  42.     cin >> k;
  43.     v.resize(k);
  44.     for (auto&[l, r]: v) {
  45.       l = rs();
  46.       r = rs();
  47.       indexes[l][r].push_back(i);
  48.     }
  49.   }
  50.  
  51.   if (indexes[f][t].empty()) {
  52.     YES();
  53.   }
  54.  
  55.   vector<int> q = indexes[f][t];
  56.  
  57.   int sz = (int) mp.size();
  58.  
  59.   auto fill_edges = [&](int x, int y) {
  60.     auto &v = indexes[x][y];
  61.     for (int &i: v) {
  62.       if (!used[i]) {
  63.         q.push_back(i);
  64.         used[i] = true;
  65.       }
  66.     }
  67.     v.clear();
  68.   };
  69.  
  70.   auto relax = [&](vector<pair<int, int>> &e) {
  71.     vector<pair<int, int>> cur, rev;
  72.     for (auto[fr, to]: e) {
  73.       cur.emplace_back(fr, to);
  74.       rev.emplace_back(fr, to);
  75.     }
  76.  
  77.     for (int i = 0; i < int(cur.size()); i++) {
  78.       auto[fr, to] = cur[i];
  79.       for (int nxt = 0; nxt < sz; nxt++) {
  80.         if (g[to][nxt] && !g[fr][nxt]) {
  81.           g[fr][nxt] = true;
  82.           fill_edges(fr, nxt);
  83.           cur.emplace_back(fr, nxt);
  84.         }
  85.       }
  86.     }
  87.  
  88.     for (int i = 0; i < int(rev.size()); i++) {
  89.       auto[fr, to] = rev[i];
  90.       for (int pre = 0; pre < sz; pre++) {
  91.         if (g[pre][fr] && !g[pre][to]) {
  92.           g[pre][to] = true;
  93.           fill_edges(pre, to);
  94.           rev.emplace_back(pre, to);
  95.         }
  96.       }
  97.     }
  98.   };
  99.  
  100.   for (int i = 0; i < int(q.size()); i++) {
  101.     int v = q[i];
  102.     used[v] = true;
  103.     vector<pair<int, int>> e;
  104.     for (auto[x, y]: edges[v]) {
  105.       if (!g[x][y]) {
  106.         g[x][y] = true;
  107.         fill_edges(x, y);
  108.         e.emplace_back(x, y);
  109.       }
  110.     }
  111.     relax(e);
  112.   }
  113.  
  114.   for (int i = 0; i < sz; i++) {
  115.     for (int j = 0; j < sz; j++) {
  116.       if (g[i][j] && g[j][i] && i != j) {
  117.         NO();
  118.       }
  119.     }
  120.   }
  121.  
  122.   YES();
  123. }
  124.  
  125. int main() {
  126.   ios_base::sync_with_stdio(false);
  127.   cin.tie(nullptr);
  128.   solve();
  129. }
RAW Paste Data