Problem:
MathJax.Hub.Config({ tex2jax: { inlineMath: [["$","$"], ["\\(","\\)"]], processEscapes: true }});

Problem F
Three Kingdoms of Bourdelot

You are an archaeologist at the Institute for Cryptic Pedigree Charts, specialized in the study of the ancient Three Kingdoms of Bourdelot. One day, you found a number of documents on the dynasties of the Three Kingdoms of Bourdelot during excavation of an ancient ruin. Since the early days of the Kingdoms of Bourdelot are veiled in mystery and even the names of many kings and queens are lost in history, the documents are expected to reveal the blood relationship of the ancient dynasties.

The documents have lines, each of which consists of a pair of names, presumably of ancient royal family members. An example of a document with two lines follows.

Alice Bob
Bob Clare

Lines should have been complete sentences, but the documents are heavily damaged and therefore you can read only two names per line. At first, you thought that all of those lines described the true ancestor relations, but you found that would lead to contradiction. Later, you found that some documents should be interpreted negatively in order to understand the ancestor relations without contradiction. Formally, a document should be interpreted either as a positive document or as a negative document.

In a positive document, the person on the left in each line is an ancestor of the person on the right in the line. If the document above is a positive document, it should be interpreted as "Alice is an ancestor of Bob, and Bob is an ancestor of Clare".

In a negative document, the person on the left in each line is NOT an ancestor of the person on the right in the line. If the document above is a negative document, it should be interpreted as "Alice is NOT an ancestor of Bob, and Bob is NOT an ancestor of Clare".

A single document can never be a mixture of positive and negative parts. The document above can never read "Alice is an ancestor of Bob, and Bob is NOT an ancestor of Clare".

You also found that there can be ancestor-descendant pairs that didn't directly appear in the documents but can be inferred by the following rule: For any persons $x$, $y$ and $z$, if $x$ is an ancestor of $y$ and $y$ is an ancestor of $z$, then $x$ is an ancestor of $z$. For example, if the document above is a positive document, then the ancestor-descendant pair of "Alice Clare" is inferred.

You are interested in the ancestry relationship of two royal family members. Unfortunately, the interpretation of the documents, that is, which are positive and which are negative, is unknown. Given a set of documents and two distinct names $p$ and $q$, your task is to find an interpretation of the documents that does not contradict with the hypothesis that $p$ is an ancestor of $q$. An interpretation of the documents contradicts with the hypothesis if and only if there exist persons $x$ and $y$ such that we can infer from the interpretation of the documents and the hypothesis that

$x$ is an ancestor of $y$ and $y$ is an ancestor of $x$, or

$x$ is an ancestor of $y$ and $x$ is not an ancestor of $y$.

We are sure that every person mentioned in the documents had a unique single name, i.e., no two persons have the same name and one person is never mentioned with different names.

When a person A is an ancestor of another person B, the person A can be a parent, a grandparent, a great-grandparent, or so on, of the person B. Also, there can be persons or ancestor-descendant pairs that do not appear in the documents. For example, for a family tree shown in Figure F.1, there can be a positive document:

A H
B H
D H
F H
E I

where persons C and G do not appear, and the ancestor-descendant pairs such as "A E", "D F", and "C I" do not appear.

Figure F.1. A Family Tree

Input

The input consists of a single test case of the following format.

$p$ $q$

$n$

$c_1$

.

.

.

$c_n$

The first line of a test case consists of two distinct names, $p$ and $q$, separated by a space. The second line of a test case consists of a single integer $n$ that indicates the number of documents. Then the descriptions of $n$ documents follow.

The description of the $i$-th document $c_i$ is formatted as follows:

$m_i$

$x_{i,1}$ $y_{i,1}$

.

.

.

$x_{i,m_i}$ $y_{i,m_i}$

The first line consists of a single integer $m_i$ that indicates the number of pairs of names in the document. Each of the following $m_i$ lines consists of a pair of distinct names $x_{i,j}$ and $y_{i,j}$ ($1 \leq j \leq m_i$), separated by a space.

Each name consists of lowercase or uppercase letters and its length is between 1 and 5, inclusive.

A test case satisfies the following constraints.

$1 \leq n \leq 1000$.

$1 \leq m_i$.

$\sum^{n}_{i=1} m_i \leq 100000$, that is, the total number of pairs of names in the documents does not exceed 100000.

The number of distinct names that appear in a test case does not exceed 300.

Output

Output "Yes" (without quotes) in a single line if there exists an interpretation of the documents that does not contradict with the hypothesis that $p$ is an ancestor of $q$. Output "No", otherwise.

Sample Input 1

Alice Bob
3
2
Alice Bob
Bob Clare
2
Bob Clare
Clare David
2
Clare David
David Alice

Sample Output 1

No

Sample Input 2

Alice David
3
2
Alice Bob
Bob Clare
2
Bob Clare
Clare David
2
Clare David
David Alice

Sample Output 2

Yes

Sample Input 3

Alice Bob
1
2
Clare David
David Clare

Sample Output 3

Yes

Solution in C++11 (judge verdict: Accepted)

#include <bits/stdc++.h>
#define int long long
#define N 310
using namespace std;
const int mod = (1e9)+7;
const double EPS = 1e-8;
const double PI = 6.0 * asin(0.5);
template<class T> T Max(T &a,T b){return a=max(a,b);}
template<class T> T Min(T &a,T b){return a=min(a,b);}

typedef pair<int,int> P;
vector<int> G[N];
int g[N][N],can[N][N];
unordered_set<int> childs[N];

void addChild(int pos,int start,int flag = 0){
  if((!flag && childs[pos].count(start))) return;
  if(pos != start) childs[pos].insert(start);
  can[pos][start] = 1;
  can[start][pos] = -1;
  for(int to:G[pos]) addChild(to,start);
}

void merge(vector<P> &A,vector<P> &B,vector<P> &C,int c){
  if(c == 1) {
    for(P c:C) G[c.second].push_back(c.first), g[c.second][c.first] = 1;
    vector<int> used(N,0);
    for(P c:C){
      if(used[c.second]++) continue;
      addChild(c.second,c.second,1);
      for(auto to:childs[c.second]){
        if(used[to]++) continue;
        addChild(c.second,to,1);
      }
    }
  }
  
  if(c == -1){
    for(P c:C) B.push_back(c);
    for(P c:C) can[c.first][c.second] = -1;
  }
}

signed main(){
  string a,b;
  cin>>a>>b;
  map<string,int> idx;
  int num = 0; idx[a] = num++, idx[b] = num++;
  int n;
  cin>>n;

  map<P,unordered_set<int> > DB;
  vector<vector<P> > rule;
  for(int i=0;i<n;i++){
    int m;
    cin>>m;
    vector<P> g(m);
    for(int j=0;j<m;j++){
      string a,b;
      cin>>a>>b;
      if(!idx.count(a)) idx[a] = num++;
      if(!idx.count(b)) idx[b] = num++;
      int na = idx[a],nb = idx[b];
      g[j] = P(na,nb);
      DB[P(na,nb)].insert(i);
    }
    rule.push_back(g);
  }
  
  vector<P> A({P(idx[a],idx[b])}),B;
  G[idx[b]].push_back(idx[a]);
  childs[idx[a]].insert(idx[b]);
  
  int K = idx.size();
  vector<int> used(n,0);
  can[idx[a]][idx[b]] = 1;
  can[idx[b]][idx[a]] = -1;

  int update = 1;    
  while(update){
    update = 0;
    for(int i=0;i<K;i++)
      for(int j=0;j<K;j++){
        if(i == j || can[i][j] == 0 || !DB.count(P(i,j))) continue;
        unordered_set<int> &db = DB[P(i,j)];
        for(auto idx:db){
          if(used[idx]++) continue;
          update = 1;
          merge(A,B,rule[idx],can[i][j]);
        }
        DB.erase(P(i,j));
      }
  }
  int ans = 1;
  for(int k=0;k<K;k++)
    for(int i=0;i<K;i++)
      for(int j=0;j<K;j++) g[i][j] |= (g[i][k] && g[k][j]);
  
  for(int i=0;i<K;i++) ans &= (g[i][i] == 0);
  for(P b:B) ans &= !childs[b.first].count(b.second);
  cout<<(ans? "Yes":"No")<<endl;
  
  return 0;
}