CF1344C Quantifier Question

### 题目解释
题目要求我们对一组不等式分配逻辑量词（全称量词 $\forall$ 或存在量词 $\exists$），以使整个逻辑公式为真，并且全称量词的数量最大化。我们需要处理的不等式集合可以表示为：
$f(x_1, x_2, \dots , x_n) = (x_{j_1} < x_{k_1}) \land (x_{j_2} < x_{k_2}) \land \cdots \land (x_{j_m} < x_{k_m})$

其中每个 $j_i$ 和 $k_i$ 都是给定的整数，满足 $1 \leq j_i,k_i \leq n $ 且 $j_i \neq k_i$。

我们的任务是找到一个量词分配方案，使得：

$Q_1 x_1,Q_2 x_2, \dots,Q_n x_n,f(x_1,x_2, \dots ,x_n) $
在这个方案中，$Q_i$ 可以是 $\forall$ 或 $\exists$，并且我们要最大化全称量词 $\forall$ 的数量。
如果不存在这样的量词分配方案，使得上述公式为真，则应输出 $-1$。
输出格式要求，如果存在符合条件的量词分配方案，首先输出一个整数，表示最大可能的全称量词 $\forall$ 的数量。然后在下一行输出一个长度为 $n$ 的字符串，其中第 $i$ 个字符是 "$\forall$" 如果 $Q_i$ 应该是全称量词 $\forall$ ，或 "$\exists$" 如果 $Q_i$ 应该是存在量词 $\exists$ 。所有字母都应该是大写的。如果有多种解决方案，可以选择任意一种输出。
### 实现过程
- 把条件转化为边，对于一个限制条件 $\left(j_i ,k_i\right)$，连 $j_i\rightarrow k_i$，