Algorithms and Computation: 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings PDF
Preview Algorithms and Computation: 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings
Leizhen Cai Siu-Wing Cheng Tak-Wah Lam (Eds.) S S o C R A 3 Algorithms 8 2 8 S and Computation C N L 24th International Symposium, ISAAC 2013 Hong Kong, China, December 2013 Proceedings 123 Lecture Notes in Computer Science 8283 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 Leizhen Cai Siu-Wing Cheng Tak-Wah Lam (Eds.) Algorithms and Computation 24th International Symposium, ISAAC 2013 Hong Kong, China, December 16-18, 2013 Proceedings 1 3 VolumeEditors LeizhenCai TheChineseUniversityofHongKong DepartmentofComputerScienceandEngineering HongKong,China E-mail:[email protected] Siu-WingCheng HongKongUniversityofScienceandTechnology DepartmentofComputerScienceandEngineering HongKong,China E-mail:[email protected] Tak-WahLam UniversityofHongKong DepartmentofComputerScience HongKong,China E-mail:[email protected] ISSN0302-9743 e-ISSN1611-3349 ISBN978-3-642-45029-7 e-ISBN978-3-642-45030-3 DOI10.1007/978-3-642-45030-3 SpringerHeidelbergNewYorkDordrechtLondon LibraryofCongressControlNumber:2013954070 CRSubjectClassification(1998):F.2,G.2,I.3,E.1,F.1 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 proceedings of ISAAC 2013, the 24th International Symposium on Algorithms and Computation, held in Hong Kong, China, De- cember16–18,2013.ISAACisawell-establishedannualinternationalsymposium covering a wide range of topics in theoretical computer science. ISAAC 2013 received 177 submissions worldwide. Each submission was re- viewed by at least three Program Committee members, possibly with the as- sistance of external reviewers. The Program Committee accepted 67 papers to be presented at the conference, and special issues of Algorithmica and Interna- tional Journal of Computational Geometry and Applications are prepared for someselectedpapersamongthe acceptedones.Thebestpaperawardwasgiven to“RAM-EfficientExternalMemorySorting”byLarsArgeandMikkelThorup. Twoeminentinvitedspeakers,S.MuthukrishnanofRutgersUniversity,USA, and Moni Naor of Weizmann Institute of Science, Israel, gave two interesting invited talks at the conference. “Cryptography and Data Structures: A Match Made in Heaven,” Moni Naor. “Market Approach to Social Ads: The MyLikes Example and Related Problems,” S. Muthukrishnan. The talk by Prof. Muthukrishnan was based on a paper included in these pro- ceedings that has the same title. We are very grateful to all Program Committee members and external re- viewers for their excellent work in the difficult selection process. We thank all authors who submitted their work for our consideration. They all contributed to the high quality of the conference. Finally, we thank Conference Co-chairs Chung-Keung Poon and Hing-Fung Ting and all conference volunteers for their dedication that made the conference possible and enjoyable. December 2013 Leizhen Cai Siu-Wing Cheng Tak-Wah Lam Organization Program Co-chairs Leizhen Cai Chinese University of Hong Kong, Hong Kong, China Siu-Wing Cheng HKUST, Hong Kong, China Tak-Wah Lam University of Hong Kong, Hong Kong, China Program Committee Pankaj Agarwal Duke University, USA Hee-Kap Ahn POSTECH, South Korea Boris Aronov Polytechnic Institute of NYU, USA Therese Biedl University of Waterloo, Canada Hubert Chan University of Hong Kong, Hong Kong, China Jianer Chen Texas A&M University, USA Xi Chen Columbia University, USA Pavol Hell Simon Fraser University, Canada Wing-Kai Hon National Tsinghua University, Taiwan Jesper Jansson Kyoto University, Japan Stefan Kratsch Technische Universita¨t Berlin, Germany Stefan Langerman Universit´e Libre de Bruxelles, Belgium Lap-Chi Lau Chinese University of Hong Kong, Hong Kong, China James Lee University of Washington, USA Jian Li Tsinghua University, China Hsueh-I Lu National Taiwan University, Taiwan Julian Mestre University of Sydney, Australia Pat Morin Carleton University, Canada Benjamin Moseley Toyota Institute of Technology at Chicago, USA Evanthia Papadopoulou Universita` della Svizerra italiana, Switzerland Christophe Paul CNRS, LIRMM, France Rajeev Raman University of Leicester, UK Kunihiko Sadakane National Institute of Informatics, Japan Rob van Stee University of Leicester, UK Wing-Kin Sung National University of Singapore, Singapore Jan Arne Telle University of Bergen, Norway Hing-Fung Ting University of Hong Kong, Hong Kong, China Antoine Vigneron KAUST, Saudi Arabia VIII Organization Lusheng Wang City University of Hong Kong, Hong Kong, China Yajun Wang Microsoft Research Asia, China Prudence Wong University of Liverpool, UK Yitong Yin Nanjing University, China Neal Young University of California, Riverside, USA Shengyu Zhang Chinese University of Hong Kong, Hong Kong, China Conference Co-chairs Chung-Keung Poon Hing-Fung Ting University of Hong Kong, Hong Kong, China Additional Reviewers Abel, Zachary Chrobak, Marek Habib, Michel Aloupis, Greg Cormen, Thomas Harutyunyan, Amenta, Nina Devroye, Luc Hovhannes Asinowski, Andrei Dey, Tamal Haverkort, Herman Aspnes, James Dinitz, Michael Henze, Matthias Austrin, Per Drange, Paal van ’t Hof, Pim Bae, Sang Won Duan, Ran Horiyama, Takashi Ballard, Grey Dujmovic, Vida Huang, Zengfeng Bannai, Hideo Duncan, Christian Hu¨ffner, Falk Barequet, Gill Durocher, Stephane Im, Sungjin Bei, Xiaohui D´osa, Gyo¨rgy Izumi, Taisuke Belazzougui, Djamal Elbassioni, Khaled Jel´ınek, V´ıt Bhattacharya, Sayan Etessami, Kousha Joret, Gwena¨el Boeckenhauer, Feng, Qilong Kao, Mong-Jen Hans-Joachim Fort, Marta Khramtcova, Elena Bogdanov, Andrej Fournier, Herv´e Kida, Takuya Bonamy, Marthe Friedrich, Tobias Kim, Eun Jung Bose, Prosenjit Friggstad, Zachary Kim, Hyo-Sil Bougeret, Marin Gagie, Travis Kim, Sang-Sub Boyar, Joan Gambette, Philippe Kinnersley, Bill Bringmann, Karl Gargano, Luisa Kiraly, Tamas Buekenhout, Francis Garnero, Valentin Kloks, Ton Burcea, Mihai Gawrychowski, Pawel Knauer, Christian de Castro, Pedro Gebremedhin, Assefaw Korman, Matias Machado Manhaes Golovach, Petr Koutis, Ioannis Chalermsook, Parinya Grandoni, Fabrizio Kowalski, Dariusz Cheilaris, Panagiotis Guo, Chengwei Kratsch, Dieter Chen, Fei Guo, Heng Ku, Tsung-Han Cheung, Ho Yee Gupta, Manoj Kwok, Tsz Chiu Organization IX Lee, Cherung Novotny´, Petr Thankachan, Sharma V. Lee, Lap-Kei Oh, Eunjin Thorup, Mikkel Leung, Henry C.M. Okamoto, Yoshio Tirthapura, Srikanta Leveque, Benjamin Ott, Sebastian Tiskin, Alexander Levin, Asaf Pagh, Rasmus Tsang, Hing Yin Li, Minming Pan, Jiangwei Uehara, Ryuhei Li, Shi Park, Dongwoo Uno, Yushi Liang, Hongyu Poon, Sheung-Hung Vatshelle, Martin Liao, Kewen Popa, Alexandru Vigoda, Eric Liedloff, Mathieu Puglisi, Simon Vilcu, Costin Lin, Tien Ching Radoszewski, Jakub Vredeveld, Tjark Liu, Chi-Man Raghavendra, Prasad Wang, Haitao Liu, Hsiang-Hsuan Ramanujan, M.S. Wei, Zhewei Liu, Yang de Rezende, Pedro Weller, Mathias Liu, Zhenming Rutter, Ignaz Wong, Sam Chiu-Wai Lu, Wei R¨oglin, Heiko Wood, David R. Luo, Ruibang Sach, Benjamin Wu, Will Ma, Tengyu Sankararamanan, Wu, Xiaowei Maddaloni, Alessandro Swaminathan Wu, Yaokun Maffray, Fr´ed´eric Satti, Srinivasa Rao Xia, Ge Maheshwari, Anil Saurabh, Saket Xiang, Xiangzhong Manne, Fredrik Scarcello, Francesco Xiao, Mingyu Mans, Bernard Schlipf, Lena Yamanaka, Katsuhisa Markou, Euripides Schweitzer, Pascal Yang, Shenghao Martin, Russell Seyffarth, Karen Yoon, Sang Duk Mathieu, Claire Shalom, Mordechai Yu, Albert Meolhave, Thomas Shin, Chan-Su Yu, Hung-I Mertens, Stephan Silveira, Rodrigo Yu, Sheng Mondal, Debajyoti Son, Wanbin Yuster, Raphael de Montgolfier, Fabien Srivastava, Piyush Zavershyskyi, Maksym Morozov, Dmitriy Streinu, Ileana Zhang, Chihao Mosteiro, Miguel A. Sun, He Zhang, Jialin Mozes, Shay Sun, Xiaoming Zhang, Qin Navarro, Gonzalo Sun, Xiaorui Zhang, Wuzhou Nederlof, Jesper Sviridenko, Maxim Zhang, Yong Nekrich, Yakov Szeider, Stefan Zhao, Zhichao Ni, Guanqun Szwarcfiter, Jayme Zhou, Bin Nichterlein, Andr´e Tang, Bo Zhou, Hai Ning, Li Tanigawa, Shin-Ichi Zhou, Yuan Nonner, Tim Taslakian, Perouz Zhu, Zeyuan Allen Table of Contents Invited Talk Paper Market Approach to Social Ads: The MyLikes Example and Related Problems ....................................................... 1 Darja Krushevskaja and S. Muthukrishnan Session 1A: Computational Geometry I Geodesic-PreservingPolygon Simplification.......................... 11 Oswin Aichholzer, Thomas Hackl, Matias Korman, Alexander Pilz, and Birgit Vogtenhuber Space-Efficient and Data-Sensitive Polygon Reconstruction Algorithms from Visibility Angle Information .................................. 22 Jinhee Chun, Ricardo Garcia de Gonzalo, and Takeshi Tokuyama Onthe EdgeCrossingPropertiesofEuclideanMinimumWeightLaman Graphs ......................................................... 33 Sergey Bereg, Seok-Hee Hong, Naoki Katoh, Sheung-Hung Poon, and Shin-ichi Tanigawa Structure and Computation of Straight Skeletons in 3-Space........... 44 Franz Aurenhammer and Gernot Walzl Session 1B: Pattern Matching Pattern Matching with Non Overlapping Reversals - Approximation and On-line Algorithms........................................... 55 Amihood Amir and Benny Porat Single and Multiple Consecutive Permutation Motif Search............ 66 Djamal Belazzougui, Adeline Pierrot, Mathieu Raffinot, and St´ephane Vialette Beating O(nm) in Approximate LZW-Compressed Pattern Matching ... 78 Pawe(cid:3)l Gawrychowski and Damian Straszak Less Space: Indexing for Queries with Wildcards ..................... 89 Moshe Lewenstein, J. Ian Munro, Venkatesh Raman, and Sharma V. Thankachan XII Table of Contents Session 2A: Computational Complexity I On Determining Deep Holes of Generalized Reed-Solomon Codes....... 100 Qi Cheng, Jiyou Li, and Jincheng Zhuang Isomorphism on Subgraph-Closed Graph Classes: A Complexity Dichotomy and Intermediate Graph Classes ......................... 111 Yota Otachi and Pascal Schweitzer Determinantal Complexities and Field Extensions.................... 119 Youming Qiao, Xiaoming Sun, and Nengkun Yu Session 2B: Internet and Social Network Algorithms I Algorithms to Measure Diversity and Clustering in Social Networks through Dot Product Graphs...................................... 130 Matthew Johnson, Dani¨el Paulusma, and Erik Jan van Leeuwen Sublinear-Time Algorithms for Monomer-Dimer Systems on Bounded Degree Graphs .................................................. 141 Marc Lelarge and Hang Zhou The Complexity of Finding a Large Subgraph under Anonymity Constraints ..................................................... 152 Robert Bredereck, Sepp Hartung, Andr´e Nichterlein, and Gerhard J. Woeginger Session 3A: Graph Theory and Algorithms I On the Number of Edges of Fan-Crossing Free Graphs................ 163 Otfried Cheong, Sariel Har-Peled, Heuna Kim, and Hyo-Sil Kim Cops and Robbers on Intersection Graphs........................... 174 Toma´ˇs Gavenˇciak, V´ıt Jel´ınek, Pavel Klav´ık, and Jan Kratochv´ıl SEFEwithNo MappingviaLargeInducedOuterplaneGraphsinPlane Graphs ......................................................... 185 Patrizio Angelini, William Evans, Fabrizio Frati, and Joachim Gudmundsson Hardness and Algorithms for Variants of Line Graphs of Directed Graphs ......................................................... 196 Mourad Ba¨ıou, Laurent Beaudou, Zhentao Li, and Vincent Limouzy
The list of books you might like
