Table Of ContentLecture Notes in Computer Science 6108
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
Max-PlanckInstituteofComputerScience,Saarbruecken,Germany
Jan Kratochvíl Angsheng Li
Jiˇrí Fiala Petr Kolman (Eds.)
Theory and Applications
of Models of Computation
7thAnnual Conference, TAMC 2010
Prague, Czech Republic, June 7-11, 2010
Proceedings
1 3
VolumeEditors
JanKratochvíl
JiˇríFiala
PetrKolman
CharlesUniversity
Malostranskénám.25
11800Praha1,CzechRepublic
E-mail:{honza;fiala;kolman}@kam.mff.cuni.cz
AngshengLi
StateKeyLab.ofComputerScience
InstituteofSoftware
ChineseAcademyofSciences
Beijing100190,P.R.China
E-mail:[email protected]
LibraryofCongressControlNumber:2010927811
CRSubjectClassification(1998):F.2,F.3,F.4,G.2.2,H.1.1,E.1,G.4,I.1
LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues
ISSN 0302-9743
ISBN-10 3-642-13561-7SpringerBerlinHeidelbergNewYork
ISBN-13 978-3-642-13561-3SpringerBerlinHeidelbergNewYork
Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis
concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,
reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,
initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable
toprosecutionundertheGermanCopyrightLaw.
springer.com
©Springer-VerlagBerlinHeidelberg2010
PrintedinGermany
Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India
Printedonacid-freepaper 06/3180
Preface
The7thAnnualConferenceonTheoryandApplicationsofModelsofComputa-
tionwasheldduring June7–11,2010inPrague.After sixsuccessfulconferences
held in 2004–2009 in China (Beijing, Kunming, Beijing, Shanghai, Xi’an, and
ChangSha) TAMC left Asia for the first time, aiming at the “heart of Europe.”
Changingthegeographicallocationdidnotbringanychangestothescopeofthe
conference. Its three main themes continued to be Computability, Complexity,
andAlgorithms.Theconferenceaimstobringtogetherresearchersfromallover
the worldwithinterests intheoreticalcomputer science,algorithmicmathemat-
ics,andapplicationstothephysicalsciences.Thisyearwesawmoreparticipants
fromEurope andthe Americas,but we were veryhappy that we could alsowel-
come to Prague traditional participants from Asia (China, Japan, and India)
tocontinueenhancingthe collaborationamongthe theoreticalcomputerscience
communities of these continents.
After hardwork the ProgramCommittee decided to accept 35 papers out of
76 submitted to TAMC 2010. Each submission was reviewed by at least three,
Program Committee members. All actions of the Program Committee were co-
ordinated via flawlessly and efficiently running EasyChair. We congratulate the
authors of accepted contributions and thank all authors who submitted their
papers. They all contributed to a successful event.
We extend our thanks to the distinguished plenary speakers who accepted
our invitation to deliver plenary talks – John Hopcroft from Cornell University
and Shang-Hua Teng from University of Southern California. Their talks “New
Research Directions in the Information Age” and “The Laplacian Paradigm:
EmergingAlgorithms for MassiveGraph” were highlights of the conference.We
surely do not host and listen to Turing and Harry H. Goode Memorial Awards
or Fulkerson and Go¨del Prize recipients every day.
It has become a tradition of TAMC conferences to organize special sessions.
WewouldliketothanktwoprominentCzechmathematicians,JanKraj´ıˇcekand
Jiˇr´ıMatouˇsek,fororganizingspecialsessionsonProofComplexityandComputa-
tionalGeometryandthusbringingtoPraguewell-knownexpertsinthese areas.
Andwethanktheinvitedspeakers–OlafBeyersdorff,StefanDantchev,Edward
A.Hirsch,SebastianMuller,andIddoTzameret(ProofComplexity),andXavier
Goaoc,ChristianKnauer,AnastasiosSidiropoulos,andTakeshiTokuyama(Com-
putationalGeometry)—foracceptingthe invitationtocometo TAMC2010and
share their expertise with the participants of the conference.
WeareverygratefultothemembersoftheProgramCommittee,theexternal
referees, and the members of the Organizing Committee for all the work they
did. While all committee members worked well as a team, some names must
be singled out: Special thanks go to Ondˇrej Pangra´c for designing the logo of
TAMC 2010 and for taking care of the website of the conference, to Toma´ˇs
VI Preface
Dvoˇra´k,Petr Gregor,and MartinMareˇsfor logistic help, and to JanKratochv´ıl
Jr.fordesigningtheTAMC2010poster.Mostofall,wethankAnnaKotˇeˇsovcov´a
for running the conference so smoothly.
Finally, we thank the editors at Springer for the cooperationthroughoutthe
preparation of this volume. And last but not least we gratefully acknowledge
the sponsorship of DIMATIA Charles University and of Czech research grants
ITI-1M0545 and MSM0021620838.
June 2010 Jan Kratochv´ıl
Angsheng Li
Jiˇr´ıFiala
Petr Kolman
Conference Organization
Program Co-chairs
Jan Kratochv´ıl Charles University, Prague, Czech Republic
Angsheng Li ISCAS, Beijing, China
Program Committee
Hans L. Bodlaender Utrecht University, The Netherlands
Wei Chen Microsoft Research, Beijing, China
Jianer Chen Texas A&M University, USA
S. Barry Cooper University of Leeds, UK
Josep Diaz Universitat Politecnica de Catalunya,
Barcelona, Spain
Zhiming Ding ISCAS, Beijing, China
Rod Downey Victoria University, Wellington, New Zealand
Jiˇr´ıFiala Charles University, Prague, Czech Republic
Fedor Fomin University of Bergen, Norway
Lane A. Hemaspaandra University of Rochester, USA
Dieter Kratsch University of Metz, France
Anton´ın Kuˇcera Masaryk University, Brno, Czech Republic
Anton´ın Kuˇcera Charles University, Prague, Czech Republic
Zhyong Liu ICTCAS, Beijing, China
Mitsunori Ogihara University of Miami, USA
Sang-il Oum KAIST, Daejeon, Korea
Andrzej Proskurowski University of Oregon, Eugene, USA
Xiaoming Sun Tsinghua University, China
Jun Tarui University of Electro-Comm, Tokyo, Japan
Chris Umans Caltech, USA
Peter van Emde Boas University of Amsterdam, The Netherlands
Lusheng Wang City University of Hong Kong
Osamu Watanabe Tokyo Institute of Technology, Japan
Binhai Zhu Montana State University, USA
Local Organization
Tom´aˇs Dvoˇra´k Anna Kotˇeˇsovcov´a
Jiˇr´ıFiala, Chair Martin Mareˇs
Petr Gregor Ondˇrej Pangra´c
Petr Kolman
VIII Organization
TAMC Steering Committee
Manindra Agarwal Indian Institute of Technology,Kanpur,India
Jin-Yi Cai University of Wisconsin-Madison, USA
S. Barry Cooper University of Leeds, UK
Angsheng Li Chinese Academy of Sciences, Beijing, China
External Reviewers
Farid Ablayev Danny Hermelin
Joergen Bang-Jensen Nao Hirokawa
Ivona Bez´akova´ Dieter Hofbauer
Peter Boothe Clemens Huemer
Tom´aˇs Br´azdil Tsuyoshi Ito
Cyril Brom Akinori Kawachi
Dave Buchfuhrer Julia Kempe
Dave Buchfuhrer Torleiv Kløve
Barbora Buhnova´ Martin Klazar
Catherine McCartin Takeshi Koshiba
Marek Chrobak Daniel Kr´al’
Florin Constantin Stefan Kratsch
Andrea Corradini Petr Kuˇcera
Decheng Dai Michal Kunc
Lars Eirik Danielsen Steffen Lempp
Shahar Dobzinski Angsheng Li
Yong Dou Mathieu Liedloff
Michael Drmota Chuang Lin
Martin Dyer Lin Liu
Shahram Esmaeilsabzali Vadim Lozin
Liya Fan Pinyan Lu
Arthur Farley Anna Lubiw
Michael Fellows Joan Lucas
Stefan Felsner Jack H. Lutz
Dengguo Feng Johann Makowsky
Henning Fernau Yishay Mansour
Felix Fischer Elvira Mayordomo
Rusins Freivalds Kazuyuki Miura
Serge Gaspers Hiroki Morizumi
Qi Ge Georg Moser
Ioannis Giotis Miguel Mosteiro
Petr Golovach Ben Moszkowski
Petr Gregor Haiko Mu¨ller
Alexander Grigoriev Shin-Ichi Nakano
Gregory Gutin Gonzalo Navarro
Pinar Heggernes Shinya Nishibata
Organization IX
Harumichi Nishimura Martin Strauss
Jan Obdrˇz´alek Ondˇrej Suchy´
Yoshio Okamoto Pavel Surynek
Alexander Okhotin Guangming Tan
Mikael Onsjo¨ Kazuyuki Tanaka
Martin Otto Gerard Tel
Dani¨el Paulusma Milan Vlach
Radek Pela´nek Jan Vondra´k
Wlodek Proskurowski Prudence W.H. Wong
Aleˇs Pultr Guoping Wang
Jimmy Qiao Yajun Wang
Stanislaw P. Radziszowski Mathias Weller
Julian Rathke Alexander Wilkie
Vojtˇech Rˇeh´ak Philipp Woelfel
Jeffrey Remmel Jie Wu
Peter Rossmanith Ge Xia
Alexis Saurin Mingji Xia
Michael Schapira Hao Yin
Jiˇr´ıSgall Wei Yu
Jeffrey Shallit Janez Zˇerovnik
Takeya Shigezumi Peng Zhang
Libor Sˇkarvada Shengyu Zhang
Ulrike Stege Weimin Zheng
Leen Stougie Xizhong Zheng
Table of Contents
Plenary Talks
New Research Directions in the Information Age..................... 1
John E. Hopcroft
The Laplacian Paradigm:Emerging Algorithms for Massive Graphs .... 2
Shang-Hua Teng
Special Sessions
Proof Complexity of Non-classical Logics............................ 15
Olaf Beyersdorff
Optimal Acceptors and Optimal Proof Systems ...................... 28
Edward A. Hirsch
The Complexity of Geometric Problems in High Dimension............ 40
Christian Knauer
Different Approaches to Proof Systems ............................. 50
Olaf Beyersdorff and Sebastian Mu¨ller
Algebraic Proofs over Noncommutative Formulas .................... 60
Iddo Tzameret
Contributed Papers
Nonlocal Quantum XOR Games for Large Number of Players.......... 72
Andris Ambainis, Dmitry Kravchenko, Nikolajs Nahimovs, and
Alexander Rivosh
Nontriviality for Exponential Time w.r.t. Weak Reducibilities.......... 84
Klaus Ambos-Spies and Timur Bakibayev
Streaming Algorithms for Some Problems in Log-Space ............... 94
Ajesh Babu, Nutan Limaye, and Girish Varma
Temperature Aware Online Scheduling with a Low Cooling Factor ..... 105
Martin Birks and Stanley P.Y. Fung
