Huffman Codes proof - Githubissues

CasperBHansen / DIKU_AD_2013

A disposition for the algorithms and data structures course exam.

4 stars 0 forks source link

Closed Genesiz closed 11 years ago

Genesiz commented 11 years ago

Prove the huffman codes algorithm.

CasperBHansen commented 11 years ago

Updated issue to reflect what is of most importance.

CasperBHansen commented 11 years ago

I'm on it. Last thing tonight, I think.

CasperBHansen commented 11 years ago

Analysis done. Needs proof of loop invariant, updated issue to reflect this.

CasperBHansen commented 11 years ago

Done.