Table Of ContentLecture Notes in Computer Science 5878
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
YingfeiDong Ding-ZhuDu OscarIbarra(Eds.)
Algorithms
and Computation
20th International Symposium, ISAAC 2009
Honolulu, Hawaii, USA, December 16-18, 2009
Proceedings
1 3
VolumeEditors
YingfeiDong
UniversityofHawaii
DeptartmentofElectricalandComputerEngineering
HolmesHall483
2540DoleStreet
Honolulu,HI96822,USA
E-mail:[email protected]
Ding-ZhuDu
UniversityofTexasatDallas
DepartmentofComputerScience
Richardson,TX75080,USA
E-mail:[email protected]
OscarIbarra
UniversityofCalifornia
DepartmentofComputerScience
SantaBarbara,CA93106,USA
E-mail:[email protected]
LibraryofCongressControlNumber:2009939433
CRSubjectClassification(1998):F.2,G.1,G.2,G.3,G.4,I.2.2,I.3,D.2
LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues
ISSN 0302-9743
ISBN-10 3-642-10630-7SpringerBerlinHeidelbergNewYork
ISBN-13 978-3-642-10630-9SpringerBerlinHeidelbergNewYork
Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis
concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,
reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,
initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable
toprosecutionundertheGermanCopyrightLaw.
springer.com
©Springer-VerlagBerlinHeidelberg2009
PrintedinGermany
Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India
Printedonacid-freepaper SPIN:12805785 06/3180 543210
Preface
Thepapersinthisvolumewerepresentedatthe20thAnnualInternationalSym-
posiumonAlgorithmsandComputation,heldDecember16–18,2009,inHawaii,
USA.InresponsetotheCall-for-Papers,279papersweresubmitted.Eachpaper
receivedatleastthreereviewsbyeitherProgramCommitteemembersorexperts
selectedbyProgramCommitteemembers.Inall,120paperswereselectedbased
onthe reviewreportsandareincludedinthisvolume.Wewishtothankallwho
submitted papers for consideration and all Program Committee members and
reviewersfor their excellent and hard work.To our invited speakers,we wish to
thank you for sharing your expertise. Finally, we wish to thank our colleagues
who contributed to the success of the symposium and the sponsors for their
assistance and support.
December 2009 Yingfei Dong
Ding-Zhu Du
Oscar Ibarra
Organization
Program Committee Co-chairs
Yingfei Dong University of Hawaii, USA
Ding-Zhu Du University of Texas at Dallas, USA
Oscar Ibarra University of California, Santa Barbara, USA
Advisory Committee Chair
Takeshi Tokuyama Tohoku University, Japan
Advisory Committee
Tetsuo Asano Japan Advanced Institute of Science and
Technology, Japan
Kyung-Yong Chwa Korea Advanced Institute of Science and
Technology, Republic of Korea
Francis Y.L. Chin The University of Hong Kong, Hong Kong
Ding-Zhu Du The University of Texas at Dallas, USA
Peter Eades The University of Sydney, Australia
Wen Lian Hsu Academia Sinica, Taiwan
Der Tsai Lee Academia Sinica, Taiwan
Takao Nishizeki Tohoku University, Japan
Local Arrangements Chair
Yingfei Dong University of Hawaii, USA
Publicity, Webmaster, and Online Conference System
(OCS) Co-chairs
Xiaofeng Gao University of Texas at Dallas, USA
Donghyun Kim University of Texas at Dallas, USA
Financial Co-chairs
Jiaofei Zhong University of Texas at Dallas, USA
Feng Zou University of Texas at Dallas, USA
VIII Organization
Program Committee
Alberto Apostolico Georgia Insititute of Technology, USA
Giorgio Ausiello Universit`a di Roma, Italy
Wolfgang Bein University of Nevada, USA
Jin-Yi Cai University of Wisconsin, USA
Zhipeng Cai Mississippi State University, USA
Zhenfu Cao Shanghai Jiaotong University, China
Wei Chen Microsoft Research Asia, China
Maggie Cheng Missouri University of Science and
Technology, USA
Siu-Wing Cheng Hong Kong University of Science and
Technology, Hong Kong
Yongxi Cheng University of Alberta, Canada
Marek Chrobak University of California, Riverside, USA
Kyung-Yong Chwa Korea Advanced Institute of Science and
Technology, Republic of Korea
Bhaskar Dasgupta University of Illinois at Chicago, USA
Narsingh Deo University of Central Florida, USA
Omer Egecioglu University of California, Santa Barbara, USA
Juraj Hromkovic ETH Zentrum, Switzerland
Wenlian Hsu Academia Sinica, Taiwan
Xiaodong Hu Chinese Academy of Sciences, China
Kazuo Iwama Kyoto University, Japan
Ravi Janardan University of Minnesota, USA
Tao Jiang University of California, Riverside, USA
Liying Kang Shanghai University, China
Samir Khuller University of Maryland, USA
Angsheng Li Chinese Academy of Sciences, China
Shlomo Moran Technion, USA
Koji Nakano Hiroshima University, Japan
Hung Ngo University of Buffalo, US
Mitsunori Ogihara University of Miami, USA
E.K. Park National Science Foundation, USA
Suneeta Ramaswami Rutgers University, USA
Sanjay Ranka University of Florida, USA
Sanguthevar RajasekaranUniversity of Connecticut, USA
Balasubramanian
Ravikumar Sonoma State University, USA
Paul Spirakis University of Patras,Greece
Organization IX
Kazuo Sugihara University of Hawaii, USA
Xiaoming Sun Tsinghua University, China
Subhash Suri University of California, Santa Barbara, USA
My T. Thai University of Florida, USA
Takeaki Uno NII, Japan
Jie Wang University of Massachusetts Lowell, USA
Lusheng Wang City University of Hong Kong, Hong Kong
Wei Wang Xi’an Jiaotong University, China
Weili Wu University of Texas at Dallas, USA
Yibo Xue Tsinghua University, China
Hsu-Chun Yen National Taiwan University, Taiwan
Wenan Zang Hong Kong University, Hong Kong
Zhao Zhang Xingjiang University, China
Hong Zhu Huadong Normal University, China
Referees
Abdullah Arslan Xin Han Yoshio Okamoto
Sang Won Bae Rafi Hassin Joseph O’Rourke
Gill Barequet Tomio Hirata Sheung-Hung Poon
Doina Bein Junwei Huang Iris Reinbacher
Said Bettayeb Keiko Imai Kunihiko Sadakane
Hans-J. Boeckenhauer Volkan Isler Yan Shi
Vincenzo Bonifaci Naoyuki Kamiyama Yi Shi
Peter Brucker Donghyun Kim Charles Shields Jr.
Tian-Ming Bu Sangjin Kim Marcelo Siqueira
Saverio Caminiti Carl Kingsford Sagi Snir
B. Charron-Bost Dennis Komm Bettina Speckmann
Zhi-Zhong Chen Richard Kralovic Andreas Sprock
Ho-Lin Chen Zbynˇek Kˇrivka William Steiger
Yinjie Chen Yokesh Kumar Monika Steinova
BhadrachalamChitturi Luigi Laura Hal Sudborough
Ovidiu Daescu Ronny Lempel Hisao Tamaki
Mirela Damian Jian Li Suguru Tamaki
Thomas Erlebach Chun-Cheng Lin Ramki Thurimella
Zheng Fang Hsueh-I Lu Takeshi Tokuyama
Paolo Ferragina Pinyan Lu Shi-Chun Tsai
Robin Flatland Joe Mitchell Ryuhei Uehara
Herv´e Fournier Shuichi Miyazaki Antoine Vigneron
Paolo Giulio Franciosa Tobias Moemke Xiang Wan
Rajiv Gandhi Linda Morales Yajun Wang
Xiaofeng Gao Pat Morin Zhong Wang
Bill Gauvin Hiroki Morizumi James Willson
Mordecai Golin Hiroshi Nagamochi Yulai Xie
Prosenjit Gupta Harumichi Nishimura Jinhui Xu
X Organization
Bo Yan Tian-Li Yu Jiaofei Zhong
Jie Yang Shmuel Zaks Binhai Zhu
Sivan Yogev Guochuan Zhang Feng Zou
Neal Young Wei Zhang
Sponsoring Institutions
The University of Hawaii, USA
The University of Texas at Dallas, USA
Table of Contents
Bubblesort and Juggling Sequences................................. 1
Ronald L. Graham
A Proof of the Molecular Conjecture ............................... 2
Naoki Katoh
Exact Algorithms for Dominating Clique Problems
(Extended Abstract) ............................................. 4
N. Bourgeois, F. Della Croce, B. Escoffier, and V.Th. Paschos
Enumerating Stereoisomers of Tree Structured Molecules Using
Dynamic Programming ........................................... 14
Tomoki Imada, Shunsuke Ota, Hiroshi Nagamochi, and
Tatsuya Akutsu
Exact Algorithms for the Bottleneck Steiner Tree Problem
(Extended Abstract) ............................................. 24
Sang Won Bae, Sunghee Choi, Chunseok Lee, and
Shin-ichi Tanigawa
Exact Algorithms for Set Multicover and Multiset Multicover
Problems ....................................................... 34
Qiang-Sheng Hua, Dongxiao Yu, Francis C.M. Lau, and
Yuexuan Wang
Practical Discrete Unit Disk Cover Using an Exact Line-Separable
Algorithm....................................................... 45
Francisco Claude, Reza Dorrigiv, Stephane Durocher, Robert Fraser,
Alejandro L´opez-Ortiz, and Alejandro Salinger
Divide-and-Conquer Algorithms for Partitioning Hypergraphs and
Submodular Systems ............................................. 55
Kazumasa Okumoto, Takuro Fukunaga, and Hiroshi Nagamochi
On Protein Structure Alignment under Distance Constraint ........... 65
Shuai Cheng Li and Yen Kaow Ng
A Structural Lemma in 2-DimensionalPacking,and Its Implications on
Approximability ................................................. 77
Nikhil Bansal, Alberto Caprara, Klaus Jansen, Lars Pr¨adel, and
Maxim Sviridenko
Max-Coloring Paths: Tight Bounds and Extensions................... 87
Telikepalli Kavitha and Julia´n Mestre
XII Table of Contents
Fr´echet Distance Problems in Weighted Regions ..................... 97
Yam Ki Cheung and Ovidiu Daescu
The Complexity of Solving Stochastic Games on Graphs .............. 112
Daniel Andersson and Peter Bro Miltersen
Computational Complexity of Cast Puzzles.......................... 122
Chuzo Iwamoto, Kento Sasaki, Kenji Nishio, and Kenichi Morita
New Bounds on the Average Distance from the Fermat-Weber Center
of a Planar Convex Body ......................................... 132
Adrian Dumitrescu and Csaba D. T´oth
Reconstructing Numbers from Pairwise Function Values .............. 142
Shiteng Chen, Zhiyi Huang, and Sampath Kannan
Hilbert’s Thirteenth Problem and Circuit Complexity ................ 153
Kristoffer Arnsfelt Hansen, Oded Lachish, and Peter Bro Miltersen
Interval Stabbing Problems in Small Integer Ranges.................. 163
Jens M. Schmidt
Online Sorted Range Reporting.................................... 173
Gerth Stølting Brodal, Rolf Fagerberg, Mark Greve, and
Alejandro L´opez-Ortiz
Data Structures for Approximate Orthogonal Range Counting ......... 183
Yakov Nekrich
Dynamic 3-Sided Planar Range Queries with Expected Doubly
Logarithmic Time................................................ 193
Gerth Stølting Brodal, Alexis C. Kaporis, Spyros Sioutas,
Konstantinos Tsakalidis, and Kostas Tsichlas
Untangled Monotonic Chains and Adaptive Range Search............. 203
Diego Arroyuelo, Francisco Claude, Reza Dorrigiv,
Stephane Durocher, Meng He, Alejandro Lo´pez-Ortiz, J. Ian Munro,
Patrick K. Nicholson, Alejandro Salinger, and Matthew Skala
Geodesic Spanners on Polyhedral Surfaces........................... 213
Sanjiv Kapoor and Xiang-Yang Li
Approximating Points by a Piecewise Linear Function: I.............. 224
Danny Z. Chen and Haitao Wang
Approximating Points by a Piecewise Linear Function: II. Dealing with
Outliers ........................................................ 234
Danny Z. Chen and Haitao Wang
