LEADER 08286nam 22007215 450 001 996466100903316 005 20200703041852.0 010 $a3-540-48653-4 024 7 $a10.1007/3-540-58325-4 035 $a(CKB)1000000000234152 035 $a(SSID)ssj0000321209 035 $a(PQKBManifestationID)11241009 035 $a(PQKBTitleCode)TC0000321209 035 $a(PQKBWorkID)10263080 035 $a(PQKB)11655763 035 $a(DE-He213)978-3-540-48653-4 035 $a(PPN)15520162X 035 $a(EXLCZ)991000000000234152 100 $a20121227d1994 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAlgorithms and Computation$b[electronic resource] $e5th International Symposium, ISAAC '94, Beijing, P.R. China, August 25 - 27, 1994. Proceedings /$fedited by Ding-Zhu Du, Xiang-Sun Zhang 205 $a1st ed. 1994. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1994. 215 $a1 online resource (XV, 693 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v834 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-58325-4 327 $aPolynomial equations-solving and its applications -- Quasi-random combinatorial structures -- Hamiltonian abstract Voronoi diagrams in linear time -- Every set of disjoint line segments admits a binary tree -- The traveling cameraman problem, with applications to automatic optical inspection -- On determining the congruity of point sets in higher dimensions -- On random hard sets for NP -- Computing solutions uniquely collapses the polynomial hierarchy -- Verifying the determinant in parallel -- Hardness of approximating graph transformation problem -- Randomized wait-free naming -- Unifying themes for network selection -- Robust asynchronous algorithms in networks with a fault detection ring -- Distributed algorithms for finding small cycle covers in arbitrary networks -- A neural network model for quadratic programming with simple upper and lower bounds and its application to linear programming -- Analysis of the convergency of topology preserving neural networks on learning -- On helping and interactive proof systems -- Average time complexity of the SAT 1.2 algorithm -- Average cost to produce partial orders -- Two notes on low-density subset sum algorithm -- Rotation distance, triangulations of planar surfaces and hyperbolic geometry -- Finitely representable spatial objects and efficient computation -- Computing all small cuts in undirected networks -- Edge-coloring and f-coloring for various classes of graphs -- Edge-disjoint paths in permutation graphs -- Minimum augmentation to k-edge-connect specified vertices of a graph -- Algorithmic Chernoff-Hoeffding inequalities in integer programming -- Approximate pattern matching with samples -- An efficient optimal algorithm for minimizing the overall communication cost in replicated data management -- Multispace search: A new optimization approach -- Realizing degree sequences in parallel -- Efficient sequential and parallel algorithms for the negative cycle problem -- Fast and efficient operations on Parallel Priority Queues -- Heaps with bits -- Components and projections of curves over finite fields -- On the approximation of finding various minimal, maximal, and consistent sequences -- A linear-time algorithm for computing characteristic strings -- The maximum latency and identification of positive Boolean functions -- Fast deterministic Hot-Potato routing on processor arrays -- k-pairwise cluster fault tolerant routing in hypercubes -- On Steiner minimal trees in grid graphs and its application to VLSI routing -- Optimal routing of permutations on rings -- Resource bounded randomness and weakly complete problems -- Deterministic ? automata vis-a-vis deterministic Buchi automata -- Quantum computation and NP-complete problems -- Separability and one-way functions -- On the approximation of largest common subtrees and largest common point sets -- An approximation scheme for some Steiner tree problems in the plane -- A chain decomposition algorithm for the proof of a property on minimum weight triangulations -- Generating algorithm for quasi-full Steiner tree -- Analysing deletions in competitive self-adjusting linear list algorithms -- Are Fibonacci heaps optimal? -- Simple and efficient graph compression schemes for dense and complement graphs -- Improved algorithms for coloring random graphs -- On the parallel complexity of solving recurrence equations -- Extended graph connectivity and its gradually increasing parallel complexity -- Parallel h-v drawings of binary trees -- An efficient parallel strategy for recognizing series-parallel graphs -- Orthogonal queries in segments and triangles -- Further computational geometry in secondary memory -- Shortest safari routes in simple polygons -- On greedy tetrahedralization of points in 3D -- The totally-perfect bipartite graph and its construction -- k Best Cuts for Circular-Arc graphs -- Revisiting circular arc graphs -- Weighted irredundance of interval graphs -- A reordering operation for an ordered binary decision diagram and an extended framework for combinatorics of graphs -- On the size of ordered binary decision diagrams representing threshold functions -- Nonuniform lowness and strong nonuniform lowness -- Definition and existence of super complexity cores -- Efficient algorithms for assigning chain-like tasks on a chain-like network computer -- Manpower scheduling with shift change constraints -- Fast algorithms for transversal matroid intersection problems -- A convex hull algorithm on coarse-grained multiprocessor -- A multiway merging network -- Reporting and counting intersections of lines within a polygon -- A new problem in string searching -- Achieving the shortest clock period by inserting the minimum amount of delay -- A randomized algorithm to Finite Automata Public Key Cryptosystem. 330 $aThis volume is the proceedings of the fifth International Symposium on Algorithms and Computation, ISAAC '94, held in Beijing, China in August 1994. The 79 papers accepted for inclusion in the volume after a careful reviewing process were selected from a total of almost 200 submissions. Besides many internationally renowned experts, a number of excellent Chinese researchers present their results to the international scientific community for the first time here. The volume covers all relevant theoretical and many applicational aspects of algorithms and computation. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v834 606 $aComputers 606 $aData structures (Computer science) 606 $aAlgorithms 606 $aCombinatorics 606 $aArtificial intelligence 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aData Structures$3https://scigraph.springernature.com/ontologies/product-market-codes/I15017 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aCombinatorics$3https://scigraph.springernature.com/ontologies/product-market-codes/M29010 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aComputers. 615 0$aData structures (Computer science). 615 0$aAlgorithms. 615 0$aCombinatorics. 615 0$aArtificial intelligence. 615 14$aTheory of Computation. 615 24$aComputation by Abstract Devices. 615 24$aData Structures. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aCombinatorics. 615 24$aArtificial Intelligence. 676 $a004.0151 702 $aDu$b Ding-Zhu$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aZhang$b Xiang-Sun$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466100903316 996 $aAlgorithms and Computation$9771857 997 $aUNISA