初めに

atcoder.jp 解けなかったので

敗因

$X_i$ := $\lbrack 1, A_i \rbrack$ と $\lbrack 1, B_p \rbrack$ の集合が等しくなるような最小の $p$

$Y_i$ := $\lbrack 1, A_i \rbrack$ と $\lbrack 1, B_p \rbrack$ の集合が等しくなるような最大の $p$

みたいなものを考えて, set の比較が O(1) でできると信じていたので裏切られて TLE. (WA はなぜか分からない) atcoder.jp

サイズだけ考える→重複を抜いたもので考える atcoder.jp

いろいろな別解があるっぽい(User解説がたくさんあったので)

目を通してみて, お勉強するかも?