# Patent

## Title
Method, system and software product for color image encoding

## Abstract

The present invention relates to the compression of color image data. A combination of hard decision pixel mapping and soft decision pixel mapping is used to jointly address both quantization distortion and compression rate while maintaining low computational complexity and compatibility with standard decoders, such as, for example, the GIF/PNG decoder.

## Background
CROSS-REFERENCE TO RELATED APPLICATIONS
This application is a continuation of U.S. patent application Ser. No. 12/404,417, filed Mar. 16, 2009, which is a divisional of U.S. patent application Ser. No. 10/831,656, filed on Apr. 23, 2004, which claims the benefit of U.S. Provisional Application No. 60/564,033, filed on Apr. 21, 2004. U.S. patent application Ser. No. 10/831,656 issued to U.S. Pat. No. 7,525,552. The entire contents of U.S. patent application Ser. No. 12/404,417, U.S. patent application Ser. No. 10/831,656, and U.S. Patent Application No. 60/564,033 are herein incorporated by reference.


FIELD OF THE INVENTION
The present invention relates to a method, system and software product for color image encoding.
BACKGROUND OF THE INVENTION
In recent years, the volume of color image data on the Internet has been explosively increasing. In particular, due to the increasing popularity of web sites, digital cameras, and online games, color image data have become a significant portion of the Internet traffic. On the other hand, access to color images through wireless channels or via low power, small devices is still time-consuming and inconvenient, which is mainly due to the limitations of image display device, storage, and transmission bandwidth has become a bottleneck for many multimedia applications—see, for example, J. Barrilleaux, R. Hinkle, and S. Wells, “Efficient vector quantization for color image encoding,” Acoustics, Speech, and Signal Processing, IEEE International Conference on ICASSP '87, vol. 12, pp. 740-743, April 1987 (hereinafter “reference [1]”), M. T. Orchard and C. A. Bouman, “Color quantization of images,” Signal Processing, IEEE Transactions on, vol. 39, no. 12, pp. 2677-2690, December 1991 (hereinafter “reference [2]”), I. Ashdown, “Octree color quantization,” C/C++ Users Journal, vol. 13, no. 3, pp. 31-43, 1994 (hereinafter “reference [3]”), X. Wu, “Yiq vector quantization in a new color palette architecture,” IEEE Trans. on Image Processing, vol. 5, no. 2, pp. 321-329, 1996 (hereinafter “reference [4]”), L. Velho, J. Gomes, and M. V. R. Sobreiro, “Color image quantization by pairwise clustering,” Proc. Tenth Brazilian Symp. Comput. Graph. Image Process, L. H. de Figueiredo and M. L. Netto, Eds. Campos do Jordao, Spain, pp. 203-210, 1997 (hereinafter “reference [5]”) and S. Wan, P. Prusinkiewicz, and S. Wong, “Variance-based color image quantization for frame buffer display,” Res. Appl., vol. 15, pp. 52-58, 1990 (hereinafter “reference [6]”).
One way to alleviate the above limitations is to apply efficient color image encoding schemes which compress, optimize, or re-encode color images. A typical color image encoding scheme consists of a color palette, pixel mapping, and lossless code. The color palette acts as a vector quantization codebook, and is used to represent all colors in the original color image. The pixel mapping then maps each pixel in the image into an index corresponding to a color in the color palette. The pixel mapping could be either a hard decision pixel mapping for which the quantization of a RGB color vector into a color of the color palette is fixed and independent of the pixel location of the RGB color vector in the image once the color palette is given, or a soft decision pixel mapping for which a RGB color vector may be quantized into different colors of the color palette at different pixel locations. The index sequence resulting from the pixel mapping is finally encoded by a lossless code.
Previously, color palette design, pixel mapping, and coding were investigated separately. In the design of color palette and pixel mapping, the coding part is often ignored and the main objective is to reduce the quantization distortion, improve visual quality of quantized images, and decrease computational complexity. Several tree-structured splitting and merging color image quantization methods are proposed in the literature—see, for example, references [1] to [6]—to achieve, more or less, this objective. On the other hand, when coding is concerned, the color palette and pixel mapping are often assumed to be given, and the objective is to design efficient codes for the index sequence so as to reduce the compression rate. For instance, an algorithm for lossy compression in the LUV color space of color-quantized images was given in A. Zaccarin and B. Liu, “A novel approach for coding color quantized image,” Image Processing, IEEE Transactions on, vol. 2, no. 4, pp. 442-453, October 1993 (hereinafter “reference [7]”). Two heuristic solutions were proposed in N. D. Memon and A. Venkateswaran, “On ordering color maps for lossless predictive coding,” IEEE Transactions on Image Processing, vol. 5, no. 11, pp. 1522-1527, 1996 (hereinafter “reference [8]”), to reorder color maps prior to encoding the image by lossless predictive coding techniques. Based on a binary-tree structure and context-based entropy coding, a compression algorithm was proposed in X. Chen, S. Kwong, and J. fu Feng, “A new compression scheme for color-quantized images,” Circuits and Systems for Video Technology, IEEE Transactions on, vol. 12, no. 10, pp. 904-908, October 2002 (hereinafter “reference [9]”) to provide progressive coding of color-quantized images. In these algorithms, the compression efficiency is achieved at the expense of compressed bit streams incompatible with standard decoders such as the GIF/PNG decoder.
SUMMARY OF THE INVENTION
In accordance with a first aspect of the present invention, there is provided a method for creating, from a digitized color image with N distinct colors using a data processing system, a tree structured partitioning of all pixels in the digitized color image into M disjoint clusters, wherein M is less than or equal to N, each color in the N distinct colors is digitally represented by a plurality of P-bit bytes in a color palette, and the P-bits in each P-bit byte are ordered from most significant to least significant. The method comprises (a) providing a root node comprising all of the N distinct colors; (b) providing a first level of sibling nodes linked to the root node, wherein each color in the N distinct colors is allocated by the data processing system to an associated node in the first level of sibling nodes based on a value of a first bit in each P-bit byte in the plurality of P-bit bytes; (c) for each node in a kth level of nodes comprising more than one color, providing a plurality of sibling nodes at a (k+1)th level, wherein each color in that node is allocated by the data processing system to an associated sibling node in the plurality of sibling nodes at the (k+1)th level based on a value of a (k+1)th bit in each P-bit byte in the plurality of P-bit bytes for that color, such that for each color in the N distinct colors there is a distinct leaf node comprising that color alone; and (d) selecting and merging leaf nodes until there are only M leaf nodes left.
In accordance with a second aspect of the present invention, there is provided a data processing system for creating, from a digitized color image with N distinct colors, a tree structured partitioning of all pixels in the digitized color image into M disjoint clusters, wherein M is less than or equal to N, each color in the N distinct colors is digitally represented by a plurality of P-bit bytes in a color palette, and the P-bits in each P-bit byte are ordered from most significant to least significant. The data processing system comprises: (a) node-creation means for (i) providing a root node comprising all of the N distinct colors; (ii) providing a first level of sibling nodes linked to the root node, wherein each color in the N distinct colors is allocated to an associated node in the first level of sibling nodes based on a value of a first bit in each P-bit byte in the plurality of P-bit bytes; and (iii) for each node in a kth level of nodes comprising more than one color, providing a plurality of sibling nodes at a (k+1)th level, wherein each color in that node is allocated to an associated sibling node in the plurality of sibling nodes at the (k+1)th level based on a value of a (k+1)th bit in each P-bit byte in the plurality of P-bit bytes for that color, such that for each color in the N distinct colors there is a distinct leaf node comprising that color alone; and (b) node merging means for selecting and merging leaf nodes until there are only M leaf nodes left.
In accordance with a third aspect of the present invention, there is provided a computer program product for use on a computer system to create, from a digitized color image with N distinct colors, a tree structured partitioning of all pixels in the digitized color image into M disjoint clusters, wherein M is less than or equal to N, each color in the N distinct colors is digitally represented by a plurality of P-bit bytes in a color palette, and the P-bits in each P-bit byte are ordered from most significant to least significant. The computer program product comprises a recording medium; means recorded on the medium for instructing the computer system to perform the steps of: (a) providing a root node comprising all of the N distinct colors; (b) providing a first level of sibling nodes linked to the root node, wherein each color in the N distinct colors is allocated to an associated node in the first level of sibling nodes based on a value of a first bit in each P-bit byte in the plurality of P-bit bytes; (c) for each node in a kth level of nodes comprising more than one color, providing a plurality of sibling nodes at a (k+1)th level, wherein each color in that node is allocated to an associated sibling node in the plurality of sibling nodes at the (k+1)th level based on a value of a (k+1)th bit in each P-bit byte in the plurality of P-bit bytes for that color, such that for each color in the N distinct colors there is a distinct leaf node comprising that color alone; and (d) selecting and merging leaf nodes until there are only M leaf nodes left.
In accordance with a fourth aspect of the present invention, there is provided a method for deriving a new index sequence representing a pixel mapping and a new output function representing a color palette for a new digitized color image derived from an original digitized color image both defined on n pixels, wherein the original digitized color image is provided by N distinct colors being allocated to the n pixels, the new digitized color image is provided by M distinct colors being allocated to the n pixels, the new index sequence has n index members for representing the n pixels and the new output function is for mapping the n index members to the M colors. The method comprises (a) providing a first new index sequence by partitioning all pixels in the original digitized color image into M disjoint clusters based on a color of each pixel in the original digitized color image without regard to the location of the pixel in the original digitized color image, wherein M is less than or equal to N; (b) providing a first new output function for providing a one-to-one mapping of the M distinct colors onto the pixels in the M disjoint clusters; (c) applying a soft decision optimization process to the first new index sequence and the first new output function to provide the new index sequence and the new output function respectively based on, for each member of the first new index sequence, how a color value assigned to that member by the first new output function correlates with the color value assigned to at least one other member of the first new index sequence by the first new output function.
In accordance with a fifth aspect of the present invention, there is provided a data processing system for deriving a new index sequence representing a pixel mapping and a new output function representing a color palette for a new digitized color image derived from an original digitized color image both defined on n pixels, wherein the original digitized color image is provided by N distinct colors being allocated to the n pixels, the new digitized color image is provided by M distinct colors being allocated to the n pixels, the new index sequence has n index members for representing the n pixels and the new output function is for mapping the n index members to the M colors. The data processing system comprises (a) a hard decision module for (i) providing a first new index sequence by partitioning all pixels in the original digitized color image into M disjoint clusters based on a color of each pixel in the original digitized color image without regard to the location of the pixel in the original digitized color image, wherein M is less than or equal to N, and (ii) providing a first new output function for providing a one-to-one mapping of the M distinct colors onto the pixels in the M disjoint clusters; and, (b) a soft decision module for applying a soft decision optimization process to the first new index sequence and the first new output function to provide the new index sequence and the new output function respectively based on, for each member of the first new index sequence, how a color value assigned to that member by the first new output function correlates with the color value assigned to at least one other member of the first new index sequence by the first new output function.
In accordance with a sixth aspect of the present invention, there is provided a computer program product for use on a computer system to create a pixel mapping and a new output function representing a color palette for a new digitized color image derived from an original digitized color image both defined on n pixels, wherein the original digitized color image is provided by N distinct colors being allocated to the n pixels, the new digitized color image is provided by M distinct colors being allocated to the n pixels, the new index sequence has n index members for representing the n pixels and the new output function is for mapping the n index members to the M colors. The computer program product comprises a recording medium; and, means recorded on the medium for instructing the computer system to perform the steps of: (a) providing a first new index sequence by partitioning all pixels in the original digitized color image into M disjoint clusters based on a color of each pixel in the original digitized color image without regard to the location of the pixel in the original digitized color image, wherein M is less than or equal to N; (b) providing a first new output function for providing a one-to-one mapping of the M distinct colors onto the pixels in the M disjoint clusters; (c) applying a soft decision optimization process to the first new index sequence and the first new output function to provide the new index sequence and the new output function respectively based on, for each member of the first new index sequence, how a color value assigned to that member by the first new output function correlates with the color value assigned to at least one other member of the first new index sequence by the first new output function.



BRIEF DESCRIPTION OF THE DRAWINGS
A detailed description of preferred aspects of the invention is provided herein below with reference to the following drawings, in which:
FIG. 1, in a block diagram, illustrates a computer system in accordance with a preferred aspect of the present invention;
FIG. 2, in a graph, illustrates a octree structure in accordance with a preferred aspect of the invention;
FIG. 3, in a graph, illustrates a Viterbi algorithm in accordance with a first variant of a soft-decision optimization aspect of the present invention;
FIG. 4, in a graph, illustrates a Viterbi algorithm in accordance with a second variant of a soft-decision optimization aspect of the present invention; and,
FIG. 5, in a block diagram, illustrates a CPU of the computer system of FIG. 1.



DETAILED DESCRIPTION OF PREFERRED EMBODIMENTS OF THE INVENTION
Referring to FIG. 1, there is illustrated in a block diagram, a computer system 10 in accordance with an aspect of the invention. The computer system comprises a memory 12 for storing color image data, a monitor 14 for displaying digital color images, a CPU 16 for image processing and for providing compression of color data that jointly optimizes both quantization, distortion and compression weight while maintaining low computational complexity and compatibility with GIF/PNG decoders, and an encoder 20 such as a GIF encoder or PNG encoder for encoding the color image data prior to its transmission from the computer system 10 via transmission conduit 20.
The joint optimization problem of color image encoding can be defined as follows: Let Ω={(r,g,b)|0≦r,g,b≦255} be the RGB color space. Assume O={o0, o1 . . . , oN−1} is the color palette of an original color image which has N distinct colors. If the total number of pixels in the original image is n, we obtain an index sequence I=(i0, i1, . . . , in−1) by scanning the color image from top to bottom and from left to right, where ik means that the color vector of the kth pixel is o1k. If we confine ourselves to using a new color palette C with M colors (M<N) to reproduce the original color image, the joint optimization encoder is aimed at finding a new color palette C={c0, c1 . . . , cM−1}, a new index sequence U=(u0, u1, . . . , uu−1), and a lossless codeword length function l to reproduce the original image and to minimize the cost function:




  
    
      n
      
        -
        1
      
    
    ⁢
    
      l
      ⁡
      
        (
        U
        )
      
    
  
  +
  
    λ
    ⁢
    
      
    
    ⁢
    
      n
      
        -
        1
      
    
    ⁢
    
      
        ∑
        
          k
          =
          0
        
        
          n
          -
          1
        
      
      ⁢
      
        d
        ⁡
        
          (
          
            
              o
              
                i
                k
              
            
            ,
            
              c
              
                u
                k
              
            
          
          )
        
      
    
  




where λ is a Lagrangian multiplier, and d is the square error incurred by representing oik by cuk: 

d(oi,ck)=∥oi−ck∥2=(roi−rck)2+(goi−gck)2+(boi−bck)2  (1.1)

Since there is a one-to-one mapping between a lossless codeword length function and a lossless code, selection of a lossless codeword length function is equivalent to that of a lossless code.
Clearly




  
    
      
        
          
            ∑
            
              k
              =
              0
            
            
              n
              -
              1
            
          
          ⁢
          
            d
            ⁡
            
              (
              
                
                  o
                  
                    i
                    k
                  
                
                ,
                
                  c
                  
                    u
                    k
                  
                
              
              )
            
          
        
        =
        
          
            ∑
            
              k
              =
              0
            
            
              n
              -
              1
            
          
          ⁢
          
            [
            
              
                
                  (
                  
                    
                      r
                      
                        o
                        
                          i
                          k
                        
                      
                    
                    -
                    
                      r
                      
                        c
                        
                          u
                          k
                        
                      
                    
                  
                  )
                
                2
              
              +
              
                
                  (
                  
                    
                      g
                      
                        o
                        
                          i
                          k
                        
                      
                    
                    -
                    
                      g
                      
                        c
                        
                          u
                          k
                        
                      
                    
                  
                  )
                
                2
              
              +
              
                
                  (
                  
                    
                      b
                      
                        o
                        
                          i
                          k
                        
                      
                    
                    -
                    
                      b
                      
                        c
                        
                          u
                          k
                        
                      
                    
                  
                  )
                
                2
              
            
            ]
          
        
      
    
    
      
        (
        1.2
        )
      
    
  




is the total square error (TSE), which is closely related with the visual quality of the quantized color images. Note that the minimization of TSE or other similar distortion measures is the sole purpose of quantization-oriented methods considered in references [1] to [6]. Similarly, given the new color palette C and pixel mapping (hence the index sequence U), the minimization of bit rate n−1l(U) among all possible lossless codeword length functions l is the sole purpose of coding methods for color-quantized images considered in references [7] to [9]. The cost function given above brings forward the problem of joint optimization of the rate and distortion. The quantization distortion is determined by the color palette C and pixel mapping (i.e., the index sequence U); the compression rate is determined by both the pixel mapping and the lossless codeword length function l. Here, of course, the pixel mapping is a soft decision pixel mapping. Therefore, even if the lossless codeword length function l is fixed, one can still jointly optimize both the rate and distortion by changing both C and U.

There are many lossless codeword length functions, each corresponding to a different entropy code, such as Huffman codes D. A. Huffman, “A method for the construction of minimum-redundancy codes,” Proc. IRE, vol. 40, no. 9, pp. 1098-1101, 1952 (hereinafter “reference [12]”), Lempel-ziv codes J. Ziv and A. Lempel, “A universal algorithm for sequential data compression,” IEEE Trans. On Information Theory, vol. 23, pp. 337-343, 1977 (hereinafter “reference [11]”), J. Ziv and A. Lempel IEEE Trans. Inform. Theory (hereinafter “reference [10]”), arithmetic codes I. H. Witten, M. Neal, and J. G. Cleary, “Arithmetic coding for data compression,” Commun. ACM, vol. 30, pp. 520-540, June 1987 (hereinafter “reference [13]”), grammar-based codes, E.-H. Yang and J. C. Kieffer, “Efficient universal lossless data compression algorithms based on a greedy sequential grammar transform—part one: Without context models,” IEEE Trans. On Information Theory, vol. 46, no. 3, pp. 755-777, May 2000 (hereinafter “reference [14]”), J. C. Kieffer and E.-H. Yang, “Grammar based codes: A new class of universal lossless source codes,” IEEE Trans. on Information Theory, vol. 46, no. 3, pp. 737-754, May 2000 (hereinafter “reference [15]”), E.-H. Yang and D.-K. He IEEE Trans. on Information Theory, vol. 49, pp. 2874-2894, 2003 (hereinafter “reference [16]”), and lossless codes designed specifically for color image encoding—see references [7] to [9]. Since we want to maintain compatibility with GIF/PNG decoder, we choose/to be the codeword length of LZ78 or its variant in the case of GIF decoder and of the LZ77 code or its variant in the case of PNG decoder, J. Miano, “Compressed image file formats: Jpeg, png, gif, xbm, bmp,” ACM Press, 2000 (hereinafter “reference [17]”), which will be denoted in each case simply by lLZ(U). Therefore, the cost function to be minimized in our case is




  
    
      n
      
        -
        1
      
    
    ⁢
    
      
        l
        LZ
      
      ⁡
      
        (
        U
        )
      
    
  
  +
  
    λ
    ⁢
    
      
    
    ⁢
    
      n
      
        -
        1
      
    
    ⁢
    
      
        ∑
        
          k
          =
          0
        
        
          n
          -
          1
        
      
      ⁢
      
        
          d
          ⁡
          
            (
            
              
                o
                
                  i
                  k
                
              
              ,
              
                c
                
                  u
                  k
                
              
            
            )
          
        
        .
      
    
  




The cost function given above is of form similar to the cost function defined in entropy-constrained vector quantization (ECVQ), P. A. Chou, T. Lookabaugh, and R. M. Gray, “Entropy-constrained vector quantization,” Acoustics, Speech, and Signal Processing [see also IEEE Transactions on Signal Processing], IEEE Transactions on, vol. 37, no. 1, pp. 31-42, January 1989 (hereinafter “reference [18]”), and in particular to the cost function defined in variable-rate trellis source encoding (VRTSE), E.-H. Yang and Z. Zhang, “Variable rate trellis source encoding,” IEEE Trans. on Information Theory, vol. 45, no. 2, pp. 586-608, March 1999 (hereinafter “reference [19]”). VRTSE can be viewed as a generalization of entropy-constrained scalar quantization and vector quantization [18] in the sense that it makes use of trellis structure and jointly optimizes the resulting rate, distortion, and selected encoding path. Its efficient performance, especially in low rate regions, makes VRTSE particularly applicable to color image encoding where a high compression ratio is often desired for saving storage space and transmission time.
Based on VRTSE, we have developed two methods in accordance with an aspect of the invention, variable-rate trellis color quantization (VRTCQ), and VRTCQ 2, to jointly optimize both the quantization distortion and compression rate while maintaining low computational complexity and compatibility with GIF/PNG decoder. Both VRTCQ 1 and VRTCQ 2 use a soft decision pixel mapping, and are iterative. In addition, in accordance with a further aspect of the invention, entropy-constrained hierarchical merging quantization (ECHMQ), which uses the octree data structure for RGB colors and locally minimizes an entropy-constrained cost for the quantized color image, is developed to provide an initial color image encoding scheme for VRTCQ 1 and VRTCQ 2. On its own, ECHMQ provides an efficient way to trade off the rate and distortion of the quantized color image.
Brief Review of Variable-Rate Trellis Source Encoding
Variable-rate trellis source encoding presented in [19] is an extension of fixed slope lossy coding, E. H. Yang, Z. Zhang, and T. Berger, “Fixed-slope universal lossy data compression,” IEEE Trans. on Information Theory, vol. 43, no. 5, pp. 1465-1476, September 1997 (hereinafter “reference [20]”), to the case of trellis-structured decoders. For each real-valued source sequence xn=(x0, x1, . . . , xn−1)εRn, it aims to find a sequence un=(u0, u1, . . . un−1)εMsetn, Mset={0, 1, . . . , M−1}, to minimize the cost function

J(xn)=n−1l(un)+λn−1p(xn,β(un))

where λ is a given Lagrangian multiplier, l is a lossless codeword length function, β(un)=(z0, z1, . . . , zn−1) is the reproduction sequence corresponding to un, and ρ is the square error distortion defined by





  
    p
    ⁡
    
      (
      
        
          x
          n
        
        ,
        
          z
          n
        
      
      )
    
  
  ⁢
  
    =
    Δ
  
  ⁢
  
    
      
        ∑
        
          i
          =
          0
        
        
          n
          -
          1
        
      
      ⁢
      
        p
        ⁡
        
          (
          
            
              x
              i
            
            ,
            
              z
              i
            
          
          )
        
      
    
    ⁢
    
      =
      Δ
    
    ⁢
    
      
        ∑
        0
        
          n
          -
          1
        
      
      ⁢
      
        
          (
          
            
              x
              i
            
            -
            
              z
              i
            
          
          )
        
        2
      
    
  




for any xn=(x0, x1, . . . , xn−1) and zn=(z0, z1 . . . , zn−1).

The reproduction sequence β(un) is determined from un through a trellis-structured decoder β=(f,g), where f:S×Mset→S is a state transition function, S={s0, s1, . . . , s|S|−1} is a set of states, and g:S×Mset→R is an output function. The functions f and g determine the trellis structure and the set of reproduction levels (similar to a color palette), respectively. Given an initial state sio, the reproduction sequence β(un(z0, z1, . . . , zn−1) is computed as follows:

z1=g(sij,uj)

sij+1=f(sij,uj)

j=0, 1, . . . , n−1  (2.3)

In other words, upon receiving un, the decoder β outputs the reproduction sequence β(un(z0, z1, . . . , zn−1) while traversing the sequence of states si0, si1, . . . , sin. 

Fix β. Select l to be the kth-order static arithmetic codeword length function LkW with kth-order transition probability function W(u|uk). The Viterbi algorithm can then be used to find the optimal sequence un:




  
    
      
        
          u
          n
        
        =
        
          arg
          ⁢
          
            
          
          ⁢
          
            
              min
              
                
                  v
                  n
                
                =
                
                  
                    (
                    
                      
                        v
                        0
                      
                      ,
                      
                        v
                        1
                      
                      ,
                      
                        
                      
                      ⁢
                      ...
                      ⁢
                      
                        
                      
                      ,
                      
                        v
                        
                          n
                          -
                          1
                        
                      
                    
                    )
                  
                  ∈
                  
                    M
                    n
                  
                
              
            
            ⁢
            
              [
              
                
              
              ⁢
              
                
                  
                    n
                    
                      -
                      1
                    
                  
                  ⁢
                  
                    
                      L
                      k
                      W
                    
                    ⁡
                    
                      (
                      
                        
                          v
                          0
                        
                        ,
                        
                          v
                          1
                        
                        ,
                        ...
                        ⁢
                        
                          
                        
                        ,
                        
                          v
                          
                            n
                            -
                            1
                          
                        
                      
                      )
                    
                  
                
                +
                
                  λ
                  ⁢
                  
                    
                  
                  ⁢
                  
                    n
                    
                      -
                      1
                    
                  
                  ⁢
                  
                    p
                    ⁡
                    
                      (
                      
                        
                          x
                          n
                        
                        ,
                        
                          β
                          ⁡
                          
                            (
                            
                              v
                              n
                            
                            )
                          
                        
                      
                      )
                    
                  
                
              
              ]
            
          
        
      
    
    
      
        (
        2.4
        )
      
    
  




Fix f. The joint optimization of g, un, and LkW (or equivalently W(u|uk) can be described)




  
    
      
        
          min
          
            g
            ,
            W
          
        
        ⁢
        
          
            min
            
              
                u
                n
              
              ∈
              
                M
                n
              
            
          
          ⁢
          
            ⌊
            
              
                
                  n
                  
                    -
                    1
                  
                
                ⁢
                
                  
                    L
                    
                      k
                      ⁢
                      
                        
                      
                    
                    W
                  
                  ⁡
                  
                    (
                    
                      u
                      n
                    
                    )
                  
                
              
              +
              
                λ
                ⁢
                
                  
                
                ⁢
                
                  n
                  
                    -
                    1
                  
                
                ⁢
                
                  p
                  ⁡
                  
                    (
                    
                      
                        x
                        n
                      
                      ,
                      
                        β
                        ⁡
                        
                          (
                          
                            u
                            n
                          
                          )
                        
                      
                    
                    )
                  
                
              
            
            ⌋
          
        
      
    
    
      
        (
        2.5
        )
      
    
  




An alternating algorithm was proposed in [19] to solve the joint optimization problem (2.5). The procedure of this alternating algorithm is as follows:
Step 1: Set t=0, Select an output function g(o) and a transition probability function W(0) satisfying

W(0)(u|uk)>0 for any uεMset and ukεMsetk.

Step 2: Fix g(t) and W(t). Use the Viterbi algorithm to find a sequence (un)(t)=(u0(t), u1(t), . . . , un−1(t)) satisfying Equation (2.4) with g replaced by g(t) and W by W(t).
Step 3: Fix (un)(t). The index sequence (un)(t) gives rise to the update of transition probability function and output function as




  
    
      
        W
        
          (
          
            t
            +
            1
          
          )
        
      
      ⁡
      
        (
        
          u
          |
          
            u
            k
          
        
        )
      
    
    =
    
      
        
        
          {
          
            
              
                j
                :
                
                  u
                  j
                  
                    (
                    t
                    )
                  
                
              
              =
              u
            
            ,
            
              
                
                  (
                  
                    u
                    
                      j
                      -
                      k
                    
                    
                      j
                      -
                      1
                    
                  
                  )
                
                
                  (
                  t
                  )
                
              
              =
              
                u
                k
              
            
            ,
            
              0
              ≤
              i
              ≤
              n
            
          
          }
        
        
      
      
        
        
          {
          
            
              
                j
                :
                
                  
                    (
                    
                      u
                      
                        j
                        -
                        k
                      
                      
                        j
                        -
                        1
                      
                    
                    )
                  
                  
                    (
                    t
                    )
                  
                
              
              =
              
                u
                k
              
            
            ,
            
              0
              ≤
              j
              <
              n
            
          
          }
        
        
      
    
  
  ,
  
    

  
  ⁢
  
    
      u
      k
    
    ∈
    
      M
      set
      k
    
  
  ,
  
    u
    ∈
    
      M
      set
    
  




and





  
    
      
        g
        
          (
          t
          )
        
      
      ⁡
      
        (
        
          s
          ,
          u
        
        )
      
    
    =
    
      
        
          ∑
          
            s
            ,
            u
          
        
        ⁢
        
          x
          j
        
      
      
        
        
          {
          
            
              
                j
                :
                
                  s
                  
                    i
                    j
                  
                
              
              =
              s
            
            ,
            
              
                u
                j
                
                  (
                  t
                  )
                
              
              =
              u
            
            ,
            
              0
              ≤
              j
              <
              n
            
          
          }
        
        
      
    
  
  ,
  
    s
    ∈
    S
  
  ,
  
    u
    ∈
    
      M
      set
    
  




where uj−kj−1=uj−k . . . uj−1, sij, j=0, 1, . . . , n−1, are the states traversed by the trellis decoder (f,g(t)) in response to (un)(t), and Σs,u is taken over all j satisfying sij=s and uj(t)=u.

Step 4: Repeat steps 2 to 3 for t=0, 1, 2, . . . until

n−1LkW(t)((un)(t))+λn−1p(xn, β(t)((un)(t)))−└n−1LkW(t+1)((un)(t+1))+λn−1p(xn, β(t+1)((un)(t+1)))┘≦ξ

where ξ is a prescribed small threshold, and LkW(t) is the kth-order static arithmetic codeword length function associated with kth-order transition probability function W(t)(u|uk). Then output g(t+1), (un)(t+1), and W(t+1).

The performance of VRTSE is asymptotically close to the rate-distortion limit, as shown by Theorems 3 and 4 in reference [19]. The experimental results over Gaussian, Laplacian, Gauss-Markov sources show that VRTSE is especially suitable for low-rate coding. To apply VRTSE to color image encoding the following problems must be addressed:
Problem 1: The lossless codeword length function used in VRTSE is a kth-order static arithmetic codeword length function Lk. On the other hand, in the present example of color image encoding, the lossless codeword length function is the Lempel-ziv codeword length function lLZ.
Problem 2: In VRTSE, the initialization step, Step 1, is unspecified. That is, how to select the initial functions g(0) and W(0) is left open in VRTSE. This translates, in our color image encoding setting, into how to design an initial color image encoding scheme.
Problem 3: To reduce its computational complexity, the index set Mset in VRTSE is often chosen to be binary with Mset=2 so that a high order arithmetic codeword length can be used. On the other hand, in color image encoding, the cardinality M is usually relatively large, and could be as large as 256. Therefore, a new way to reduce the computational complexity is needed.
To get around Problem 1, we will upper bound the Lempel-ziv codeword length function lLZ. If lLZ is the codeword length function of LZ78, then it follows from the lossless source coding literature (see, for example, [14]) that for any sequence un=(u0, u1, . . . , un−1),




  
    
      
        
          
            1
            n
          
          ⁢
          
            
              l
              LZ
            
            ⁡
            
              (
              
                u
                n
              
              )
            
          
        
        ≤
        
          
            
              r
              k
            
            ⁢
            
              
            
            ⁢
            
              (
              
                u
                n
              
              )
            
          
          +
          
            
              q
              k
            
            ⁢
            
              
            
            ⁢
            
              
                log
                ⁢
                
                  
                
                ⁢
                log
                ⁢
                
                  
                
                ⁢
                n
              
              
                log
                ⁢
                
                  
                
                ⁢
                n
              
            
          
        
      
    
    
      
        (
        2.6
        )
      
    
  




where rk(un) is the kth-order empirical entropy of un in bits per symbol, qk is a) constant depending only on k, and log stands for the logarithm relative to base 2. A similar upper bound is also valid if lLZ is the codeword length function of LZ77. Instead of minimizing





  
    1
    n
  
  ⁢
  
    
      l
      LZ
    
    ⁡
    
      (
      
        u
        n
      
      )
    
  




subject to a distortion constraint, we will minimize rk(un) subject to the same distortion constraint in VRTCQ 1. A) different upper bound will be used in VRTCQ 2. Problems 2 to 3 are addressed below.

Entropy-Constrained Hierarchical Merging Quantization

According to an aspect of the invention, problem 2 is addressed through an entropy-constrained hierarchical merging quantization (ECHMQ), which provides an initial color image encoding scheme for VRTSE. ECHMQ serves as the first stage, Stage 1, for both VRTCQ 1 and VRTCQ 2.
ECHMQ is hard-decision quantization, which partitions the original N colors into M non-overlapped clusters, finds a reproductive color for each cluster, and determines the reproductive color for each original color regardless of the position of the original color in the 2-dimensional image. It takes advantage of the octree data structure [3] and trades off the rate and distortion by locally minimizing an entropy-constrained cost, which is defined below.
Given an n-pixel color image with a color palette O={o0, o1, . . . , oN−1} and desired new color palette size M<N, we use a hard-decision quantizer q to partition the N colors into M clusters C0, C1, . . . , CM−1 which satisfy, for i≠j, and 0≦i, j<M

Ci∩Cj≡Ø

C0∪C1∪ . . . ∪CM−1≡O  (3.7)

The integer forms of the centroids of clusters constitute the color palette C={c0, c1, . . . , cM−1}, and the mapping from an original color to a cluster explicitly maps each pixel to an index. Let un=(u0, u1, . . . , un−1)εMsetn be the index sequence obtained from mapping all pixels to indices. Then the entropy-constrained cost of the quantized image is defined as:

J(q)=R(q)+λD(q)  (3.8)

where λ is a Lagrangian multiplier. In (3.8), D(q) is the total square error





  
    
      
        
          D
          ⁡
          
            (
            q
            )
          
        
        =
        
          
            ∑
            
              j
              =
              0
            
            
              M
              -
              1
            
          
          ⁢
          
            
              ∑
              
                
                  o
                  k
                
                ∈
                
                  C
                  j
                
              
            
            ⁢
            
              
                F
                ⁡
                
                  (
                  
                    o
                    k
                  
                  )
                
              
              ⁢
              
                d
                ⁡
                
                  (
                  
                    
                      o
                      k
                    
                    ,
                    
                      c
                      j
                    
                  
                  )
                
              
            
          
        
      
    
    
      
        (
        3.9
        )
      
    
  




where F(oi), with 0≦i<N, is the number of occurrences of color oi in the original color image, and d(ok,cj) is the square of Euclidean distance between two colors in RGB space, as defined in Equation (1.1). R(q) is the codeword length of the index sequence un. Since the mapping from a color to an index is independent of the color's position in the color image, the first order entropy is used to calculate the codeword length:





  
    
      
        
          R
          ⁡
          
            (
            q
            )
          
        
        =
        
          
            ∑
            
              j
              =
              0
            
            
              M
              -
              1
            
          
          ⁢
          
            ⌊
            
              
                (
                
                  
                    ∑
                    
                      
                        o
                        k
                      
                      ∈
                      
                        C
                        j
                      
                    
                  
                  ⁢
                  
                    F
                    ⁡
                    
                      (
                      
                        o
                        k
                      
                      )
                    
                  
                
                )
              
              ⁢
              log
              ⁢
              
                
              
              ⁢
              
                n
                
                  
                    ∑
                    
                      
                        o
                        k
                      
                      ∈
                      
                        C
                        j
                      
                    
                  
                  ⁢
                  
                    F
                    ⁡
                    
                      (
                      
                        o
                        k
                      
                      )
                    
                  
                
              
            
            ⌋
          
        
      
    
    
      
        (
        3.10
        )
      
    
  




The cost function defined in Equation (3.8) is similar to the Lagrangian function defined in entropy-constrained vector quantization (ECVQ) in reference [18]. The main issue is to design a hard-decision quantizer q with a good rate distortion trade-off and low encoding complexity. An octree structure is used to speed up the merging and the cost function defined in Equation (3.8) to trade off the rate and distortion of the quantized image.
Unlike the on-the-fly octree building procedure which scans the color of each pixel and inserts it in the tree [3], we get the histogram of the original color image and build the initial octree once. Referring to FIG. 2, there is illustrated in a graph, an octree 22, which contains all the distinct colors and their occurrences in an original color image. Root node 24, i.e. level 0, includes all the distinct colors in the color image. Since each color in the RGB color space consists of three 8-bit bytes, each of which represents a primary component, the most significant bits of the three bytes determine the position of the color in level 1. As long as more than one color passes a node, that node is an intermediate node 26 and should be further split according to the combination of the less significant RGB bits. The color passing a leaf node 28 is called a color in that leaf node 28, and the color itself is actually the centroid for that leaf node. The distance, in each color component direction, between the centroids of any two leaf sibling nodes at level k, falls into the range of (0,29−k). Obviously, the larger k is, the more similar those centroid colors are. Note that the octree 22 shown in FIG. 2 is highly unbalanced and asymmetrical for two reasons: first, the number of colors that appear in an ordinary color image is far less than the total number of 224 colors available in RGB space—see reference [17]; second, a node stops splitting if there is only one color passing it.
Each distinct color oi in the original color image is now put in a distinct leaf node Θi in the octree. By repeatedly merging two leaf sibling nodes each time, we can reduce the number of leaf nodes from N to M. The integer form of the centroid of each resulting leaf node is a color in the new color palette. Note that after repeated merger of leaf sibling nodes, each leaf node corresponds to a subset of colors in the color palette of the original color image.
Assume O={o0, o1, . . . , oN−1} is the color palette of the original color image. Let Θi and Θi be two leaf sibling nodes under the parent node Θ, where Θi={oi0, oi1, . . . , oim−1}, Θj={oj0, oi1, . . . , ojk−1}. and Θi∩Θj≡Ø. Let ci be the centroid color for Θi, and cj the centroid color for Θj. The number Fi of occurrences of the node Θi is defined as the sum of the number of occurrences of each color in node Θi




  
    F
    i
  
  ⁢
  
    =
    Δ
  
  ⁢
  
    
      F
      
        i
        0
      
    
    +
    
      F
      
        i
        1
      
    
    +
    ...
    +
    
      F
      
        i
        
          m
          -
          1
        
      
    
  




where F denotes the number of occurrences of the color oit in the original image. The number Fj of occurrences of the node Θi is calculated in a similar manner:





  
    F
    j
  
  ⁢
  
    =
    Δ
  
  ⁢
  
    
      F
      
        j
        0
      
    
    +
    
      F
      
        j
        1
      
    
    +
    ...
    +
    
      F
      
        j
        
          k
          -
          1
        
      
    
  




where Fjt denotes the number of occurrences of the color ojt in the original image. By merging the two nodes Θi and Θj to a new node Θij, we move all colors in Θi and Θj to the new node Θij, i.e. Θij=Θi∪Θj={oi0oi1, . . . , oim−1,oj0,oj1, . . . , ojk−1}. Accordingly, the number of occurrences of the node Θij is Fij=Fi+Fj. Assume that real-valued colors are allowed. The following lemma gives the entropy-constrained cost increment resulting from merging Θi and Θj to Θij.

Lemma 1: By merging nodes Θi and Θj, the entropy constrained cost is increased by




  
    
      
        
          Δ
          ⁢
          
            
          
          ⁢
          J
        
        =
        
          
            λ
            ⁡
            
              (
              
                
                  
                    F
                    i
                  
                  ⁢
                  
                    d
                    ⁡
                    
                      (
                      
                        
                          c
                          i
                        
                        ,
                        
                          c
                          ij
                        
                      
                      )
                    
                  
                
                +
                
                  
                    F
                    j
                  
                  ⁢
                  
                    d
                    ⁡
                    
                      (
                      
                        
                          c
                          j
                        
                        ,
                        
                          c
                          ij
                        
                      
                      )
                    
                  
                
              
              )
            
          
          +
          
            
              F
              ij
            
            ⁢
            log
            ⁢
            
              
            
            ⁢
            
              n
              
                F
                ij
              
            
          
          -
          
            
              F
              i
            
            ⁢
            log
            ⁢
            
              
            
            ⁢
            
              n
              
                F
                i
              
            
          
          -
          
            
              F
              j
            
            ⁢
            log
            ⁢
            
              
            
            ⁢
            
              n
              
                F
                j
              
            
          
        
      
    
    
      
        (
        3.11
        )
      
    
  




where cij is the centroid of the node Θij, i.e.





  
    
      
        
          c
          ij
        
        =
        
          
            1
            
              F
              ij
            
          
          ⁢
          
            (
            
              
                
                  F
                  i
                
                ⁢
                
                  c
                  i
                
              
              +
              
                
                  F
                  j
                
                ⁢
                
                  c
                  j
                
              
            
            )
          
        
      
    
    
      
        (
        3.12
        )
      
    
  




Proof: The minimum total square error is achieved when we reproduce all elements in a cell with the centroid of that cell. This is the centroid condition, S. P. Lloyd, “Least squares quantization in pcm,” IEEE Trans. on Information Theory, no. 28, pp. 127-135, March 1982 (hereinafter “reference [21]”), widely used in quantization methods. In this paper, we use the centroid of a leaf node as the quantization level, i.e. reproduction color, for all colors in that node. By this means, the entropy-constrained cost for each possible merger can be calculated without calculating the difference between the total entropy-constrained cost before the merger, and the total entropy-constrained cost after the merger.
Since




  
    
      
        F
        i
      
      ⁢
      
        c
        i
      
    
    =
    
      
        
          ∑
          
            p
            =
            0
          
          
            m
            -
            1
          
        
        ⁢
        
          
        
        ⁢
        
          
            F
            
              i
              p
            
          
          ⁢
          
            o
            
              i
              p
            
          
          ⁢
          
            
          
          ⁢
          and
          ⁢
          
            
          
          ⁢
          
            F
            j
          
          ⁢
          
            
          
          ⁢
          
            c
            j
          
        
      
      =
      
        
          ∑
          
            q
            =
            0
          
          
            k
            -
            1
          
        
        ⁢
        
          
        
        ⁢
        
          
            F
            
              j
              q
            
          
          ⁢
          
            o
            
              j
              q
            
          
        
      
    
  
  ,




the centroid of the new node Θij is.





  
    
      
        
          c
          ij
        
        =
        
        ⁢
        
          
            1
            
              
                
                  ∑
                  
                    p
                    =
                    0
                  
                  
                    m
                    -
                    1
                  
                
                ⁢
                
                  F
                  
                    i
                    p
                  
                
              
              +
              
                
                  ∑
                  
                    q
                    =
                    0
                  
                  
                    n
                    -
                    1
                  
                
                ⁢
                
                  F
                  
                    j
                    
                      q
                      ⁢
                      
                        
                      
                    
                  
                
              
            
          
          ⁢
          
            (
            
              
                
                  ∑
                  
                    p
                    =
                    0
                  
                  
                    m
                    -
                    1
                  
                
                ⁢
                
                  
                    F
                    
                      i
                      p
                    
                  
                  ⁢
                  
                    o
                    
                      i
                      p
                    
                  
                
              
              +
              
                
                  ∑
                  
                    q
                    =
                    0
                  
                  
                    k
                    -
                    1
                  
                
                ⁢
                
                  
                    F
                    
                      j
                      q
                    
                  
                  ⁢
                  
                    o
                    
                      j
                      q
                    
                  
                
              
            
            )
          
        
      
    
  
  
    
      
        =
        
        ⁢
        
          
            1
            
              F
              ij
            
          
          ⁢
          
            (
            
              
                
                  F
                  i
                
                ⁢
                
                  c
                  i
                
              
              +
              
                
                  F
                  j
                
                ⁢
                
                  c
                  j
                
              
            
            )
          
        
      
    
  




Equation (3.11) for the increased entropy-constrained cost ΔJ can be proved by calculating the increased square error ΔD and increased codeword length ΔR separately. Let DΘi denote the total square error caused by using ci as the quantization level for Θi. Then




  
    D
    
      Θ
      i
    
  
  =
  
    
      ∑
      
        p
        =
        0
      
      
        m
        -
        1
      
    
    ⁢
    
      
    
    ⁢
    
      
        F
        
          i
          p
        
      
      ⁢
      
        
          
            
            
              
                o
                
                  i
                  p
                
              
              -
              
                c
                i
              
            
            
          
          2
        
        .
      
    
  




Similarly, we have




  
    
      
        D
        
          Θ
          j
        
      
      =
      
        
          ∑
          
            q
            =
            0
          
          
            k
            -
            1
          
        
        ⁢
        
          
        
        ⁢
        
          
            F
            
              j
              q
            
          
          ⁢
          
            
              
              
                
                  o
                  
                    j
                    q
                  
                
                -
                
                  c
                  j
                
              
              
            
            2
          
        
      
    
    ⁢
    
      
    
  




  and




  
    
      D
      
        Θ
        ij
      
    
    =
    
      
        
          ∑
          
            p
            =
            0
          
          
            m
            -
            1
          
        
        ⁢
        
          
        
        ⁢
        
          
            F
            
              i
              p
            
          
          ⁢
          
            
              
              
                
                  o
                  
                    i
                    p
                  
                
                -
                
                  c
                  ij
                
              
              
            
            2
          
        
      
      ⁢
      
        
      
      +
      
        
          ∑
          
            q
            =
            0
          
          
            k
            -
            1
          
        
        ⁢
        
          
        
        ⁢
        
          
            F
            
              j
              q
            
          
          ⁢
          
            
              
                
                
                  
                    o
                    
                      j
                      q
                    
                  
                  -
                  
                    c
                    ij
                  
                
                
              
              2
            
            .
          
        
      
    
  



Substituting cij with the expression in Equation (3.12) and simplifying the expression for D(Θij) we get DΘij=DΘi+DΘj+Fid(ci,cij)+Fjd(cjcij). Therefore,

ΔD=DΘij−(DΘi+DΘj)=Fid(ci,cij)+Fjd(ci,cij)

Let RΘi denote the total number of bits resulting from entropy coding all pixels with colors in node Θi. Then




  
    R
    
      Θ
      i
    
  
  =
  
    
      F
      i
    
    ⁢
    log
    ⁢
    
      
    
    ⁢
    
      
        n
        
          F
          i
        
      
      .
    
  




Similarly, we have





  
    R
    
      Θ
      j
    
  
  =
  
    
      
        F
        j
      
      ⁢
      log
      ⁢
      
        
      
      ⁢
      
        n
        
          F
          j
        
      
      ⁢
      
        
      
      ⁢
      and
      ⁢
      
        
      
      ⁢
      
        R
        
          Θ
          ij
        
      
    
    =
    
      
        F
        ij
      
      ⁢
      log
      ⁢
      
        
      
      ⁢
      
        
          n
          
            F
            ij
          
        
        .
      
    
  




Thus,





  
    Δ
    ⁢
    
      
    
    ⁢
    R
  
  =
  
    
      
        R
        ⁡
        
          (
          
            Θ
            ij
          
          )
        
      
      -
      
        (
        
          
            R
            ⁡
            
              (
              
                Θ
                i
              
              )
            
          
          +
          
            R
            ⁡
            
              (
              
                Θ
                j
              
              )
            
          
        
        )
      
    
    =
    
      
        
          F
          ij
        
        ⁢
        log
        ⁢
        
          
        
        ⁢
        
          n
          
            F
            ij
          
        
      
      -
      
        
          F
          i
        
        ⁢
        
          
        
        ⁢
        log
        ⁢
        
          
        
        ⁢
        
          n
          
            F
            i
          
        
      
      -
      
        
          F
          j
        
        ⁢
        log
        ⁢
        
          
        
        ⁢
        
          n
          
            F
            j
          
        
      
    
  




which, together with ΔD, implies (3.11). This completes the proof of Lemma 1.

Lemma 1 provides rules for merging two leaf sibling nodes. Our purpose at stage 1 is to produce a hard-decision quantizer that will give an efficient trade-off between the rate and distortion of the quantized image. Since the original color palette is finite, one could find a globally optimal hard-decision quantizer by searching through all possible combinations. However, such a method has high computational complexity and hence is not feasible for real time compression. Lemma 1 suggests an alternative—a greedy method to design a tree-structured hard-decision quantizer. Based on the original octree with N leaf nodes, one can repeatedly merge two leaf sibling nodes with the minimum increment of the entropy-constrained cost until M leaf nodes are left. Such a method, dubbed entropy-constrained hierarchical merging quantization (ECHMQ), is fast and gives a reasonably good trade-off between the rate and distortion of the quantized image. The detailed steps of the ECHMQ are as follows:
Step 1: Read the n-pixel original color image X=(x0, x1, . . . , xn−1) and get the color palette O={o0, o1, . . . , oN−1} and the number of occurrences fi for each color oi where 0≦i<N.
Step 2: Build the octree by inserting each color oi into the tree as a distinct leaf node Θi. And for each leaf node Θi, 0≦i<N, compute its centroid ci=oi, TSE DΘi=0, number of occurrences Fi=fi, and codeword length




  
    R
    
      Θ
      i
    
  
  =
  
    
      F
      i
    
    ⁢
    log
    ⁢
    
      
    
    ⁢
    
      
        n
        
          F
          i
        
      
      .
    
  




Step 3: Let k=N.
Step 4: Compute, for every two leaf sibling nodes Θi and Θj, the centroid cij by Equation (3.12) and the increased entropy-constrained cost by Equation (3.11).
Step 5: Choose, among all pairs of leaf sibling nodes, the two leaf sibling nodes Θp and Θq, that minimize the increased entropy-constrained cost calculated in the previous step. Merge Θp and Θq, into a new leaf node Θpq which is equal to the parent node of Θp and Θq, if Θp and Θq, are the only siblings under their parent node, and to a new combined leaf node under the parent node of Θp and Θq, otherwise. Compute the centroid cpq of Θpq,

Fpq=Fp+Fq,

DΘpg=DΘp+DΘg+Fpd(cp,cpq)+Fqd(cq,cpq),

and





  
    R
    
      Θ
      pq
    
  
  =
  
    
      F
      pq
    
    ⁢
    log
    ⁢
    
      
    
    ⁢
    
      
        n
        
          F
          pq
        
      
      .
    
  




Step 6: Remove leaf nodes Θp and Θq from the octree.
Step 7: Decrease k by 1.
Step 8: Repeat steps 4 to 7 until k=M. Then assign a distinct index iεMset to each of the remaining M leaf nodes in the final octree. The integer form of the centroid of a leaf node is a distinct color in the new color palette, and all colors in that leaf node are mapped to the index corresponding to that leaf node.
When the desired number of colors is reached, the final entropy-constrained cost for quantizing the original image is




  
    J
    =
    
      
        
          J
          N
        
        +
        
          Δ
          ⁢
          
            
          
          ⁢
          
            J
            N
          
        
        +
        
          Δ
          ⁢
          
            
          
          ⁢
          
            J
            
              N
              -
              1
            
          
        
        +
        ...
        +
        
          Δ
          ⁢
          
            
          
          ⁢
          
            J
            
              M
              +
              1
            
          
        
      
      =
      
        
          J
          N
        
        +
        
          
            ∑
            
              i
              =
              N
            
            
              M
              +
              1
            
          
          ⁢
          
            Δ
            ⁢
            
              
            
            ⁢
            
              J
              i
            
          
        
      
    
  
  ,




where JN is the cost of the original image with N distinct colors, and ΔJi is the increased cost when we merge two selected leaf nodes and decrease the number of leaf nodes in the octree from i to i−1. By finding the minimum increased entropy-constrained cost each time when we merge two leaf sibling nodes in the octree, ECHMQ provides a locally optimal way to minimize the entropy-constrained cost.

ECHMQ aims to minimize (locally) the entropy-constrained cost, rather than the pure distortion TSE. Therefore, the rate and distortion of the quantized image are controlled and traded off by the Lagrangian multiplier λ. As λ increases, the average distortion decreases, and the corresponding rate increases. Indeed, −λ can be interpreted as the slope of the resulting rate distortion curve. Thus, in ECHMQ, we have the flexibility to use λ as a trade-off factor to vary the rate and distortion of the quantized image.
Another advantage of ECHMQ is its low computational complexity. To illustrate this, suppose initially we have total 256 leaf nodes which are all located at level 8, under 32 parent nodes at level 7. To decrease the number of leaf nodes to 255, we need to calculate the increased entropy-constrained cost for




  
    32
    ×
    
      
        8
        !
      
      
        
          2
          !
        
        ×
        
          6
          !
        
      
    
  
  =
  
    896
    ⁢
    
      
    
    ⁢
    pairs
    ⁢
    
      
    
    ⁢
    of
    ⁢
    
      
    
    ⁢
    leaf
    ⁢
    
      
    
    ⁢
    sibling
    ⁢
    
      
    
    ⁢
    
      nodes
      .
    
  




pairs of leaf sibling nodes. If the octree structure is not used, we need to calculate the increased cost for





  
    
      
        256
        !
      
      
        
          2
          !
        
        ×
        
          254
          !
        
      
    
    =
    
      32640
      ⁢
      
        
      
      ⁢
      pairs
    
  
  ,




pairs, which is basically used by the pairwise clustering in [5]. Rewrite Equation (3.11) as





  
    Δ
    ⁢
    
      
    
    ⁢
    J
  
  =
  
    
      λ
      ⁢
      
        {
        
          
            
              
                F
                i
              
              ⁡
              
                [
                
                  
                    
                      (
                      
                        
                          r
                          
                            c
                            i
                          
                        
                        -
                        
                          r
                          
                            c
                            ij
                          
                        
                      
                      )
                    
                    2
                  
                  +
                  
                    
                      (
                      
                        
                          g
                          
                            c
                            i
                          
                        
                        -
                        
                          g
                          
                            c
                            ij
                          
                        
                      
                      )
                    
                    2
                  
                  +
                  
                    
                      (
                      
                        
                          b
                          
                            c
                            i
                          
                        
                        -
                        
                          b
                          
                            c
                            ij
                          
                        
                      
                      )
                    
                    2
                  
                
                ]
              
            
            ++
          
          ⁢
          
            F
            j
          
          ⁢
          
            ⌊
            
              
                
                  (
                  
                    
                      r
                      
                        c
                        j
                      
                    
                    -
                    
                      r
                      
                        c
                        ij
                      
                    
                  
                  )
                
                2
              
              +
              
                
                  (
                  
                    
                      g
                      
                        c
                        j
                      
                    
                    -
                    
                      g
                      
                        c
                        ij
                      
                    
                  
                  )
                
                2
              
              +
              
                
                  (
                  
                    
                      b
                      
                        c
                        j
                      
                    
                    -
                    
                      b
                      
                        c
                        ij
                      
                    
                  
                  )
                
                2
              
            
            ⌋
          
        
        }
      
    
    +
    
      
        F
        ij
      
      ⁢
      log
      ⁢
      
        n
        
          F
          ij
        
      
      ⁢
      
        (
        
          
            R
            
              Θ
              i
            
          
          +
          
            R
            
              Θ
              j
            
          
        
        )
      
    
  




we see the calculation of the increased cost for each pair of leaf sibling nodes involves 8 additions, 7 subtractions, 10 multiplications, 1 division, and 1 log operation. Compared with the high computation spent in other methods, such as the TSE-based hierarchical splitting method [2] which employs Jocobi method for each splitting, ECHMQ enjoys very low complexity. Also the palette and the pixel mapping are easily obtained at Step 8; this again compares favorably with other methods in literature, such as those described in references [5] and [6], where a significant amount of computation is involved in palette design and pixel mapping.

If we skip the further optimization described below, the new color palette and pixel mapping obtained at the end of the ECHMQ can be encoded directly by GIF/PNG encoder. To be specific, in what follows, we will use a PNG encoder as the entropy coder. Replacing the PNG encoder with an available GIF encoder, we easily have our output compatible with a GIF decoder.
VRTCQ 1
In this section, we will adopt soft-decision quantization to further jointly optimize the compression rate and distortion of a quantized color image while maintaining compatibility with GIF/PNG decoder. Using the hard-decision quantizer obtained at the end of ECHMQ as an initial color image encoding scheme, we will extend VRTSE to color image encoding, yielding VRTCQ 1.
Let us begin with the VRTSE setting of VRTCQ 1. Since we want to maintain compatibility with GIF/PNG decoder, the output function g can not depend on any state. In other words, the state set S consists of only s0. In this case, the state transition function ƒ can be dropped, the output function g is simply a mapping from Mset to the RGB space, defining the correspondence between indices and colors in the color palette, and the trellis decoder is degraded to β=g. Given the original color image xn (x0, x1, . . . , xn−1), we define for any sequence un=(u0, u1, . . . , un−1)εMsetn




  
    d
    ⁡
    
      (
      
        
          x
          n
        
        ,
        
          g
          ⁡
          
            (
            
              u
              n
            
            )
          
        
      
      )
    
  
  =
  
    
      ∑
      
        i
        =
        0
      
      
        n
        -
        1
      
    
    ⁢
    
      d
      ⁡
      
        (
        
          
            x
            i
          
          ,
          
            g
            ⁡
            
              (
              
                u
                i
              
              )
            
          
        
        )
      
    
  




We will use the upper bound given in (2.6), and minimize rk(un) subject to a distortion constraint. To be specific, let k=1. However, the procedure described below can be easily extended to any k.
The initial output function g(0) and transition probability function W(0) can be derived from the color palette and pixel mapping obtained at the end of ECHMQ. The detailed procedure of VRTCQ 1 is described as follows:
Step 1: Set t=0. Obtain (un)(0), g(0) and W(0) from ECHMQ: (un)(0)=(un(0), u1(0), . . . , un−1(0)) is the index sequence of the quantized image resulting from the hard-decision quantizer, g(0)(j), 0≦j<M, is the color, corresponding to index j, in the new color palette obtained at the end of ECHMQ, and




  
    
      W
      
        (
        0
        )
      
    
    ⁡
    
      (
      
        α
        |
        w
      
      )
    
  
  =
  
    
      |
      
        {
        
          
            
              i
              :
              
                u
                i
                
                  (
                  0
                  )
                
              
            
            =
            α
          
          ,
          
            
              u
              
                i
                -
                1
              
              
                (
                0
                )
              
            
            =
            w
          
          ,
          
            0
            ≤
            i
            <
            n
          
        
        }
      
      |
    
    
      |
      
        {
        
          
            
              i
              :
              
                u
                
                  i
                  -
                  1
                
                
                  (
                  0
                  )
                
              
            
            =
            w
          
          ,
          
            0
            ≤
            i
            <
            n
          
        
        }
      
      |
    
  




for any αεMset and wεMset. Also calculate the initial cost

J(0)=n−1L1W(0)((un)(0))+λn−1d(xn,g(0)((un)(0)))].

Step 2: Fix g(t) and W(t). Use the Viterbi algorithm to find a sequence (un)(t+1)=(u0(t+1), u1(t+1), . . . , un−1(t+1)) satisfying Equation (2.4) with g replaced by g(t) and W by W(t).
Step 3: Fix (un)(t+1). The index sequence (un)(t+1) gives rise to the update of transition probability function and output function as




  
    
      W
      
        (
        
          t
          +
          1
        
        )
      
    
    ⁡
    
      (
      
        α
        |
        w
      
      )
    
  
  =
  
    
      |
      
        {
        
          
            
              i
              :
              
                u
                i
                
                  (
                  
                    t
                    +
                    1
                  
                  )
                
              
            
            =
            α
          
          ,
          
            
              u
              
                i
                -
                1
              
              
                t
                +
                1
              
            
            ⁢
            w
          
          ,
          
            0
            ≤
            i
            <
            n
          
        
        }
      
      |
    
    
      |
      
        {
        
          
            
              i
              :
              
                u
                
                  i
                  -
                  1
                
                
                  (
                  
                    t
                    +
                    1
                  
                  )
                
              
            
            =
            w
          
          ,
          
            0
            ≤
            i
            <
            n
          
        
        }
      
      |
    
  




for any αεMset and WεMset, and





  
    
      g
      
        (
        
          t
          +
          1
        
        )
      
    
    ⁡
    
      (
      u
      )
    
  
  =
  
    
      
        ∑
        u
        
          
        
      
      ⁢
      
        
      
      ⁢
      
        x
        i
      
    
    
      |
      
        {
        
          
            
              i
              :
              
                u
                i
                
                  (
                  
                    t
                    +
                    1
                  
                  )
                
              
            
            =
            u
          
          ,
          
            0
            ≤
            i
            <
            n
          
        
        }
      
      |
    
  




for any uεMset, where Σu is taken over all i for which ui(t+1)=u. Note that xi represents the color of the ith pixel in the original image.

Step 4: Compute the updated cost

Jt+1=n−1L1W(t+1)((un)(t+1))+λn−1d(xn,g(t+1)((un)(t+1)))].

Step 5: Repeat Steps 2 to 4 for t=0, 1, 2, . . . : until J(t)−Jt+1<ξ, where ξ is a prescribed threshold.
Then output g(t+1) and (un)(t+1).
Step 6: Encode the color palette g(t+1) and the index sequence (un)(t+1) using the PNG encoder described in [17].
Steps 2 to 6 can be conveniently referred to as Stage 2 of VRTCQ 1. The Viterbi algorithm used here is depicted in a graph shown in FIG. 3. The increased cost from stage to stage is calculated as:

−log W(ui|ui−1)+d(xi,g(ui))  (4.13)

where si=ui for any 0≦i<n. To find the survivor path reaching state j at stage i, we need to compare the M accumulated costs, each of which requires 3 additions, 3 subtractions, and multiplications. Therefore the total computational complexity is O(nM2).

The optimality of Stage 2 is demonstrated by Theorem 3 in [19]. Overall, VRTCQ 1 jointly optimizes the rate and distortion of the quantized color image, to some extent, while maintaining compatibility with GIF/PNG decoder. Experiments show that the convergence is reasonably fast; typically, after 2 to 3 iterations, J(t) is very close to its limit.
We conclude this section considering the overall computational complexity of VRTCQ 1. In comparison with Stage 2, Stage 1 of VRTCQ 1, i.e., the ECHMQ, has much lower computational complexity. Therefore, the main computational complexity of VRTCQ 1 lies in Stage 2, particularly in the Viterbi algorithm. Since each iteration of the Viterbi algorithm has computational complexity O(nM2), the overall computational complexity of VRTCQ 1 may be inconveniently high for real time compression when M is large. Therefore, it is desirable to reduce computational complexity in the case of large M. This problem is addressed by VRTCQ 2.
VRTCQ 2
To reduce the computational complexity of VRTCQ 1 in the case of large M, we now upper bound the Lempel-Ziv codeword length function in a way different from (2.6). To this end, we define a new information quantity different from the kth-order empirical entropy rk(un). Let M′ be an integer strictly less than M. Let b(•) be a mapping from Mset={0, 1, . . . , M−1} onto M′set={0, 1, . . . , M′−1}. In terms of b, we partition Mset into M′ groups {iεMset: b(i)=j}j=0, 1, . . . , M′−1. For any un=(u0, u1, . . . , un−1)εMsetn, let

b(un)(b(u0), b(u1), . . . , b(un−1))

Define





  
    
      r
      ⁡
      
        (
        
          
            u
            n
          
          |
          
            b
            ⁡
            
              (
              
                u
                n
              
              )
            
          
        
        )
      
    
    ⁢
    
      =
      Δ
    
    ⁢
    
      
        ∑
        
          j
          =
          0
        
        
          
            M
            ′
          
          -
          1
        
      
      ⁢
      
        ∑
        
          i
          =
          0
        
        
          M
          -
          1
        
      
    
  
  |
  
    {
    
      
        t
        :
        
          0
          ≤
          t
          <
          n
        
      
      ,
      
        
          u
          t
        
        =
        i
      
      ,
      
        
          b
          ⁡
          
            (
            
              u
              t
            
            )
          
        
        =
        j
      
    
    }
  
  |
  
    log
    ⁢
    
      
        |
        
          {
          
            
              t
              :
              
                0
                ≤
                t
                <
                n
              
            
            ,
            
              
                b
                ⁡
                
                  (
                  
                    u
                    t
                  
                  )
                
              
              =
              j
            
          
          }
        
        |
      
      
        |
        
          {
          
            
              t
              :
              
                0
                ≤
                t
                <
                n
              
            
            ,
            
              
                u
                t
              
              =
              i
            
            ,
            
              
                b
                ⁡
                
                  (
                  
                    u
                    t
                  
                  )
                
              
              =
              j
            
          
          }
        
        |
      
    
  




The quantity r(un|b(un)) is called the conditional empirical entropy of un given b(un). Our desired information quantity is defined as

rk*(un)=rk(b(un))+r(un|b(un))

where rk(b(un)) is the kth-order empirical entropy of b(un). It is not hard to show that





  
    
      r
      k
    
    ⁡
    
      (
      
        u
        n
      
      )
    
  
  ≤
  
    
      
        r
        k
        *
      
      ⁡
      
        (
        
          u
          n
        
        )
      
    
    +
    
      O
      ⁡
      
        (
        
          
            log
            ⁢
            
              
            
            ⁢
            n
          
          n
        
        )
      
    
  




Thus, in view of (2.6), the Lempel-Ziv codeword length function lLZ can also be upper bounded by




  
    
      
        
          
            1
            n
          
          ⁢
          
            
              l
              LZ
            
            ⁡
            
              (
              
                u
                n
              
              )
            
          
        
        ≤
        
          
            
              r
              k
              *
            
            ⁢
            
              (
              
                u
                n
              
              )
            
          
          +
          
            O
            ⁡
            
              (
              
                
                  log
                  ⁢
                  
                    
                  
                  ⁢
                  log
                  ⁢
                  
                    
                  
                  ⁢
                  n
                
                
                  log
                  ⁢
                  
                    
                  
                  ⁢
                  n
                
              
              )
            
          
        
      
    
    
      
        (
        5.14
        )
      
    
  




Instead of minimizing rk(un) subject to a distortion constraint, we) now minimize rk*(un) subject to a distortion constraint in VRTCQ 2. Similar to the fact that nrk(un) is the minimum codeword length afforded by all kth-order static arithmetic codeword length functions LkW,nrk*(un) is also related to codeword length functions. Let WS(s|sk) be a probability transition function from) M′setk to M′set and WU(u|s) a probability transition function from M′set to Mset. For any un=(u0, u1, . . . , un−1)εM′set let




  
    
      
        
          
            L
            
              W
              s
            
            
              W
              U
            
          
          ⁡
          
            (
            
              u
              n
            
            )
          
        
        =
        
          -
          
            
              ∑
              
                t
                =
                0
              
              
                n
                -
                1
              
            
            ⁢
            
              [
              
                
                  log
                  ⁢
                  
                    
                  
                  ⁢
                  
                    
                      W
                      S
                    
                    ⁡
                    
                      (
                      
                        
                          b
                          ⁡
                          
                            (
                            
                              u
                              t
                            
                            )
                          
                        
                        |
                        
                          
                            b
                            ⁡
                            
                              (
                              
                                u
                                
                                  t
                                  -
                                  1
                                
                              
                              )
                            
                          
                          ⁢
                          
                            
                          
                          ⁢
                          ...
                          ⁢
                          
                            
                          
                          ⁢
                          
                            b
                            ⁡
                            
                              (
                              
                                u
                                
                                  t
                                  -
                                  k
                                
                              
                              )
                            
                          
                        
                      
                      )
                    
                  
                
                +
                
                  log
                  ⁢
                  
                    
                  
                  ⁢
                  
                    
                      W
                      U
                    
                    ⁡
                    
                      (
                      
                        
                          u
                          t
                        
                        |
                        
                          b
                          ⁡
                          
                            (
                            
                              u
                              t
                            
                            )
                          
                        
                      
                      )
                    
                  
                
              
              ]
            
          
        
      
    
    
      
        (
        5.15
        )
      
    
  




It is easy to see that LWSWU is a codeword length function corresponding to a lossless code via which un is encoded by first using a kth-order static arithmetic code with transition probability WS to encode b(un), and then encoding un conditionally given b(un) Moreover, it is not hard to show that




  
    
      nr
      k
      *
    
    ⁡
    
      (
      
        u
        n
      
      )
    
  
  =
  
    
      
        min
        
          
            W
            S
          
          ,
          
            W
            U
          
        
      
      ⁢
      
        
          L
          
            W
            S
          
          
            W
            U
          
        
        ⁡
        
          (
          
            u
            n
          
          )
        
      
    
    +
    
      O
      ⁡
      
        (
        
          log
          ⁢
          
            
          
          ⁢
          n
        
        )
      
    
  




Accordingly, given the mapping b, the joint optimization problem in VRTCQ 2 becomes




  
    
      
        
          min
          
            g
            ,
            
              W
              S
            
            ,
            
              W
              U
            
          
        
        ⁢
        
          
            min
            
              
                u
                n
              
              ∈
              
                M
                set
                n
              
            
          
          ⁢
          
            ⌊
            
              
                
                  n
                  
                    -
                    1
                  
                
                ⁢
                
                  
                    L
                    
                      W
                      S
                    
                    
                      W
                      U
                    
                  
                  ⁡
                  
                    (
                    
                      u
                      n
                    
                    )
                  
                
              
              +
              
                λ
                ⁢
                
                  
                
                ⁢
                
                  n
                  
                    -
                    1
                  
                
                ⁢
                
                  d
                  ⁡
                  
                    (
                    
                      
                        x
                        n
                      
                      ,
                      
                        g
                        ⁡
                        
                          (
                          
                            u
                            n
                          
                          )
                        
                      
                    
                    )
                  
                
              
            
            ]
          
        
      
    
    
      
        (
        5.16
        )
      
    
  




To be specific, let k=1. Nonetheless, all arguments and procedures below apply to the general k as well. Given g, WS, and WU, the inner minimization in (5.16) can be solved by the Viterbi algorithm with complexity of O(nM′2) instead of O(nM2). To see this is the case, note that in view of (5.15), the cost increases, each time as t increases, by

−log WS(b(ut)|b(ut−1))−log WU(ut|b(ut))+λd(xt,g(ut))  (5.17)

In (5.17), only the first term relies on the past through b(ut−1). Therefore, one can build a trellis with state set




  
    S
    ⁢
    
      =
      Δ
    
    ⁢
    
      M
      set
      ′
    
  
  ⁢
  
    
  




and full connection between states of two consecutive stages, and then run the Viterbi algorithm on the trellis to solve the inner minimization problem. Before running the Viterbi algorithm, we compute the minimum sub-cost





  
    c
    ⁡
    
      (
      
        s
        ,
        x
      
      )
    
  
  ⁢
  
    =
    Δ
  
  ⁢
  
    
      min
      
        u
        ∈
        
          {
          
            
              i
              :
              
                0
                ≤
                i
                <
                M
              
            
            ,
            
              
                b
                ⁡
                
                  (
                  i
                  )
                
              
              =
              s
            
          
          }
        
      
    
    ⁢
    
      [
      
        
          
            -
            log
          
          ⁢
          
            
          
          ⁢
          
            
              W
              U
            
            ⁡
            
              (
              
                u
                |
                s
              
              )
            
          
        
        +
        
          λ
          ⁢
          
            
          
          ⁢
          
            d
            ⁡
            
              (
              
                x
                ,
                
                  g
                  ⁡
                  
                    (
                    u
                    )
                  
                
              
              )
            
          
        
      
      ]
    
  




for every combination of (s,x), where sεM′set and xεO. The minimum sub-cost and the corresponding color index u achieving the minimum sub-cost for that pair (s,x) are kept in a look-up table. The cost over the transition from a state St−1εM′set at Stage t−1 of the trellis to a state st at Stage t of the trellis is −log WS(st|st−1)+c(st,xt). Given the original image xn=(x0, x1, . . . , xn−1), if sn=(s0, s1, . . . , sn−1)εM′setn is the optimal path through the trellis, then un=(u0, u1, . . . , un−1), where utε{i:0≦i<M,b(i)=st} achieves the minimum cost c(st,xt),t=0, 1, . . . , n−1, is the optimal index sequence achieving the inner minimization in (5.16).

Similar to VRTCQ 1, VRTCQ 2 solves the joint optimization problem (5.16) in an iterative manner. Stage 1 of VRTCQ 2 determines the mapping b, and provides the initial output function g(0) and transition probability functions WU(0) and WS(0). Stage 2 of VRTCQ 2 then uses an alternative procedure to solve the minimization problem. The detailed procedures of VRTCQ 2 are described as follows.
A. Procedure of Stage 1
Step 1: Run ECHMQ on the original image to get an octree TM with M leaf nodes, its color palette of size M, and the corresponding hard-decision pixel mapping.
Step 2: Based on TM, repeat Steps 4 to 7 of the ECHMQ until M′ leaf nodes are remaining.
Step 3: Determine the mapping b from the octree TM to the octree TM′ with M′ leaf nodes obtained in Step 2, which is a subtree of TM. In particular, b(i)=j,iεMset and jεM′set if and only if the ith leaf node of TM, lies in the subtree of TM rooted at the jth leaf node of TM′.
B. Procedure of Stage 2
Step 1: Set t=0. Obtain b, (un)(0), (sn)(0), g(0), WU(0), and WS(0) from Stage 1 of the VRTCQ 2, where (un)(0)=(u0(0), u1(0), . . . , un−1(0)) is the index sequence resulting from the hard decision pixel mapping, (sn)(0)=(s0(0), s1(0), . . . , sn−1(0))=b((un)(0), g(0)(u)) with 0≦u<M, is the color, corresponding to the index u, in the new color palette obtained in Step 1 of Stage 1,



  
    
      
        
          W
          U
          
            (
            0
            )
          
        
        ⁡
        
          (
          
            u
            |
            s
          
          )
        
      
      =
      
        
          |
          
            {
            
              
                
                  i
                  :
                  
                    u
                    i
                    
                      (
                      0
                      )
                    
                  
                
                =
                u
              
              ,
              
                
                  s
                  i
                  
                    (
                    0
                    )
                  
                
                =
                s
              
              ,
              
                0
                ≤
                i
                <
                n
              
            
            }
          
          |
        
        
          |
          
            {
            
              
                
                  i
                  :
                  
                    s
                    i
                  
                
                =
                s
              
              ,
              
                0
                ≤
                i
                <
                n
              
            
            }
          
          |
        
      
    
    ,
    
      u
      ∈
      
        M
        set
      
    
    ,
    
      s
      ∈
      
        M
        set
        ′
      
    
  




  and




  
    
      
        
          W
          S
          
            (
            0
            )
          
        
        ⁡
        
          (
          
            α
            |
            w
          
          )
        
      
      =
      
        
          |
          
            {
            
              
                
                  i
                  :
                  
                    s
                    
                      i
                      -
                      1
                    
                  
                
                =
                w
              
              ,
              
                
                  s
                  i
                
                =
                α
              
              ,
              
                0
                ≤
                i
                <
                n
              
            
            }
          
          |
        
        
          |
          
            {
            
              
                
                  i
                  :
                  
                    s
                    
                      i
                      -
                      1
                    
                  
                
                =
                w
              
              ,
              
                0
                ≤
                i
                <
                n
              
            
            }
          
          |
        
      
    
    ,
    
      α
      ∈
      
        M
        set
        ′
      
    
    ,
    
      w
      ∈
      
        M
        set
        ′
      
    
  



Also compute the initial cost




  
    J
    
      (
      0
      )
    
  
  =
  
    
      
        n
        
          -
          1
        
      
      ⁢
      
        
          L
          
            W
            s
            
              (
              0
              )
            
          
          
            W
            U
            
              (
              0
              )
            
          
        
        ⁡
        
          (
          
            
              (
              
                u
                n
              
              )
            
            
              (
              0
              )
            
          
          )
        
      
    
    +
    
      λ
      ⁢
      
        
      
      ⁢
      
        n
        
          -
          1
        
      
      ⁢
      
        d
        ⁡
        
          (
          
            
              x
              n
            
            ,
            
              
                g
                
                  (
                  0
                  )
                
              
              ⁡
              
                (
                
                  
                    (
                    
                      u
                      n
                    
                    )
                  
                  
                    (
                    0
                    )
                  
                
                )
              
            
          
          )
        
      
    
  




Step 2: Fix g(t) and WU(t). Build the look-up table. For each pair of (s,x), where sεM′set and xεO, compute the minimum sub-cost




  
    
      c
      
        (
        t
        )
      
    
    ⁡
    
      (
      
        s
        ,
        x
      
      )
    
  
  =
  
    
      min
      
        u
        ∈
        
          {
          
            
              i
              :
              
                0
                ≤
                i
                <
                M
              
            
            ,
            
              
                b
                ⁡
                
                  (
                  i
                  )
                
              
              =
              s
            
          
          }
        
      
    
    ⁢
    
      [
      
        
          
            -
            log
          
          ⁢
          
            
          
          ⁢
          
            W
            U
            
              (
              t
              )
            
          
          ⁢
          
            v
            ⁡
            
              (
              
                u
                |
                s
              
              )
            
          
        
        +
        
          λ
          ⁢
          
            
          
          ⁢
          
            d
            ⁡
            
              (
              
                x
                ,
                
                  
                    g
                    
                      (
                      t
                      )
                    
                  
                  ⁡
                  
                    (
                    u
                    )
                  
                
              
              )
            
          
        
      
      ]
    
  




and record the color index uε{i:0≦i<M,b(i)=s} which achieves c(t)(s,x).

Step 3: Fix g(t)WU(t), and WS(t). Use the Viterbi algorithm to find the optimal path through the trellis (sn)(t+1)=(s0(t+1), s1(t+1), . . . , sn−1(t+1)), which, together with b and the look-up table, determines the optimal index sequence (un)(t+1)=(u0(t+1), u1(t+1), . . . , un−1(t+1)) achieving the inner minimization in (5.16) with g replaced by g(t),WU by WU(t), and WS by WS(t).
Step 4: Fix (un)(t+1) and (sn)(t+1). These two sequences give rise to the update of transition probability functions and output function as



  
    
      
        
          W
          U
          
            (
            
              t
              +
              1
            
            )
          
        
        ⁡
        
          (
          
            u
            |
            s
          
          )
        
      
      =
      
        
          |
          
            {
            
              
                
                  i
                  :
                  
                    u
                    i
                    
                      (
                      
                        t
                        +
                        1
                      
                      )
                    
                  
                
                =
                u
              
              ,
              
                
                  s
                  i
                  
                    (
                    
                      t
                      +
                      1
                    
                    )
                  
                
                =
                s
              
              ,
              
                0
                ≤
                i
                <
                n
              
            
            }
          
          |
        
        
          |
          
            {
            
              
                
                  i
                  :
                  
                    s
                    i
                    
                      (
                      
                        t
                        +
                        1
                      
                      )
                    
                  
                
                =
                w
              
              ,
              
                0
                ≤
                i
                <
                n
              
            
            }
          
          |
        
      
    
    ,
    
      u
      ∈
      
        M
        set
      
    
    ,
    
      s
      ∈
      
        M
        set
        ′
      
    
    ,
    
      

    
    ⁢
    
      
        
          W
          S
          
            (
            
              t
              +
              1
            
            )
          
        
        ⁡
        
          (
          
            α
            |
            w
          
          )
        
      
      =
      
        
          |
          
            {
            
              
                
                  i
                  :
                  
                    s
                    
                      i
                      -
                      1
                    
                    
                      (
                      
                        t
                        +
                        1
                      
                      )
                    
                  
                
                =
                w
              
              ,
              
                
                  s
                  i
                  
                    (
                    
                      t
                      +
                      1
                    
                    )
                  
                
                =
                α
              
              ,
              
                0
                ≤
                i
                <
                n
              
            
            }
          
          |
        
        
          |
          
            {
            
              
                
                  i
                  :
                  
                    s
                    
                      i
                      -
                      1
                    
                    
                      (
                      
                        t
                        +
                        1
                      
                      )
                    
                  
                
                =
                w
              
              ,
              
                0
                ≤
                i
                <
                n
              
            
            }
          
          |
        
      
    
    ,
    
      α
      ∈
      
        M
        ′
      
    
    ,
    
      w
      ∈
      
        M
        ′
      
    
    ,
    
      

    
    ⁢
    and
  




  
    
      
        
          g
          
            (
            
              t
              +
              1
            
            )
          
        
        ⁡
        
          (
          u
          )
        
      
      =
      
        
          
            ∑
            u
            
              
            
          
          ⁢
          
            x
            i
          
        
        
          |
          
            {
            
              
                
                  i
                  :
                  
                    u
                    i
                    
                      (
                      
                        t
                        +
                        1
                      
                      )
                    
                  
                
                =
                u
              
              ,
              
                0
                ≤
                i
                <
                n
              
            
            }
          
          |
        
      
    
    ,
    
      u
      ∈
      M
    
  



where Σu is taken over all i for which ui(t+1)=u.

Step 5: Compute the updated cost




  
    J
    
      (
      
        t
        +
        1
      
      )
    
  
  =
  
    
      
        n
        
          -
          1
        
      
      ⁢
      
        
          L
          
            W
            S
            
              (
              
                t
                +
                1
              
              )
            
          
          
            W
            U
            
              (
              
                t
                +
                1
              
              )
            
          
        
        ⁡
        
          (
          
            
              (
              
                u
                n
              
              )
            
            
              (
              
                t
                +
                1
              
              )
            
          
          )
        
      
    
    +
    
      λ
      ⁢
      
        
      
      ⁢
      
        n
        
          -
          1
        
      
      ⁢
      
        d
        ⁡
        
          (
          
            
              x
              n
            
            ,
            
              
                g
                
                  (
                  
                    t
                    +
                    1
                  
                  )
                
              
              ⁡
              
                (
                
                  
                    (
                    
                      u
                      n
                    
                    )
                  
                  
                    (
                    
                      t
                      +
                      1
                    
                    )
                  
                
                )
              
            
          
          )
        
      
    
  




Step 6: Repeat Steps 2 to 5 for t=0, 1, 2, . . . until J(t)−J(t+1)≦ξ, where ξ is a prescribed threshold.
Then output g(t+1) and (un)(t+1).
Step 7: Encode the color palette g(t+1) and the index sequence (un)(t+1) by the PNG encoder from [17].
The Viterbi algorithm used in Step 3 is depicted in the graph of FIG. 4. In the graph, each circle represents a group, and the black dots within a circle represent all color indices uεMset in the group.
Similar to VRTCQ 1, the major computational complexity of VRTCQ 2 is still in its Stage 2. Although in comparison with Stage 2 of VRTCQ 1, Stage 2 of VRTCQ 2 has an extra step, Step 2, this step is not computationally intensive. Indeed, its computational complexity is O(NM), which does not depend on the size n of the original image and hence is negligible as compared to the complexity of the Viterbi algorithm when n is large. The Viterbi algorithm in Step 3 of Stage 2 of VRTCQ 2 now has O(nM′2) computational complexity, which compares favorably with the O(nM2) computational complexity of the Viterbi algorithm used in VRTCQ 1. Thus when M′<<M, VRTCQ 2 will be much faster than VRTCQ 1. In addition, once M′ is fixed, the computational complexity of VRTCQ 2 is more or less independent of M. This makes VRTCQ 2 attractive for color rich images. The price paid in VRTCQ 2 is the slight loss of compression performance in terms of the trade-off between the compression rate and distortion since a loose bound is used to upper bound the Lempel-Ziv codeword length function.
Referring to FIG. 5, there is illustrated in a block diagram, the CPU 16 of the computer system 10 of FIG. 1. As shown, the CPU 16 includes a hard-decision module 40 and a soft-decision module 42. The hard-decision module 40 provides ECHMQ as described above. The soft-decision module 42 provides both VRTCQ 1 and VRTCQ 2 as described above.
As described above, the hard-decision module 40 comprises a node creation sub-module for building an octree structure, a node merging sub-module for selecting and merging leaf nodes, and a cost calculation sub-module for calculating, for potential mergers of pairs of leaf nodes, the entropy-constrained cost increment for each such merger. Similar to the hard-decision module 40, the soft-decision module 42 includes a cost calculation sub-module for determining the incremental reduction in cost after each iteration of soft-decision optimization by the soft-decision module 42.
Other variations and modifications of the invention are possible. For example, as described above, ECHMQ may be used on its own, without using VRTCQ on other soft-decision optimization, to provide a hard decision pixel mapping. Alternatively, VRTCQ may be used without using ECHMQ to provide the initial hard decision pixel mapping. Instead, some other initial hard decision procedure may be provided. Further, other soft decision optimization methods may be used in combination with ECHMQ instead of VRTCQ. Further, while the foregoing description is largely directed to how to jointly address both quantization distortion and compression rate while maintaining low computational complexity and compatibility with standard decoders, such as, for example, the GIF/PNG decoder, it will be apparent to those of skill in the art that both ECHMQ and VRTCQ may be applied to the compression of color image data in other contexts as well. All such modifications or variations are believed to be within the sphere and scope of the invention as defined by the claims appended hereto.

## Claims

1. A method for deriving a new index sequence representing a pixel mapping and a new output function representing a color palette for a new digitized color image derived from an original digitized color image both defined on n pixels, wherein the original digitized color image is provided by N distinct colors being allocated to the n pixels, the new digitized color image is provided by M distinct colors being allocated to the n pixels, the new index sequence has n index members for representing the n pixels and the new output function is for mapping the n index members to the M colors, the method comprising: (a) directing a data processing device to provide a first new index sequence by partitioning all pixels in the original digitized color image into M disjoint clusters based on a color of each pixel in the original digitized color image, wherein M is less than or equal to N; (b) directing a data processing device to provide a first new output function for providing a one-to-one mapping of the M distinct colors onto the pixels in the M disjoint clusters; (c) directing a data processing device to apply a soft decision optimization process to the first new index sequence and the first new output function to provide the new index sequence and the new output function respectively based on, for each member of the first new index sequence, how a color value assigned to that member by the first new output function correlates with the color value assigned to at least one other member of the first new index sequence by the first new output function.

2. The method as defined in claim 1 wherein the new index sequence provides a soft decision pixel mapping such that, for each pixel in the new digitized color image, the color value assigned to the pixel by the new index sequence and the new output function depends on the location of the pixel in the color image.

3. A method for deriving a new index sequence representing a pixel mapping and a new output function representing a color palette for a new digitized color image derived from an original digitized color image both defined on n pixels, wherein the original digitized color image is provided by N distinct colors being allocated to the n pixels, the new digitized color image is provided by M distinct colors being allocated to the n pixels, the new index sequence has n index members for representing the n pixels and the new output function is for mapping the n index members to the M colors, the method comprising: (a) directing a data processing device to provide a first new index sequence by partitioning all pixels in the original digitized color image into M disjoint clusters based on a color of each pixel in the original digitized color image, wherein M is less than or equal to N; (b) directing a data processing device to provide a first new output function for providing a one-to-one mapping of the M distinct colors onto the pixels in the M disjoint clusters; (c) directing a data processing device to apply a soft decision optimization process to the first new index sequence and the first new output function to provide the new index sequence and the new output function respectively based on, for each member of the first new index sequence, how a color value assigned to that member by the first new output function correlates with the color value assigned to at least one other member of the first new index sequence by the first new output function, and wherein step (c) comprises applying an iterative soft decision optimization process and determining, after each iteration, an incremental reduction in a cost function representing compression and distortion of the original digitized color image, and step (c) terminates and the new index sequence and the new color mapping determined when the incremental reduction falls below a selected threshold.

4. The method as defined in claim 3 wherein step (c) comprises (i) setting a counter k equal to one; (ii) for a k.sup.th index sequence, determining a (k+1)th index sequence by optimizing the cost function, for a kth output function and a kth transition probability function, over all possible index sequences; (iii) determining a (k+1)th output function and a (k+1)th transition probability function from the (k+1)th index sequence; (iv) determining a (k+1)th cost from the (k+1)r, index sequence, the (k+1)th output function and the (k+1)th transition probability function; and, (v) calculating a (k+1)th cost difference between the (k+1)th cost and a kth cost, and, when the (k+1)th cost difference is less than a selected the new index sequence and the new output function respectively, otherwise, increasing k by 1 and repeating sub-steps (ii) to (v).

5. The method as defined in claim 4 wherein in step (ii), the step of determining the (k+1)th index sequence by optimizing the cost function, for the given kth output function and kth transition probability function, over all possible index sequences comprises using a Viterbi algorithm.

6. The method as defined in claim 5 wherein step (a) further comprises grouping the M disjoint clusters into M′ disjoint groups, M′ being less than M; and, step (c) comprises applying the soft decision optimization process relative to the M′ disjoint groups.

7. The method as defined in claim 6 wherein the cost function depends on both M and M′.

8. A data processing system for deriving a new index sequence representing a pixel mapping and a new output function representing a color palette for a new digitized color image derived from an original digitized color image both defined on n pixels, wherein the original digitized color image is provided by N distinct colors being allocated to the n pixels, the new digitized color image is provided by M distinct colors being allocated to the n pixels, the new index sequence has n index members for representing the n pixels and the new output function is for mapping the n index members to the M colors, the data processing system comprising: (a) a hard decision module for (i) providing a first new index sequence by partitioning all pixels in the original digitized color image into M disjoint clusters based on a color of each pixel in the original digitized color image, wherein M is less than or equal to N, and (ii) providing a first new output function for providing a one-to-one mapping of the M distinct colors onto the pixels in the M disjoint clusters; and (b) a soft decision module for applying a soft decision optimization process to the first new index sequence and the first new output function to provide the new index sequence and the new output function respectively based on, for each member of the first new index sequence, how a color value assigned to that member by the first new output function correlates with the color value assigned to at least one other member of the first new index sequence by the first new output function.

9. The data processing system as defined in claim 8 wherein the new index sequence provides a soft decision pixel mapping such that, for each pixel in the new digitized color image, the color value assigned to the pixel by the new index sequence and the new output function depends on the location of the pixel in the color image.

10. A data processing system for deriving a new index sequence representing a pixel mapping and a new output function representing a color palette for a new digitized color image derived from an original digitized color image both defined on n pixels, wherein the original digitized color image is provided by N distinct colors being allocated to the n pixels, the new digitized color image is provided by M distinct colors being allocated to the n pixels, the new index sequence has n index members for representing the n pixels and the new output function is for mapping the n index members to the M colors, the data processing system comprising: (a) a first decision module for (i) providing a first new index sequence by partitioning all pixels in the original digitized color image into M disjoint clusters based on a color of each pixel in the original digitized color image, wherein M is less than or equal to N, and (ii) providing a first new output function for providing a one-to-one mapping of the M distinct colors onto the pixels in the M disjoint clusters; and (b) a soft decision module for applying a soft decision optimization process to the first new index sequence and the first new output function to provide the new index sequence and the new output function respectively based on, for each member of the first new index sequence, how a color value assigned to that member by the first new output function correlates with the color value assigned to at least one other member of the first new index sequence by the first new output function, and wherein the soft decision module is operable (i) to apply an iterative soft decision optimization process, (ii) to determine, after each iteration, an incremental reduction in a cost function representing compression and distortion of the original digitized color image, and (iii) to terminate the iterative soft decision optimization process and determine the new index sequence and the new color mapping when the incremental reduction falls below a selected threshold.

11. The data processing system as defined in claim 10 wherein the iterative soft decision optimization process comprises (i) setting a counter k equal to one; (ii) for a kth index sequence, determining a (k+1)th index sequence by optimizing the cost function, for a kth output function and a kth transition probability function, over all possible index sequences; (iii) determining a (k+1)th, output function and a (k+1)th transition probability function from the (k+1)th index sequence; (iv) determining a (k+1)th cost from the (k+1)th index sequence, the (k+1)th output function and the (k+1)th transition probability function; and, (v) calculating a (k+1)th cost difference between the (k+1)th cost and a k.sup.th cost, and, when the (k+1)th cost difference is less than a selected threshold, selecting the (k+1)th index sequence and the (k+1)th output function as the new index sequence and the new output function respectively, otherwise, increasing k by 1 and repeating sub-steps (ii) to (v).

12. The data processing system as defined in claim 11 wherein, in step (ii), the step of determining the (k+1)th index sequence by optimizing the cost function, for the given k.sup.th output function and kth transition probability function, over all possible index sequences comprises using a Viterbi algorithm.

13. The data processing system as defined in claim 12 wherein the first decision module is operable to group the M disjoint clusters into M′ disjoint groups, M′ being less than M; and, the first decision module is operable to apply the soft decision optimization process relative to the M′ disjoint groups.

14. The data processing system as defined in claim 13 wherein the cost function depends on both M and M′.

15. A computer program product for use on a computer system to create pixel mapping and a new output function representing a color palette for a new digitized color image derived from an original digitized color image both defined on n pixels, wherein the original digitized color image is provided by N distinct colors being allocated to the n pixels, the new digitized color image is provided by M distinct colors being allocated to the n pixels, the new index sequence has n index members for representing the n pixels and the new output function is for mapping the n index members to the M colors, the computer program product comprising:
a recording medium;
means recorded on the medium for instructing the computer system to perform the steps of:
(a) providing a first new index sequence by partitioning all pixels in the original digitized color image into M disjoint clusters based on a color of each pixel in the original digitized color image, wherein M is less than or equal to N;
(b) providing a first new output function for providing a one-to-one mapping of the M distinct colors onto the pixels in the M disjoint clusters; and,
(c) applying a soft decision optimization process to the first new index sequence and the first new output function to provide the new index sequence and the new output function respectively based on, for each member of the first new index sequence, how a color value assigned to that member by the first new output function correlates with the color value assigned to at least one other member of the first new index sequence by the first new output function.

16. The computer program product as defined in claim 15 wherein the new index sequence provides a soft decision pixel mapping such that, for each pixel in the new digitized color image, the color value assigned to the pixel by the new index sequence and the new output function depends on the location of the pixel in the color image.

17. A computer program product for use on a computer system to create pixel mapping and a new output function representing a color palette for a new digitized color image derived from an original digitized color image both defined on n pixels, wherein the original digitized color image is provided by N distinct colors being allocated to the n pixels, the new digitized color image is provided by M distinct colors being allocated to the n pixels, the new index sequence has n index members for representing the n pixels and the new output function is for mapping the n index members to the M colors, the computer program product comprising:
a recording medium;
means recorded on the medium for instructing the computer system to perform the steps of:
(a) providing a first new index sequence by partitioning all pixels in the original digitized color image into M disjoint clusters based on a color of each pixel in the original digitized color image, wherein M is less than or equal to N;
(b) providing a first new output function for providing a one-to-one mapping of the M distinct colors onto the pixels in the M disjoint clusters;
(c) applying a soft decision optimization process to the first new index sequence and the first new output function to provide the new index sequence and the new output function respectively based on, for each member of the first new index sequence, how a color value assigned to that member by the first new output function correlates with the color value assigned to at least one other member of the first new index sequence by the first new output function;
wherein step (c) comprises applying an iterative soft decision optimization process and determining, after each iteration, an incremental reduction in a cost function representing compression and distortion of the original digitized color image; and
step (c) terminates and the new index sequence and the new color mapping determined when the incremental reduction falls below a selected threshold.

18. The computer program product as defined in claim 17 wherein step (c) comprises
(i) setting a counter k equal to one;
(ii) for a kth index sequence, determining a (k+1)th index sequence by optimizing the cost function, for a kth output function and a kth transition probability function, over all possible index sequences;
(iii) determining a (k−1)th output function and a (k+1)th transition probability function from the (k+1)th index sequence;
(iv) determining a (k+1)th cost from the (k+1)th index sequence, the (k+1)th 
(v) calculating a (k+1)th cost difference between the (k+1)th cost and a kth cost, and, when the (k+1)th cost difference is less than a selected threshold, selecting the (k+1)th index sequence and the (k+1)th output function as the new index sequence and the new output function respectively, otherwise, increasing k by 1 and repeating sub-steps (ii) to (v).

19. The computer program product as defined in claim 18 wherein in step (ii), the step of determining the (k+1)th index sequence by optimizing the cost function, for the given kth output function and kth transition probability function, over all possible index sequences comprises using a Viterbi algorithm.

20. The computer program product as defined in claim 19 wherein
step (a) further comprises grouping the M disjoint clusters into M′ disjoint groups, M′ being less than M; and,
step (c) comprises applying the soft decision optimization process relative to the M′ disjoint groups.

21. The computer program product as defined in claim 20 wherein the cost function depends on both M and M′.