19 Complessità algoritmica e transizioni di fase