Abstract
We study the redundancy of D-ary Fano source codes. We show that a novel splitting criterion allows to prove a bound on the redundancy of the resulting code which sharpens the guarantee provided by Shannon’s classical result for the case of an optimal code.
In particular we show that, for any \(D \ge 2\) and for every source distribution \(\mathbf{p} = p_1, \dots , p_n,\) there is a D-ary Fano code that satisfies the redundancy bound
where, \(\overline{L}\) denotes the average codeword length, \(p_{\min } = \min _i p_i,\) and \(H_D(\mathbf{p}) = -\sum _{i=1}^n p_i \log _D(p_i)\) is the D-ary entropy of the source.
The existence of D-ary Fano codes achieving such a bound had been conjectured in [ISIT2015], where, however, the construction proposed achieves the bound only for \(D = 2, 3,4.\) In [ISIT2020], a novel construction was proposed leading to the proof that the redundancy bound in (1) above also holds for \(D=5\) (and some other special cases). This result was attained by a dynamic programming based algorithm with time complexity O(Dn) (per node of the codetree).
Here, besides proving that the redundancy bound in (1) can be achieved, unconditionally, for every \(D > 3,\) we also significantly improve the time complexity of the algorithm building a D-ary Fano code tree achieving such a bound: We show that, for every \(D \ge 4,\) a D-ary Fano code tree satisfying (1) can be constructed by an efficient greedy procedure that has complexity \(O(D\log _2 n)\) per node of the codetree (i.e., improving from linear time to logarithmic time in n).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Cicalese, F., Rossi, E.: On D-ary Fano Codes. In: Proceedings of ISIT 2020 (2020)
Cover, T., Thomas, J.: Elements of Information Theory. Wiley-Interscience (2006)
Dagan, Y., Filmus, Y., Gabizon, A., Moran, S.: Twenty (short) questions. Combinatorica 39(3), 597–626 (2019)
Fano, R.M.: The transmission of information, Research Laboratory of Electronics, Mass. Inst. of Techn. (MIT), Technical Report, No. 65 (1949)
Garey, M.R.: Optimal binary identification procedures. SIAM J. Appl. Math. 23, 148–151 (1977)
Garsia, A.M., Wachs, M.L.: A new algorithm for minimal binary search trees. SIAM J. Comput. 6, 622–642 (1977)
Gilbert, E.N., Moore, E.F.: Variable-length binary encodings. Bell Syst. Techn. J. 38(4), 933–967 (1959)
Han, T.S., Kobayashi, K.: Mathematics of Information and Coding, Translations of Mathematical Monographs, vol. 203. American Mathematical Society (2007)
Horibe, Y.: An Improved bound for weight-balanced tree. Inf. Contr. 34, 148–151 (1977)
Huffman, D.A.: A method for the construction of minimum-redundancy codes. Proc. Inst. Radio Eng. 40(9), 1098–1101 (1952)
Hu, T.C., Tucker, A.C.: Optimal computer search trees and variable-length alphabetical codes. SIAM J. Appl. Math. 21(4), 514–532 (1971)
Karpinski, M., Larmore, L.L., Rytter, W.: Correctness of constructing optimal alphabetic trees revisited. Theor. Comp. Sci. 180, 309–324 (1997)
Knuth, D.E.: Optimum binary searchtrees. Acta Informatica 1, 14 (1971)
Krajči, S., Liu, C.-F., Mikeš, L., Moser, S.M.: Performance analysis of Fano coding. In: Proceedings of ISIT 2015, pp. 1746–1750 (2015)
Lirov, Y., Yue, O.: Circuit pack troubleshooting via semantic control. I. goal selection. In: Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications, pp. 118–122 (1988)
Mohajer, S., Pakzad, P., Kakhbod, A.: Tight bounds on the redundancy of huffman codes. IEEE Trans. IT, 58 (11), 6737–6746 (2012). IEEE Trans. Inform. Theor. 54, 344–366 (2008)
Navarro, G., Brisaboa, N.: New bounds on D-ary optimal codes. Inform. Process. Lett. 96(5), 178–184 (2005)
Pattipati, K.R., Alexandridis, M.G.: Application of heuristic search and information theory to sequential fault diagnosis. IEEE Trans. Syst. Man Cybern. 20, 872–887 (1990)
Acknowledgments
We wish to thank the participants of the “Monday Meetings” at the University of Verona for several stimulating discussions. MR is supported by the National Science Foundation (NSF) IIS (Grant No. 1618814).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Cicalese, F., Rossi, M. (2021). On the Redundancy of D-Ary Fano Codes. In: Bureš, T., et al. SOFSEM 2021: Theory and Practice of Computer Science. SOFSEM 2021. Lecture Notes in Computer Science(), vol 12607. Springer, Cham. https://doi.org/10.1007/978-3-030-67731-2_19
Download citation
DOI: https://doi.org/10.1007/978-3-030-67731-2_19
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-67730-5
Online ISBN: 978-3-030-67731-2
eBook Packages: Computer ScienceComputer Science (R0)