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

序列

序列的相等性

\[(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