LATIN 2010: Theoretical Informatics: 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010. Proceedings PDF
Preview LATIN 2010: Theoretical Informatics: 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010. Proceedings
Lecture Notes in Computer Science 6034 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,CarnegieMellonUniversity,Pittsburgh,PA,USA Alejandro López-Ortiz (Ed.) LATIN 2010: Theoretical Informatics 9th Latin American Symposium Oaxaca, Mexico, April 19-23, 2010 Proceedings 1 3 VolumeEditor AlejandroLópez-Ortiz UniversityofWaterloo FacultyofMathematics SchoolofComputerScience Waterloo,OntarioN2L3G1,Canada E-mail:[email protected] LibraryofCongressControlNumber:2010922369 CRSubjectClassification(1998):F.2,F.1,C.2,H.3,E.1,G.2 LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues ISSN 0302-9743 ISBN-10 3-642-12199-3SpringerBerlinHeidelbergNewYork ISBN-13 978-3-642-12199-9SpringerBerlinHeidelbergNewYork 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 The papers contained in this volume were presented at the 9th Latin American TheoreticalInformaticsSymposiumheldattheBenitoJu´arezUniversityofOax- aca, Oaxaca City, M´exico, April 19-23, 2010. The LATIN series of conferences was launched in 1992 to foster the interaction between the Latin American the- oreticalcomputerscience communityandcomputerscientists aroundthe world. LATIN2010wastheninthofaseries,afterSaoPaulo,Brazil(1992);Valparaiso, Chile (1995); Campinas, Brazil (1998); Punta del Este, Uruguay (2000); Can- cun, Mexico (2002);Buenos Aires,Argentina (2004);Valdivia,Chile (2006)and Bu´zios, Rio de Janeiro, Brazil (2008). From the 155 submissions, the Program Committee selected 56 papers for presentationat the conference.The selectionof paperswasbasedonoriginality, quality, and relevance to theoretical computer science. It is expected that most of these papers will appear in a more complete and polished form in scientific journalsinthefuture.Inadditiontothecontributedpapers,thisvolumecontains the abstractsof four invitedplenary talks givenatthe conference by Cristopher Moore, Piotr Indyk, Sergio Rajsbaum, and Leslie Valiant. A special session on the life andworkofthe late ImreSimonwasheld.Prof.Simonplayedakeyrole inthe developmentoftheoreticalcomputerscience inLatinAmericanaswellas theLATINconference.ThissessionhadcontributionsfromRicardoBaeza-Yates, John Brzozowski,Volker Diekert, and Jacques Sakarovitch. WewouldliketothankallmembersoftheProgramCommitteefortheirthor- ough work. The conference had a larger-than-usualProgramCommittee, which contributed to a more detailed discussion on each of the submitted papers. In addition, we thank all our sponsors, Microsoft Research,Yahoo! Research, Uni- versityofWaterloo,andthe BenitoJua´rezUniversityofOaxaca.Specialthanks to Dante Arias, who served as the liaison for local organizationarrangements. January 2010 Alejandro Lo´pez-Ortiz Organization Program Committee Amihood Amir Bar-Ilan University, Israel Diego Arroyuelo Yahoo Research Latin America, Chile Ricardo Baeza-Yates Yahoo Research, Spain Joan Boyar University of Southern Denmark, Denmark Gerth Brodal Aarhus University, Denmark Edgar Chavez University of Michoaca´n, Mexico Jos´e Correa University of Chile, Chile Irit Dinur Weizmann Institute, Israel Stephane Durocher University of Manitoba, Canada Faith Ellen University of Toronto, Canada Leah Epstein University of Haifa, Israel Cristina Fernandes University of Sao Paolo,Brazil Paolo Ferragina University of Pisa, Italy Martin Fu¨rer Penn State University, USA Kazuo Iwama Kyoto University, Japan Valerie King University of Victoria, Canada Ravi Kumar Yahoo Research, USA Moshe Lewenstein Bar-Ilan University, Israel Alejandro Lo´pez-Ortiz University of Waterloo, Canada (Chair) Jesu´s De Loera UC Davis, USA Kazuhisa Makino Tokyo University, Japan Da´niel Marx Budapest University, Hungary Kurt Mehlhorn Max Planck Institute for Informatics, Germany Julia´n Mestre Max Planck Institute for Informatics, Germany Michael Mitzenmacher Harvard University, USA Ian Munro University of Waterloo, Canada S. Muthukrishnan Google and Rutgers, USA Konstantinos Panagiotou Max Planck Institute for Informatics, Germany Mike Paterson University of Warwick, UK Jorge-Luis Ram´ırez Universit´e Pierre et Marie Curie, Paris 6, France VIII Organization Iva´n Rapaport University of Chile, Chile Gu¨nter Rote Free University of Berlin, Germany Gelasio Salazar San Luis Potos´ıUniversity, Mexico Hadas Shachnai Technion, Israel Igor Shparlinski Macquarie University, Australia Wojciech Szpankowski Purdue University, USA Subash Suri UCSB, USA Alfredo Viola Universidad de la Repu´blica, Uruguay John Watrous University of Waterloo, Canada Renato Werneck Microsoft Research, USA Gerhard Woeginger T.U. Eindhoven, The Netherlands Norbert Zeh Dalhousie University, Canada Steering Committee Mart´ın Farach-Colton Rutgers Univesity, USA Marcos Kiwi University of Chile, Chile Yoshiharu Kohayakawa University of Sao Paulo, Brazil Eduardo Laber PUC-Rio, Brazil Gonzalo Navarro University of Chile, Chile Daniel Panario Carleton University, Canada Local Organization Dante Arias Francisco Claude Reza Dorrigiv (Webmaster) Robert Fraser (Publicity Chair) Jazm´ın Romero Lesvia Ruiz Alejandro Salinger External Reviewers Omran Ahmadi Eric Bach Ahmed Bouajjani Mohammad Ali Abam Boaz Ben-Moshe Janusz Brzozowski Bernardo Abrego Cedric Bentz Saverio Caminiti Anil Ada Piotr Berman Erin Chambers Louigi Addario-Berry Sandeep Bhatt Eric Y. Chen Deepak Ajwani Laurent Bienvenu Yijia Chen Ali Akhavi Markus Blaser Flavio Chierichetti Saeed Alaei Hans L. Bodlaender Christian Choffrut Noga Alon Hans-Joachim Yongwook Choi Yuichi Asahiro Boeckenhauer Marek Chrobak James Aspnes Nicolas Bonichon Jacek Cichon Franz Baader Glencora Borradaile Francisco Claude Organization IX Julien Cl´ement Roberto Grossi Sylvain Lombardy Bruno Codenotti Jiong Guo Shachar Lovett Elad Cohen Gregory Gutin Vadim Lozin Stephen Cohen Thomas Hackl Anna Lubiw Robert Cori Xin Han Hosam Mahmoud Laszlo Csirmaz Meng He Johann Makowsky Peter Danziger Thomas Hildebrandt Arnaldo Mandel Anirban Dasgupta Petr Hlineny Mart´ın Matamala Pooya Davoodi Markus Holzer Domagoj Matijevic Erik Demaine Han Hoogeveen Nicole Megow Jonathan Derryberry Carlos Hoppen Jie Meng Miriam Di Ianni Xiang-dong Hou Criel Merino Konstantinos Drakakis Jing Huang Antoine Meyer Adrian Dumitrescu Anna Huber Dimitris Michail Wayne Eberly Cor Hurkens Avery Miller Khaled Elbassioni HK Hwang Di Ianni Miriam Matthias Englert Toshimasa Ishii Pablo Moisset de David Eppstein Allan G. Jørgensen Espanes Ruy Fabila Maleq Kahn Eduardo Moreno Arash Farzan Naonori Kakimura Elena Mumford Lene Favrholdt Naoyuki Kamiyama Torsten Mu¨tze John Fearnley Juhani Karhumaki Viswanath Nagarajan Uriel Feige Jun Kawahara Lata Narayanan Sandor Fekete Idit Keidar Jesper Nederlof Silvia Ferna´ndez- Hans Kellerer Alantha Newman Merchant Daniel Kirsten Igor Nitto Antonio Ferna´ndez Ralf Klasing Hirotaka Ono Jiri Fiala Stephen Kobourov Alessio Orlandi Nicolas Figueroa Matthias Koeppe Andrzej Pelc Rudolf Fleischer Christian Komusiewicz Doron Peled Paola Flocchini Alexander Kononov Alair Pereira-do-Lago GuilhermeD.daFonseca Tsvi Kopelowitz Nadia Pisanti Robert Fraser Daniel Kral Valentin Polishchuk Christiane Frougny Stefan Kratsch Ely Porat Takuro Fukunaga Bala Krishnamoorthy Pawe(cid:3)l Pral(cid:3)at William I Gasarch Danny Krizanc Giuseppe Prencipe Serge Gaspers Oded Lachish Maurice Queyranne Loukas Georgiadis Alan Lauder Charles Rackoff Ellen Gethner Gr´egoire Lecerf Luis Rademacher Mark Giesbrecht Asaf Levin Vijaya Ramachandran Joachim Giesen Erik Jan van Leeuwen Pedro Ramos Michael Goodrich Ming Li Dror Rawitz Zvi Gotthilf Mathieu Liedloff Saurabh Ray Frederic Green Yury Lifshits Jan Reimann Alexander Grigoriev Daniel Lokshtanov Eric Remila X Organization Daniel Roche Francisco Soulignac Alexander Tiskin Dominique Rossin Bettina Speckmann Ioan Todinca Atri Rudra Heike Sperber Andrew Tomkins Vojtˇech R¨adl R. Sritharan Edgardo Ugalde Alejandro Salinger Rob van Stee Johannes Uhlmann Kai Salomaa Damien Stehl´e Jorge Urrutia Davide Sangiorgi Fabian Stehn Rossano Venturini Tamas Sarlos Ron Steinfeld Paul Vitanyi Mathias Schacht Nicolas Stier-Moses Jan Vondrak Guido Schaefer Arne Storjohann Panagiotis Voulgaris Marcus Schaefer Karol Suchan Tjark Vredeveld Jens M. Schmidt Maxim Sviridenko Magnus Wahlstro¨m Eric Schost Zoya Svitkina Yoshiko Wakabayashi Roy Schwartz Wojciech Szpankowski Mark Ward Siddhartha Sen Kenjiro Takazawa Mark Daniel Ward Jeffrey Shallit Suguru Tamaki Philipp Woelfel Nino Shervashidze Tami Tamir Masaki Yamamoto D Sivakumar Xuehou Tan Amir Yehudayoff Martin Skutella Tamir Tassa Sheng Yu Roberto Sol´ıs-Oba Orestis Telelis Troels Sorensen Alex Thomo Table of Contents Continuous and Discrete Methods in Computer Science (Invited Talk) ................................................... 1 Cristopher Moore Colorful Strips................................................... 2 Greg Aloupis, Jean Cardinal, S´ebastien Collette, Shinji Imahori, Matias Korman, Stefan Langerman, Oded Schwartz, Shakhar Smorodinsky, and Perouz Taslakian The Mono- and Bichromatic Empty Rectangle and Square Problems in All Dimensions (Extended Abstract) ............................... 14 Jonathan Backer and J. Mark Keil Connectivity Is Not a Limit for Kernelization: Planar Connected Dominating Set.................................................. 26 Qianping Gu and Navid Imani Randomized Truthful Algorithms for Scheduling Selfish Tasks on ParallelMachines ................................................ 38 Eric Angel, Evripidis Bampis, and Nicolas Thibault Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree-Width .................................... 49 Martin Fu¨rer Average Parameterization and Partial Kernelization for Computing Medians ........................................................ 60 Nadja Betzler, Jiong Guo, Christian Komusiewicz, and Rolf Niedermeier Sharp Separation and Applications to Exact and Parameterized Algorithms...................................................... 72 Fedor V. Fomin, Daniel Lokshtanov, Fabrizio Grandoni, and Saket Saurabh Finding the Minimum-Distance Schedule for a Boundary Searcher with a Flashlight ..................................................... 84 Tsunehiko Kameda, Ichiro Suzuki, and John Z. Zhang The Language Theory of Bounded Context-Switching................. 96 Salvatore La Torre, Parthasarathy Madhusudan, and Gennaro Parlato
Description:The list of books you might like
