Next Article in Journal
Trajectory Clustering and k-NN for Robust Privacy Preserving k-NN Query Processing in GeoSpark
Previous Article in Journal
A Predictive Analysis on Emerging Technology Utilization in Industrialized Construction in the United States and China
Previous Article in Special Issue
Stream-Based Lossless Data Compression Applying Adaptive Entropy Coding for Hardware-Based Implementation
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On the Optimal Calculation of the Rice Coding Parameter

by
Fernando Solano Donado
1,2
1
Faculty of Electronics and Information Technology, Warsaw University of Technology, 00-665 Warsaw, Poland
2
Blue Technologies, 02-684 Warszawa, Poland
Algorithms 2020, 13(8), 181; https://doi.org/10.3390/a13080181
Submission received: 22 June 2020 / Revised: 21 July 2020 / Accepted: 25 July 2020 / Published: 27 July 2020
(This article belongs to the Special Issue Lossless Data Compression)

Abstract

:
In this article, we design and evaluate several algorithms for the computation of the optimal Rice coding parameter. We conjecture that the optimal Rice coding parameter can be bounded and verify this conjecture through numerical experiments using real data. We also describe algorithms that partition the input sequence of data into sub-sequences, such that if each sub-sequence is coded with a different Rice parameter, the overall code length is minimised. An algorithm for finding the optimal partitioning solution for Rice codes is proposed, as well as fast heuristics, based on the understanding of the problem trade-offs.

1. Introduction

In this article, we study the calculation of the optimal Rice coding parameter. A Rice code is a parameterised Variable-Length Code (VLC)—proposed by Rice in [1,2]—that works in the following way.
Rice encoding: For a given parameter r and source data n i , the following two values are calculated:
q i = n i 2 r , and
m i = n i mod 2 r , where
x is the floor function: the function that takes as input a real number and returns as output the greatest integer less than or equal to x. Similarly, we will use x for the ceiling function: the function that takes as input a real number and returns as output the smallest integer higher than or equal to x. The function a mod b refers to the modulo operation: the remainder after the integer division of a by b.
The Rice encoding for n i can be constructed in three steps:
  • append a bit set to one to the output stream, if n i is a positive number; or a bit set to zero, otherwise,
  • encode the value of q i in unary code and append it to the first bit, and finally,
  • encode the value of m i as an unsigned integer using only r bits.
The unary code of a value x is a sequence of x bits, all set to the value one plus one additional bit—a delimiter bit—set to zero.
The reader shall note that the encoding operation can be efficiently implemented in CPUs using bit shift and bit masking operations solely, without the need of floating-point operations.
Rice decoding: The decoder must know the Rice coding parameter r that was used for encoding. The following method is used to obtain the values of q i and m i from the encoded stream.
  • read the first bit, and determine the sign of the encoded value: one for a negative sign, zero for a positive sign,
  • count the number of consecutive bits set to one (let q i be that number),
  • discard the delimiter bit (a bit set to zero), and
  • let the following r bits be the value of m i .
Once the values of q i and m i are known, the original value n i is calculated as:
n i = m i + q i · 2 r .
The reader shall note that the decoding operation can be efficiently implemented in CPUs using bit shift and addition operations solely, without the need of floating-point operations.

1.1. How the Rice Parameter Affects the Compression Ratio

In Wireless Sensor Networks, transmitted frames do not encode a single measurement value. Instead, in order to minimise the overhead caused by headers of telecommunication protocols, a sequence of measurements is stored, coded, and finally transmitted by the device in a single frame. We initially assume in this article that such a sequence is encoded using a single Rice parameter.
The data sequence presented in Table 1 is used to illustrate the effects of choosing the Rice parameter, r, on the total amount of bits encoded. Figure 1 shows the the total amount of bits encoded for this sequence for different values of the Rice parameter. It can be observed that the total encoding length equals 76 bits when r = 2 . If r = 3 , the total encoding length decreases to 64 bits. If r = 4 , the total encoding length increases again to 65 bits. Therefore, the optimal parameter r for this dataset is r * = 3 .
Table 1 will be used in further sections to provide examples of the proposed heuristics, algorithms, and bounds throughout this article.

1.2. Applications

Rice coding has been employed traditionally for data compression of audio [3], images [4,5,6,7,8,9], video [10,11], and electrocardiogram [12] data. In most cases, the input data is first transformed (using, i.e., a wavelet transform), then the transform coefficients are quantised. The quantised transform coefficients usually follow a two-sided geometric distribution [13,14], for which Rice coding can provide short codes close in length to Huffman codes [15].
In recent years, our research group has developed prototypes of battery-operated resource-constrained Internet of Things (IoT) devices. Such IoT devices usually communicate over low-power lossy wireless networks [16]. In current IoT telecommunication technologies—such as LoRa [17,18,19]—data rates do not exceed more than 56 kilobits per second, there is no guarantee of successful packet delivery, and the available space for encoding application data in a data frame is no more than 220 bytes [20]. Such small IoT devices may have up to 32 KB of RAM memory with CPUs running at frequencies below 100 MHz [21,22,23].
In our most recent application, we developed IoT devices for measuring the pH and conductivity of sewage waste water [24,25], with the aim of providing information about the presence and localisation of illegal spills of toxic chemicals in sewers. The pH and conductivity values of aggregated sewage waste water are mostly constant in normal conditions. Based on this, we employed Rice codes for coding the difference between consecutive pH and conductivity measurements of sewage wastewater without employing complex CPU operations or using large amounts of memory.
Several other compression methods have been proposed for resource-constrained IoT devices. Most of the proposed data compression methods in the literature for IoT applications—e.g., [26,27,28,29,30,31]—are lossy. Those works propose an estimator method that extracts enough information from a time-sequence and then encodes the minimum set of parameters to recreate, as close as possible, the original information based on the transmitted parameters of the estimator method. Ying et al. [32] presented a summary of other compression algorithms for IoT prior to the year 2010.
The focus of this work is to evaluate different methods for calculating the Rice parameter. a comparison study of the compression ratio achieved by other different methods is out of the scope of this article, since it would require evaluating the overhead imposed on the network for transmitting frequency tables, volatile memory usage at constrained nodes, and energy used for coding and decoding.

1.3. Contributions

The main contributions of this article are the following:
  • A closed-form expression for the estimation of the optimal Rice parameter in O ( N ) time, where N is the number of input elements to encode. In contrast to previous works, this estimation applies regardless of the probability distribution of the input data (see Section 3.2);
  • An algorithm for the calculation of the optimal Rice parameter in O ( L m a x · N ) time (see Section 3.4), where L m a x is the minimum number of bits needed for natural coding of the largest integer;
  • An algorithm for the partitioning of the N input elements into sub-sequences yielding a better compression ratio in O ( L m a x · N 2 ) (see Section 5);
  • Two heuristics for the fast estimation for the partitioning of the input sequence in O ( L m a x · N ) (see Section 5.4).
In order to evaluate the performance of the algorithms, the proposed algorithms are further verified and supported with collected data by a real sensor network in Section 4 for the first two contributions in the list above, and again later in Section 6 for the last two contributions in the list above.

2. Related Work

In this section, we summarise to the best of our knowledge the research studies carried out so far on Rice coding.

2.1. Basic Terminology

As far as the terminology in the area of data compression is concerned, we follow the definitions given by Salomon and Motta in [33].
The terms “source data”, “raw data”, or “sample” refer to original data obtained from a (sensor) system, before their compression, but after its transformation or quantisation. Throughout this article, we use the term “sequence” to denote a list of consecutive samples captured over time. a “sub-sequence” is a list of consecutive samples found within a sequence. In this article, a sequence of samples is represented with n and the i-th element of the this sequence by n i .
The output of a compression algorithm is termed encoded data. Accordingly, a compressor algorithm converts raw data or samples into compressed encoded data of a smaller bit-length.

2.2. Parameter Calculation for Data Following Laplacian Distributions

Yeh et al. in [15] analysed the optimality of Rice codes to Huffman codes for Laplacian distributions. Following this study, Robinson in [3] proposed that the optimal Rice parameter for data following a Laplace distribution r [ L A P ] be given by:
r [ L A P ] = log 2 ln ( 2 ) E ( | x | ) , where
| x | represents the absolute value of x, E ( x ) is the expected value of x, ln ( x ) is the natural logarithm function and log 2 ( x ) is the binary logarithm function. The value of E ( x ) is the weighted sum taken over all possible symbols x, viz., | x | · p ( x ) , where the weight p ( x ) corresponds to the probability of occurrence of the symbol x in a sequence.
Merhav et al. extended the study to Two-Sided Geometric Distributions (TSGD) in [13].

2.3. Derivation for Data Following Geometric Distributions

Rice coding is a special case of Golomb coding as proposed by Golomb in [34]. It has been shown in [33] that if the set of numeric data that needs to be encoded is assumed to follow a geometric distribution, i.e., the probability of the number n i occurring in the input sequence is:
P ( n i ) = p n i · ( 1 p ) ,
for some probability p ( 0 , 1 ) , then the optimal Golomb parameter is given by the integer number m G that minimises the following expression:
p m G 1 / 2 .
Therefore, the value of m G can be calculated as:
m G = log 2 ( 1 + p ) log 2 p .
As Rice encoding is the special case of Golomb encoding when the parameter m G of the Golomb coder is a power of two, i.e., m G = 2 r , such an inequality is resolved for Rice encoding to:
r [ G E O ] = log 2 log 2 ( 1 + p ) log 2 p .
Under the same assumptions, viz. of following a geometric probability distribution, Kiely in [35] proposed the selection of the code parameter considering only the mean value of the distribution as follows:
k g e o * = max 0 , 1 + log 2 ln ( ϕ 1 ) ln ( μ μ + 1 ) , where
μ corresponds to the estimate of the mean value of the data and ϕ is the golden ratio constant value ( 5 + 1 ) / 2 .
Previously, other authors considered the case when the input data follow a geometrical distribution and provided a means of calculating the optimal Golomb encoding parameter, hence providing a bound for the Rice encoding parameter. Clearly, these bounds do not apply for all distributions.
In this work, we provide bounds on the value of the Rice encoding parameter regardless of the type of distribution of the data.

2.4. Adaptive Rice Coding

Malvar in [6] and later improved in [7] proposed the Run-Length/Golomb–Rice (RLGR) coder. RLGR was designed to work best when the input sequence follows a TSGD. RLGR uses both run-length and Rice coding for encoding an input sequence of measurements. Run-length coding is used for compressing sequences of measurements with a value of zero.
The Rice coding parameter is automatically adapted after a sample is coded: if the encoding process using the previous parameter yields zero on the value of q i , the Rice coding parameter is increased for coding the next symbol; if the previous parameter yields a value higher than one on q i , the Rice coding parameter is decreased proportionally. In our opinion, this idea works best if the consecutive values to be encoded are close to each other, but may yield sub-optimal Rice codes in the case that the consecutive values to be encoded are considerably different.
In Section 5, we propose a way for efficiently using Rice codes in situations where the input sequence of values changes abruptly.

3. General Selection of the Golomb Parameter for Rice Coding

We now focus on the problem of how to find the value of the Rice parameter r that yields the minimum bit-length of the output stream for any raw data sequence n . The variation in the bit-length due to the choice of this parameter was illustrated above with an example in Section 1.1.
To simplify notation, we assume that we deal only with the Rice encoding of values with their sign. In such a case, to apply Rice coding to a number n i , a total of r + n i 2 r + 2 bits are required. Hereinafter, since the sign is encoded in a separate bit, we assume that the samples in the input sequence n have been already stripped off its sign; they are all non-negative.
In this section, we are interested in finding the value of r for which the value of the following function:
f ( r , n ) = 1 i N r + n i 2 r + 2 = ( r + 2 ) · N + 1 i N n i 2 r Q ( r ) ,
is minimum. Note that f ( r , n ) is a discontinuous function since its values are only valid for integer values of r. In this section, an analytical solution is provided to this problem.
Let us define the function L ( n i ) as the number of bits used for representing n i :
L ( n i ) = log 2 n i + 1 , if n i 0 0 , otherwise .
The values of L ( n i ) can be observed for our example sequence in Table 1.
It is clear that the optimal value for r, r * , for f ( r , n ) is an integer value bounded by:
min i L ( n i ) r * max i L ( n i ) .
Hereinafter, we name L min and L max the left- and right-hand sides expressions of (11), respectively.
Moreover, note that for each positive number to encode, n i , the integer division expression can be bounded as follows:
n i 2 r ϕ i n i 2 r n i 2 r θ i ,
for certain values of ϕ i and θ i .
We create two derivable continuous functions that will bound the value of f ( r , n ) as follows:
g ( r , n ) f ( r , n ) h ( r , n ) , where
g ( r , n ) = ( r + 2 ) · N + n i 2 r ϕ i = ( r + 2 ) · N + n i 2 r ϕ ,
and:
h ( r , n ) = ( r + 2 ) · N + n i 2 r θ i = ( r + 2 ) · N + n i 2 r θ ,
for certain values of ϕ and θ .
To simplify notation, we drop the parameter n (the input data sequence) from the functions f, g, and h since it remains constant in what remains of our analysis.
It is not difficult to prove that g ( r ) and h ( r ) are both convex functions in r. As an example, we illustrate in Figure 2 the two bounding functions for the Rice parameter for the example given in Section 1.1, together with the optimal values of each function (indicated using a larger squared region).
Therefore, in order to find the solution, the evaluation of the functions for consecutive values of r until the output value starts increasing is not a very time-consuming task. Nonetheless, in further subsections, we will present a faster method for finding the optimal Rice parameter.

3.1. Function Bounds

Since g ( r ) is a derivable function, its first derivative is:
g ( r ) r = N ln 2 · n i 2 r .
Since g ( r ) is convex, we can find the value of r g * yielding the minimum value of the function by setting the function’s first derivative to zero:
N = ln 2 · n i 2 r g * ,
which means that:
r g * = log 2 ln 2 N n i .
Since h ( r ) is a derivable function, we can proceed with the same approach again to find its optimal value. In fact, its first derivative is the same as the first derivative of g ( r ) , which means that:
r h * = log 2 ln 2 N n i .
For nomenclature convenience, let us define S ( n ) as the right-hand side expression of (18) and (19):
S ( n ) = log 2 ln ( 2 ) μ , where
μ is the arithmetic mean of the values in n . Please note the similarities of (20) with (3), and the different assumptions concerning the probability distributions of the input data for deriving these two expressions.

3.2. Conjecture and Approximation

Since ln 2 is an irrational number, the quantity S ( n ) is also irrational.
We conjecture that the optimal integer parameter for the Rice code is bounded by:
S ( n ) r * S ( n ) + 1 , if S 0 r * = 0 , otherwise .
In our validation results, in Section 4, we will evaluate how closely the conjectured expression provides the optimal parameter for data compression of real datasets.

3.3. Pre-Calculation of Q

Any non-negative integer value a is represented in binary by a sequence of bits c = { c j } such that:
a = 0 j L ( a ) c j · 2 j , c j { 0 , 1 } .
Let us denote by q ( x , r ) the function performing the integer division of x by a power of two—viz. right bit shift. Such an operation can be defined as follows in terms of (22):
q ( a , r ) = a 2 r = j r c j · 2 j r .
It is not difficult to notice that our definition fulfils the following recursive property of bit shifting:
q ( a , r ) = q ( q ( a , r 1 ) , 1 ) , for 1 r < L ( a ) a , for r = 0 .
Considering the encoding problem of this article, we can redefine Q ( r ) as follows:
Q ( r ) = i n i 2 r = i q ( n i , r ) .
We are interested in designing an algorithm that efficiently updates the value of Q ( r ) as new samples are added to the set n . Let us denote by n the set of samples n enlarged by a new sample n ^ . The value of Q ( r ) for the new set is therefore defined as:
Q ( r , n ) = Q ( r , n ) + q ( n ^ , r ) .
The next section presents an algorithm that is defined based on (24) and on (26).

3.4. Algorithm for Finding the Optimal Parameter

In Algorithm 1, we propose a search heuristic for finding the optimal Rice parameter starting from our approximation values.
It starts by comparing the bit-lengths of the Rice coding of the input sequence when the parameters are S ( n ) and S ( n ) . If the total bit-length resulting from Rice coding using the first parameter ( S ( n ) ) is smaller than when the second value ( S ( n ) ) is used, the search continues using values smaller than S ( n ) until the bit-length starts increasing again. If the total bit-length caused by the first parameter is greater than when the second value is used, the search continues using values greater than S ( n ) until the bit-length starts increasing again. If the total bit-lengths are the same, an optimum has been reached.
The function FindBestRiceParameter—defined between Lines 17 and 37 in Algorithm 1—is our main function in the heuristic. It shall be invoked with the input data sequence, n , and the number of elements in the input data sequence, N.
The subroutine PrecalculateRiceQ—defined between Lines 1 and 12 in Algorithm 1—has a complexity of O ( L m a x · N ) , since each one of the n i n input data values is considered, and for each one of them, the value of Q ( r ) is calculated for all potential values of r, i.e., 0 r L max . The operator a > > b is the right-shift-bit operator or, in other words, the integer division by a power of two. The subroutine CalculateF—defined between Lines 13 and 16 in Algorithm 1—has a complexity of O ( 1 ) , since it is a mathematical evaluation with no iterative calls on the input data. The loop defined between Lines 30 and 35—within the subroutine FindBestRiceParameter—has only a complexity of O ( L max ) , since the subroutine is evaluating the function f with all the possibles values of r in constant time. As a consequence, the complexity of the subroutine FindBestRiceParameter is defined by the invocation of the subroutine PrecalculateRiceQ in Line 18, which has a higher complexity than the aforementioned loop. The subroutine FindBestRiceParameter has a complexity of O ( L m a x · N ) .
Algorithm 1 Online calculation of the Rice-code with complexity O ( L m a x · N ) .
 1:
functionPrecalculateRiceQ( n )
 2:
     Q 0
 3:
    for n i n do
 4:
         r 0
 5:
        while r L ( n i ) do                                                       ▹ see (10) for L ( x )
 6:
            Q ( r ) Q ( r ) + n i
 7:
            n i n i > > 1
 8:
            r r + 1
 9:
        end while
10:
    end for
11:
    return Q
12:
end function
13:
functionCalculateF(r, Q, N)
14:
     f N · ( r + 2 ) + Q ( r )
15:
    return f
16:
end function
17:
functionFindBestRiceParameter( n , N)
18:
     Q PrecalculateRiceQ(n)
19:
     S log 2 ( ln 2 ) · Q ( 0 ) / N
20:
     r S
21:
     f CalculateF(r′, Q, N)
22:
     r S
23:
     f CalculateF(r″, Q, N)
24:
     t + 1
25:
    if f < f then
26:
         t 1
27:
        SwapVariables( r , r )
28:
        SwapVariables( f , f )
29:
    end if
30:
    while f > f do
31:
         r r
32:
         f f
33:
         r r + t
34:
         f CalculateF(r″, Q, N)
35:
    end while
36:
    return r
37:
end function
In practice, as will be presented later in Section 4.4, the approximation described in Section 3.2 (used as a starting search point in our algorithm) provides the optimal solution. In our experimental results, the loop between Lines 30 and 35 of the algorithm was executed only once or never at all, since either of the values of r and r was yielding the optimal value of r before the first loop iteration.
Taking advantage of the fixed maximum number of bits that a microcontroller can use for representing an integer number, the author will work on a hardware implementation of the function PrecalculateRiceQ, which will allow decreasing the complexity of the whole procedure to O ( N ) by using L m a x hardware counters.

4. Performance on Different Datasets Using Single-Parameter Rice Coding

In this section, a numerical validation of the heuristics and approximations from Section 3 is presented.

4.1. Datasets and Preprocessing

The datasets used for our numerical analysis are the sets of measurements from the weather stations located at beaches along Chicago’s Lake Michigan lakefront. The weather stations have measured air temperature, wet bulb temperature, humidity, rain intensity, interval rain, total rain, precipitation type, wind direction, wind speed, maximum wind speed, barometric pressure, solar radiation, heading, and the station battery life from three different locations once per hour since the 22nd of June 2015. By considering different sensor types and the different station locations, there are in total 37 datasets. Due to the occasional failure of some sensors or stations, the number of measurements in each dataset ranges from 27,058 to 35,774.
We believe that the way data are preprocessed has an affect on the compression factor of the Rice coding. In this article, we consider three simple methods for data preprocessing.
In the first preprocessing method—referred to as “normalize_dataset_scale”—all measurements are scaled by a constant factor so as to avoid having fractional values. This is needed since Rice coding does not have the possibility to encode non-integer (fractional) values. The scaling factor was calculated for each dataset as the minimum difference between any pair of measurements. All values are then divided by this scaling factor.
In the second preprocessing method—referred to as “normalize_dataset_scale_diff”—all measurements are scaled as previously mentioned, and then, the difference between consecutive scaled measurements is taken. Since we expect that some observed phenomena will change slowly over time, the author believes that the optimal Rice parameter for the difference of consecutive scaled measurements can be smaller, yielding shorter codes on average. This reflects the estimator methods used in some IoT data compression algorithms, such as in [36].
In the third preprocessing method—referred to as “normalize_dataset_shift_mean”—all measurements are scaled as mentioned in the first preprocessing model, and then, the difference between the scaled measurements and the mean of all scaled values in the batch is taken. This reflects the estimator methods used in some IoT data compression algorithms, such as in [36].

4.2. Compression Factor of Analysed Codes

As a starting point, the effect of the preprocessing method used before encoding is analysed for Rice coding. Here, we consider only the optimal Rice coding solution.
In Figure 3 is shown the average length needed for encoding a single measurement for each dataset and considering the three preprocessing functions mentioned above. The usage of the second preprocessing function provides shorter codes in all cases, with the exception of the interval rain dataset.

4.3. Estimation of the Output Bit-Length

We conjecture that an estimation of the minimum output bit-length after Rice coding can be derived from (9), by substituting the value of the Rice parameter given by the value provided in (20), as follows:
f ^ ( μ , σ ) = N · log 2 ( ln ( 2 ) · μ ) + 2 + σ 2 ln ( 2 ) · μ , where
μ and σ are the mean and standard deviation of the samples to be encoded.
Figure 4 shows the output bit-length found after using the algorithm proposed in this article for finding the minimum output length and the estimated output bit-length based on (27). The size of the points is proportional to the ratio of the output bit-length based on Shannon theorem and the optimal output bit-length after Rice coding.
A linear approximation was found with the equation f = 1.126 · f ^ 9781.446 , with a standard deviation error of 0.056 and a t-value of 19.91 for the estimated slope value, for the input sequences after being preprocessed with the first preprocessing method.

4.4. Approximation Solutions

In this subsection, we illustrate whether the conjecture in (20) is valid.
Equation (20) provides three different potential integer values for the optimal Rice coding parameter: S , S , and S + 1 . In Figure 5 is shown the count of solutions found by approximating the Rice coding parameter as mentioned in (20).
All minimal bit-length solutions were found by approximating the Rice coding parameter: the optimal Rice coding parameter was found using S in 64.8 % , S in 71.2 % , and S + 1 in 11.9 % of the 601,953 cases.

4.5. Influence of the Chosen Batch Size

The compression factor τ m ( n ) of an encoding method m for an input dataset n of length N is defined as follows [33]:
τ m ( n ) = N · max i L ( n i ) f m ( n ) , where
L ( n i ) is the number of bits needed to represent the sample n i in binary code and f m ( n ) is the output bit-length size of the encoding method m when used over n .
In Figure 6, the normalised compression factor for each data type is shown as the batch size varies. The normalised compression factor is calculated as:
τ ^ m ( n ) = τ m ( n ) min | k | = | n | τ m ( k ) max | k | = | n | τ m ( k ) min | k | = | n | τ m ( k )
As can be observed for most datasets, the compression ratio of Rice coding may decrease for some datasets as the batch size increases, yielding longer codes on average. This is because a single Rice coding parameter cannot fit well to a large sequence of measurements.
For the total rain and interval rain datasets, the compression ratio fluctuates as the batch size varies, indicating that the sequence of measurements largely varies over time.

5. Multi-Parameter Rice Coding

As shown in Section 4.5, when a large data sequence comprises samples of different orders of magnitude, Rice coding using a single parameter may be inefficient. This is because there is no Rice parameter that can be set efficiently for the whole sequence: a large Rice parameter may aid in the reduction of the bit-length of samples having large values at the expense of increasing the bit-length of small samples, while a small Rice parameter may aid in the reduction of the bit-length of samples having small values at the expense of increasing the bit-length of large samples.
As an example, we show in Figure 7 a sequence of 128 measurements taken from the interval rain dataset. Most of the values of this sequence are close to zero, but a few peak values are found at the beginning of the sequence. The optimal Rice coding parameter for this particular sequence is R * = 4 , yielding a code of 987 bits. Instead, if we are allowed to partition the sequence of 128 values into sub-sequences, in such a way that a different Rice coding parameter can be used for each sub-sequence, it could probably yield a shorter code (after taking into account the overhead of encoding the extra parameters). The optimal solution for this instance of the partitioning problem is represented in the same figure with coloured boxes. It consists of partitioning the sequence into four sub-sequences and Rice coding them with parameters 5, 0, 9, and 0, respectively. This solution can encode the same sequence in 359 bits, after considering an overhead of 16 bits for appending to the stream the corresponding value of the Rice parameter for each sub-sequence.
More formally, for a given input sequence of samples, n , a more optimal encoding can be achieved if we partition the sequence of input data, n , into a set P = ( p k ) of P consecutive sub-sequences and we allow ourselves to encode each sub-sequence p k with a different Rice parameter r k . We would like the reader to notice that these two decision problems—viz. how each sub-sequence is defined and what Rice parameter is to be used for each sub-sequence—are interrelated: the choice of the ranges defining each sub-sequence boundaries has an effect on the value of its optimal parameter for efficient Rice coding and vice versa.
In this section, we present an algorithm for finding the optimal bounds for each sub-sequence and the corresponding Rice parameters so as to minimise the overall total bit-length.
The algorithm is divided into three phases. In the first phase, in Section 5.1, a set of special sub-sequences is calculated, namely basis. In the second phase (Section 5.2), the algorithm calculates the costs of all feasible sub-sequences in an efficient manner, by reusing previous calculations of other sub-sequences (including the basis). In the third phase (Section 5.3), the algorithm constructs an auxiliary Directed Acyclic Graph (DAG) with at most 2 · N + 2 weighted nodes. The optimal solution to the problem results from finding the shortest path in the auxiliary weighted DAG.
While this approach is generally tedious, simply because it would require the calculation of the costs of all possible sub-sequences, it will help us in setting up the basic concepts for two efficient heuristics suitable for implementation in constrained IoT devices. These efficient heuristics will be presented later in Section 5.4.

5.1. Basis—Reducing Input Length

Initially, we attempt to reduce the input length of our problem. For this, we partition the input sequence of N samples into P ^ N consecutive sub-sequences of samples, in such a way that the samples in each sub-sequence require the same number of bits for encoding, as given by the value of the function L ( n i ) previously defined in (10).
In this section, the sub-sequences are defined by the pair of indices of the start and end positions in its original input sequence n . We illustrate the outcomes of this process with the example dataset previously presented in Table 1. In this case, a total of four sub-sequences—viz. [ 1 , 4 ] , [ 5 , 7 ] , [ 8 , 9 ] and [ 10 , 10 ] —shall conform the basis, since the values of L ( n i ) for the samples within these ranges is the same.
In this first step, for each sub-sequence in the basis, we compute and store: the value of Q ( r ) of (9) for different values of r, the range index in the sequence, and the sum of the values of that sub-sequence. This information will be used to generate all the other potentially needed sub-sequences in the second step of this algorithm (see Section 5.2). The function for computing these parameters can be seen in Algorithm 2. For each sub-sequence p k , the function returns the index of its starting and last elements in u and v , respectively. Note that u k + 1 = v k + 1 , since no sample is lost in the partitioning, nor repeated. The function also returns in q the encoding length of the each one of the P ^ sub-sequences for different potential values of r, and also the sum of the values for each sub-sequence s ^ k .
Algorithm 2 Calculation of the basis for the multi-parameter Rice-encoding problem with complexity O ( L m a x · N ) .
 1:
functionMultiParameterBasis( n , N)
 2:
     k 1
 3:
     i 1
 4:
     l L ( n ( 1 ) )                                                                                                              ▹ see (10) for L ( x )
 5:
     q ( 0 )
 6:
     s ^ ( 0 )
 7:
     L m i n min i L ( n ( i ) )
 8:
     L m a x max i L ( n ( i ) )
 9:
    for 1 i N do
10:
         s ^ k s ^ k + n ( i )
11:
        for L m i n r L m a x do
12:
            q k r q k r + n ( i ) 2 r
13:
        end for
14:
        if L ( n ( i ) ) l then
15:
            u k i
16:
            v k i
17:
            k k + 1
18:
            i i + 1
19:
            l L ( n ( i ) )
20:
        end if
21:
    end for
22:
    return { q , s ^ , u , v , k , L m i n , L m a x }
23:
end function
Algorithm 2 has two nested loops. The outer loop—between Lines 9 and 21—iterates over all input values. The inner loop—between Lines 11 and 13—calculates the values q k r for every potential value of r for the input value in consideration. Therefore, this step has a complexity of O ( L m a x · N ) .
The output of Algorithm 2 for the example data presented in Table 1 is provided in Table 2.
In order to better illustrate constant values in the remaining part of this section, we will use U k and V k to denote the set of indices of n where the sub-sequence k of the basis starts and ends, respectively. These two values correspond to the output values of u and v of Algorithm 2. In addition, the output value of k becomes the constant P ^ : the length of the basis and the output matrix q = ( Q k ( r ) ) become an array of constants q ( k , r ) .

5.2. Computing the Cost of All Sub-Sequences Efficiently

The sub-sequences calculated in the first step do not embrace all potential sub-sequences, but only the shortest ones. The second phase of the algorithm calculates the minimum bit-length of all other possible sub-sequences of n , by reusing the information generated after the basis calculation by Algorithm 2.
Algorithm 3 receives as input: an index of the basis sub-sequences ( k 0 ), the values of q ( r ) of the basis for each potential value of r ( q ) , the start and end index of the sub-sequence ( u and v , respectively), the length of the basis ( P ^ ), and the range of the values of L ( n i ) ( L m i n and L m a x , respectively).
Algorithm 3 Calculation of the cost for all sub-sequences with complexity O ( L m a x · P ^ 2 ) .
 1:
functionMultiParameterSubSequencesFrom( k 0 , q , u , v , P ^ , L m i n , L m a x )
 2:
     w ( )
 3:
     z ( 0 )
 4:
     y ( 0 )
 5:
    for k 0 k P ^ do
 6:
        for L m i n r L m a x do                                                                                        ▹ see (10) for L ( x )
 7:
            y r y r + q ( k , r ) + ( v ( k ) u ( k ) + 1 ) · ( r + 2 )
 8:
           if w k > y r then
 9:
                w k y r
10:
                z k r
11:
           end if
12:
        end for
13:
    end for
14:
    return { w , z }
15:
end function
The algorithm returns the minimum bit-length w and the best Rice parameter z for each one of the K k 0 + 1 sub-sequences in n that have as first element U k 0 .
Algorithm 3 consists of two nested loops. The outer loop—between Lines 5 and 13—considers the creation of a sub-sequence by merging the sub-sequences from k 0 until k in P ^ . Each time it considers the creation of a sub-sequence, the inner loop—between Lines 6 and 12—calculates the bit-length y r of encoding such a new sub-sequence with different values of r. As a result, Algorithm 3 has a running complexity of O ( L m a x · P ^ ) .
Algorithm 3 needs to be called once for each sub-sequence in the basis. Therefore, computing the costs of every possible sub-sequence starting at any index of the input data yields a running time complexity of O ( L m a x · P ^ 2 ) .
For the example sequence provided in this article, Algorithm 3 is invoked four times (once per sub-sequence in the basis). The values stored in the variable y r in the first iteration of each call are shown in Table 3. These values correspond to the bit-length of the sub-sequences in the basis for different values of the Rice parameter.
Table 4 shows the input values of Algorithm 3 for the example sequences of this article. Each column represents the minimum bit-length and optimal Rice parameter for each one of the 10 possible sub-sequences for the example problem.

5.3. Auxiliary DAG and Optimal Solution

In the third phase, we construct an auxiliary Directed Acyclic Bipartite Graph (DABiG) for finding the best subset of sub-sequences that yield the best multi-parameter solution.
The DABiG is constructed as follows:
  • for each sub-sequence in the basis k, we add two vertices u k and v k , representing the sub-sequence’s start U k and the V k , respectively;
  • we add two special vertices v α and u ω ;
  • we add one edge from each vertex u k 1 to each vertex v k 2 , where k 2 k 1 , with the cost given by w k 2 when Algorithm 3 is invoked with k 1 as its first parameter;
  • we add one edge from each vertex v k to u k + 1 with cost ϵ ; and finally,
  • we add one edge from v α to u 1 with cost ϵ and another edge from v M to u ω with cost zero.
Therefore, the DABiG consists of 2 · P ^ + 2 vertices and P ^ · ( P ^ + 1 ) 2 + P ^ + 2 directed edges. a graphical representation of the DABiG can be observed in Figure 8.
The solution to our problem is given by the shortest path from v α to u ω . The total minimal cost of the encoding is the cost of the shortest path found.
Following with our example, Figure 9 shows the DABiG based on the found sub-sequences by Algorithm 3, which were previously mentioned in Table 4.

5.4. Two Simple Heuristics for Constrained IoT Devices

Based on the analysis of the solution to the problem of finding the optimal Rice coding using the partitioning process as described above, in this subsection, we present two parameterized heuristics of reduced complexity in terms of both memory and CPU usage.
The idea behind the design of these parameterized heuristics is to define—in a single iteration through samples—output sub-sequences based on their similarity in terms of the number of bits needed for their encoding, following the concept of the basis presented in Section 5.1. To do this, we assume that we are given an input parameter, say Δ , bounded by 0 Δ ( L max L min ) , which we name the spread factor. Output sub-sequences are going to be built in such a way that the difference in the bit-length of the raw values—i.e., L ( n i ) —of each output sub-sequence will not be larger than the parameter Δ . As a result, if Δ equals ( L max L min ) , the output of these heuristics will be a single sub-sequence comprising all elements. On the other hand, if Δ is equal to zero, the output of these heuristics will be the set of all the sub-sequences found in the basis (as explained in Section 5.1).
Our first proposed heuristic for this problem sets the encoding parameter of each sub-sequence as the optimal value as calculated by Algorithm 1. Our second proposed heuristic for this problem sets the encoding parameter of each sub-sequence to its respective value of S , as explained in Section 3.2.
The pseudo-code of the second heuristic can be observed in Algorithm 4. The function RiceEncode( n , i , j , r ) does only the encoding (no parameter calculation) of the sub-sequence of n starting from the i-th element to the j-th element using Rice parameter r. Since each element in n is passed through only once and all other calculations are done within the loop itself—between Lines 6 and 20—the running complexity of the second heuristic is O ( n ) .
The pseudo-code for the first heuristic is very similar, with the difference that the estimation s and its associated summation s ^ are not implemented and, hence, not passed to the function RiceEncode. In such a case, the function RiceEncode should find the optimal parameter for the given sub-sequence using Algorithm 1, before encoding the set of samples. Each element must be passed twice: first by the loop function presented in Algorithm 4 and later for determining the optimal parameter (Algorithm 1) for the sub-sequence. The running complexity of the first heuristic is, therefore, O ( N + N · L max ) = O ( N · L max ) , i.e., it is defined by the complexity of finding the optimal parameter of a sub-sequence.
Algorithm 4 Heuristic for Rice encoding with partitioning with complexity O ( N ) .
 1:
functionRiceEncodeMultiHeurS( n , N, Δ )
 2:
     i 1
 3:
     L max 0
 4:
     L min
 5:
     s ^ 0
 6:
    for 1 i N do
 7:
         l L ( n ( i ) )
 8:
        if ( l > L max Δ ) and ( l < L min + Δ ) then
 9:
            L max max ( l , L max )
10:
            L min min ( l , L min )
11:
            s ^ s ^ + | n |
12:
        else
13:
            s log 2 s ^ · ln 2 i i
14:
           RiceEncode ( n , i , i 1 , s )
15:
            i i
16:
            L max l
17:
            L min l
18:
            s ^ | n |
19:
        end if
20:
    end for
21:
    if i N then
22:
         s log 2 s ^ · ln 2 N i + 1
23:
        RiceEncode ( n , i , N , s )
24:
    end if
25:
end function

5.5. Multi-Parameter Coding and Decoding

In the previous subsection, we defined different algorithms for the calculation of a set of Rice parameters that can be applied to partitions of the input data sequence. In this subsection, we propose a method for encoding the set of Rice parameters and the generated Rice codes of each sub-sequence within a single bit-stream without ambiguity.
The proposed method encodes each sub-sequence separately by providing first a code for its Rice parameter, then the Rice encoded values in the sub-sequence, and finally, a terminating delimiter for the sub-sequence.
In most applications, the Rice parameter is usually a relatively small value. In such cases, the code for the Rice parameter can be the corresponding Elias gamma code, or any other prefix non-parametrizable VLC code (refer to [33] for a list of some of them). In applications where the Rice parameter is usually large, the author suggests including instead a field of fixed bit-length and using the natural coding for the Rice parameter. In our numerical results in the upcoming Section 6, we will consider the later case and include an overhead of one single byte per sub-sequence for encoding the Rice parameter.
As for the terminating delimiter, it should be recalled that in Section 1, an explanation of Rice coding and decoding for all integer values was given. It should be pointed out that, according to the definition of Rice coding presented here (from [33]), there could be two Rice codes for the input value zero (0), since zero is neither positive nor negative but still Rice coding utilises one bit for coding its sign. In this work, for convention, we propose the usage of negative zero for delimiting the termination of the Rice coding of a sub-sequence and the coding of the Rice parameter of the next sub-sequence. In this way, the delimiter will occupy r + 2 additional bits for each sub-sequence. In order to avoid confusion, an input sample with value zero should be always encoded assuming that it is positive.

6. Performance on Different Datasets Using Multi-Parameter Rice Coding

In this section, we validate the multi-parameter Rice coding methods presented in previous sections. Our aim is to understand whether there is any benefit from partitioning the dataset for data compression as mentioned earlier. The dataset previously described in Section 4.1 is used in this section.

6.1. Cases Where Multi-Parameter Rice Coding Is Beneficial

First, we calculate the optimal partitioning of every sequence previously described, and checked whether such a solution produces shorter codes than the solution when a single Rice coding parameter is used. In nearly 10 % of all batches used for validation in this article, a shorter Rice coding could be found by multi-parameter Rice coding.
In Figure 10, we can observe the percentage of the total number of batches for each dataset and batch size for which a shorter code can be found, if sequence partitioning is considered. As expected, the datasets interval rain and rain intensity can substantially be better compressed when a large batch size is considered.

6.2. Improved Compression Factor by Multi-Parameter Rice Coding

Next, we analyse how much the compression factor can be improved for those batches where sub-sequence partitioning is meaningful.
In Figure 11, we show the relative difference between the compression factors achieved when the optimal single-parameter and optimal multi-parameter Rice coding approaches are considered. For interval rain and rain intensity, a further compression factor between 20 % and 25 % can be achieved.

6.3. Heuristic Performance

Finally, we illustrate how the second heuristic described in Section 5.4—with lower complexity—is capable of finding the optimal solution to the Rice partitioning partitioning problem.
In Figure 12, the number of batches where the heuristic was able to find the same optimal solution is shown. The maximum number of optimal solutions that are found occurred when Δ = 5 . In total, sixty-five percent of the optimal solutions are found when carrying the Δ parameter from zero to five.
For the remaining 35 % of the solutions, where the optimum partitioning solution could not be found, we analyse how close the heuristic solutions are to its optimal.
In Figure 13, we show a histogram where each cell illustrates the ratio of the optimal solution and the heuristic solution as the batch size varies for different datasets. Empty cells imply that all solutions found by the heuristic were optimal for that batch and dataset combination.

7. Conclusions

In this article, we designed several methods for the calculation of the optimal Rice coding parameter and then evaluated them using real data.
Our analysis and numerical verification showed that the optimal Rice coding parameter for a data sequence can be quickly bounded as expressed by (21). In addition, we also observed that the output bit-length of Rice codes can be estimated by (27) knowing the mean and variance of the dataset.
In around 10 % of the experiments, it was observed that partitioning the sequence into sub-sequences, such that each sub-sequence is coded with a different Rice parameter, can be profitable. An algorithm for finding the optimal partitioning solution for Rice codes was proposed, as well as fast heuristics, based on the understanding of the problem trade-offs.

Funding

This work was supported in part by the FP7 Goldfish project, which received funding from the European Union’s Seventh Framework Programme for research, technological development and demonstration under Grant Agreement No. 269985, as well as by the H2020 Micromole [24] and H2020 SYSTEM [25] projects, which have received funding from the European Union’s Horizon 2020 research and innovation programme under Grant Agreement No. 653626 and No. 787128, respectively.

Acknowledgments

The author would like to thank Javier Delgado Palacios for the implementation of early versions (not presented in this manuscript) of the algorithms described and evaluated in this article.

Conflicts of Interest

The author declares no conflict of interest.

Abbreviations

The following abbreviations are used in this manuscript:
DOAJDirectory of open access journals
IoTInternet of Things
kbpskilobytes per second
KBKilobyte
LoRaLong-Range telecommunication standard
MDPIMultidisciplinary Digital Publishing Institute
MHzMegahertz
RLGRRun-Length/Golomb–Rice
TSGDTwo-Sided Geometric Distribution

References

  1. Rice, R. Some Practical Universal Noiseless Coding Techniques; Technical Report; NASA, Jet Propulsion Laboratory: Pasadena, CA, USA, 1979.
  2. Rice, R. Some Practical Universal Noiseless Coding Techniques—Part III. Module PSI14.K; Technical Report; NASA, Jet Propulsion Laboratory: Pasadena, CA, USA, 1991.
  3. Robinson, T. SHORTEN: Simple Lossless and Near-Lossless Waveform Compression; Technical Report; Cambridge University Engineering Department: Cambrdige, UK, December 1994. [Google Scholar]
  4. Howard, P.G.; Vitter, J.S. Fast and efficient lossless image compression. In Proceedings of the DCC ‘93: Data Compression Conference, Snowbird, UT, USA, 30 March–2 April 1993; pp. 351–360. [Google Scholar]
  5. Memon, N. Adaptive coding of DCT coefficients by Golomb-Rice codes. In Proceedings of the 1998 International Conference on Image Processing, Chicago, IL, USA, 7 October 1998; Volume 1, pp. 516–520. [Google Scholar]
  6. Malvar, H. Fast progressive wavelet coding. In Proceedings of the DCC’99 Data Compression Conference, Snowbird, UT, USA, 29–31 March 1999; pp. 336–343. [Google Scholar]
  7. Malvar, H.S. Adaptive run-length/Golomb-Rice encoding of quantized generalized Gaussian sources with unknown statistics. In Proceedings of the Data Compression Conference (DCC’06), Snowbird, UT, USA, 28–30 March 2006; pp. 23–32. [Google Scholar]
  8. Weinberger, M.J.; Seroussi, G.; Sapiro, G. The LOCO-I lossless image compression algorithm: Principles and standardization into JPEG-LS. IEEE Trans. Image Process. 2000, 9, 1309–1324. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  9. Kim, H.; Lee, J.; Kim, H.; Kang, S.; Park, W.C. A Lossless Color Image Compression Architecture Using a Parallel Golomb-Rice Hardware CODEC. IEEE Trans. Circuits Syst. Video Technol. 2011, 21, 1581–1587. [Google Scholar]
  10. Wen, J.; Villasenor, J.D. A class of reversible variable length codes for robust image and video coding. In Proceedings of the International Conference on Image Processing, Santa Barbara, CA, USA, 26–29 October 1997; Volume 2, pp. 65–68. [Google Scholar]
  11. Nguyen, T.; Marpe, D.; Schwarz, H.; Wiegand, T. Reduced-complexity entropy coding of transform coefficient levels using truncated golomb-rice codes in video compression. In Proceedings of the 18th IEEE International Conference on Image Processing, Brussels, Belgium, 11–14 September 2011; pp. 753–756. [Google Scholar]
  12. Chen, J.; Ma, J.; Zhang, Y.; Shi, X. ECG compression based on wavelet transform and Golomb coding. Electron. Lett. 2006, 42, 322–324. [Google Scholar] [CrossRef]
  13. Merhav, N.; Seroussi, G.; Weinberger, M.J. Optimal prefix codes for sources with two-sided geometric distributions. IEEE Trans. Inform. Theor. 2000, 46, 121–135. [Google Scholar] [CrossRef]
  14. O’Neal, J.B., Jr. Predictive Quantizing Systems (Differential Pulse Code Modulation) for the Transmission of Television Signals. Bell Syst. Tech. J. 1966, 45, 689–721. [Google Scholar]
  15. Yeh, P.S.; Rice, R.F.; Miller, W. On the Optimality of Code Options for A Universal Noiseless Coder; Technical Report; NASA, Jet Propulsion Laboratory: Pasadena, CA, USA, 1991.
  16. Montenegro, G.; Schumacher, C.; Kushalnagar, N. IPv6 over Low-Power Wireless Personal Area Networks (6LoWPANs): Overview, Assumptions, Problem Statement, and Goals. Available online: https://www.hjp.at/doc/rfc/rfc4919.html (accessed on 26 July 2020).
  17. Augustin, A.; Yi, J.; Clausen, T.; Townsley, W.M. A Study of LoRa: Long Range Low Power Networks for the Internet of Things. Sensors 2016, 16, 1466. [Google Scholar] [CrossRef]
  18. Casals, L.; Mir, B.; Vidal, R.; Gomez, C. Modeling the Energy Performance of LoRaWAN. Sensors 2017, 17, 2364. [Google Scholar] [CrossRef] [Green Version]
  19. Bouguera, T.; Diouris, J.F.; Chaillout, J.J.; Jaouadi, R.; Andrieux, G. Energy Consumption Model for Sensor Nodes Based on LoRa and LoRaWAN. Sensors 2018, 18, 2104. [Google Scholar] [CrossRef] [Green Version]
  20. Ikpehai, A.; Adebisi, B.; Rabie, K.M.; Anoh, K.; Ande, R.E.; Hammoudeh, M.; Gacanin, H.; Mbanaso, U.M. Low-Power Wide Area Network Technologies for Internet-of-Things: A Comparative Review. IEEE Internet Things J. 2019, 6, 2225–2240. [Google Scholar] [CrossRef] [Green Version]
  21. Qutqut, M.H.; Al-Sakran, A.; Almasalha, F.; Hassanein, H.S. Comprehensive survey of the IoT open-source OSs. IET Wirel. Sens. Syst. 2018, 8, 323–339. [Google Scholar] [CrossRef]
  22. Musaddiq, A.; Zikria, Y.B.; Hahm, O.; Yu, H.; Bashir, A.K.; Kim, S.W. A Survey on Resource Management in IoT Operating Systems. IEEE Access 2018, 6, 8459–8482. [Google Scholar] [CrossRef]
  23. Javed, F.; Afzal, M.K.; Sharif, M.; Kim, B. Internet of Things (IoT) Operating Systems Support, Networking Technologies, Applications, and Challenges: A Comparative Review. IEEE Commun. Surv. Tutor. 2018, 20, 2062–2100. [Google Scholar] [CrossRef]
  24. Micromole. Micromole—Sewage Monitoring System for Tracking Synthetic Drug Laboratories. Available online: http://www.micromole.eu (accessed on 17 October 2019).
  25. SYSTEM. H2020 SYSTEM—Synergy of Integrated Sensors and Technologies for Urban Secured Environment. Available online: https://cordis.europa.eu/project/rcn/220304/factsheet/en (accessed on 26 July 2020).
  26. Liu, J.; Chen, F.; Yan, J.; Wang, D. CBN-VAE: A Data Compression Model with Efficient Convolutional Structure for Wireless Sensor Networks. Sensors 2019, 19, 3445. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  27. Danieletto, M.; Bui, N.; Zorzi, M. RAZOR: A Compression and Classification Solution for the Internet of Things. Sensors 2014, 14, 68–94. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  28. Liu, J.; Chen, F.; Wang, D. Data Compression Based on Stacked RBM-AE Model for Wireless Sensor Networks. Sensors 2018, 18, 4273. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  29. Yin, Y.; Liu, F.; Zhou, X.; Li, Q. An Efficient Data Compression Model Based on Spatial Clustering and Principal Component Analysis in Wireless Sensor Networks. Sensors 2015, 15, 19443–19465. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  30. Jiang, P.; Li, S. A Sensor Network Data Compression Algorithm Based on Suboptimal Clustering and Virtual Landmark Routing Within Clusters. Sensors 2010, 10, 9084–9101. [Google Scholar] [CrossRef] [Green Version]
  31. Lee, J.H.; Jung, I.B. Adaptive-Compression Based Congestion Control Technique for Wireless Sensor Networks. Sensors 2010, 10, 2919–2945. [Google Scholar] [CrossRef] [Green Version]
  32. Ying, B.; Liu, Y.; Yang, H.; Wang, H. Evaluation of Tunable Data Compression in Energy-Aware Wireless Sensor Networks. Sensors 2010, 10, 3195–3217. [Google Scholar] [CrossRef] [Green Version]
  33. Salomon, D.; Motta, G. Handbook of Data Compression, 5th ed.; Springer: New York, NY, USA, 2010. [Google Scholar]
  34. Golomb, S. Run-Lenght Encodings. IEEE Trans. Inf. Theory 1966, 12, 399–401. [Google Scholar] [CrossRef] [Green Version]
  35. Kiely, A. Selecting the Golomb parameter in Rice codings. Interplanet. Netw. Prog. Rep. 2004, 42, 159. [Google Scholar]
  36. Blalock, D.; Madden, S.; Guttag, J. Sprintz: Time Series Compression for the Internet of Things. ACM Interact. Mob. Wearable Ubiquitous Technol. 2018, 2, 1–23. [Google Scholar] [CrossRef] [Green Version]
Figure 1. Number of bits used to encode randomly generated data by using different Rice parameters r [ 0 , 6 ] for the input data sequence presented in Table 1. The total bit-length function f ( r ) is only defined for integer values of r (marked with dots and squares in the figure). A continuous line was added between the points to improve visibility.
Figure 1. Number of bits used to encode randomly generated data by using different Rice parameters r [ 0 , 6 ] for the input data sequence presented in Table 1. The total bit-length function f ( r ) is only defined for integer values of r (marked with dots and squares in the figure). A continuous line was added between the points to improve visibility.
Algorithms 13 00181 g001
Figure 2. Function f ( r ) bounded by g ( r ) and h ( r ) for the input sequence of Section 1.1. The minimum value of each function is marked with a squared red dot. The total bit-length function f ( r ) is only defined for integer values of r. A continuous line was added between the points to improve visibility.
Figure 2. Function f ( r ) bounded by g ( r ) and h ( r ) for the input sequence of Section 1.1. The minimum value of each function is marked with a squared red dot. The total bit-length function f ( r ) is only defined for integer values of r. A continuous line was added between the points to improve visibility.
Algorithms 13 00181 g002
Figure 3. Estimation of the minimum bit-length after Rice coding.
Figure 3. Estimation of the minimum bit-length after Rice coding.
Algorithms 13 00181 g003
Figure 4. Estimation of the minimum bit-length after Rice coding when the first preprocessing method is used.
Figure 4. Estimation of the minimum bit-length after Rice coding when the first preprocessing method is used.
Algorithms 13 00181 g004
Figure 5. Number of minimal bit-length solutions found by approximating the Rice parameter as given in (20). Labels “floor”, “ceiling”, and “ceiling + 1” should be understood as S , S , and S + 1 , respectively. Each column represents the number of minimal bit-length solutions obtained by using the specified approximations, e.g., there were 144,216 minimal bit-length solutions found by approximating the parameter as S and 189,589 minimal bit-length solutions found by approximating the parameter either as S or S (both are equal-cost solutions).
Figure 5. Number of minimal bit-length solutions found by approximating the Rice parameter as given in (20). Labels “floor”, “ceiling”, and “ceiling + 1” should be understood as S , S , and S + 1 , respectively. Each column represents the number of minimal bit-length solutions obtained by using the specified approximations, e.g., there were 144,216 minimal bit-length solutions found by approximating the parameter as S and 189,589 minimal bit-length solutions found by approximating the parameter either as S or S (both are equal-cost solutions).
Algorithms 13 00181 g005
Figure 6. Normalised compression factor for each data type as the batch size varies.
Figure 6. Normalised compression factor for each data type as the batch size varies.
Algorithms 13 00181 g006
Figure 7. Scaled sequential difference of 128 measurements of interval rain from the 63rd Street Weather Station in Chicago, USA, between 09:00:00 and 19:00:00 local time on 1 March 2017. The continuous (black) line represents the sequence of measurements over time. The shaded (coloured) boxes represent the way in which the given sequence of measurements can be partitioned into four sub-sequences in order to achieve shorter Rice codes.
Figure 7. Scaled sequential difference of 128 measurements of interval rain from the 63rd Street Weather Station in Chicago, USA, between 09:00:00 and 19:00:00 local time on 1 March 2017. The continuous (black) line represents the sequence of measurements over time. The shaded (coloured) boxes represent the way in which the given sequence of measurements can be partitioned into four sub-sequences in order to achieve shorter Rice codes.
Algorithms 13 00181 g007
Figure 8. The directed acyclic bipartite graph for solving the multi-parameter Rice encoding problem. Each pair of u k and v k vertices represents the start and end of a sub-sequence in the basis (see Algorithm 2). The edges represent all possible ways of grouping the input data into larger sub-sequences. Edge costs are equal to the minimum bit-length of the sub-sequence w k ( i ) (see Algorithm 3) or to the overhead bit-length caused due to adding an extra sub-sequence to the solution ( ϵ ). The solution to the problem is given by the shortest path from v α to u ω .
Figure 8. The directed acyclic bipartite graph for solving the multi-parameter Rice encoding problem. Each pair of u k and v k vertices represents the start and end of a sub-sequence in the basis (see Algorithm 2). The edges represent all possible ways of grouping the input data into larger sub-sequences. Edge costs are equal to the minimum bit-length of the sub-sequence w k ( i ) (see Algorithm 3) or to the overhead bit-length caused due to adding an extra sub-sequence to the solution ( ϵ ). The solution to the problem is given by the shortest path from v α to u ω .
Algorithms 13 00181 g008
Figure 9. The directed acyclic bipartite graph for the previously provided example sequence, with weights (w) as given in Table 4. When ϵ = 0 , the shortest path has a total cost of 57. This shortest path is marked using continuous lines as arcs between the vertices. Only the weight of the vertices for this shortest path and those equal to ϵ are shown. When ϵ = 8 , the shortest path solution corresponds to the path v α u 1 v 10 u ω (not shown) with cost 64 + ϵ = 72 .
Figure 9. The directed acyclic bipartite graph for the previously provided example sequence, with weights (w) as given in Table 4. When ϵ = 0 , the shortest path has a total cost of 57. This shortest path is marked using continuous lines as arcs between the vertices. Only the weight of the vertices for this shortest path and those equal to ϵ are shown. When ϵ = 8 , the shortest path solution corresponds to the path v α u 1 v 10 u ω (not shown) with cost 64 + ϵ = 72 .
Algorithms 13 00181 g009
Figure 10. Number of cases where multi-parameter Rice coding yields shorter codes than the single-parameter Rice coding approach.
Figure 10. Number of cases where multi-parameter Rice coding yields shorter codes than the single-parameter Rice coding approach.
Algorithms 13 00181 g010
Figure 11. Relative improvement of the compression factor when multi-parameter Rice coding is used per data type.
Figure 11. Relative improvement of the compression factor when multi-parameter Rice coding is used per data type.
Algorithms 13 00181 g011
Figure 12. Number of minimal bit-length solutions found by the multi-parameter heuristic, as the parameter Δ varies. For 35 % of the tested batches, the heuristic was not able to find the optimal solution.
Figure 12. Number of minimal bit-length solutions found by the multi-parameter heuristic, as the parameter Δ varies. For 35 % of the tested batches, the heuristic was not able to find the optimal solution.
Algorithms 13 00181 g012
Figure 13. Ratio of optimal Rice coding considering partitioning versus the best heuristic partitioning solution found. The mean is calculated considering only those heuristic solutions for which the optimal could not be found, which account for 35 % of the batches.
Figure 13. Ratio of optimal Rice coding considering partitioning versus the best heuristic partitioning solution found. The mean is calculated considering only those heuristic solutions for which the optimal could not be found, which account for 35 % of the batches.
Algorithms 13 00181 g013
Table 1. Example input dataset ( n ) with N = 10 elements. L ( n i ) represents the minimum number of bits needed to encode n i , i.e., L ( n i ) = log 2 n i + 1 using standard binary representation (also known as beta codes).
Table 1. Example input dataset ( n ) with N = 10 elements. L ( n i ) represents the minimum number of bits needed to encode n i , i.e., L ( n i ) = log 2 n i + 1 using standard binary representation (also known as beta codes).
i12345678910
n i 574412151145541
L ( n i ) 3333444661
Table 2. The generated P ^ = 4 sub-sequences for the basis for the example input data with N = 10 as a result of Algorithm 2. The values of Q k ( r ) represent the value of Q ( r ) as given in (9) for the k-th sub-sequence of the basis, defined by the indices u k and v k . The column s ^ k provides the sum of the values of the input data within the indices u k and v k .
Table 2. The generated P ^ = 4 sub-sequences for the basis for the example input data with N = 10 as a result of Algorithm 2. The values of Q k ( r ) represent the value of Q ( r ) as given in (9) for the k-th sub-sequence of the basis, defined by the indices u k and v k . The column s ^ k provides the sum of the values of the input data within the indices u k and v k .
k Q k ( r ) u k v k s ^ k
r = 1 23456
19400001420
218830005738
34924115208999
400000010101
Table 3. Total bit-length for each one of the P ^ = 4 sub-sequences of the basis (shown in Table 2) for each value of the Rice parameter (r). Each row of this table is implicitly calculated by Algorithm 3 in its first iteration and stored in variable y r for further usage.
Table 3. Total bit-length for each one of the P ^ = 4 sub-sequences of the basis (shown in Table 2) for each value of the Rice parameter (r). Each row of this table is implicitly calculated by Algorithm 3 in its first iteration and stored in variable y r for further usage.
Basis r = 1 23456
[ 1 , 4 ] 212020244048
[ 5 , 7 ] 272018182121
[ 8 , 9 ] 553221171617
[ 10 , 10 ] 345678
Table 4. Output data of Algorithm 3. The first header row ( k 0 ) represents the starting index of the sub-sequence. The second header row (k) represents the end index of the sub-sequence. Each column provides values of the minimum bit-length for the sub-sequence (w) and the corresponding value of the Rice parameter (z).
Table 4. Output data of Algorithm 3. The first header row ( k 0 ) represents the starting index of the sub-sequence. The second header row (k) represents the end index of the sub-sequence. Each column provides values of the minimum bit-length for the sub-sequence (w) and the corresponding value of the Rice parameter (z).
From ( k 0 )15810
To (k)47910791091010
w2038596418354116233
z2333344541

Share and Cite

MDPI and ACS Style

Solano Donado, F. On the Optimal Calculation of the Rice Coding Parameter. Algorithms 2020, 13, 181. https://doi.org/10.3390/a13080181

AMA Style

Solano Donado F. On the Optimal Calculation of the Rice Coding Parameter. Algorithms. 2020; 13(8):181. https://doi.org/10.3390/a13080181

Chicago/Turabian Style

Solano Donado, Fernando. 2020. "On the Optimal Calculation of the Rice Coding Parameter" Algorithms 13, no. 8: 181. https://doi.org/10.3390/a13080181

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop