Αλγοριθμικές τεχνικές στη θεωρία πολυπλοκότητας - Μπαμπάς, Ευάγγελος Γ