add Kraft-McMillan Proof

jermp / data_compression_course

A Crash Course on Data Compression.

291 stars 22 forks source link

add Kraft-McMillan Proof #2

Closed lisifra96 closed 2 years ago

lisifra96 commented 2 years ago

Ciao Giulio, ho creato un branch con la dimostrazione della disuguaglianza e provo a fare una pull request. Grazie di nuovo e buona Pasqua, Francesco

jermp commented 2 years ago

Grazie mille Francesco! Ho guardato brevemente ieri la dimostrazione che hai aggiunto: mi sembra vada benissimo (magari farei dei piccoli aggiustamenti per mostrare meglio alcuni passaggi). Ottimo lavoro.

jermp commented 2 years ago

Ciao Francesco, ho rivisto le dimostrazioni, esplicitato alcuni passaggi, e cambiato notazione per rendere tutto consistente. Fammi sapere se ti torna tutto. Grazie.

lisifra96 commented 2 years ago

Ciao Giulio, Ho guardato la versione aggiornata e mi sembra tutto a posto!