05589nam a22006255i 4500001001800000003000900018005001700027007001500044008004100059020003700100024003100137050001700168072001500185072001600200072002300216072002300239082001700262245019700279264006100476300003500537336002600572337002600598338003600624347002400660490005800684505283600742520060603578650002204184650001504206650001604221650002404237650003504261650002604296650002204322650002704344650004704371650004604418650003704464650005404501650002304555700002904578700002804607700002704635710003404662773002004696776003604716830005804752856004404810912001404854912001404868912001404882942001204896950003804908999001704946978-3-540-69662-9DE-He21320170515111449.0cr nn 008mamaa121227s1997 gw | s |||| 0|eng d a97835406966299978-3-540-69662-97 a10.1007/3-540-63890-32doi 4aQA75.5-76.95 7aUY2bicssc 7aUYA2bicssc 7aCOM0140002bisacsh 7aCOM0310002bisacsh04a004.015122310aAlgorithms and Computationh[electronic resource] :b8th International Symposium, ISAAC '97 Singapore, December 17–19, 1997 Proceedings /cedited by Hon Wai Leong, Hiroshi Imai, Sanjay Jain. 1aBerlin, Heidelberg :bSpringer Berlin Heidelberg,c1997. aXVII, 435 p.bonline resource. atextbtxt2rdacontent acomputerbc2rdamedia aonline resourcebcr2rdacarrier atext filebPDF2rda1 aLecture Notes in Computer Science,x0302-9743 ;v13500 aSolving NP-hard combinatorial problems in the practical sense Invited presentation -- Airline crew-scheduling problem with many irregular flights -- Practical approach to a facility location problem for large-scale logistics -- Hard instance generation for SAT -- Playing tetris on meshes and multi-dimensional Shearsort -- Formulation of the addition-shift-sequence problem and its complexity -- Weighted and unweighted selection algorithms for k sorted sequences -- An adaptive distributed fault-tolerant routing algorithm for the star graph -- Multi-color routing in the undirected hypercube -- Competitive source routing on tori and meshes -- Algorithms for enumerating all perfect, maximum and maximal matchings in bipartite graphs -- Augmenting edge and vertex connectivities simultaneously -- Two-face horn extensions -- Decremental maintenance of reachability in hypergraphs and minimum models of horn formulae -- Algorithmic analysis of multithreaded algorithms -- A characterization of planar graphs by pseudo-line arrangements -- Optimal fault-tolerant broadcasting in trees -- A theoretical framework of hybrid approaches to MAX SAT -- Exponential lower bounds on the size of OBDDs representing integer division -- On-line versus off-line in money-making strategies with brokerage -- Decision-making by hierarchies of discordant agents -- A new efficient off-line anonymous cash scheme -- Approximating unweighted connectivity problems in parallel -- A randomized linear work EREW PRAM algorithm to find a minimum spanning forest -- Efficient parallel algorithms for planar st-graphs -- Peg-solitaire, string rewriting systems and finite automata -- On the size of probabilistic formulae -- Homophonic coding with logarithmic memory size -- Complexity and modeling aspects of mesh refinement into quadrilaterals -- Topology oriented vs. exact arithmetic — Experience in implementing the three-dimensional convex hull algorithm -- The complexity of learning branches and strategies from queries -- Singularities make spatial join scheduling hard -- A faster one-dimensional topological compaction algorithm -- Algorithms for finding optimal disjoint paths around a rectangle -- An algorithm for finding a region with the minimum total L 1 from prescribed terminals -- On defect sets in bipartite graphs (extended abstract) -- Dynamic programming on distance-hereditary graphs -- On the equivalence in complexity among basic problems on bipartite and parity graphs -- All-cavity maximum matchings -- Fast algorithms for computing ?-Skeletons and their relatives -- A branch-and-cut approach for minimum weight triangulation -- An efficient approximation scheme for the subset-sum problem -- Competitive call control in mobile networks -- Generalized swap-with-parent schemes for self-organizing sequential linear lists. aThis book constitutes the refereed proceedings of the 8th International Symposium on Algorithms and Computation, ISAAC'97, held in Singapore in December 1997. The 42 revised full papers presented were selected from a total of 98 submissions. The scope of the volume spans the whole area of algorithms from discrete mathematics and complexity theory to algorithms design and evaluation in a variety of applicational areas. Among the topics addressed are scheduling and logistics, networking and routing, combinatorial optimization, graph-computations, algorithmic learning, computational geometry, etc. 0aComputer science. 0aComputers. 0aAlgorithms. 0aNumerical analysis. 0aComputer sciencexMathematics. 0aComputer mathematics.14aComputer Science.24aTheory of Computation.24aAlgorithm Analysis and Problem Complexity.24aDiscrete Mathematics in Computer Science.24aComputation by Abstract Devices.24aComputational Mathematics and Numerical Analysis.24aNumeric Computing.1 aLeong, Hon Wai.eeditor.1 aImai, Hiroshi.eeditor.1 aJain, Sanjay.eeditor.2 aSpringerLink (Online service)0 tSpringer eBooks08iPrinted edition:z9783540638902 0aLecture Notes in Computer Science,x0302-9743 ;v135040uhttp://dx.doi.org/10.1007/3-540-63890-3 aZDB-2-SCS aZDB-2-LNC aZDB-2-BAE 2ddccEB aComputer Science (Springer-11645) c14423d14423