CS482 Style Guide

Some students find it helpful to have an outline for the various algorithm paradigms and their corresponding proofs. We've listed some of these below. Students should feel free to follow these outlines explicitly, or just use them to make sure they haven't missed any key proof elements.