平面上有 nnn 个点,求连若干有向边,使得
∀(a,b)(c,d)a⩽c,b⩽d⇔(c,d)可以直接或间接连向(a,b)\forall (a, b)(c, d)\quad a \leqslant c, b \leqslant d \Leftrightarrow (c, d) \text{可以直接或间接连向} (a, b)∀(a,b)(c,d)a⩽c,b⩽d⇔(c,d)可以直接或间接连向(a,b)
可以添加若干个辅助点,间接连向即通过一条有向边组成的路径可以连向,显然该图是一个 DAG
求构造 QAQ