Commit bd3aaf80 authored by Filip Stedronsky's avatar Filip Stedronsky
Browse files

Succinct: fixup

parent f261b9c3
......@@ -165,9 +165,7 @@ odd-numbered blocks have smaller alphabets than even-numbered ones. The second
pass runs phase shifted by one block and converts the variable-alphabet blocks
into blocks with alphabet $[B]$.
What is the redundancy of this scheme?
Now we can finally analyze redundancy. Let us count how the number of blocks
What is the redundancy of this scheme? Let us count how the number of blocks
increases throughout the encoding passes:
\tightlist{o}
\: If the original length was a multiple of $b$, we must add one block to complete padding.
......@@ -215,9 +213,9 @@ from the alphabet $(B+1)^2$, output the alphabet $B^2$ and the part of the
information that did not fit into the output is passed as a
``carry''\foot{Sometimes the alternative term {\it spill} is used instead.} to
the next encoding box (similarly to how carrying works when doing addition).
See fig. \figref{sole_boxes}.
See fig. \figref{sole_boxes}. We will also call these boxes {\it mixers}.
\figure[sole_boxes]{sole_boxes.pdf}{}{SOLE interpreted as a chain of encoding boxes}
\figure[sole_boxes]{sole_boxes.pdf}{}{SOLE interpreted as a chain of mixers}
The start and end of the encoding are irregular, but we will ignore that for now.
An important property of these boxes is that outgoing carry does not depend on incoming
......@@ -225,7 +223,7 @@ carry (unlike in addition). This allows for local decoding and modification. Oth
a single input change could affect the whole output. Now we can describe this scheme
in a more abstract, high-level way (fig. \figref{sole_hilevel}).
\figure[sole_hilevel]{sole_hilevel.pdf}{}{SOLE high-level block diagram}
\figure[sole_hilevel]{sole_hilevel.pdf}{}{SOLE high-level mixer diagram}
In our case, the input alphabet size is always $(B+1)^2$, the output alphabet size
is $B^2$ and the carry alphabet sizes form the sequence $B+3i$. Given that the output
......@@ -233,4 +231,6 @@ alphabet is smaller than the input alphabet, it makes sense that the carry alpha
has to increase in size to accomodate the accumulating information that did not fit
into the output. The final carry is then used to output some extra blocks at the end.
\subsection{Generalizing the mixer concept}
\endchapter
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment