Logo Infinity Online Judge

InfOJ

时间限制:1 s 空间限制:512 MB

#60. 条件

统计

题目描述

给出一个 $n$ 个点的有向图,其中有 $m_1$ 条边一定存在,$m_2$ 条边一定不存在,其他 $n(n-1)-m_1-m_2$ 条边可能存在。

$q$ 次询问:

  1. $x$ 是否一定可达 $y$。
  2. $x$ 是否可能可达 $y$。

输入格式

第一行四个正整数 $n,m_1,m_2,q$。

接下来 $m_1$ 行,每行两个正整数 $x,y$,描述一条存在的边。

接下来 $m_2$ 行,每行两个正整数 $x,y$,描述一条不存在的边。

接下来 $q$ 行,每行两个正整数 $x,y$,描述一个询问。

输出格式

输出 $q$ 行,每行两个字符串,均为 Yes 或者 No,第一个表示问题一的答案,第二个表示问题二的答案。

样例

样例输入

4 4 3 7
1 2
2 4
2 3
3 2
4 3
4 2
4 1
1 2
3 1
4 1
2 4
3 4
2 3
1 1

样例输出

Yes Yes
No Yes
No No
Yes Yes
Yes Yes
Yes Yes
Yes Yes

数据范围

保证:$1\le n\le 10^3$,$0\le m_1,m_2\le m_1+m_2\le n(n-1)$,$1\le q\le 2\times 10^5$,给出的条件不矛盾,不存在自环。