The solution space of sorting with recurring comparison faults
Journal article, 2018

Suppose that n elements shall be sorted by comparisons, but an unknown subset of at most k pairs systematically returns false comparison results. Using a known connection with feedback arc sets in tournaments (FAST), we characterize the solution space of sorting with recurring comparison faults by a FAST enumeration, which represents all information about the order that can be obtained by doing all comparisons. An optimal parameterized enumeration algorithm for FAST also works for the more general chordal graphs, and this fact contributes to the efficiency of our representation. Then, we compute the solution space more efficiently, by fault-tolerant versions of Treesort and Quicksort. For rare faults the
complexity is close to optimal. We propose propose directions of further research, revolving around decision diagrams for sorting with recurring faults.

fixed-parameter tractability

enumeration

feedback arc set

faulty input

sorting

Author

Peter Damaschke

Chalmers, Computer Science and Engineering (Chalmers), Data Science

Theory of Computing Systems

1432-4350 (ISSN) 1433-0490 (eISSN)

Vol. 62 6 1427-1442

Roots

Basic sciences

Subject Categories

Computer Science

DOI

10.1007/s00224-017-9807-4

More information

Latest update

7/3/2018 8