Prim's algorithm proof - Githubissues

CasperBHansen / DIKU_AD_2013

A disposition for the algorithms and data structures course exam.

4 stars 0 forks source link

Closed CasperBHansen closed 11 years ago

CasperBHansen commented 11 years ago

Provide proof of Prim's algorithm.

CasperBHansen commented 11 years ago

Crude, but analysis is there. Missing proof of loop invariant, updated issue to reflect this.

CasperBHansen commented 11 years ago

Done.