Knuth equivalence
Jump to navigation
Jump to search
English[edit]
Etymology[edit]
After Donald Knuth
Noun[edit]
Knuth equivalence (uncountable)
- 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 < y ≤ z or xzy -> zxy whenever x ≤ y < z.