Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings PDF
Preview Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
Krishnendu Chatterjee Jirí Sgall (Eds.) S S o C R A Mathematical 7 8 Foundations of 0 8 S C Computer Science 2013 N L 38th International Symposium, MFCS 2013 Klosterneuburg, Austria, August 2013 Proceedings 123 Lecture Notes in Computer Science 8087 CommencedPublicationin1973 FoundingandFormerSeriesEditors: GerhardGoos,JurisHartmanis,andJanvanLeeuwen EditorialBoard DavidHutchison,UK TakeoKanade,USA JosefKittler,UK JonM.Kleinberg,USA AlfredKobsa,USA FriedemannMattern,Switzerland JohnC.Mitchell,USA MoniNaor,Israel OscarNierstrasz,Switzerland C.PanduRangan,India BernhardSteffen,Germany MadhuSudan,USA DemetriTerzopoulos,USA DougTygar,USA GerhardWeikum,Germany Advanced Research in Computing and Software Science SublineofLecturesNotesinComputerScience SublineSeriesEditors GiorgioAusiello,UniversityofRome‘LaSapienza’,Italy VladimiroSassone,UniversityofSouthampton,UK SublineAdvisoryBoard SusanneAlbers,UniversityofFreiburg,Germany BenjaminC.Pierce,UniversityofPennsylvania,USA BernhardSteffen,UniversityofDortmund,Germany MadhuSudan,MicrosoftResearch,Cambridge,MA,USA DengXiaotie,CityUniversityofHongKong JeannetteM.Wing,MicrosoftResearch,Redmond,WA,USA Krishnendu Chatterjee Jirí Sgall (Eds.) Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013 Klosterneuburg, Austria, August 26-30, 2013 Proceedings 1 3 VolumeEditors KrishnenduChatterjee InstituteofScienceandTechnology 3400Klosterneuburg,Austria E-mail:[email protected] JiríSgall CharlesUniversity 11800Prague,CzechRepublic E-mail:[email protected] ISSN0302-9743 e-ISSN1611-3349 ISBN978-3-642-40312-5 e-ISBN978-3-642-40313-2 DOI10.1007/978-3-642-40313-2 SpringerHeidelbergNewYorkDordrechtLondon LibraryofCongressControlNumber:2013945881 CRSubjectClassification(1998): F.2,G.2,G.1,F.1,F.4.1,E.1,D.2.4,F.4.3,I.2.3-4,G.3 LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues ©Springer-VerlagBerlinHeidelberg2013 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartof thematerialisconcerned,specificallytherightsoftranslation,reprinting,reuseofillustrations,recitation, broadcasting,reproductiononmicrofilmsorinanyotherphysicalway,andtransmissionorinformation storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodology nowknownorhereafterdeveloped.Exemptedfromthislegalreservationarebriefexcerptsinconnection withreviewsorscholarlyanalysisormaterialsuppliedspecificallyforthepurposeofbeingenteredand executedonacomputersystem,forexclusiveusebythepurchaserofthework.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheCopyrightLawofthePublisher’slocation, inistcurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Permissionsforuse maybeobtainedthroughRightsLinkattheCopyrightClearanceCenter.Violationsareliabletoprosecution undertherespectiveCopyrightLaw. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Whiletheadviceandinformationinthisbookarebelievedtobetrueandaccurateatthedateofpublication, neithertheauthorsnortheeditorsnorthepublishercanacceptanylegalresponsibilityforanyerrorsor omissionsthatmaybemade.Thepublishermakesnowarranty,expressorimplied,withrespecttothe materialcontainedherein. Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India Printedonacid-freepaper SpringerispartofSpringerScience+BusinessMedia(www.springer.com) Preface This volume contains the papers that were presented at MFCS 2013: The 38th International Symposium on Mathematical Foundations of Computer Science held during August 26–30, 2013, at IST Austria, in Klosterneuburg, Austria. It containssixinvitedand67contributedpaperspresentedatthesymposium.The contributedpaperswereselectedbytheProgramCommittee(PC)outofatotal of 191 submissions. All submitted papers were peer reviewed and evaluated on the basis of originality, quality, significance, and presentation. Each paper was reviewed by at least three PC members with the help of external experts. The PC also selected to give the Best Paper Awards, sponsored by European Asso- ciationof TheoreticalComputer Science (EATCS), jointly to“Improvedbounds for reduction to depth 4 and depth 3”by S´ebastien Tavenas; and“Minimal in- dicesforsuccessorsearch”bySarelCohen,AmosFiat,MoshikHershcovitch,and Haim Kaplan.In addition, the paper by S´ebastienTavenaswas alsoselectedfor the Best Student Paper Award. The programincluded six invited talks by: – Sam Buss, University of California, San Diego, USA – Leah Epstein, University of Haifa, Israel – Jean Goubault-Larrecq,LSV, ENS Cachan, CNRS, INRIA, France – Martin Grohe, RWTH Aachen University, Germany – Elias Koutsoupias, University of Oxford, UK – Nir Piterman, University of Leicester, UK Wethankallinvitedspeakersforacceptingourinvitationandfortheirexcellent presentation at the symposium. We thank all authors who submitted their work to MFCS 2013 for consid- eration. We wish to thank all PC members and external reviewers for their competent and timely handling of the submissions. The success of the scientific programis due to their hard work. During the selection process and for prepar- ing this volume, we used the EasyChair conference management system, which provided excellent support. TheseriesofMFCSsymposiahasawell-establishedtraditionsince1972,and hasbeenorganizedonarotatingbasisinPoland,CzechRepublic, andSlovakia. The 2013 meeting added a new country to this history, and we are happy that it could be Austria with its lasting and fruitful relationship to the original host countries. We gratefully acknowledge the support of IST Austria and EATCS. Spe- cial thanks for local organization are due to: Martin Chmel´ık, Sebastian Nozzi, Andreas Pavlogiannis, Johannes Reiter, and Marie Trappl. June 2013 Krishnendu Chatterjee Jiˇr´ı Sgall Conference Organization Program Committee Chairs Krishnendu Chatterjee Jiˇr´ı Sgall Program Committee ParoshAbdulla Erik Jan Van Leeuwen Eli Ben-Sasson Stefano Leonardi Nathalie Bertrand Christof L¨oding Markus Bl¨aser Zvi Lotker Toma´ˇs Bra´zdil Jerzy Marcinkowski Ioannis Caragiannis D´aniel Marx Thomas Colcombet Peter Bro Miltersen Anuj Dawar Madhavan Mukund Giorgio Delzanno Rasmus Pagh Martin Dietzfelbinger Madhusudan Parthasarathy Krzysztof Diks Daniel Paulusma Zoltan Esik Holger Petersen S´andor Fekete Alex Rabinovich Eldar Fischer Rahul Santhanam Dmitry Gavinsky Martin Strauss Andrew Goldberg Ola Svensson Kristoffer Arnsfelt Hansen Maxim Sviridenko Tao Jiang Pavel Valtr Barbara K¨onig Peter Widmayer Pascal Koiran Gerhard Woeginger Rastislav Kr´aloviˇc James Worrell Steering Committee Juraj Hromkoviˇc Damian Niwinski Anton´ın Kuˇcera Branislav Rovan Jerzy Marcinkowski Jiˇr´ı Sgall Local Organization KrishnenduChatterjee,MartinChmel´ık,SebastianNozzi,AndreasPavlogiannis, Johannes Reiter, Marie Trappl (IST Austria, Klosterneuburg, Austria) VIII Conference Organization External Reviewers Adamczyk, Marek de Nivelle’S, Hans Heindel, Tobias An, Hyung-Chan de Souza, Rodrigo Hidalgo-Herrero, Anagnostopoulos, Aris de Weerdt, Mathijs Mercedes Aronov, Boris Demri, St´ephane Ho, Hsi-Ming Arun-Kumar, S Dennunzio, Alberto Hol´ık, Luka´ˇs Atig, Mohamed Faouzi Dinitz, Yefim Holzer, Markus Atserias, Albert Duan, Ran Horn, Florian Aubrun, Nathalie Edmonds, Jeff Huang, Chien-Chung Bader, David A. Eli´aˇs, Marek Hunter, Paul Bansal, Nikhil Elkind, Edith Hu¨ffner, Falk Barvinok, Alexander Even, Guy Ibsen-Jensen, Rasmus Bekos, Michael Fanelli, Angelo Immerman, Neil Bj¨orklund, Andreas Fearnley, John Ingolfsdottir, Anna Bj¨orklund, Henrik Fenner, Stephen Ito, Tsuyoshi Blume, Christoph Fernau, Henning Ivan, Szabolcs B¨ohmova, Katerina Figueira, Diego Jez˙, Lukasz Bonnet, Remi Fijalkow, Nathana¨el Jez˙, Artur Borokhovich,Michael Forejt, Vojtech Jones, Andrew Bozga, Marius Friedman, Arik Jones, Neil Bredereck, Robert Friedrich, Tobias Jurdzin´ski, Tomasz van Breugel, Franck Friggstad, Zachary Kabanets, Valentine Brihaye, Thomas Fulek, Radoslav Kaiser, Lukasz Bruggink, Harrie Jan Ganty, Pierre Kalampakas, Antonis Sander Garg, Pranav Kambites, Mark Bundala, Daniel Genest, Blaise Kanellopoulos, Cabello, Sergio Gilboa, Niv Panagiotis Carayol, Arnaud Gogacz, Tomasz Kanza, Yaron Cardinal, Jean Goldhirsh, Yonatan Kaplan, Haim Chan, Timothy Gottlob, Georg Kaporis, Alexis Chattopadhyay, Arkadev Grabowski, Szymon Kartzow, Alexander Chaturvedi, Namit Grandoni, Fabrizio Katz, Matthew Chen, Hubie Gravin, Nikolai Kerenidis, Iordanis Cibulka, Josef Grenet, Bruno Kerstan, Henning Cohen, Edith Guillemot, Sylvain Ketema, Jeroen Colini Baldeschi, Gurevich, Yuri Kiefer, Stefan Riccardo G¨oller, Stefan Kim, Eun Jung Cording, Patrick Hagge Haddad, Axel Kitaev, Sergey Curticapean, Radu Hague, Matthew Klauck, Hartmut Cygan, Marek Hajgato, Tamas Klazar, Martin Czeizler, Eugen Halava, Vesa Kleszowski, Wojciech D’Souza, Deepak Halevi, Shai Klimann, Ines Dassow, Ju¨rgen Harju, Tero Klin, Bartek Daviaud, Laure Harrenstein, Paul Koivisto, Mikko Conference Organization IX Kolliopoulos, Stavros Mitchell, Joe Rytter, Wojciech Kontchakov,Roman Moore, Christopher R¨oglin, Heiko Kopczynski, Eryk Morgenstern, Gila Safernova´, Zuzana Kotrbcik, Michal Morvan, Christophe Samorodnitsky, Alex Koucky´, Michal Mosses, Peter Sanchez Villaamil, Kowalik, Lukasz Mucha, Marcin Fernando Kraj´ıˇcek, Jan Muscholl, Anca Sanders, Peter Kratsch, Dieter Naehrig, Michael Sangnier, Arnaud Krˇc´al, Jan Nagaj, Daniel Sankur, Ocan Kˇret´ınsky´, Jan Nagarajan, Viswanath Sau, Ignasi Krumke, Sven Nomikos, Christos Saumell, Maria Kuˇcera, Anton´ın Nordstrom, Jakob Saurabh, Saket Kuperberg, Denis Novotny´, Petr Savickyy´, Petr Kyropoulou, Maria N¨ollenburg, Martin Sawa, Zdenˇek La Torre, Salvatore Obdrˇz´alek, Jan Schlotter, Ildiko´ Lachish, Oded Ogihara, Mitsunori Schmid, Markus L. Lasota, Slawomir Ong, Luke Schmitz, Sylvain Lauze, Francois Ouaknine, Joel Sch¨onhage, Arnold Leupold, Peter Oualhadj, Youssouf Seki, Shinnosuke Ligett, Katrina Padrubska´, Dana Serre, Olivier Limaye, Nutan Parys, Pawel(cid:3) Shah, Nisarg Lodya, Kamal Pasechnik, Dmitrii Sitters, Ren´e Lohrey, Markus Penna, Paolo Skopalik, Alexander Lombardy, Sylvain Persiano, Giuseppe Soulignac, Francisco Lovett, Shachar Pighizzini, Giovanni Srinivasan, Srikanth Lozin, Vadim Pilipczuk, Marcin van Stee, Rob Lu, Songjian Pilipczuk, Michal Sˇtefankoviˇc, L(cid:3) acki, Jakub Pin, Jean-Eric Daniel (cid:2) Magnin, Lo¨ıck Pinchasi, Rom Straubing, Howard Makowsky, Johann Pola´k, Libor Strozecki, Yann Maletti, Andreas Popa, Alex Stu¨ckrath, Jan Malinowski, Adam Pratt-Hartmann, Ian Sundarararaman, Manea, Florin Praveen, M. Akshay Manuel, Amaldev Radoszewski, Jakub Suresh, S.P. Marcovici, Ir`ene Rahmann, Sven Sznajder, Nathalie Markakis, Evangelos Ramanujam, R. Talebanfard, Navid Markey, Nicolas Randour, Mickael Tan, Tony Mayr, Richard Rao, Michael Tancer, Martin McCann, Mark Reidl, Felix Thielecke, Hayo McKenzie, Pierre Reyzin, Lev Tiedemann, Peter Meir, Or Richerby, David Toft, Tomas Mercas, Robert Riordato, Matteo T´oth, Csaba D. Mestre, Julian Rossmanith, Peter Tzameret, Iddo Michaliszyn, Jakub Russo, Alejandro Tzevelekos, Nikos Mihalak, Matus Rutter, Ignaz Uehara, Ryuhei X Conference Organization Upadhyay, Sarvagya Vrt’o, Imrich Yaroslavtsev, Grigory Vagvolgyi, Sandor Walen´, Tomasz Yildiz, Hakan Verschae, Jose Ward, Justin Zeitoun, Marc Villanger, Yngve Wassermann, Alfred Zhou, Chunlai von Falkenhausen, Weil, Pascal Zˇivny´, Stanislav Philipp Wieczorek, Piotr Zych, Anna Table of Contents Alternation Trading Proofs and Their Limitations.................... 1 Sam Buss Bin Packing Games with Selfish Items .............................. 8 Leah Epstein A Constructive Proof of the Topological Kruskal Theorem............. 22 Jean Goubault-Larrecq Logical and Structural Approaches to the Graph Isomorphism Problem ........................................................ 42 Martin Grohe Prior-FreeAuctions of Digital Goods ............................... 43 Elias Koutsoupias Synthesis from Temporal Specifications: New Applications in Robotics and Model-Driven Development ........................... 45 Nir Piterman Clustering on k-Edge-ColoredGraphs .............................. 50 Eric Angel, Evripidis Bampis, Alexander Kononov, Dimitris Paparas, Emmanouil Pountourakis, and Vassilis Zissimopoulos How to Pack Your Items When You Have to Buy Your Knapsack ...... 62 Antonios Antoniadis, Chien-Chung Huang, Sebastian Ott, and Jos´e Verschae Computing Behavioral Distances, Compositionally ................... 74 Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, and Radu Mardare Which Finitely Ambiguous Automata Recognize Finitely Sequential Functions? (Extended Abstract) ................................... 86 Sebastian Bala Rewriting Guarded Negation Queries ............................... 98 Vince B´ara´ny, Michael Benedikt, and Balder ten Cate Parity Games and Propositional Proofs ............................. 111 Arnold Beckmann, Pavel Pudl´ak, and Neil Thapen
The list of books you might like
