In computer science, string sorting algorithms are a special case of sorting algorithms. The input is an array of strings with characters from an alphabet Σ in which the elements are then placed in the correct order.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e7/String_Sorting.png/220px-String_Sorting.png)
Unlike traditional sorting algorithms that deal with atomic keys, string sorting encounters unique challenges. Sorting strings using conventional atomic sorting algorithms, which treat keys as indivisible objects, is inefficient because comparing entire strings can be costly and must be performed numerous times. Efficient string sorting algorithms, in contrast, inspect most characters of the input only once during the entire sorting process and they examine only those characters that are necessary to establish the correct ordering. Another challenge is that strings are represented as arrays of pointers. This representation results in indirect access to string characters, leading to cache faults during the access, even when scanning an array of strings. This is in contrast to sorting atomic keys, where scanning is notably cache efficient. The efficiency of string sorting algorithms depens upon multiple factors, including the size of the dataset (), the distinguishing prefix size of (), which is the minimal number of characters that need to be examined to sort the strings, the number of subproblems (σ), into which the algorithm breaks down the problem, and the underlying hardware. This indicates that no singular algorithm is universally optimal.
Sequential Methods
editMultikey Quicksort
editDeveloped by Bentley and Sedgewick [1], this algorithm is an adaptation of the traditional Quicksort, tailored for string sorting. It uses the character with a common prefix of length h as a splitter, organizing the strings into three distinct arrays based on their character's relation to . The algorithm recurses until the termination condition is met: if termination with . With Insertion Sort as a base case sorter for constant input sizes, multikey quicksort has a complexity of O(D + n log n).
Most Significant Digit (MSD) Radix Sort
editMost Significant Digit (MSD) Radix Sort is especially efficient for sorting large datasets, particularly when the alphabet size is small [2]. The algorithm initiates sorting by examining the (h+1)-th character of each string with as the common prefix, subsequently dividing the dataset into σ distinct subproblems. Each subproblem is then recursively sorted with the common prefix length . This strategy, which is a natural approach to string sorting, has been subject to numerous refinements and improvements across various studies in the literature [3] [4] [5]. The time complexity is O(D) plus the time required for sorting the base cases. For example, with multikey quicksort as the base case sorter MSD Radix Sort has a complexity of O(D + n log σ).
Burstsort
editBurstsort [6] uses a trie[7]-based structure with containers at the leaves for sorting the strings. Upon reaching a predefined threshold, these containers "burst", redistributing the strings into new containers based on their next character. These new containers are then attached to the appropriate child nodes of the trie. The sorting process involves traversing the trie and individually sorting the small containers. Key factors influencing the runtime efficiency of Burstsort include the trie implementation, the design of the containers, the burst threshold, and the chosen base algorithm for sorting the containers. Sinha and Zoble [8] used an array for each trie node and unordered dynamic arrays of string pointers for the leaf containers, with a bursting threshold set at 8192. With this configuration and Multikey Quicksort for sorting the leaves Burstsort has a complexity of O(D + n log σ).
LCP-Mergesort
editLCP-Mergesort is an adaptation of the traditional Mergesort algorithm, which stores and reuses the longest common prefixes (LCPs) of consecutive strings in the sorted subproblems [9]. This strategy enhances the efficiency of string comparisons. In the conventional method the strings and must be compared character-by-character. However, with the LCP information for and relative to another string of similar or smaller size allows the preliminary use of the LCP. If the LCP between and is shorter than that between and , it follows that precedes in lexicographical order due to and sharing a shorter common prefix than and . This also applies symmetrically. LCP-Mergesort has a worst-case time complexity of .
Insertion Sort
editInsertion Sort [10] is frequently used as the base case sorter for small sets of strings. The algorithm stores an ordered array and inserts the unsorted items into their appropriate positions through linear scanning. This method treats strings as atomic units, necessitating full string comparisons during the linear scan to ensure the correct order. It has a worst-case time complexity of . So it is particularly good for small and , due to the cache-efficient manner in which strings are scanned.
Parallel Methods
editThe exploration of parallel string sorting algorithms remains limited, yet it is the only way to get performance out of Moore's Law [11]. The scalability of an algorithm in a parallel computing environment depends on various factors, similar to those affecting sequential methods. Many of the algorithms discussed in the sequential context can be adapted for parallel execution.
References
edit- ^ BENTLEY, Jon L.; SEDGEWICK, Robert. Fast algorithms for sorting and searching strings. In: Proceedings of the eighth annual ACM-SIAM symposium on Discrete algorithms. 1997. S. 360-369.
- ^ KÄRKKÄINEN, Juha; RANTALA, Tommi. Engineering radix sort for strings. In: International Symposium on String Processing and Information Retrieval. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. S. 3-14.
- ^ KÄRKKÄINEN, Juha; RANTALA, Tommi. Engineering radix sort for strings. In: International Symposium on String Processing and Information Retrieval. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. S. 3-14.
- ^ NG, Waihong; KAKEHI, Katsuhiko. Cache efficient radix sort for string sorting. IEICE transactions on fundamentals of electronics, communications and computer sciences, 2007, 90. Jg., Nr. 2, S. 457-466.
- ^ ANDERSSON, Arne; NILSSON, Stefan. Implementing radixsort. Journal of Experimental Algorithmics (JEA), 1998, 3. Jg., S. 7-es.
- ^ SINHA, Ranjan; ZOBEL, Justin. Efficient trie-based sorting of large sets of strings. In: ACSC. 2003. S. 11-18.
- ^ HEINZ, Steffen; ZOBEL, Justin; WILLIAMS, Hugh E. Burst tries: a fast, efficient data structure for string keys. ACM Transactions on Information Systems (TOIS), 2002, 20. Jg., Nr. 2, S. 192-223.
- ^ SINHA, Ranjan; ZOBEL, Justin. Cache-conscious sorting of large sets of strings with dynamic tries. Journal of Experimental Algorithmics (JEA), 2004, 9. Jg., S. 1.5-es.
- ^ NG, Waihong; KAKEHI, Katsuhiko. Merging string sequences by longest common prefixes. IPSJ Digital Courier, 2008, 4. Jg., S. 69-78.
- ^ MCCLELLAN, Michael T.; MINKER, Jack. The art of computer programming, vol. 3: sorting and searching. 1974.
- ^ MOORE, Gordon E. Cramming more components onto integrated circuits. Proceedings of the IEEE, 1998, 86. Jg., Nr. 1, S. 82-85.