Basic Concepts of Linear Order
Basic Concepts of Linear Order Combinatorics for Computer Science (Unit 1) S. Gill Williamson ©S. Gill Williamson 2012 Preface From 1970 to 1990 I ran a graduate seminar on algebraic and algorithmic com- binatorics in the Department of Mathematics, UCSD. From 1972 to 1990 al- gorithmic combinatorics became the principal topic. The seminar notes from 1970 to 1985 were combined and published as a book, Combinatorics for Com- puter Science (CCS), published by Computer Science Press. Each of the "units of study" from the seminar became a chapter in this book. My general goal is to re-create the original presentation of these (largely inde- pendent) units in a form that is convenient for individual selection and study. Here, we isolate Unit 1, corresponding to Chapter 1 of CCS, and reconstruct the original very helpful unit specific index associated with this unit. Theorems, figures, examples, etc., are numbered sequentially: EXERCISE 1.38 and FIGURE 1.62 refer to numbered items 38 and 62 of Unit 1 (or Chap- ter 1 in CCS), etc. CCS contains an extensive bibliography for work prior to 1985. For further references and ongoing research, search the Web, particularly Wikipedia and the mathematics arXiv (arXiv.org). These notes focus on the visualization of algorithms through the use of graph- ical and pictorial methods. This approach is both fun and powerful, preparing you to invent your own algorithms for a wide range of problems. S. Gill Williamson, 2012 http : nwww:cse:ucsd:edun ∼ gill iii iv Table of Contents for Unit 1 Descriptive tools from set theory..............................................................3 relations, equivalence relations, set partitions, image, coimage surjection, injection, bijection, covering relations, Hasse diagrams, exercises and ex- amples.
[Show full text]