思路是如果 $x_a\leq x_b$ 且 $y_a\leq y_b$，就连一条 $x\rightarrow y$ 的单向边。可以证明，不存在环，这是一张 DAG。

直接广搜找最长链即可，考场样例 + 自出样例全过，极限数据 0.4s，但是 WA 30pts，代码我拿到之后发帖。