自己做的时候发现

$A\cong B\iff \forall i,j,|A_i\cap A_j|=|B_i\cap B_j|$

这似乎可以通过（小的）样例，但是我不会优化到足够的复杂度。因此求问是否有正确性和跟题解区结论的练习。