This document introduces a book containing over 600 problems related to algorithm design, analysis and verification, organized across multiple chapters covering topics such as mathematical induction, complexity analysis, and specific algorithmic approaches. Readers are advised to first attempt problems independently before consulting the limited hints, solutions and comments provided to avoid relying on those clues.