Implement the Burrows-Wheeler data compression algorithm. This revolutionary algorithm outcompresses gzip and PKZIP, is relatively easy to implement, and is not protected by any patents. It forms the basis of the Unix compression utililty bzip2.
The Burrows-Wheeler compression algorithm consists of three algorithmic components, which are applied in succession:
Binary input and binary output. To enable that your programs work with binary data, you will use the libraries BinaryStdIn.java and BinaryStdOut.java described in Algorithms, 4th edition. To display the binary output when debugging, you can use HexDump.java, which takes a command-line argument N, reads bytes from standard input and writes them to standard output in hexadecimal, N per line.
Note that 'A' is 41 (hex) in ASCII.% more abra.txt ABRACADABRA! % java HexDump 16 < abra.txt 41 42 52 41 43 41 44 41 42 52 41 21 96 bits
Huffman encoding and decoding. Huffman.java (Program 5.10 in Algorithms, 4th edition) implements the classic Huffman compression and expansion algorithms.
% java Huffman - < abra.txt | java HexDump 16 50 4a 22 43 43 54 a8 40 00 00 01 8f 96 8f 94 120 bits
You will not write any code for this step.% java Huffman - < abra.txt | java Huffman + ABRACADABRA!
Move-to-front encoding and decoding. The main idea of move-to-front encoding is to maintain an ordered sequence of all of the characters, and repeatedly read in characters from the input message, print out the position in which that character appears, and move that character to the front. As a simple example, if the initial ordering over a 6-character alphabet is A B C D E F, and we want to encode the input CAAABCCCACCF, then we would update the move-to-front sequences as follows:
If the same character occurs next to each other many times in the input, then many of the output values will be small integers, such as 0, 1, and 2. The extremely high frequency of certain characters makes an ideal scenario for Huffman coding.move-to-front in out ------------- --- --- A B C D E F C 2 C A B D E F A 1 A C B D E F A 0 A C B D E F A 0 A C B D E F B 2 B A C D E F C 2 C B A D E F C 0 C B A D E F C 0 C B A D E F A 2 A C B D E F C 1 C A B D E F C 0 C A B D E F F 5 F C A B D E
% java MoveToFront - < abra.txt | java HexDump 16 41 42 52 02 44 01 45 01 04 04 02 26 96 bits
% java MoveToFront - < abra.txt | java MoveToFront + ABRACADABRA!
The running time of move-to-front encoding and decoding should be proportional to R N in the worst case and proportional to N in practice on inputs that arise when compressing typical English text, where N is the number of characters in the input and R is the alphabet size.public class MoveToFront { // apply move-to-front encoding, reading from standard input and writing to standard output public static void encode() // apply move-to-front decoding, reading from standard input and writing to standard output public static void decode() // if args[0] is '-', apply move-to-front encoding // if args[0] is '+', apply move-to-front decoding public static void main(String[] args) }
Burrows-Wheeler transform. The goal of the Burrows-Wheeler transform is not to compress a message, but rather to transform it into a form that is more amenable to compression. The transform rearranges the characters in the input so that there are lots of clusters with repeated characters, but in such a way that it is still possible to recover the original input. It relies on the following intuition: if you see the letters hen in English text, then most of the time the letter preceding it is t or w. If you could somehow group all such preceding letters together (mostly t's and some w's), then you would have an easy opportunity for data compression.
The Burrows Wheeler transform t[] is the last column in the suffix sorted list, preceded by the row number first in which the original string ABRACADABRA! ends up.i Original Suffixes Sorted Suffixes t -- ----------------------- ----------------------- 0 A B R A C A D A B R A ! ! A B R A C A D A B R A 1 B R A C A D A B R A ! A A ! A B R A C A D A B R 2 R A C A D A B R A ! A B A B R A ! A B R A C A D *3 A C A D A B R A ! A B R A B R A C A D A B R A ! 4 C A D A B R A ! A B R A A C A D A B R A ! A B R 5 A D A B R A ! A B R A C A D A B R A ! A B R A C 6 D A B R A ! A B R A C A B R A ! A B R A C A D A 7 A B R A ! A B R A C A D B R A C A D A B R A ! A 8 B R A ! A B R A C A D A C A D A B R A ! A B R A 9 R A ! A B R A C A D A B D A B R A ! A B R A C A 10 A ! A B R A C A D A B R R A ! A B R A C A D A B 11 ! A B R A C A D A B R A R A C A D A B R A ! A B
Notice how there are 4 consecutive As and 2 consecutive Bs—these clusters make the message easier to compress.3 ARD!RCAAAABB
Note that the integer 3 is represented using 4 bytes (00 00 00 03). The character 'A' is represented by hex 41, the character 'R' by 52, and so forth.% java BurrowsWheeler - < abra.txt | java HexDump 16 00 00 00 03 41 52 44 21 52 43 41 41 41 41 42 42 128 bits
Now, given the next[] array and first, we can reconstruct the original input string because the first character of the ith original suffix is the ith character in the input string. In the example above, since first = 3, we know that the original input string appears in row 3; thus, the original input string starts with 'A' (and ends with '!'). Since next[first] = 7, the next original suffix appears in row 7; thus, the next character in the original input string is 'B'. Since next[next[first]] = 11, the next original suffix appears in row 11; thus, the next character in the original input string is 'R'.i Sorted Suffixes t next -- ----------------------- ---- 0 ! ? ? ? ? ? ? ? ? ? ? A 3 1 A ? ? ? ? ? ? ? ? ? ? R 0 2 A ? ? ? ? ? ? ? ? ? ? D 6 *3 A ? ? ? ? ? ? ? ? ? ? ! 7 4 A ? ? ? ? ? ? ? ? ? ? R 8 5 A ? ? ? ? ? ? ? ? ? ? C 9 6 B ? ? ? ? ? ? ? ? ? ? A 10 7 B ? ? ? ? ? ? ? ? ? ? A 11 8 C ? ? ? ? ? ? ? ? ? ? A 5 9 D ? ? ? ? ? ? ? ? ? ? A 2 10 R ? ? ? ? ? ? ? ? ? ? B 1 11 R ? ? ? ? ? ? ? ? ? ? B 4
However, since 'R' appears twice, it may seem ambiguous whether next[10] = 1 and next[11] = 4, or whether next[10] = 4 and next[11] = 1. Here's the key rule that resolves the apparent ambiguity:i Sorted Suffixes t next -- ----------------------- ---- 0 ! ? ? ? ? ? ? ? ? ? ? A 3 1 A ? ? ? ? ? ? ? ? ? ? R 2 A ? ? ? ? ? ? ? ? ? ? D *3 A ? ? ? ? ? ? ? ? ? ? ! 4 A ? ? ? ? ? ? ? ? ? ? R 5 A ? ? ? ? ? ? ? ? ? ? C 6 B ? ? ? ? ? ? ? ? ? ? A 7 B ? ? ? ? ? ? ? ? ? ? A 8 C ? ? ? ? ? ? ? ? ? ? A 5 9 D ? ? ? ? ? ? ? ? ? ? A 2 10 R ? ? ? ? ? ? ? ? ? ? B 11 R ? ? ? ? ? ? ? ? ? ? B
If sorted row i and j both start with the same character and i < j, then next[i] < next[j].This rule implies next[10] = 1 and next[11] = 4. Why is this rule valid? The rows are sorted so row 10 is lexicographically less than row 11. Thus the ten unknown characters in row 10 must be less than the ten unknown characters in row 11 (since both start with 'R'). We also know that between the two rows that end with 'R', row 1 is less than row 4. But, the ten unknown characters in row 10 and 11 are precisely the first ten characters in rows 1 and 4. Thus, next[10] = 1 and next[11] = 4 or this would contradict the fact that the suffixes are sorted.
Check that the decoder recovers any encoded message.
% java BurrowsWheeler - < abra.txt | java BurrowsWheeler + ABRACADABRA!
The running time of your Burrows-Wheeler encoder should be proportional to N + R in the worst case, excluding the time to sort. The running time of your Burrows-Wheeler decoder should be proportional to N + R in the worst case.public class BurrowsWheeler { // apply Burrows-Wheeler encoding, reading from standard input and writing to standard output public static void encode() // apply Burrows-Wheeler decoding, reading from standard input and writing to standard output public static void decode() // if args[0] is '-', apply Burrows-Wheeler encoding // if args[0] is '+', apply Burrows-Wheeler decoding public static void main(String[] args) }
Analysis. Once you have MoveToFront.java and BurrowsWheeler.java working, compress some of these text files; then, test it on some binary files. Calculate the compression ratio achieved for each file and report the time to compress and expand each file. (Here, compression and expansion consists of applying BurrowsWheeler, MoveToFront, and Huffman in succession.) Finally, determine the order of growth of the running time of each of your encoders and decoders, both in the worst case and on typical Englist text inputs.
Deliverables.
Submit MoveToFront.java and BurrowsWheeler.java
along with any other helper files
needed to run your program (excluding those in stdlib.jar and algs4.jar).
Also submit a readme.txt
and answer all questions.