Computing and Combinatorics

The abstract and papers in this volume were presented at the Eighth Annual International Computing and Combinatorics Conference (COCOON 2002), held on August 15-17 in Singapore. The topics cover various aspects of theoretical computer science and combinatorics related to computing. Submissionstotheconferencethisyearwereconductedelectronically. The60 papers were selected for presentation from a total of 106 submitted papers from Australia (6), Canada (3), China (6), Germany (9), India (5), Japan (11), Korea (10), Singapore (5), Taiwan (8), United States (29), and 11 other countries and regions (14). The papers were evaluated by an international program comm- tee consisting of Mikhail Atallah, Jik Chang, Tim Ting Chen, Siu-Wing Cheng, Omer Egecioglu, Fan Chung Graham, Susanne Hambrusch, Sorin Istrail, S- path Kannan, Ming-Yang Kao, Shlomo Moran, Koji Nakano, Takao Nishizeki, Steve Olariu, Gheorghe Paun, Pandu Rangan, Sartaj Sahni, Arto Salomaa, Igor Shparlinski, Janos Simon, Paul Spirakis, Chung Piaw Teo, Jan van Leeuwen, Paul Vitanyi, Peter Widmayer, and Hsu-Chun Yen. It is expected that most of the accepted papers will appear in a more complete form in scienti?c journals. In addition to the contributed papers, three invited lectures were presented by Eugene W. Myers, Sartaj Sahni, and Arto Salomaa. We wish to thank all who have made this meeting possible: the authors for submitting papers, the program committee members and external referees (listed in the proceedings) for their excellent work, and the three invited spe- ers.

Inhalt
Invited Lectures.- The Assembly of the Human and Mouse Genomes.- Data Structures for One-Dimensional Packet Classification Using Most-Specific-Rule Matching.- DNA Complementarity and Paradigms of Computing.- Complexity Theory I.- On Higher Arthur-Merlin Classes.- (2 + f(n))-SAT and Its Properties.- On the Minimal Polynomial of a Matrix.- Computable Real Functions of Bounded Variation and Semi-computable Real Numbers.- Discrete Algorithms I.- Improved Compact Routing Tables for Planar Networks via Orderly Spanning Trees.- Coloring Algorithms on Subcubic Graphs.- Efficient Algorithms for the Hamiltonian Problem on Distance-Hereditary Graphs.- Extending the Accommodating Function.- Computational Biology and Learning Theory I.- Inverse Parametric Sequence Alignment.- The Full Steiner Tree Problem in Phylogeny.- Inferring a Union of Halfspaces from Examples.- Dictionary Look-Up within Small Edit Distance.- Coding Theory and Cryptography.- Polynomial Interpolation of the Elliptic Curve and XTR Discrete Logarithm.- Co-orthogonal Codes.- Efficient Power-Sum Systolic Architectures for Public-Key Cryptosystems in GF(2m).- A Combinatorial Approach to Anonymous Membership Broadcast.- Parallel and Distributed Architectures.- Solving Constraint Satisfaction Problems with DNA Computing.- New Architecture and Algorithms for Degradable VLSI/WSI Arrays.- Cluster: A Fast Tool to Identify Groups of Similar Programs.- Broadcasting in Generalized de Bruijn Digraphs.- Graph Theory.- On the Connected Domination Number of Random Regular Graphs.- On the Number of Minimum Cuts in a Graph.- On Crossing Numbers of 5-Regular Graphs.- Maximum Flows and Critical Vertices in AND/OR Graphs.- Radio Networks.- New Energy-Efficient Permutation Routing Protocol for Single-Hop Radio Networks.- Simple MutualExclusion Algorithms Based on Bounded Tickets on the Asynchronous Shared Memory Model.- Time and Energy Optimal List Ranking Algorithms on the k-Channel Broadcast Communication Model.- Energy-Efficient Size Approximation of Radio Networks with No Collision Detection.- Automata and Formal Languages.- A New Class of Symbolic Abstract Neural Nets: Tissue P Systems.- Transducers with Set Output.- Self-assembling Finite Automata.- Repetition Complexity of Words.- Internet Networks.- Using PageRank to Characterize Web Structure.- On Randomized Broadcasting and Gossiping in Radio Networks.- Fast and Dependable Communication in Hyper-rings.- Computational Geometry I.- The On-Line Heilbronn's Triangle Problem in Three and Four Dimensions.- Algorithms for Normal Curves and Surfaces.- Terrain Polygon Decomposition, with Application to Layered Manufacturing.- Computational Biology and Learning Theory II.- Supertrees by Flipping.- A Space and Time Efficient Algorithm for Constructing Compressed Suffix Arrays.- Sharpening Occam's Razor.- Approximating 3D Points with Cylindrical Segments.- Discrete Algorithms II.- Algorithms for the Multicolorings of Partial k-Trees.- A Fault-Tolerant Merge Sorting Algorithm.- 2-Compromise Usability in 1-Dimensional Statistical Databases.- Computational Geometry II.- An Experimental Study and Comparison of Topological Peeling and Topological Walk.- On-Line Maximizing the Number of Items Packed in Variable-Sized Bins.- On-Line Grid-Packing with a Single Active Grid.- Bend Minimization in Orthogonal Drawings Using Integer Programming.- Combinatorial Optimization.- The Conditional Location of a Median Path.- New Results on the k-Truck Problem.- Theory of Equal-Flows in Networks.- Minimum Back-Walk-Free Latency Problem.- Complexity II.- CountingSatisfying Assignments in 2-SAT and 3-SAT.- On the Maximum Number of Irreducible Coverings of an n-Vertex Graph by n 3 Cliques.- On Reachability in Graphs with Bounded Independence Number.- On Parameterized Enumeration.- Quantum Computing.- Probabilistic Reversible Automata and Quantum Automata.- Quantum versus Deterministic Counter Automata.- Quantum DNF Learnability Revisited.