少しの考察をすると、より簡潔なソースコードで解くことができます。

「\(S_i=S_j\) かつ \(T_i=T_j\)」は、入力の \(i\) 行目と \(j\) 行目が等しいということです。「整数対 \((i, j))\) が存在する」とは、「重複がある」ということで、setに変換してサイズが \(N\) 未満かどうかで判定できます。メモリの消費量は増えますが、メモリ制限には充分な余裕があります。

実装例（Python）:

N = int(input())
ST = [input() for _ in range(N)]

print("Yes" if len(set(ST))<N else "No")