English

Decision Procedure for the Existence of Two-Channel Prefix-Free Codes

Information Theory 2019-04-30 v1 math.IT

Abstract

The Kraft inequality gives a necessary and sufficient condition for the existence of a single channel prefix-free code. However, the multichannel Kraft inequality does not imply the existence of a multichannel prefix-free code in general. It is natural to ask whatever there exists an efficient decision procedure for the existence of multichannel prefix-free codes. In this paper, we tackle the two-channel case of the above problem by relating it to a constrained rectangle packing problem. Although a general rectangle packing problem is NP-complete, the extra imposed constraints allow us to propose an algorithm which can solve the problem efficiently.

Keywords

Cite

@article{arxiv.1904.12112,
  title  = {Decision Procedure for the Existence of Two-Channel Prefix-Free Codes},
  author = {Hoover H. F. Yin and Ka Hei Ng and Yu Ting Shing and Russell W. F. Lai and Xishi Wang},
  journal= {arXiv preprint arXiv:1904.12112},
  year   = {2019}
}

Comments

18 pages; 5 figures; 1 algorithm; full version of the conference paper having the same title which to be appeared in 2019 IEEE International Symposium on Information Theory