标签：图论，拓扑排序。
【7 / 100】
傻逼题意，被硬控 2.5h。
注意变量是从小到大钦定的。
那么一个未知数 \(x_i\) 想要是全称量词，就必须满足其在 DAG 上的前驱后继全都大于 \(i\)（这些在其之后被确定）。使用 toposort 实现。
