A relationship that considers two elements equivalent if one can be obtained from the other by a sequence of transformations of the form yzx -> yxz whenever x zxy whenever x ≤ y < z.
Knuth equivalence
置換パターンの研究では、挿入表を解析するために、しばしば単語を yzx→yxz(x ≤ y < z のとき)および xzy→zxy(x < y ≤ z のとき)のような変換で生成される同値関係ごとに分類します。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★