while(! optimal) { reduce_time,space_complexity()}