Priority Queues and Permutations
SIAM Journal on Computing
Bounded capacity priority queues
Theoretical Computer Science
Regular closed sets of permutations
Theoretical Computer Science
Hi-index | 5.23 |
Machines whose sole function is to re-order their input data are considered. Every such machine defines a set of allowable input-output pairs of permutations. These sets are studied in terms of the minimal disallowed pairs (the basis). Some allowable sets with small bases are considered including the one defined by a priority queue machine. For more complex machines defined by two or more priority queues in series or parallel, the basis is proved to be infinite.