Algorithms and Computation 8th International Symposium, ISAAC'97, Singapore, December 17-19, 1997, Proceedings.

This 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.

Solving 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.