arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1111.1432cs.ITmath.IT
收藏

基于二叉判决图的通用无损数据压缩

Universal Lossless Data Compression Via Binary Decision Diagrams

J. Kieffer, P. Flajolet, E. -h. Yang

摘要:

长度为$2^k$的二进制字符串导出$k$变量的布尔函数,其香农展开式是给定的二进制字符串。这个布尔函数可以通过一个唯一的降序二元决策图(ROBDD)来表示。给定的二进制字符串可以从这个ROBDD中完全恢复。我们展示了一种无损数据压缩算法,其中长度为2的幂的二进制串通过如上所述的与其相关联的ROBDD的压缩来压缩。我们表明,当二进制字符串的长度$n$ 2的幂通过该算法压缩,最大逐点冗余/样本相对于任何s-状态的二进制信息源的上界$(4\log_2s+16+o(1))/\log_2n $。为了建立这个结果,我们利用Liaw和Lin的结果,指出$k$变量的布尔函数的ROBDD表示包含$(2+o(1))2^{k}/k$阶的多个顶点。

英文摘要:

A binary string of length $2^k$ induces the Boolean function of $k$ variables whose Shannon expansion is the given binary string. This Boolean function then is representable via a unique reduced ordered binary decision diagram (ROBDD). The given binary string is fully recoverable from this ROBDD. We exhibit a lossless data compression algorithm in which a binary string of length a power of two is compressed via compression of the ROBDD associated to it as described above. We show that when binary strings of length $n$ a power of two are compressed via this algorithm, the maximal pointwise redundancy/sample with respect to any s-state binary information source has the upper bound $(4\log_2s+16+o(1))/\log_2n $. To establish this result, we exploit a result of Liaw and Lin stating that the ROBDD representation of a Boolean function of $k$ variables contains a number of vertices on the order of $(2+o(1))2^{k}/k$.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑