Table Of ContentMagnús M. Halldórsson
Kazuo Iwama
Naoki Kobayashi
S Bettina Speckmann (Eds.)
S
o
C
R
A
4
3 Automata, Languages,
1
9
S
C and Programming
N
L
42nd International Colloquium, ICALP 2015
Kyoto, Japan, July 6–10, 2015
Proceedings, Part I
123
Lecture Notes in Computer Science 9134
CommencedPublicationin1973
FoundingandFormerSeriesEditors:
GerhardGoos,JurisHartmanis,andJanvanLeeuwen
EditorialBoard
DavidHutchison,UK TakeoKanade,USA
JosefKittler,UK JonM.Kleinberg,USA
JohnC.Mitchell,USA FriedemannMattern,Switzerland
BernhardSteffen,Germany MoniNaor,Israel
DemetriTerzopoulos,USA C.PanduRangan,India
GerhardWeikum,Germany DougTygar,USA
Advanced Research in Computing and Software Science
SublineofLectureNotesin ComputerScience
SublineSeries Editors
GiorgioAusiello,UniversityofRome‘LaSapienza’,Italy
VladimiroSassone,UniversityofSouthampton,UK
SublineAdvisoryBoard
SusanneAlbers,TUMunich,Germany
BenjaminC.Pierce,UniversityofPennsylvania,USA
BernhardSteffen,UniversityofDortmund,Germany
DengXiaotie,CityUniversityofHongKong
JeannetteM.Wing,MicrosoftResearch,Redmond,WA,USA
More information about this series at http://www.springer.com/series/7407
ú ó
Magn s M. Halld rsson Kazuo Iwama
(cid:129)
Naoki Kobayashi Bettina Speckmann (Eds.)
(cid:129)
Automata, Languages,
and Programming
42nd International Colloquium, ICALP 2015
–
Kyoto, Japan, July 6 10, 2015
Proceedings, Part I
123
Editors
Magnús M.Halldórsson NaokiKobayashi
ReykjavikUniversity TheUniversity of Tokyo
Reykjavik Tokyo
Iceland Japan
Kazuo Iwama Bettina Speckmann
KyotoUniversity Technische Universiteit Eindhoven
Kyoto Eindhoven
Japan TheNetherlands
ISSN 0302-9743 ISSN 1611-3349 (electronic)
Lecture Notesin Computer Science
ISBN 978-3-662-47671-0 ISBN978-3-662-47672-7 (eBook)
DOI 10.1007/978-3-662-47672-7
LibraryofCongressControlNumber:2015941869
LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues
SpringerHeidelbergNewYorkDordrechtLondon
©Springer-VerlagBerlinHeidelberg2015
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe
material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation,
broadcasting, reproduction on microfilms or in any other physical way, and transmission or information
storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow
knownorhereafterdeveloped.
Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication
doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant
protectivelawsandregulationsandthereforefreeforgeneraluse.
Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare
believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors
give a warranty, express or implied, with respect to the material contained herein or for any errors or
omissionsthatmayhavebeenmade.
Printedonacid-freepaper
Springer-VerlagGmbHBerlinHeidelbergispartofSpringerScience+BusinessMedia
(www.springer.com)
Preface
ICALP 2015, the 42nd edition of the International Colloquium on Automata, Lan-
guagesandProgramming,washeldinKyoto,JapanduringJuly6–10,2015.ICALPis
a series of annual conferences of the European Association for Theoretical Computer
Science (EATCS), which first took place in 1972. This year, the ICALP program
consistedoftheestablishedtrackA(focusingonalgorithms,automata,complexity,and
games) and track B (focusing on logic, semantics, and theory of programming), and
of the recently introduced track C (focusing on foundations of networking).
Inresponsetothecallforpapers,theProgramCommitteereceived507submissions,
thehighestever:327fortrackA,115fortrackB,and65fortrackC.Outofthese,143
paperswereselectedforinclusioninthescientificprogram:89papersforTrackA,34
forTrackB,and20forTrackC.TheselectionwasmadebytheProgramCommittees
basedonoriginality,quality,andrelevancetotheoreticalcomputerscience.Thequality
of the manuscripts was very high indeed, and many deserving papers could not be
selected.
The EATCS sponsored awards for both a best paper and a best student paper for
each of the three tracks, selected by the Program Committees. The best paper awards
were given to the following papers:
– TrackA:AaronBernsteinandCliffordStein.“FullyDynamicMatchinginBipartite
Graphs”
– TrackB:JarkkoKariandMichalSzabados.“AnAlgebraicGeometricApproachto
Nivat’s Conjecture”
– Track C: Yiannis Giannakopoulos and Elias Koutsoupias. “Selling Two Goods
optimally”
Thebeststudentpaperawards,forpapersthataresolelyauthoredbystudents,were
given to the following papers:
– Track A: Huacheng Yu. “An Improved Combinatorial Algorithm for Boolean
Matrix Multiplication”
– Track A: Radu Curticapean. “Block Interpolation: A Framework for Tight Expo-
nential-Time Counting Complexity”
– Track B: Georg Zetzsche. “An Approach to Computing Downward Closures”
Track A gave out two student paper awards this year because of the very high
quality of the two winning papers.
The conference was co-located with LICS 2015, the 30th ACM/IEEE Symposium
on Logic in Computer Science.
Apart from the contributed talks, ICALP 2015 included invited presentations by
Ken-ichi Kawarabayashi, Valerie King, Thomas Moscibroda, Anca Muscholl, Peter
O’Hearn, of which the latter two were joint with LICS. Additionally, it contained
tutorialsessionsbyPiotrIndyk,AndrewPitts,andGeoffreySmith,alljointwithLICS,
VI Preface
andamasterclassongamesbyRyuheiUehara.Abstracts oftheirtalksareincludedin
these proceedings as well. The program of ICALP 2015 also included presentation
of the EATCS Award 2015 to Christos Papadimitriou.
This volume of the proceedings contains all contributed papers presented at the
conferenceinTrackA.Acompanionvolumecontainsallcontributedpaperspresented
inTrackBandTrackCtogetherwiththepapersandabstractsoftheinvitedspeakers.
The following workshops were held as satellite events of ICALP/LICS 2015:
HOPA 2015 — Workshop on the Verification of Higher-Order Programs
LCC 2015 — 16th International Workshop on Logic and Computational Complexity
NLCS 2015 — Third Workshop on Natural Language and Computer Science
LOLA 2015 — Workshop on Syntax and Semantics for Low-Level Languages
QCC 2015 — Workshop on Quantum Computational Complexity
WRAWN 2015 — 6th Workshop on Realistic Models for Algorithms in Wireless
Networks
YR-ICALP 2015 — Young Researchers Forum on Automata, Languages and
Programming
We wish to thank all authors who submitted extended abstracts for consideration,
the Program Committees for their scholarly effort, and all referees who assisted the
Program Committees in the evaluation process.
We thank the sponsors (ERATO Kawarabayashi Large Graph Project; MEXT
Grant-in-Aid for Scientific Research on Innovative Areas “Exploring the Limits of
Computation”; Research Institute for Mathematical Sciences, Kyoto University; and
Tateisi Science and Technology Foundation) for their support.
We are also grateful to all members of the Organizing Committee and to their
support staff.
Thanks to Andrei Voronkov and Shai Halevi for writing the conference manage-
ment systems EasyChair andWeb-Submission-and-Review software, which were used
inhandlingthesubmissionsandtheelectronicProgramCommitteemeeting,aswellas
in assisting in the assembly of the proceedings.
Lastbutnotleast,wewouldliketothankLucaAceto,thepresidentofEATCS,for
his generous advice on the organization of the conference.
May 2015 Magnús M. Halldórsson
Kazuo Iwama
Naoki Kobayashi
Bettina Speckmann
Organization
Program Committee
Track A
Peyman Afshani Aarhus University, Denmark
Hee-Kap Ahn POSTECH, South Korea
Hans Bodlaender Utrecht University, The Netherlands
Karl Bringmann Max-Planck Institut für Informatik, Germany
Sergio Cabello University of Ljubljana, Slovenia
Ken Clarkson IBM Almaden Research Center, USA
Éric Colin de Verdière École Normale Supérieure Paris, France
Stefan Dziembowski University of Warsaw, Poland
David Eppstein University of California at Irvine, USA
Dimitris Fotakis National Technical University of Athens, Greece
Paul Goldberg University of Oxford, UK
MohammadTaghi University of Maryland at College Park, USA
Hajiaghayi
Jesper Jansson Kyoto University, Japan
Andrei Krokhin Durham University, UK
Asaf Levin Technion, Israel
Inge Li Gørtz Technical University of Denmark, Denmark
Pinyan Lu Microsoft Research Asia, China
Frédéric Magniez Université Paris Diderot, France
Kazuhisa Makino Kyoto University, Japan
Elvira Mayordomo Universidad de Zaragoza, Spain
Ulrich Meyer Goethe University Frankfurt am Main, Germany
Wolfgang Mulzer Free University Berlin, Germany
Viswanath Nagarajan University of Michigan, USA
Vicky Papadopoulou European University Cyprus, Cyprus
Michał Pilipczuk University of Bergen, Norway
Liam Roditty Bar-Ilan University, Israel
Ignaz Rutter Karlsruhe Institute of Technology, Germany
Rocco Servedio Columbia University, USA
Jens Schmidt TU Ilmenau, Germany
Bettina Speckmann TU Eindhoven, The Netherlands
Csaba D. Tóth California State University Northridge, USA
Takeaki Uno National Institute of Informatics, Japan
Erik Jan van Leeuwen Max-Planck Institut für Informatik, Germany
Rob van Stee University of Leicester, UK
Ivan Visconti University of Salerno, Italy
VIII Organization
Track B
Andreas Abel Chalmers and Gothenburg University, Sweden
Albert Atserias Universitat Politècnica de Catalunya, Spain
Christel Baier TU Dresden, Germany
Lars Birkedal Aarhus University, Denmark
Luís Caires Universidade Nova de Lisboa, Portugal
James Cheney University of Edinburgh, UK
Wei Ngan Chin National University of Singapore, Singapore
Ugo Dal Lago University of Bologna, Italy
Thomas Ehrhard CNRS and Université Paris Diderot, France
Zoltán Ésik University of Szeged, Hungary
Xinyu Feng UniversityofScienceandTechnologyofChina,China
Wan Fokkink VU University Amsterdam, The Netherlands
Shin-ya Katsumata Kyoto University, Japan
Naoki Kobayashi The University of Tokyo, Japan
Eric Koskinen New York University, USA
Antonín Kučera Masaryk University, Czech Republic
Orna Kupferman Hebrew University, Israel
Annabelle Mclver Macquarie University, Australia
Dale Miller Inria Saclay, France
Markus Müller-Olm University of Münster, Germany
Andrzej Murawski University of Warwick, UK
Joel Ouaknine University of Oxford, UK
Prakash Panangaden McGill University, Canada
Pawel Parys University of Warsaw, Poland
Reinhard Pichler TU Vienna, Austria
SimonaRonchiDellaRocca University of Turin, Italy
Jeremy Siek Indiana University, USA
Track C
Ioannis Caragiannis University of Patras, Greece
Katarina Cechlarova Pavol Jozef Safarik University, Slovakia
Shiri Chechik Tel Aviv University, Israel
Yuval Emek Technion, Israel
Sándor Fekete TU Braunschweig, Germany
Pierre Fraigniaud CNRS, Université Paris Diderot, France
Leszek Gąsieniec University of Liverpool, UK
Aristides Gionis Aalto University, Finland
Magnús M. Halldórsson Reykjavik University, Iceland
Monika Henzinger Universität Wien, Austria
Bhaskar Krishnamachari University of Southern California, USA
Fabian Kuhn University of Freiburg, Germany
Michael Mitzenmacher Harvard University, USA
Massimo Merro University of Verona, Italy
Organization IX
Gopal Pandurangan University of Houston, USA
Pino Persiano University of Salerno, Italy
R. Ravi Carnegie Mellon University, USA
Ymir Vigfusson Emory University, USA
Roger Wattenhofer ETH Zürich, Switzerland
Masafumi Yamashita Kyushu University, Japan
Organizing Committee
Masahito Hasegawa Kyoto University, Japan
Atushi Igarashi Kyoto University, Japan
Kazuo Iwama Kyoto University, Japan
Kazuhisa Makino Kyoto University, Japan
Financial Sponsors
ERATO Kawarabayashi Large Graph Project
MEXT Grant-in-Aid for Scientific Research on Innovative Areas: “Exploring the
Limits of Computation”
Research Institute for Mathematical Sciences, Kyoto University
Tateisi Science and Technology Foundation
Additional Reviewers
Abboud, Amir Arai, Hiromi
Abdulla, Parosh Aronov, Boris
Abed, Fidaa Asada, Kazuyuki
Abraham, Ittai Aspnes, James
Ailon, Nir Aubert, Clément
Ajwani, Deepak Augustine, John
Albers, Susanne Auletta, Vincenzo
Almeida, Jorge Austrin, Per
Alt, Helmut Avin, Chen
Alur, Rajeev Avni, Guy
Alvarez, Victor Baelde, David
Alvarez-Jarreta, Jorge Baillot, Patrick
Ambainis, Andris Bansal, Nikhil
Aminof, Benjamin Banyassady, Bahareh
Anagnostopoulos, Aris Barnat, Jiri
Andoni, Alexandr Barth, Stephan
Angelidakis, Haris Barto, Libor
Anshelevich, Elliot Basavaraju, Manu
Antoniadis, Antonios Bassily, Raef
