Table Of ContentLecture Notes in Computer Science 6648
CommencedPublicationin1973
FoundingandFormerSeriesEditors:
GerhardGoos,JurisHartmanis,andJanvanLeeuwen
EditorialBoard
DavidHutchison
LancasterUniversity,UK
TakeoKanade
CarnegieMellonUniversity,Pittsburgh,PA,USA
JosefKittler
UniversityofSurrey,Guildford,UK
JonM.Kleinberg
CornellUniversity,Ithaca,NY,USA
AlfredKobsa
UniversityofCalifornia,Irvine,CA,USA
FriedemannMattern
ETHZurich,Switzerland
JohnC.Mitchell
StanfordUniversity,CA,USA
MoniNaor
WeizmannInstituteofScience,Rehovot,Israel
OscarNierstrasz
UniversityofBern,Switzerland
C.PanduRangan
IndianInstituteofTechnology,Madras,India
BernhardSteffen
TUDortmundUniversity,Germany
MadhuSudan
MicrosoftResearch,Cambridge,MA,USA
DemetriTerzopoulos
UniversityofCalifornia,LosAngeles,CA,USA
DougTygar
UniversityofCalifornia,Berkeley,CA,USA
GerhardWeikum
MaxPlanckInstituteforInformatics,Saarbruecken,Germany
Mitsunori Ogihara Jun Tarui (Eds.)
Theory and Applications
of Models of Computation
8th Annual Conference, TAMC 2011
Tokyo, Japan, May 23-25, 2011
Proceedings
1 3
VolumeEditors
MitsunoriOgihara
UniversityofMiami
DepartmentofComputerScience
1365MemorialDrive,CoralGables,FL33146,USA
E-mail:[email protected]
JunTarui
UniversityofElectro-Communications
DepartmentofInformationandCommunicationEngineering
Chofugaoga1-5-1,Chofu,Tokyo,182-8585,Japan
E-mail:[email protected]
ISSN0302-9743 e-ISSN1611-3349
ISBN978-3-642-20876-8 e-ISBN978-3-642-20877-5
DOI10.1007/978-3-642-20877-5
SpringerHeidelbergDordrechtLondonNewYork
LibraryofCongressControlNumber:2011926299
CRSubjectClassification(1998):F.2,F.3,F.4,G.2.2,H.1.1,E.1,G.4,I.1
LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues
©Springer-VerlagBerlinHeidelberg2011
Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis
concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,
reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,
initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable
toprosecutionundertheGermanCopyrightLaw.
Theuseofgeneraldescriptivenames,registerednames,trademarks,etc.inthispublicationdoesnotimply,
evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevantprotectivelaws
andregulationsandthereforefreeforgeneraluse.
Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India
Printedonacid-freepaper
SpringerispartofSpringerScience+BusinessMedia(www.springer.com)
Preface
TheoryandApplicationsofModelsofComputation2011(TAMC2011)washeld
May23–25inChofu,Tokyo.After six yearsofsuccessfulmeetingsin China,the
seventhTAMCwasheldinPrague,CzechRepublic,in2010.Thiseighthmeeting
was the second to be held outside China. The conference has a strong focus on
computational models. In 2011, there were 136 submissions, out of which 51
papers were selected by the Program Committee. The conference had invited
talks by two world-renowned scholars, Tetsuo Asano of the Japan Advanced
InstituteforScienceandTechnologyandRichardLiptonoftheGeorgiaInstitute
of Technology.
May 2011 Mitsunori Ogihara
Jun Tarui
Organization
Program Committee
Olaf Beyersdorff University of Hannover, Germany
Cristian Calude University of Auckland, New Zealand
Amit Chakrabarti Dartmouth College, USA
Danny Z. Chen University of Notre Dame, USA
Zhi-Zhong Chen Tokyo Denki University, Japan
Marek Chrobak University of California – Riverside, USA
Pierluigi Crescenzi University of Florence, Italy
William Gasarch University of Maryland – College Park, USA
Tero Harju University of Turku, Finland
Miki Hermann E´cole Polytechnique, France
Sanjay Jain National University of Singapore, Singapore
Ming-Yang Kao Northwestern University, USA
S. Rao Kosaraju The Johns Hopkins University, USA
Carlos Mart´ın Vide Universitat Rovira i Virgili, Spain
Peter Bro Miltersen Aarhus University, Denmark
Mitsunori Ogihara, Chair University of Miami, USA
Ru¨diger Reischuk University of Lu¨beck, Germany
Christian Sohler Technische Universita¨t Dortmund, Germany
Jun Tarui, Co-chair University of Electro-Communications,Japan
Takeshi Tokuyama Tohoku University, Japan
Chee-Keng Yap New York University, USA
Local Organizing Committee
Takaaki Goto University of Electro-Communications,Japan
Satoshi Kobayashi University of Electro-Communications,Japan
Tetsuro Nishino University of Electro-Communications,Japan
Yasuhiko Takenaga University of Electro-Communications,Japan
Jun Tarui, Chair University of Electro-Communications,Japan
Seinosuke Toda Nihon University, Japan
Mitsuo Wakatsuki University of Electro-Communications,Japan
Osamu Watanabe Tokyo Institute of Technology, Japan
Katsuhisa Yamanaka Iwate University, Japan
Organizational Assistance
Yajie Hu (Proceedings) University of Miami, USA
Seiko Kurakami (Web Design) Atelier Prefull, Japan
VIII Organization
Conference Sponsorship
University of Electro-Communications,Japan
Steering Committee
Manindra Agrawal IndianInstitute ofTechnology–Kanpur,India
Jin-Yi Cai University of Wisconsin – Madison, USA
S. Barry Cooper University of Leeds, UK
John Hopcroft Cornell University, USA
Angsheng Li Institute of Software, Chinese Academy of
Sciences, China
Referees
Vicente Acun˜a Hu¨seyin Ko¸cak
Isolde Adler Johannes Ko¨bler
Luis Antunes Ranganath Kondapally
Vikraman Arvind Oliver Kullmann
Chandrajit Bajaj Christiane Lammersen
Yair Bartal Massimo Lauria
Herv´e Baumann Peter Lohmann
Manuel Bodirsky Dierk Luedemann
Beate Bollig Andrew Lyons
Vincenzo Bonifaci Andrea Marino
Tiziana Calamoneri Da´niel Marx
Jianer Chen Arne Meier
Miriam Di Ianni Daniel Meister
Michael Elberfeld Jochen Messner
Bruno Escoffier Alexander Munteanu
Cristina Fernandes Sebastian Mu¨ller
Carlos Ferreira Kiyohito Nagano
Alexandre Freire Jesper Buus Nielsen
Naveen Garg Zeev Nutov
Lee-Ad Gottlieb Mikhail Ostrovsky
Andre Gronemeier Francesco Pasquale
Roberto Grossi Paolo Penna
Mohammad Hajiaghayi Rajeev Raman
Xin He Burton Rosenberg
Frank Hellweg Gianluca Rossi
Susan Hohenberger Marie-France Sagot
Stefan Hougardy Dilip Sarkar
Rahul Jain Jayalal Sarma M.N.
Akitoshi Kawamura Gido Scharfenberger-Fabian
Rolf Klein Melanie Schmidt
Organization IX
Chris Schwiegelshohn Paulo Vieira Milreu
Akiyoshi Shioura Heribert Vollmer
Somnath Sikdar Yoshiko Wakabayashi
Frank Stephan Matthias Westermann
Dirk Sudholt Peter Winkler
Jukka Suomela Maximilian Witek
Pushkar Tripathi Philipp Woelfel
Mathieu Turuani Li Yan
Christopher Umans Christine Zarges
Jan Vahrenhold Shengyu Zhang
Vinodchandran Variyam Marius Zimand
St´ephane Vialette
Table of Contents
Invited Talk 1
Designing Algorithms with Limited Work Space (Abstract)............ 1
Tetsuo Asano
Session 1A: General Algorithms
Group-Theoretic Lower Bounds for the Complexity of Matrix
Multiplication ................................................... 2
Alexey Pospelov
A Real Elementary Approach to the Master Recurrence and
Generalizations .................................................. 14
Chee Yap
Multiprocessor Speed Scaling for Jobs with Arbitrary Sizes and
Deadlines ....................................................... 27
Paul C. Bell and Prudence W.H. Wong
Session 1B: Approximation I
Approximating Edge Dominating Set in Dense Graphs................ 37
Richard Schmied and Claus Viehmann
Near Approximation of Maximum Weight Matching through Efficient
Weight Reduction................................................ 48
Andrzej Lingas and Cui Di
Approximability of the Subset Sum Reconfiguration Problem .......... 58
Takehiro Ito and Erik D. Demaine
Session 2A: Graph Algorithms I
An Improved Kernel for Planar Connected Dominating Set............ 70
Weizhong Luo, Jianxin Wang, Qilong Feng, Jiong Guo, and
Jianer Chen
Fast Exact Algorithm for L(2,1)-Labeling of Graphs ................. 82
Konstanty Junosza-Szaniawski, Jan Kratochv´ıl, Mathieu Liedloff,
Peter Rossmanith, and Pawe(cid:3)l Rza¸z˙ewski
XII Table of Contents
An Improved Sufficient Condition for Reconfiguration of List
Edge-Coloringsin a Tree.......................................... 94
Takehiro Ito, Kazuto Kawamura, and Xiao Zhou
Session 2B: Complexity I
A Compact Encoding of Unordered Binary Trees..................... 106
Kozue Iwata, Shiro Ishiwata, and Shin-ichi Nakano
Low Distortion Metric Embedding into Constant Dimension........... 114
Andr´as Farago´
A Better Upper Bound on Weights of Exact Threshold Functions ...... 124
Xue Chen, Guangda Hu, and Xiaoming Sun
Session 3A: Optimization I
Submodular Function Minimization under a Submodular Set Covering
Constraint ...................................................... 133
Naoyuki Kamiyama
Optimal Allocation in Combinatorial Auctions with Quadratic Utility
Functions ....................................................... 142
Akiyoshi Shioura and Shunya Suzuki
Session 3B: Circuit Complexity
Energy and Fan-In of Threshold Circuits Computing Mod Functions ... 154
Akira Suzuki, Kei Uchizawa, and Xiao Zhou
NEXP Does Not Have Non-uniform Quasipolynomial-Size ACC
Circuits of o(loglogn) Depth ...................................... 164
Fengming Wang
Invited Talk 2
Quantum Complexity: Some Recent Results, Some Open Problems,
Some Thoughts (Abstract) ........................................ 171
Richard J. Lipton
Session 4A: Data Structures
Non-adaptive Complex Group Testing with Multiple Positive Sets...... 172
Francis Y.L. Chin, Henry C.M. Leung, and S.M. Yiu
How to Cut a Graph into Many Pieces.............................. 184
Ruben van der Zwaan, Andr´e Berger, and Alexander Grigoriev
