Algorithm design
= Algorithm design
Constructing an <algorithm> that meets a stated specification. Choices such as <divide-and-conquer algorithms>, <dynamic programming> and <greedy algorithms> organize the construction; an <algorithm correctness> argument establishes that the result meets the specification.