Strict Weak Ordering

Strict Weak Ordering は、比較関数が満たすべき非反射性や推移性などの順序関係です。

CTF では、C++ の std::sort などで比較関数が条件を満たさない場合の未定義動作や異常な並び替えを扱う問題で登場します。