AT_arc165_d [ARC165D] Substring Comparison

考虑字典序的性质。

我们维护当前的 $a_i,c_i$ 表示判断 $a_i$ 是否 $<c_i$，连边。

tarjan 判环，如果是一个环，说明环上所有点都相等。

注意，我们连边是对两个点的环进行连边。

对于一个限制，如果当前的 $a_i,c_i$ 都在环上，即前缀都相等，那么 $a_i,c_i$ 都往下跳一位，说明我们判断下一位的关系。

最后跑完某个区间判断有无解即可。

如果 tarjan 时没有新的环合并，那么结束。