Seol mar théacs é seo: Algorithms from P to NP vol.1: design and efficiency