那些题解中不会着重说明的充要条件

· · 算法·理论

序列

序列的相等性

(a_1, a_2, \dots, a_n) = (b_1, b_2, \dots, b_m) \\ \iff \\ \forall x \in \{ a_i \mid i \in [n] \} \cup \{ b_j \mid j \in [m] \}, \, \{ i \in [n] \mid a_i \geq x \} = \{ j \in [m] \mid b_j \geq x \}

应用

CF1699C