Algorithms And Computation: 18th International Symposium, Isaac 2007, Sendai, Japan, December 17-19, 2007 : Proceedings Isaac 2007

Annotation This book constitutes the refereed proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC 2007, held in Sendai, Japan, in December 2007. The 77 revised full papers presented together with two invited talks were carefully reviewed and selected from 220 submissions. The papers included topical sections on graph algorithms, computational geometry, complexity, graph drawing, distributed algorithms, optimization, data structure, and game theory Front Matter Coloring Triangle-Free Graphs on Surfaces Integer Representation and Counting in the Bit Probe Model Minimum Degree Orderings Greedy Approximation for Source Location Problem with Vertex-Connectivity Requirements in Undirected Graphs Dynamic Distance Hereditary Graphs Using Split Decomposition Unifying Two Graph Decompositions with Modular Decomposition Escaping Off-Line Searchers and a Discrete Isoperimetric Theorem Geometric Spanner of Segments Dilation-Optimal Edge Deletion in Polygonal Cycles Unbounded-Error Classical and Quantum Communication Complexity A Spectral Method for MAX2SAT in the Planted Solution Model On the Expressive Power of Planar Perfect Matching and Permanents of Bounded Treewidth Matrices The 1-Versus-2 Queries Problem Revisited Approximating the Crossing Number of Toroidal Graphs Width-Optimal Visibility Representations of Plane Graphs Computing Upward Topological Book Embeddings of Upward Planar Digraphs Algorithms for the Hypergraph and the Minor Crossing Number Problems On Mixing and Edge Expansion Properties in Randomized Broadcasting Linear Reconfiguration of Cube-Style Modular Robots Fast Message Dissemination in Random Geometric Ad-Hoc Radio Networks Sensor Network Gossiping or How to Break the Broadcast Lower Bound On the Complexity of the “Most General” Undirected Firing Squad Synchronization Problem Capacitated Domination Problem The Complexity of Finding Subgraphs Whose Matching Number Equals the Vertex Cover Number New Bounds for the Nearly Equitable Edge Coloring Problem Approximation to the Minimum Cost Edge Installation Problem Approximability of Packing Disjoint Cycles Succinct Representation of Labeled Graphs More Efficient Algorithms and Analyses for Unequal Letter Cost Prefix-Free Coding Kinetic Maintenance of Mobile k-Centres on Trees Checking Value-Sensitive Data Structures in Sublinear Space Manipulation in Games Using Nash Implementation to Achieve Better Frugality Ratios The Price of Nash Equilibria in Multicast Transmissions Games An Efficient Algorithm for Enumerating Pseudo Cliques Fast Adaptive Diagnosis with a Minimum Number of Tests Dynamic Structures for Top- k Queries on Uncertain Data Separating Populations with Wide Data: A Spectral Analysis A Constant-Competitive Algorithm for Online OVSF Code Assignment Average-Case Analysis of Online Topological Ordering Energy Efficient Deadline Scheduling in Two Processor Systems On the Relative Dominance of Paging Algorithms I/O-Efficient Map Overlay and Point Location in Low-Density Subdivisions Geometric Streaming Algorithms with a Sorting Primitive External Memory Range Reporting on a Grid Approximate Range Searching in External Memory Faster Treasure Hunt and Better Strongly Universal Exploration Sequences Hardness and Approximation of Traffic Grooming Depth of Field and Cautious-Greedy Routing in Social Networks Locating Facilities on a Network to Minimize Their Average Service Radius Faster Combinatorial Algorithms for Determinant and Pfaffian A Polynomial-Time-Delay and Polynomial-Space Algorithm for Enumeration Problems in Multi-criteria Optimization The Parameterized Complexity of the Unique Coverage Problem Bounded Tree-Width and CSP-Related Problems Covering Points by Unit Disks of Fixed Location Geodesic Disks and Clustering in a Simple Polygon An O ( n 2log n ) Time Algorithm for Computing Shortest Paths Amidst Growing Discs in the Plane Optimal Triangulation with Steiner Points New Algorithm for Field Splitting in Radiation Therapy In-Place Algorithm for Image Rotation Higher Order Voronoi Diagrams of Segments for VLSI Critical Area Extraction Distributed Relationship Schemes for Trees Fast Evaluation of Union-Intersection Expressions A Sub-cubic Time Algorithm for the k -Maximum Subarray Problem Compressing Spatio-temporal Trajectories Finding Popular Places Maintaining Extremal Points and Its Applications to Deciding Optimal Orientations The Monomial Ideal Membership Problem and Polynomial Identity Testing On the Fault Testing for Reversible Circuits The Space Complexity of k -Tree Isomorphism Algorithms for Computing the Length-Constrained Max-Score Segments with Applications to DNA Copy Number Data Analysis Space Efficient Indexes for String Matching with Don’t Cares 2-Stage Fault Tolerant Interval Group Testing Approximate String Matching with Swap and Mismatch Minimum Fill-In and Treewidth of Split+. ke and Split+. kv Graphs Weighted Treewidth Algorithmic Techniques and Results Spanning Trees with Many Leaves in Regular Bipartite Graphs Problem Kernels for NP-Complete Edge Deletion Problems: Split and Related Graphs Back Matter