Văn bản này: Algorithm Theory -- SWAT 2012