022 ; DSA ; Proving Optimality and Designing Huffman Encoding Algorithm