Backend
Binary Huffman Coding with Unequal Letter Costs Is NP-Complete
arXiv math.IT0 views
arXiv:2611.04444v1 Announce Type: cross Abstract: Binary prefix coding assigns prefix-free binary words to symbols to minimize their frequency-weighted cost. Huffman solved the equal-letter-cost case in polynomial time in 1952 [Proc. IRE'52]. For unequal letter costs, Karp gave an integer-programming formulation in 1961 [IRE Trans. Inf. Theory'61]. Exact polynomial-time algorithms for fixed integer costs were given by Golin and Rote [IEEE Trans. Inf. Theory'98] and Bradford, Golin, Larmore, and Rytter [J. Algorithms'02]. For input-dependent costs, Golin, Mathieu, and Young gave a polynomial-time approximation scheme [SICOMP'12]. The exact complexity when letter costs are part of the input had remained unresolved. We resolve this $65$-year-old problem by proving that deciding whether there exists a binary prefix-free code of frequency-weighted cost at most a given threshold is NP-complete, even when the letter costs are consecutive positive integers $(M,M+1)$ supplied as part of the input. All frequencies, letter costs, and thresholds are encoded in binary. Consequently, finding an optimal code is NP-hard. Our proof uses two polynomial-time reductions, starting from Planar Independent Set. The intermediate problem prescribes the number of leaves at each depth of a full ordered binary tree and minimizes a signed linear score on their sorted right-edge counts. The first reduction represents an independent-set verification program by a tree growing level by level. A fixed-profile identity converts narrow coordinate restrictions into linear penalties that enforce the computation. The second reduction adds large dyadic terms to the symbol frequencies to force prescribed depths. These terms contribute a constant to the weighted number of ones, leaving smaller signed perturbations to reproduce the tree score.
Source:https://arxiv.org/abs/2611.04444PreviousA Conditional Quantum Kac-Bernstein TheoremNextA Bayesian-Geometric Reading of Classical Model-Based Optimal Design
Related posts
Why Android says "Connected, no internet": a foreign IPv6 router advertisement from a 5G router (CPE)
0dev.to
DuckDuckGo pitches itself to schools amid backlash over Google’s AI policy
0TechCrunch

KV-Cache Offload to NVMe vs Recompute: The TTFT Bill Comes Due
0dev.to
Why "just retry it" can be dangerous
0dev.to

Hydrogen Fuel Cells vs Battery Electric Trucks: The Payload Tax
0dev.to
Testing the Podcast Ad Response Path: Forms, Promo Codes and CRM Events
0dev.to