Algorithm theory - SWAT 2010 12th scandinavian workshop on algorithm theory, Bergen, Norway, june 21-23, 2010. proceedings (Springer, 2010)