graduate design and analysis of algorithms