Permutree sorting
arXiv:2007.07802 · doi:10.5802/alco.249
Abstract
Generalizing stack sorting and -sorting for permutations, we define the permutree sorting algorithm. Given two disjoint subsets and of , the -permutree sorting tries to sort the permutation and fails if and only if there are such that contains the subword if and if . This algorithm is seen as a way to explore an automaton which either rejects all reduced expressions of , or accepts those reduced expressions for whose prefixes are all -permutree sortable.
18 pages, 5 figures