### 题目解释
题目要求我们对一组不等式分配逻辑量词(全称量词 $\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$,