The Textbook Proof of Huffman's Algorithm.
Jasmin Christian BlanchettePublished in: Arch. Formal Proofs (2008)
Keyphrases
- computational complexity
- dynamic programming
- cost function
- np hard
- detection algorithm
- objective function
- times faster
- matching algorithm
- simulated annealing
- computational cost
- experimental evaluation
- learning algorithm
- k means
- optimization algorithm
- preprocessing
- significant improvement
- worst case
- search space
- particle swarm optimization
- theoretical analysis
- multi objective
- classification algorithm
- optimal solution
- improved algorithm
- provably correct