今天写题的时候遇见了这个记号：s.t.，查了一下百度。

s.t.，全称 subject to，意思是“使得……满足”。

比如这个：

意思是存在 $i$，使得 $i$ 满足 $A_i\ne B_i$.

运用这个记号，能够十分简便地表述条件，避免了汉字的繁琐。

注：上图来源是 洛谷[SDOI2015]序列统计。