LEADER 10806nam 22008415 450 001 996465921803316 005 20200701165645.0 010 $a1-280-30660-2 010 $a9786610306602 010 $a3-540-24587-1 024 7 $a10.1007/b94771 035 $a(CKB)1000000000212275 035 $a(DE-He213)978-3-540-24587-2 035 $a(SSID)ssj0000101088 035 $a(PQKBManifestationID)11124614 035 $a(PQKBTitleCode)TC0000101088 035 $a(PQKBWorkID)10037415 035 $a(PQKB)10647357 035 $a(MiAaPQ)EBC3087740 035 $a(PPN)155231642 035 $a(EXLCZ)991000000000212275 100 $a20121227d2003 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAlgorithms and Computation$b[electronic resource] $e14th International Symposium, ISAAC 2003, Kyoto, Japan, December 15-17, 2003, Proceedings /$fedited by Toshihide Ibaraki, Naoki Katoh, Hirotaka Ono 205 $a1st ed. 2003. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003. 215 $a1 online resource (XVII, 748 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2906 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-20695-7 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Talk -- Interactive Proofs for Quantum Computation -- Drawing Plane Graphs -- 1A Computational Geometry I -- Linear Time Algorithm for Approximating a Curve by a Single-Peaked Curve -- A Dynamic Dictionary for Priced Information with Application -- Voronoi Diagram in the Flow Field -- Polygonal Path Approximation: A Query Based Approach -- 1B Graph and Combinatorial Algorithms I -- A Vertex Incremental Approach for Dynamically Maintaining Chordal Graphs -- Finding the Maximum Common Subgraph of a Partial k-Tree and a Graph with a Polynomially Bounded Number of Spanning Trees -- Hotlink Enhancement Algorithms for Web Directories -- Finding a Length-Constrained Maximum-Density Path in a Tree -- 2A Computational Complexity I -- The Intractability of Computing the Hamming Distance -- Infinitely-Often Autoreducible Sets -- Limiting Negations in Bounded-Depth Circuits: An Extension of Markov?s Theorem -- Computational Complexity Measures of Multipartite Quantum Entanglement -- 2B Graph and Combinatorial Algorithms II -- A New Simple Algorithm for the Maximum-Weight Independent Set Problem on Circle Graphs -- Polynomial Time 2-Approximation Algorithms for the Minmax Subtree Cover Problem -- Labeled Search Trees and Amortized Analysis: Improved Upper Bounds for NP-Hard Problems -- A New Translation from Semi-extended Regular Expressions into NFAs and Its Application to an Approximate Matching Problem -- 3A Quantum Computation -- The Quantum Query Complexity of 0-1 Knapsack and Associated Claw Problems -- Non-interactive Quantum Perfect and Statistical Zero-Knowledge -- Quantum Merlin-Arthur Proof Systems: Are Multiple Merlins More Helpful to Arthur? -- A Faster Lattice Reduction Method Using Quantum Search -- 3B Graph and Combinatorial Algorithms III -- Three Sorting Algorithms Using Priority Queues -- Lower Bounds on Correction Networks -- Approximate Regular Expression Searching with Arbitrary Integer Weights -- Constructing Compressed Suffix Arrays with Large Alphabets -- 4A Computational Geometry II -- On the Geometric Dilation of Finite Point Sets -- On Computing All Immobilizing Grasps of a Simple Polygon with Few Contacts -- Optimal Point Set Projections onto Regular Grids -- 4B Combinatorial Optimization I -- An Approximation Algorithm for Dissecting a Rectangle into Rectangles with Specified Areas -- A Faster Algorithm for Two-Variable Integer Programming -- Efficient Algorithms for Generation of Combinatorial Covering Suites -- 5A Scheduling -- A Better Approximation for the Two-Machine Flowshop Scheduling Problem with Time Lags -- On Minimizing Average Weighted Completion Time: A PTAS for the Job Shop Problem with Release Dates -- Online Scheduling of Parallel Jobs with Dependencies on 2-Dimensional Meshes -- 5B Computational Biology -- Efficient Algorithms for Descendent Subtrees Comparison of Phylogenetic Trees with Applications to Co-evolutionary Classifications in Bacterial Genome -- Settling the Intractability of Multiple Alignment -- Efficient Algorithms for Optimizing Whole Genome Alignment with Noise -- 6A Computational Geometry III -- Segmenting Doughnut-Shaped Objects in Medical Images -- On the Locality Properties of Space-Filling Curves -- Geometric Restrictions on Producible Polygonal Protein Chains -- Symmetric Layout of Disconnected Graphs -- 6B Graph and Combinatorial Algorithms IV -- Approximation Hardness of Minimum Edge Dominating Set and Minimum Maximal Matching -- Enumerating Global Roundings of an Outerplanar Graph -- Augmenting Forests to Meet Odd Diameter Requirements -- On the Existence and Determination of Satisfactory Partitions in a Graph -- 7A Distributed and Parallel Algorithms -- A Turn Function Scheme Realized in the Asynchronous Single-Writer/Multi-reader Shared Memory Model -- An Optimal Parallel Algorithm for c-Vertex-Ranking of Trees -- 7B Graph and Combinatorial Algorithms V -- The Student-Project Allocation Problem -- Algorithms for Enumerating Circuits in Matroids -- A Generalized Gale-Shapley Algorithm for a Discrete-Concave Stable-Marriage Model -- 8A Data Structure -- Succinct Data Structures for Searchable Partial Sums -- Range Mode and Range Median Queries on Lists and Trees -- Quasi-Perfect Minimally Adaptive q-ary Search with Unreliable Tests -- New Ways to Construct Binary Search Trees -- 8B Graph and Combinatorial Algorithms VI -- Improved Approximation Algorithms for Optimization Problems in Graphs with Superlogarithmic Treewidth -- Biconnectivity on Symbolically Represented Graphs: A Linear Solution -- A Dynamic Data Structure for Maintaining Disjoint Paths Information in Digraphs -- Deterministic Algorithm for the t-Threshold Set Problem -- 9A Combinatorial and Network Optimization -- Energy-Efficient Wireless Network Design -- Wavelength Conversion in Shortest-Path All-Optical Networks -- A Heuristic for the Stacker Crane Problem on Trees Which Is Almost Surely Exact -- Flexible Train Rostering -- 9B Computational Complexity and Cryptography -- Counting Complexity Classes over the Reals I: The Additive Case -- Some Properties of One-Pebble Turing Machines with Sublogarithmic Space -- Hypergraph Decomposition and Secret Sharing -- A Promising Key Agreement Protocol -- 10A Game Theory and Randomized Algorithm -- Rapid Mixing of Several Markov Chains for a Hard-Core Model -- Polynomial Time Approximate Sampler for Discretized Dirichlet Distribution -- Fair Cost Allocations under Conflicts ? A Game-Theoretic Point of View ? -- Equilibria for Networks with Malicious Users -- 10B Algebraic and Arithmetic Computation -- Quasi-optimal Arithmetic for Quaternion Polynomials -- Upper Bounds on the Complexity of Some Galois Theory Problems -- Unfolded Modular Multiplication -- Gauss Period, Sparse Polynomial, Redundant Basis, and Efficient Exponentiation for a Class of Finite Fields with Small Characteristic. 330 $aThis volume contains the proceedings of the 14th Annual International S- posium on Algorithms and Computation (ISAAC 2003), held in Kyoto, Japan, 15?17 December 2003. In the past, it was held in Tokyo (1990), Taipei (1991), Nagoya (1992), Hong Kong (1993), Beijing (1994), Cairns (1995), Osaka (1996), Singapore (1997), Taejon (1998), Chennai (1999), Taipei (2000), Christchurch (2001), and Vancouver (2002). ISAACisanannualinternationalsymposiumthatcoverstheverywiderange of topics in algorithms and computation. The main purpose of the symposium is to provide a forum for researchers working in algorithms and the theory of computation where they can exchange ideas in this active research community. In response to our call for papers, we received unexpectedly many subm- sions, 207 papers. The task of selecting the papers in this volume was done by our program committee and referees. After a thorough review process, the committee selected 73 papers. The selection was done on the basis of originality and relevance to the ?eld of algorithms and computation. We hope all accepted papers will eventally appear in scienti?c journals in more polished forms. The best paper award was given for ?On the Geometric Dilation of Finite Point Sets? to Annette Ebbers-Baumann, Ansgar Grune ¨ and Rolf Klein. Two eminent invited speakers, Prof. Andrew Chi-Chih Yao of Princeton University and Prof. Takao Nishizeki of Tohoku University, contributed to this proceedings. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2906 606 $aComputer programming 606 $aAlgorithms 606 $aComputer communication systems 606 $aComputers 606 $aComputer science?Mathematics 606 $aComputer graphics 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028 606 $aComputer Graphics$3https://scigraph.springernature.com/ontologies/product-market-codes/I22013 615 0$aComputer programming. 615 0$aAlgorithms. 615 0$aComputer communication systems. 615 0$aComputers. 615 0$aComputer science?Mathematics. 615 0$aComputer graphics. 615 14$aProgramming Techniques. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aComputer Communication Networks. 615 24$aComputation by Abstract Devices. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aComputer Graphics. 676 $a005.1 702 $aIbaraki$b Toshihide$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKatoh$b Naoki$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aOno$b Hirotaka$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465921803316 996 $aAlgorithms and Computation$9771857 997 $aUNISA