Affiliation: | a Department of Mathematical Informatics, Graduate School of Information Science and Technology, University of Tokyo, 7-3-1, Hongo, Bunkyo-ku, Tokyo 113-8656, Japan b National Institute of Informatics, Japan c Institut für Informatik, Humboldt-Universität zu Berlin, Germany |