Stav dette: Algorithm Theory -- SWAT 2012