关于NOIP T3

考场上猜了一个结论，过了所有民间数据，但我不会证明甚至连这为什么是对的都不知道。

有没有人能帮忙看看。

具体就是假设对于任意 $i$ 有 $f_i>g_i$，那么此时对于每个 $y_i$ 都有前面比它大的 $x$，对于每个 $x_i$ 后面都有比它小的 $y$，反之就是对称一下。最后判一下最后一个位置。

时间复杂度 $O(q(n+m))$，甚至不需要询问独立的性质。