999ms

Untitled

Oct 23rd, 2021
620
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<int> from;
  38.   vector<vector<pair<int, int>>> edges(n);
  39.  
  40.   for (int i = 0; i < n; i++) {
  41.     auto &v = edges[i];
  42.     int k;
  43.     cin >> k;
  44.     v.resize(k);
  45.     for (auto&[l, r]: v) {
  46.       l = rs();
  47.       r = rs();
  48.       indexes[l][r].push_back(i);
  49.     }
  50.   }
  51.  
  52.   if (indexes[f][t].empty()) {
  53.     YES();
  54.   }
  55.  
  56.   vector<bool> used(n);
  57.   vector<int> q = indexes[f][t];
  58.  
  59.  
  60.   int sz = (int) mp.size();
  61.  
  62.   auto fill_edges = [&](int x, int y) {
  63.     auto &v = indexes[x][y];
  64.     for (int &i: v) {
  65.       if (!used[i]) {
  66.         q.push_back(i);
  67.         used[i] = true;
  68.       }
  69.     }
  70.     v.clear();
  71.   };
  72.  
  73.   auto relax = [&](vector<pair<int, int>> &e) {
  74.     vector<pair<int, int>> cur, rev;
  75.     for (auto[fr, to]: e) {
  76.       cur.emplace_back(fr, to);
  77.       rev.emplace_back(fr, to);
  78.     }
  79.  
  80.     for (int i = 0; i < int(cur.size()); i++) {
  81.       auto[fr, to] = cur[i];
  82.       for (int nxt = 0; nxt < sz; nxt++) {
  83.         if (g[to][nxt] && !g[fr][nxt]) {
  84.           g[fr][nxt] = true;
  85.           fill_edges(fr, nxt);
  86.           cur.emplace_back(fr, nxt);
  87.         }
  88.       }
  89.     }
  90.  
  91.     for (int i = 0; i < int(rev.size()); i++) {
  92.       auto[fr, to] = rev[i];
  93.       for (int pre = 0; pre < sz; pre++) {
  94.         if (g[pre][fr] && !g[pre][to]) {
  95.           g[pre][to] = true;
  96.           fill_edges(pre, to);
  97.           rev.emplace_back(pre, to);
  98.         }
  99.       }
  100.     }
  101.   };
  102.  
  103.   for (int i = 0; i < int(q.size()); i++) {
  104.     int v = q[i];
  105.     used[v] = true;
  106.     vector<pair<int, int>> e;
  107.     for (auto[x, y]: edges[v]) {
  108.       if (!g[x][y]) {
  109.         g[x][y] = true;
  110.         fill_edges(x, y);
  111.         e.emplace_back(x, y);
  112.       }
  113.     }
  114.     relax(e);
  115.   }
  116.  
  117.   for (int i = 0; i < sz; i++) {
  118.     for (int j = 0; j < sz; j++) {
  119.       if (g[i][j] && g[j][i] && i != j) {
  120.         NO();
  121.       }
  122.     }
  123.   }
  124.  
  125.   for (int i = 0; i < n; i++) {
  126.     if (!used[i]) {
  127.       for (auto [x, y] : edges[i]) {
  128.         if (g[x][y]) {
  129.           NO();
  130.         }
  131.       }
  132.     }
  133.   }
  134.  
  135.   YES();
  136. }
  137.  
  138. int main() {
  139.   ios_base::sync_with_stdio(false);
  140.   cin.tie(nullptr);
  141.   solve();
  142. }
RAW Paste Data