PMSP - Regularity Lemmas in graph theory, additive combinatorics and TCS I - Luca Trevisan