Computing and Combinatorics : First Annual International Conference, COCOON '95, Xi'an, China, August 24-26, 1995. Proceedings. 1st ed. 1995

種類:

電子ブック

責任表示:

edited by Ding-Zhu Du, Ming Li

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995

著者名:

• Du, Ding-Zhu.
• Li, Ming.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 959

ISBN:

9783540447337 [3540447334]    

注記:

The complexity of mean payoff games -- Approximation of coNP sets by NP-complete sets -- How to draw a planar clustered graph -- An efficient orthogonal grid drawing algorithm for cubic graphs -- Constrained independence system and triangulations of planar point sets -- Three dimensional weak visibility: Complexity and applications -- Rectangulating rectilinear polygons in parallel -- Efficient randomized incremental algorithm for the closest pair problem using Leafary trees -- Testing containment of object-oriented conjunctive queries is ? 2 p -hard -- Computing infinite relations using finite expressions: A new approach to the safety issue in relational databases -- Set-term unification in a logic database language -- Computations with finite closure systems and implications -- Maximum tree-packing in time O(n5/2) -- Optimal algorithms for finding connected components of an unknown graph -- The multi-weighted spanning tree problem -- Algorithmic graph embeddings -- Analysis of quorum-based protocols for dis
This book constitutes the proceedings of the First Annual International Conference on Computing and Combinatorics, COCOON '95, held in Xi'an, China in August 1995. The 52 thoroughly refereed full papers and the 22 short presentations included in this volume were selected from a total of 120 submissions. All current aspects of theoretical computer science and combinatorial mathematics related to computing are addressed; in particular, there are sections on complexity theory, graph drawing, computational geometry, databases, graph algorithms, distributed programming and logic, combinatorics, machine models, combinatorial designs, algorithmic learning, algorithms, distributed computing, and scheduling.

ローカル注記:

学内専用E-BOOKS (local access only)