Algorithms and Order
This volume contains the texts of the principal survey papers presented at ALGORITHMS -and ORDER, held· at Ottawa, Canada from June 1 to June 12, 1987. The conference was supported by grants from the N.A.T.O. Advanced Study Institute programme, the Univer
- PDF / 40,708,980 Bytes
- 491 Pages / 439 x 666 pts Page_size
- 31 Downloads / 200 Views
Ivan Rival Departments of Computer Science and Mathematics, University of Ottawa, Ottawa, Canada
Kluwer Academic Publishers Dordrecht / Boston / London Published in cooperation with NATO Scientific Affairs Division
Proceedings of the NATO Advanced Study Institute on Algorithms and Order Ottawa, Canada May 31 - June 13, 1987 Library of Congress Cataloging in Publication Data NATO Advanced Study Institute (1987 Ottawa. Ont.) Algorithms and order: proceedings of the NATO Advanced Study Institute held In Ottawa. Canada. May 31-June 13. 1987 I edited by Ivan Rlva 1. p. cm. -- (NATO ASI series. Series C. Mathematical and physical scIences; vol. 255) Inc 1udes Index. 1. Ordered sets--Congresses. 2. Algorlthms--Congresses. 3. Mathematical optlmlzatlon--Congresses. 1. RIval. Ivan. 1947II. TItle. III. SerIes: NATO ASI serIes. Series C. MathematIcal and physical scIences; no. 255. OAI71.48.N27 1987 511' .8--dcI9 88-26647 CIP
ISBN-13:978-94-010-7691-3 DO I: 10.1007/978-94-009-2639-4
e-ISBN-13:978-94-009-2639-4
Published by Kluwer Academic Publishers, P.O. Box 17, 3300 AA Dordrecht, The Netherlands. Kluwer Academic Publishers incorporates the publishing programmes of D. Reidel, Martinus Nijhoff, Dr W. Junk, and MTP Press. Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, 101 Philip Drive, Norwell, MA 02061, U.S.A. In all other countries, sold and distributed by Kluwer Academic Publishers Group, P.O. Box 322, 3300 AH Dordrecht, The Netherlands.
All Rights Reserved © 1989 by Kluwer Academic Publishers. Softcover reprint of the hardcover 1st edition 1989 No part of the material protected by this copyright notice may be reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying, recording or by any information storage and retrieval system, without written permission from the copyright owner.
Algorithms and Order
NATO ASI Series Advanced Science Institutes Series A Series presenting the results of activities sponsored by the NA TO Science Committee, which aims at the dissemination of advanced scientific and technological knowledge, with a view to strengthening links between scientific communities. The Series is published by an international board of publishers in conjunction with the NATO Scientific Affairs Division
A Life Sciences B Physics
Plenum Publishing Corporation London and New York
C Mathematical and Physical Sciences D Behavioural and Social Sciences E Applied Sciences
Kluwer Academic Publishers Dordrecht, Boston and London
F Computer and Systems Sciences G Ecological Sciences H Cell Biology
Springer-Verlag Berlin, Heidelberg, New York, London, Paris and Tokyo
Series C: Mathematical and Physical Sciences - Vol. 255
CONTENTS
PREFACE
vii
PARTICIPANTS
ix
GRAPHICAL DATA STRUCTURES
PART I
Graphical data structures for ordered sets ~lm~
3
Lattices in data analysis: how to draw them with a computer By R. Wille
33
A computer program for orthomodular lattices By W.D. Miller
59
PART II
COMPUTATIONAL COMPLEXITY
Computationally trac
