The art of the algorithmist

Abstract

An algorithmist is a person skilled in the art of devising, expressing, verifying, analyzing, and testing algorithms. Though a great deal has been written about the verification and analysis of algorithms, remarkably little attention has been paid to the issue of algorithm synthesis. In this paper a taxonomy of algorithms is presented. Each category is explained and example algorithms are pointed to which exhibit its characteristics.