zoj 3348

//一点思路都没有 看了别人的解题报告
//我们贪心的让未来DD参加的比赛都赢，且我们可以知道未来每个人最多可以赢几场
//我们预先统计处当前每个点赢了多少场，点对之间还有多少次较量，在后来给出的比赛中我们人为指定一个人赢,并统计该点对场次
//当然DD必须赢，增加源汇点，源到每个点代表了该点赢的次数，点到汇表示该点赢的场次不能超过DD(相等也不行)
//对于每个点对，连一条容量为未来比赛场次的边，那么跑一边最大流表示的是一组可行解当且仅当满流
//可以这么理解中间那些场次的边的如果流经，那么表示原来的结果翻转了，原先赢的那个点不能再赢了，让给对应另个点赢
//还有一种按比赛和球员来建图的，把和DD有关的都去除，都算其赢，然后从源向每个比赛连容量为1，每个比赛向两个队员连容量为1
//每个队员向汇点连容量为w[DD]-w[i]-1，表示最多还能赢的场次，若最大流==比赛个数，则表示可以安排，反之不能，这种方法
//更直观，但是效率肯定没前一种快
#include<iostream>
#include<cstdio>
#include<queue>
#include<string>
#include<map>
using namespace std;
const int V = 55;
const int E = 10010;
struct Edge{
 int u,v,c;
 int next;
}edg[E];
int head[V],dis[V],w[V],a[V][V],stack[V],temp[V];
int n,m,src,End,cnt,e;
map<string,int>hash;
inline void addedge(int u,int v,int c)
{
 edg[e].u = u; edg[e].v = v; edg[e].c = c;
 edg[e].next = head[u]; head[u] = e++;
}
inline void Insert(int u,int v,int c)
{
 addedge(u,v,c);
 addedge(v,u,0);
}
inline int gethash(char str[])
{
 if(hash.find(str) == hash.end())hash[str] = cnt++;
 return hash[str];
}
int bfs()
{
 queue<int>q;
 int now,i,v,c;
 fill(dis,dis + n + 1,-1);
 dis[0] = 0;
 q.push(0);
 while(!q.empty())
 {
  now  = q.front();
  q.pop();
  for(i = head[now]; i != -1; i = edg[i].next)
  {
   v = edg[i].v;
   if(dis[v] == -1 && edg[i].c > 0)
   {
    dis[v] = dis[now] + 1;
    q.push(v);
   }
  }
 }
 return (dis[End] >= 0);
}
int dinic()
{
 int ret = 0,top,t,u,v,i,min;
 while(bfs())
 {
  memcpy(temp,head,sizeof(temp));
  top = 0;u = src;
  while(1)
  {
   if(u == End)
   {
    t = INT_MAX;min = -1;
    for(i = 0; i < top; i++)
    {
     v = stack[i];
     if(t > edg[v].c)
     {
      t = edg[v].c;
      min = i;
     }
    }
    ret += t;
    for(i = 0; i < top; i++)
    {
     v = stack[i];
     edg[v].c -= t;
     edg[v^1].c += t;
    }
    top = min;
    u = edg[stack[top]].u;
   }
   for(i = temp[u]; i != -1; i = edg[i].next)
   {
    v = edg[i].v;
    if(dis[v] == dis[u] + 1 && edg[i].c > 0)
    break;
   }
   if(i != -1)
   {
    stack[top++] = i;
    temp[u] = i;
    u = edg[i].v;
   }
   else
   {
    if(top <= 0)break;
    top--;
    dis[u] = -1;
    u = edg[stack[top]].u;
   }
  }
 }
 return ret;
}
void solve()
{
 int s,t,i,p,j;
 int sum;
 char s1[21],s2[21],s3[21],dd[] = "DD";
 while(scanf("%d %d",&n,&m) != EOF)
 {
  memset(head,-1,sizeof(head)); //这里居然写成sizeof(-1)调试了一个小时  错误方向找错了 晕 太粗心了
  memset(w,0,sizeof(w));memset(a,0,sizeof(a));
  e = src = cnt = sum = 0;End = n;
  hash.clear();
  gethash(dd);
  for(i = 1; i <= m; i++)
  {
   scanf("%s %s %s",s1,s2,s3);
   s = gethash(s1);
   t = gethash(s2);
   if(s3[0] == 'w')
   w[s]++;
   else
   w[t]++;
  }
  scanf("%d",&p);
  for(i = 1; i <= p; i++)
  {
   scanf("%s %s",s1,s2);
   s = gethash(s1);
   t = gethash(s2);
   if(s > t)swap(s,t);
   w[s]++;a[s][t]++;
  }
  if(w[0] == 0)
  {
   puts((n == 1) ? "Yes" : "No");
   continue;
  }
  for(i = 1; i < n; i++)
  {
   sum += w[i];
   Insert(src,i,w[i]);
   Insert(i,End,w[0] - 1);
   for(j = i + 1; j < n; j++)
   {
    if(a[i][j])Insert(i,j,a[i][j]);
   }
  }
  puts((dinic() == sum) ? "Yes" : "No");
 }
}
int main()
{
 solve();
 return 0;
}