题目描述
给出一个 $n$ 个点的有向图,其中有 $m_1$ 条边一定存在,$m_2$ 条边一定不存在,其他 $n(n-1)-m_1-m_2$ 条边可能存在。
$q$ 次询问:
- $x$ 是否一定可达 $y$。
- $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$,给出的条件不矛盾,不存在自环。