Handbook of Discrete and

Combinatorial Mathematics, Second

Edition Kenneth H. Rosen
(Editor-In-Chief)
Visit to download the full and correct content document:
https://textbookfull.com/product/handbook-of-discrete-and-combinatorial-mathematics
-second-edition-kenneth-h-rosen-editor-in-chief/
More products digital (pdf, epub, mobi) instant
download maybe you interests ...

Discrete Mathematics and Its Applications 8th Edition

Rosen

https://textbookfull.com/product/discrete-mathematics-and-its-
applications-8th-edition-rosen/

Discrete mathematics with ducks Second Edition

Belcastro

https://textbookfull.com/product/discrete-mathematics-with-ducks-
second-edition-belcastro/

Biota Grow 2C gather 2C cook Loucas

https://textbookfull.com/product/biota-grow-2c-gather-2c-cook-
loucas/

Project Quality Management Why What and How Second

Edition Kenneth H Rose

https://textbookfull.com/product/project-quality-management-why-
what-and-how-second-edition-kenneth-h-rose/
Discrete Mathematics and Applications 2nd Edition
Ferland

https://textbookfull.com/product/discrete-mathematics-and-
applications-2nd-edition-ferland/

Discrete Mathematics 8e Richard Johnsonbaugh

https://textbookfull.com/product/discrete-mathematics-8e-richard-
johnsonbaugh/

Discrete Mathematics and Applications 2nd Edition Kevin

Ferland

https://textbookfull.com/product/discrete-mathematics-and-
applications-2nd-edition-kevin-ferland/

Essentials of Discrete Mathematics Third Edition David

James Hunter

https://textbookfull.com/product/essentials-of-discrete-
mathematics-third-edition-david-james-hunter/

Handbook of discrete and computational geometry Third

Edition Goodman

https://textbookfull.com/product/handbook-of-discrete-and-
computational-geometry-third-edition-goodman/
 HANDBOOK OF
DISCRETE AND
COMBINATORIAL
MATHEMATICS
SECOND EDITION
 DISCRETE
MATHEMATICS
AND
ITS APPLICATIONS
Series Editors

Miklos Bona
Patrice Ossona de Mendez
Douglas West
R. B. J. T. Allenby and Alan Slomson, How to Count: An Introduction to Combinatorics,
Third Edition
Craig P. Bauer, Secret History: The Story of Cryptology
Jürgen Bierbrauer, Introduction to Coding Theory, Second Edition
Katalin Bimbó, Combinatory Logic: Pure, Applied and Typed
Katalin Bimbó, Proof Theory: Sequent Calculi and Related Formalisms
Donald Bindner and Martin Erickson, A Student’s Guide to the Study, Practice, and Tools of
Modern Mathematics
Francine Blanchet-Sadri, Algorithmic Combinatorics on Partial Words
Miklós Bóna, Combinatorics of Permutations, Second Edition
Miklós Bóna, Handbook of Enumerative Combinatorics
Miklós Bóna, Introduction to Enumerative and Analytic Combinatorics, Second Edition
Jason I. Brown, Discrete Structures and Their Interactions
Richard A. Brualdi and Dragos̆ Cvetković, A Combinatorial Approach to Matrix Theory and Its
Applications
Kun-Mao Chao and Bang Ye Wu, Spanning Trees and Optimization Problems
Charalambos A. Charalambides, Enumerative Combinatorics
Gary Chartrand and Ping Zhang, Chromatic Graph Theory
Henri Cohen, Gerhard Frey, et al., Handbook of Elliptic and Hyperelliptic Curve Cryptography
Charles J. Colbourn and Jeffrey H. Dinitz, Handbook of Combinatorial Designs, Second Edition
 Titles (continued)
Abhijit Das, Computational Number Theory
Matthias Dehmer and Frank Emmert-Streib, Quantitative Graph Theory:
Mathematical Foundations and Applications
Martin Erickson, Pearls of Discrete Mathematics
Martin Erickson and Anthony Vazzana, Introduction to Number Theory
Steven Furino, Ying Miao, and Jianxing Yin, Frames and Resolvable Designs: Uses,
Constructions, and Existence
Mark S. Gockenbach, Finite-Dimensional Linear Algebra
Randy Goldberg and Lance Riek, A Practical Handbook of Speech Coders
Jacob E. Goodman and Joseph O’Rourke, Handbook of Discrete and Computational Geometry,
Third Edition
Jonathan L. Gross, Combinatorial Methods with Computer Applications
Jonathan L. Gross and Jay Yellen, Graph Theory and Its Applications, Second Edition
Jonathan L. Gross, Jay Yellen, and Ping Zhang Handbook of Graph Theory, Second Edition
David S. Gunderson, Handbook of Mathematical Induction: Theory and Applications
Richard Hammack, Wilfried Imrich, and Sandi Klavžar, Handbook of Product Graphs,
Second Edition
Darrel R. Hankerson, Greg A. Harris, and Peter D. Johnson, Introduction to Information Theory
and Data Compression, Second Edition
Darel W. Hardy, Fred Richman, and Carol L. Walker, Applied Algebra: Codes, Ciphers, and
Discrete Algorithms, Second Edition
Daryl D. Harms, Miroslav Kraetzl, Charles J. Colbourn, and John S. Devitt, Network Reliability:
Experiments with a Symbolic Algebra Environment
Silvia Heubach and Toufik Mansour, Combinatorics of Compositions and Words
Leslie Hogben, Handbook of Linear Algebra, Second Edition
Derek F. Holt with Bettina Eick and Eamonn A. O’Brien, Handbook of Computational Group Theory
David M. Jackson and Terry I. Visentin, An Atlas of Smaller Maps in Orientable and
Nonorientable Surfaces
Richard E. Klima, Neil P. Sigmon, and Ernest L. Stitzinger, Applications of Abstract Algebra
with Maple™ and MATLAB®, Second Edition
Richard E. Klima and Neil P. Sigmon, Cryptology: Classical and Modern with Maplets
Patrick Knupp and Kambiz Salari, Verification of Computer Codes in Computational Science
and Engineering
William L. Kocay and Donald L. Kreher, Graphs, Algorithms, and Optimization, Second Edition
Donald L. Kreher and Douglas R. Stinson, Combinatorial Algorithms: Generation Enumeration
and Search
 Titles (continued)

Hang T. Lau, A Java Library of Graph Algorithms and Optimization

C. C. Lindner and C. A. Rodger, Design Theory, Second Edition
San Ling, Huaxiong Wang, and Chaoping Xing, Algebraic Curves in Cryptography
Nicholas A. Loehr, Bijective Combinatorics
Nicholas A. Loehr, Combinatorics, Second Edition
Toufik Mansour, Combinatorics of Set Partitions
Toufik Mansour and Matthias Schork, Commutation Relations, Normal Ordering, and Stirling
Numbers
Alasdair McAndrew, Introduction to Cryptography with Open-Source Software
Pierre-Loïc Méliot, Representation Theory of Symmetric Groups
Elliott Mendelson, Introduction to Mathematical Logic, Fifth Edition
Alfred J. Menezes, Paul C. van Oorschot, and Scott A. Vanstone, Handbook of Applied
Cryptography
Stig F. Mjølsnes, A Multidisciplinary Introduction to Information Security
Jason J. Molitierno, Applications of Combinatorial Matrix Theory to Laplacian Matrices of Graphs
Richard A. Mollin, Advanced Number Theory with Applications
Richard A. Mollin, Algebraic Number Theory, Second Edition
Richard A. Mollin, Codes: The Guide to Secrecy from Ancient to Modern Times
Richard A. Mollin, Fundamental Number Theory with Applications, Second Edition
Richard A. Mollin, An Introduction to Cryptography, Second Edition
Richard A. Mollin, Quadratics
Richard A. Mollin, RSA and Public-Key Cryptography
Carlos J. Moreno and Samuel S. Wagstaff, Jr., Sums of Squares of Integers
Gary L. Mullen and Daniel Panario, Handbook of Finite Fields
Goutam Paul and Subhamoy Maitra, RC4 Stream Cipher and Its Variants
Dingyi Pei, Authentication Codes and Combinatorial Designs
Kenneth H. Rosen, Handbook of Discrete and Combinatorial Mathematics, Second Edition
Yongtang Shi, Matthias Dehmer, Xueliang Li, and Ivan Gutman, Graph Polynomials
Douglas R. Shier and K.T. Wallenius, Applied Mathematical Modeling: A Multidisciplinary
Approach
Alexander Stanoyevitch, Introduction to Cryptography with Mathematical Foundations and
Computer Implementations
Jörn Steuding, Diophantine Analysis
Douglas R. Stinson, Cryptography: Theory and Practice, Third Edition
 Titles (continued)

Roberto Tamassia, Handbook of Graph Drawing and Visualization

Roberto Togneri and Christopher J. deSilva, Fundamentals of Information Theory and Coding
Design
W. D. Wallis, Introduction to Combinatorial Designs, Second Edition
W. D. Wallis and J. C. George, Introduction to Combinatorics, Second Edition
Jiacun Wang, Handbook of Finite State Based Models and Applications
Lawrence C. Washington, Elliptic Curves: Number Theory and Cryptography, Second Edition
DISCRETE MATHEMATICS AND ITS APPLICATIONS

HANDBOOK OF
DISCRETE AND
COMBINATORIAL
MATHEMATICS
SECOND EDITION

Editor-in-Chief
Kenneth H. Rosen

Associate Editors
Douglas R. Shier
Wayne Goddard
MATLAB• is a trademark of The MathWorks, Inc. and is used with permission. The MathWorks does not warrant the
accuracy of the text or exercises in this book. This book’s use or discussion of MATLAB• software or related products
does not constitute endorsement or sponsorship by The MathWorks of a particular pedagogical approach or particular
use of the MATLAB• software.

CRC Press
Taylor & Francis Group
6000 Broken Sound Parkway NW, Suite 300
Boca Raton, FL 33487-2742

© 2018 by Taylor & Francis Group, LLC

CRC Press is an imprint of Taylor & Francis Group, an Informa business

No claim to original U.S. Government works

Printed on acid-free paper

Version Date: 20170814

International Standard Book Number-13: 978-1-5848-8780-5 (Hardback)

This book contains information obtained from authentic and highly regarded sources. Reasonable efforts have been
made to publish reliable data and information, but the author and publisher cannot assume responsibility for the validity
of all materials or the consequences of their use. The authors and publishers have attempted to trace the copyright
holders of all material reproduced in this publication and apologize to copyright holders if permission to publish in this
form has not been obtained. If any copyright material has not been acknowledged please write and let us know so we may
rectify in any future reprint.

Except as permitted under U.S. Copyright Law, no part of this book may be reprinted, reproduced, transmitted, or utilized
in any form by any electronic, mechanical, or other means, now known or hereafter invented, including photocopying,
microfilming, and recording, or in any information storage or retrieval system, without written permission from the
publishers.

For permission to photocopy or use material electronically from this work, please access www.copyright.com (http://
www.copyright.com/) or contact the Copyright Clearance Center, Inc. (CCC), 222 Rosewood Drive, Danvers, MA 01923,
978-750-8400. CCC is a not-for-profit organization that provides licenses and registration for a variety of users. For
organizations that have been granted a photocopy license by the CCC, a separate system of payment has been arranged.

Trademark Notice: Product or corporate names may be trademarks or registered trademarks, and are used only for
identification and explanation without intent to infringe.
Visit the Taylor & Francis Web site at
http://www.taylorandfrancis.com
and the CRC Press Web site at
http://www.crcpress.com
 CONTENTS ix

CONTENTS

1. FOUNDATIONS ............................................................ 1
1.1 Propositional and Predicate Logic — Jerrold W. Grossman . . . . . . . . . . . . . . . . . . . 12
1.2 Set Theory — Jerrold W. Grossman . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.3 Functions — Jerrold W. Grossman . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
1.4 Relations — John G. Michaels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
1.5 Proof Techniques — Susanna S. Epp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
1.6 Axiomatic Program Verification — David Riley . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
1.7 Logic-Based Computer Programming Paradigms — Mukesh Dalal . . . . . . . . . . . 70

2. COUNTING METHODS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .85

2.1 Summary of Counting Problems — John G. Michaels . . . . . . . . . . . . . . . . . . . . . . . . 88
2.2 Basic Counting Techniques — Jay Yellen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
2.3 Permutations and Combinations — Edward W. Packel . . . . . . . . . . . . . . . . . . . . . . . . 99
2.4 Inclusion/Exclusion — Robert G. Rieper . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
2.5 Partitions — George E. Andrews and Andrew V. Sills . . . . . . . . . . . . . . . . . . . . . . . . . . 116
2.6 Burnside/Pólya Counting Formula — Alan C. Tucker . . . . . . . . . . . . . . . . . . . . . . . . 124
2.7 Möbius Inversion Counting — Edward A. Bender . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
2.8 Young Tableaux — Bruce E. Sagan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133

3. SEQUENCES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
3.1 Special Sequences — Thomas A. Dowling and Douglas R. Shier . . . . . . . . . . . . . . 143
3.2 Generating Functions — Ralph P. Grimaldi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173
3.3 Recurrence Relations — Ralph P. Grimaldi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .180
3.4 Finite Differences — Jay Yellen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 191
3.5 Finite Sums and Summation — Victor S. Miller . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 196
3.6 Asymptotics of Sequences — Edward A. Bender and Juanjo Rué . . . . . . . . . . . . . 202
3.7 Mechanical Summation Procedures — Kenneth H. Rosen . . . . . . . . . . . . . . . . . . . 207

4. NUMBER THEORY . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 217

4.1 Basic Concepts — Kenneth H. Rosen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 223
4.2 Greatest Common Divisors — Kenneth H. Rosen . . . . . . . . . . . . . . . . . . . . . . . . . . . 231
4.3 Congruences — Kenneth H. Rosen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 235
4.4 Prime Numbers — Jon F. Grantham and Carl Pomerance . . . . . . . . . . . . . . . . . . . . . 240
4.5 Factorization — Jon F. Grantham and Carl Pomerance . . . . . . . . . . . . . . . . . . . . . . . . 261
4.6 Arithmetic Functions — Kenneth H. Rosen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 266
4.7 Primitive Roots and Quadratic Residues — Kenneth H. Rosen . . . . . . . . . . . . . . 275
4.8 Diophantine Equations — Bart E. Goddard . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 288
x CONTENTS

4.9 Diophantine Approximation — Jeff Shalit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 297

4.10 Algebraic Number Theory — Lawrence C. Washington . . . . . . . . . . . . . . . . . . . . . 302
4.11 Elliptic Curves — Lawrence C. Washington . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 311

5. ALGEBRAIC STRUCTURES — John G. Michaels . . . . . . . . . . . . . . . . . . . . 323

5.1 Algebraic Models . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 329
5.2 Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 331
5.3 Permutation Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 343
5.4 Rings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 347
5.5 Polynomial Rings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 353
5.6 Fields . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .356
5.7 Lattices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 366
5.8 Boolean Algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 369

6. LINEAR ALGEBRA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 381

6.1 Vector Spaces — Joel V. Brawley . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 387
6.2 Linear Transformations — Joel V. Brawley . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 397
6.3 Matrix Algebra — Peter R. Turner . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 405
6.4 Linear Systems — Barry Peyton and Esmond Ng . . . . . . . . . . . . . . . . . . . . . . . . . . . . .420
6.5 Eigenanalysis — R. B. Bapat . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 433
6.6 Combinatorial Matrix Theory — R. B. Bapat and Geir Dahl . . . . . . . . . . . . . . . . . . . 445
6.7 Singular Value Decomposition — Carla D. Martin . . . . . . . . . . . . . . . . . . . . . . . . . . . 458

7. DISCRETE PROBABILITY . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .475

7.1 Fundamental Concepts — Joseph R. Barr . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 480
7.2 Independence and Dependence — Joseph R. Barr . . . . . . . . . . . . . . . . . . . . . . . . . 483
7.3 Random Variables — Joseph R. Barr . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 490
7.4 Discrete Probability Computations — Peter R. Turner . . . . . . . . . . . . . . . . . . . . . . . 496
7.5 Random Walks — Patrick Jaillet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 501
7.6 System Reliability — Douglas R. Shier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 508
7.7 Discrete-Time Markov Chains — Vidyadhar G. Kulkarni . . . . . . . . . . . . . . . . . . . . . 518
7.8 Hidden Markov Models — Narada Warakagoda . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 527
7.9 Queueing Theory — Vidyadhar G. Kulkarni . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 536
7.10 Simulation — Lawrence M. Leemis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 543
7.11 The Probabilistic Method — Niranjan Balachandran . . . . . . . . . . . . . . . . . . . . . . . . 551

8. GRAPH THEORY . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 569

8.1 Introduction to Graphs — Lowell W. Beineke . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 584
8.2 Graph Models — Jonathan L. Gross . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 599
8.3 Directed Graphs — Stephen B. Maurer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .601
8.4 Distance, Connectivity, Traversability, & Matchings — Edward R. Scheinerman
and Michael D. Plummer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 612
8.5 Graph Isomorphism and Reconstruction — Bennet Manvel, Adolfo Piperno,
 CONTENTS xi

and Josef Lauri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 625

8.6 Graph Colorings, Labelings, & Related Parameters — Arthur T. White, Teresa
W. Haynes, Michael A. Henning, Glenn Hurlbert, and Joseph A. Gallian . . . . . . . . . . 631
8.7 Planar Drawings — Jonathan L. Gross . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 647
8.8 Topological Graph Theory — Jonathan L. Gross . . . . . . . . . . . . . . . . . . . . . . . . . . . . 654
8.9 Enumerating Graphs — Paul K. Stockmeyer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 659
8.10 Graph Families — Maria Chudnovsky, Michael Doob, Michael Krebs, Anthony
Shaheen, Richard Hammack, Sandi Klavžar, and Wilfried Imrich . . . . . . . . . . . . . . . . .669
8.11 Analytic Graph Theory — Stefan A. Burr . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 679
8.12 Hypergraphs — András Gyárfás . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 684

9. TREES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 693
9.1 Characterizations and Types of Trees — Lisa Carbone . . . . . . . . . . . . . . . . . . . . . .696
9.2 Spanning Trees — Uri Peled . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 705
9.3 Enumerating Trees — Paul K. Stockmeyer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 711

10. NETWORKS AND FLOWS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 721

10.1 Minimum Spanning Trees — J. B. Orlin and Ravindra K. Ahuja . . . . . . . . . . . . . . 726
10.2 Matchings — Douglas R. Shier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 733
10.3 Shortest Paths — J. B. Orlin and Ravindra K. Ahuja . . . . . . . . . . . . . . . . . . . . . . . . . 748
10.4 Maximum Flows — J. B. Orlin and Ravindra K. Ahuja . . . . . . . . . . . . . . . . . . . . . . . . 759
10.5 Minimum Cost Flows — J. B. Orlin and Ravindra K. Ahuja . . . . . . . . . . . . . . . . . . 769
10.6 Communication Networks — David Simchi-Levi, Sunil Chopra, and M. Gisela
Bardossy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 779
10.7 Difficult Routing and Assignment Problems — Bruce L. Golden, Bharat K.
Kaku, and Xingyin Wang . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 793
10.8 Small-World Networks — Vladimir Boginski, Jongeun Kim, and Vladimir
Stozhkov . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 807
10.9 Network Representations and Data Structures — Douglas R. Shier . . . . . . . . 826

11. PARTIALLY ORDERED SETS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 843

11.1 Basic Poset Concepts — Graham Brightwell and Douglas B. West . . . . . . . . . . . 851
11.2 Poset Properties — Graham Brightwell and Douglas B. West . . . . . . . . . . . . . . . . . 864

12. COMBINATORIAL DESIGNS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 879

12.1 Block Designs — Charles J. Colbourn and Jeffrey H. Dinitz . . . . . . . . . . . . . . . . . . .885
12.2 Symmetric Designs and Finite Geometries — Charles J. Colbourn and
Jeffrey H. Dinitz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 896
12.3 Latin Squares and Orthogonal Arrays — Charles J. Colbourn and Jeffrey H.
Dinitz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 905
xii CONTENTS

12.4 Matroids — James G. Oxley . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 913

13. DISCRETE AND COMPUTATIONAL GEOMETRY . . . . . . . . . . . . 925

13.1 Arrangements of Geometric Objects — Ileana Streinu . . . . . . . . . . . . . . . . . . . . . 933
13.2 Space Filling — Karoly Bezdek . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 952
13.3 Combinatorial Geometry — János Pach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .961
13.4 Polyhedra — Tamal K. Dey . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 970
13.5 Algorithms and Complexity in Computational Geometry — Jianer Chen . . . .974
13.6 Geometric Data Structures and Searching — Dina Kravets . . . . . . . . . . . . . . . . 983
13.7 Computational Techniques — Nancy M. Amato . . . . . . . . . . . . . . . . . . . . . . . . . . . . 992
13.8 Applications of Geometry — W. Randolph Franklin . . . . . . . . . . . . . . . . . . . . . . . . . 998

14. CODING THEORY — Alfred J. Menezes, Paul C. van Oorschot, David

Joyner, and Tony Shaska . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1023
14.1 Communication Systems and Information Theory . . . . . . . . . . . . . . . . . . . . . . . . . 1027
14.2 Basics of Coding Theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1031
14.3 Linear Codes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .1035
14.4 Cyclic Codes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1044
14.5 Bounds for Codes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1053
14.6 Nonlinear Codes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1056
14.7 Convolutional Codes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1057
14.8 Quantum Error-Correcting Codes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .1062

15. CRYPTOGRAPHY — Charles C. Y. Lam (Chapter Editor) . . . . . . . . . . . . . . 1069

15.1 Basics of Cryptography — Charles C. Y. Lam . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1075
15.2 Classical Cryptography — Charles C. Y. Lam . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1079
15.3 Modern Private Key Cryptosystems — Khoongming Khoo . . . . . . . . . . . . . . . . 1083
15.4 Hash Functions — Charles C. Y. Lam . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1096
15.5 Public Key Cryptography — Shaoquan Jiang and Charles C. Y. Lam . . . . . . . . 1100
15.6 Cryptographic Mechanisms — Shaoquan Jiang . . . . . . . . . . . . . . . . . . . . . . . . . . 1112
15.7 High-Level Applications of Cryptography — Charles C. Y. Lam . . . . . . . . . . . . 1129

16. DISCRETE OPTIMIZATION . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1143

16.1 Linear Programming — Beth Novick . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1148
16.2 Location Theory — S. Louis Hakimi and Maria Albareda . . . . . . . . . . . . . . . . . . . . 1174
16.3 Packing and Covering — Sunil Chopra and David Simchi-Levi . . . . . . . . . . . . . . 1185
16.4 Activity Nets — S. E. Elmaghraby . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1195
16.5 Game Theory — Michael Mesterton-Gibbons . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .1205
16.6 Sperner’s Lemma and Fixed Points — Joseph R. Barr . . . . . . . . . . . . . . . . . . . . 1217
16.7 Combinatorial Auctions — Robert W. Day . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1222
16.8 Very Large-Scale Neighborhood Search — Douglas Altner . . . . . . . . . . . . . . . 1232
 CONTENTS xiii

16.9 Tabu Search — Manuel Laguna . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1241

17. THEORETICAL COMPUTER SCIENCE . . . . . . . . . . . . . . . . . . . . . . . 1265

17.1 Computational Models — Wayne Goddard . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1274
17.2 Computability — William Gasarch . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1286
17.3 Languages and Grammars — Aarto Salomaa . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1290
17.4 Algorithmic Complexity — Thomas Cormen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1301
17.5 Complexity Classes — Lane A. Hemaspaandra . . . . . . . . . . . . . . . . . . . . . . . . . . . 1308
17.6 Randomized Algorithms — Milena Mihail . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .1315

18. INFORMATION STRUCTURES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1323

18.1 Abstract Datatypes — Charles H. Goldberg . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1330
18.2 Concrete Data Structures — Jonathan L. Gross . . . . . . . . . . . . . . . . . . . . . . . . . . 1339
18.3 Sorting and Searching — Jianer Chen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1347
18.4 Hashing — Viera Krnanova Proulx . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1362
18.5 Dynamic Graph Algorithms — Joan Feigenbaum and Sampath Kannan . . . . . 1365

19. DATA MINING . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1375

19.1 Data Mining Fundamentals — Richard Scherl . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1378
19.2 Frequent Itemset Mining and Association Rules — Richard Scherl . . . . . . . . 1384
19.3 Classification Methods — Richard Scherl . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1387
19.4 Clustering — Daniel Aloise and Pierre Hansen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1394
19.5 Outlier Detection — Richard Scherl . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1417

20. DISCRETE BIOINFORMATICS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1425

20.1 Sequence Alignment — Stephen F. Altschul and Mihai Pop . . . . . . . . . . . . . . . . . 1428
20.2 Phylogenetics — Joseph Rusinko . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1446
20.3 Discrete-Time Dynamical Systems — Elena Dimitrova . . . . . . . . . . . . . . . . . . . .1455
20.4 Genome Assembly — Andy Jenkins and Matthew Macauley . . . . . . . . . . . . . . . . 1467
20.5 RNA Folding — Qijun He, Matthew Macauley, and Svetlana Poznanović . . . . . . 1475
20.6 Combinatorial Neural Codes — Carina Curto and Vladimir Itskov . . . . . . . . . . .1483
20.7 Food Webs and Graphs — Margaret Cozzens . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1490

BIOGRAPHIES — Victor J. Katz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1515

INDEX . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1541
 PREFACE xv

PREFACE
The importance of discrete and combinatorial mathematics has increased dramatically
within the last few decades. This second edition has been written to update all content
and to broaden the coverage. We have been gratified by the success of the first edition
of the Handbook. We hope that the many readers who have asked for a second edition
will find it worth the wait.
The purpose of the Handbook of Discrete and Combinatorial Mathematics is to provide
a comprehensive reference volume for computer scientists, engineers, mathematicians,
as well as students, physical and social scientists, and reference librarians, who need
information about discrete and combinatorial mathematics.
This first edition of this book was the first resource that presented such information in
a ready-reference form designed for all those who use aspects of this subject in their
work or studies. This second edition is a major revision of the first edition. It includes
extensive additions and updates, summarized later in this preface. The scope of this
handbook includes the many areas generally considered to be parts of discrete mathe-
matics, focusing on the information considered essential to its application in computer
science, engineering, and other disciplines. Some of the fundamental topic areas covered
in this edition include:
logic and set theory graph theory
enumeration trees
integer sequences network flows
recurrence relations combinatorial designs
generating functions computational geometry
number theory coding theory
abstract algebra cryptography
linear algebra discrete optimization
discrete probability theory automata theory
data mining data structures and algorithms
discrete bioinformatics

Format
The material in the Handbook is presented so that key information can be located and
used quickly and easily. Each chapter includes a glossary that provides succinct defini-
tions of the most important terms from that chapter. Individual topics are covered in
sections and subsections within chapters, each of which is organized into clearly identi-
fiable parts: definitions, facts, and examples. Lists of facts include:

• information about how material is used and why it is important

• historical information
• key theorems
• the latest results
• the status of open questions
xvi PREFACE

• tables of numerical values, generally not easily computed

• summary tables
• key algorithms in simple pseudocode
• information about algorithms, such as their complexity
• major applications
• pointers to additional resources, both websites and printed material.

Facts are presented concisely and are listed so that they can be easily found and un-
derstood. Cross-references linking portions of the Handbook are also provided. Readers
who wish to study a topic further can consult the resources listed.
The material in the Handbook has been chosen for inclusion primarily because it is
important and useful. Additional material has been added to ensure comprehensiveness
so that readers encountering new terminology and concepts from discrete mathematics
in their explorations will be able to get help from this book.
Examples are provided to illustrate some of the key definitions, facts, and algorithms.
Some curious and entertaining facts and puzzles that some readers may find intriguing are
also included. Readers will also find an extensive collection of biographies after the main
chapters, highlighting the lives of many important contributors to discrete mathematics.
Each chapter of the book includes a list of references divided into a list of printed resources
and a list of relevant websites.

How This Book Was Developed

The organization and structure of the first edition of this Handbook were developed by
a team that included the chief editor, three associate editors, a project editor, and the
editor from CRC Press. This team put together a proposed table of contents which
was then analyzed by members of a group of advisory editors, each an expert in one
or more aspects of discrete mathematics. These advisory editors suggested changes,
including the coverage of additional important topics. Once the table of contents was
fully developed, the individual sections of the book were prepared by a group of more
than 70 contributors from industry and academia who understand how this material is
used and why it is important. Contributors worked under the direction of the associate
editors and chief editor, with these editors ensuring consistency of style as well as clarity
and comprehensiveness in the presentation of material. Material was carefully reviewed
by authors and our team of editors to ensure accuracy and consistency of style.
For the second edition, a new team was assembled. The first goal of this team was to
put together a new table of contents. This involved identifying opportunities for new
chapters and new sections to broaden the scope and appeal of the second edition. With
the help of previous and new contributors, additional material was developed and existing
material was updated and expanded, following the style and maintaining, or improving,
the presentation in the first edition.

Changes in the Second Edition

The development of the second edition of this book was a major effort, extending over
many years. Since the first edition appeared in 1999, many new discoveries have been
made and new areas have grown in importance. Important changes include:
 PREFACE xvii

• an increase from 17 to 20 chapters and over 360 additional pages

• new chapters on discrete bioinformatics and data mining
• individual chapters on coding theory and on cryptography with expanded coverage
(previously covered in a single chapter)
• new sections on many topics, including
Algebraic Number Theory Elliptic Curves
Singular Value Decomposition Hidden Markov Models
Probabilistic Method Perfect Graphs
Expander Graphs Small-World Networks
Combinatorial Auctions Very Large-Scale Neighborhood Search
Tabu Search Quantum Error-Correcting Codes
Classical Cryptography Cryptographic Hashing Functions
Cryptographic Mechanisms Modern Private Key Cryptography
Cryptographic Applications Association Methods
Classification Clustering
Outlier Analysis Sequence Alignment
Phylogenetic Trees Discrete-Time Dynamical Systems
RNA Folding Food Webs and Competition Graphs
Neural Codes Genome Assembly
• thousands of updates and additions to existing sections, with major changes or new
subsections including
Primes Numbers Combinatorial Matrix Theory
Cyclic Codes Public Key Cryptography
Partitions Asymptotics of Sequences
Factorization Distance, Connectivity, Traversability, and Matching
Expander Graphs Graph Colorings, Labelings, and Related Parameters
Simulation Communication Networks
Location Theory Difficult Routing and Assignment Problems
• more than 30 new biographies
• hundreds of new web resources, which have been accessed to verify their availability
in mid-2017

Acknowledgments
First and foremost, we thank Bob Ross, the CRC editor for this book, for his support
and his encouragement in completing this Handbook. We would also like to thank Bob
Stern, our previous editor, for initiating the project of updating the Handbook and for
supporting us patiently over many years. We would also like to thank Wayne Yuhasz,
our original CRC editor, who commissioned the first edition. Thanks also go to the staff
at CRC who helped with the production.
We would also like to thank the many people who were involved with this project. First,
we would like to thank the team of advisory editors who helped make this reference
xviii PREFACE

relevant, useful, unique, and up-to-date. We want to thank our many contributors for
their wonderful contributions and to several who helped edit individual chapters. With
the passing of time, some of our advisory editors and contributors are no longer with
us. We fondly remember and appreciate these colleagues and friends. (We have used the
symbol ⊛ to designate these individuals.)
Finally, as Chief Editor, I would like to express my gratitude to my two associate editors
for this edition. Without either of them this new edition would not have been possible.
Both were essential in our quest to bring this Handbook up to date and to extend its
scope. Douglas Shier confronted every problem that got in our way and found a workable
solution. He kept the progress on this project going with his commitment and his abilities.
Wayne Goddard used his masterful LATEX skills to overcome all the typesetting challenges
that confronted us as we migrated to a new typesetting environment.

MATLAB R is a registered trademark of The MathWorks, Inc. For product information please
contact: The MathWorks, Inc., 3 Apple Hill Drive, Natick, MA, 01760-2098 USA. Tel: 508-647-
7000, Fax: 508-647-7001, E-mail: info@mathworks.com, Web: www.mathworks.com
 ADVISORY EDITORIAL BOARD xix

ADVISORY EDITORIAL BOARD

Andrew Odlyzko — Chief Advisory Editor
University of Minnesota

⊛
Stephen F. Altschul Frank Harary
National Institutes of Health New Mexico State University

George E. Andrews Alan Hoffman

Pennsylvania State University IBM
⊛
Francis T. Boesch Bernard Korte
Stevens Institute of Technology Univeristy of Bonn

Ernie Brickell Jeffrey C. Lagarias

Intel Corp. University of Michigan

Fan R. K. Chung Carl Pomerance

Univ. of California at San Diego Dartmouth University

Charles J. Colbourn Fred S. Roberts

Arizona State University Rutgers University

Stan Devitt Pierre Rosenstiehl

Oracle Centre d’Analyse et de Math. Soc.

Zvi Galil Francis Sullivan

Columbia University Institute for Defense Analyses

Keith Geddes J. H. van Lint

University of Waterloo Eindhoven University of Technology
⊛
Ronald L. Graham Scott Vanstone
Univ. of California at San Diego University of Waterloo

Ralph P. Grimaldi Peter Winkler

Rose-Hulman Inst. of Technology Dartmouth University
 CONTRIBUTORS xxi

CONTRIBUTORS
Ravindra K. Ahuja Joel V. Brawley
University of Florida Clemson University

Maria Albareda Graham Brightwell

Universitat Politècnica de Catalunya London School of Economics

Daniel Aloise Stefan A. Burr

Universidade Federal do Rio Grande City College of New York
do Norte
Lisa Carbone
Douglas Altner Rutgers University
MITRE
Jianer Chen
Stephen F. Altschul Texas A&M University
National Center for Biotechnology
Sunil Chopra
Nancy M. Amato Northwestern University
Texas A&M University
Maria Chudnovsky
George E. Andrews Princeton University
Pennsylvania State University
Charles J. Colbourn
Arizona State University
Niranjan Balachandran
Indian Institute of Technology, Bombay
Thomas Cormen
Dartmouth College
R. B. Bapat
Indian Statistical Institute Margaret Cozzens
Rutgers University
M. Gisela Bardossy
University of Baltimore Carina Curto
Pennyslvania State University
Joseph R. Barr
HomeUnion Geir Dahl
University of Oslo
Lowell W. Beineke
Indiana University – Purdue University Mukesh Dalal
Fort Wayne i2 Technologies

Edward A. Bender Robert W. Day

University of California at San Diego University of Connecticut

Karoly Bezdek Tamal K. Dey

Cornell University Ohio State University

Vladimir Boginski Elena Dimitrova

University of Florida Clemson University
xxii CONTRIBUTORS

⊛
Jeffrey H. Dinitz S. Louis Hakimi
University of Vermont University of California at Davis

Michael Doob Richard Hammack

University of Manitoba Virginia Commonwealth University

Thomas A. Dowling Pierre Hansen

Ohio State University HEC Montréal
⊛
S. E. Elmaghraby Teresa W. Haynes
North Carolina State University East Tennessee State University

Susanna S. Epp Qijun He

DePaul University Virginia Tech

Joan Feigenbaum Lane A. Hemaspaandra

Yale University University of Rochester

W. Randolph Franklin Michael A. Henning

Rensselaer Polytechnic Institute University of Johannesburg

Joseph A. Gallian Glenn Hurlbert

University of Minnesota Duluth Virginia Commonwealth University

William Gasarch Wilfried Imrich

University of Maryland Montanuniversität Leoben

Bart E. Goddard Vladimir Itskov

University of Texas Pennsylvania State University

Wayne Goddard Patrick Jaillet

Clemson University Massachusetts Institute of Technology
⊛
Charles H. Goldberg Andy Jenkins
The College of New Jersey University of Georgia

Bruce L. Golden Shaoquan Jiang

University of Maryland Mianyang Normal University

Jon F. Grantham David Joyner

Institute for Defense Analyses United States Naval Academy

Ralph P. Grimaldi Bharat K. Kaku

Rose-Hulman Institute of Technology Georgetown University

Jonathan L. Gross Sampath Kannan

Columbia University University of Pennsylvania

Jerrold W. Grossman Victor J. Katz

Oakland University University of the District of Columbia

András Gyárfás Khoongming Khoo

Hungarian Academy of Sciences DSO National Laboratories, Singapore
 CONTRIBUTORS xxiii

Jongeun Kim Esmond Ng

University of Florida Lawrence Berkeley National Laboratory

Sandi Klavžar Beth Novick

University of Ljubljana Clemson University

Dina Kravets J. B. Orlin

Retired Massachusetts Institute of Technology

Michael Krebs James G. Oxley

California State University, Los Angeles Louisiana State University

Vidyadhar G. Kulkarni János Pach

University of North Carolina EPFL Lausanne and Rényi Institute

Manuel Laguna Edward W. Packel

University of Colorado Lake Forest College
⊛
Charles C. Y. Lam Uri Peled
California State University, Bakersfield University of Illinois at Chicago

Josef Lauri Barry Peyton

University of Malta Dalton State College

Lawrence M. Leemis Adolfo Piperno

The College of William and Mary Sapienza University of Rome

Matthew Macauley Michael D. Plummer

Clemson University Vanderbilt University

Bennet Manvel Carl Pomerance

Colorado State University Dartmouth University
⊛
Carla D. Martin Mihai Pop
National Security Agency University of Maryland

Stephen B. Maurer Svetlana Poznanović

Swarthmore College Clemson University

Alfred J. Menezes Viera Krnanova Proulx

University of Waterloo Northeastern University

Michael Mesterton-Gibbons Robert G. Rieper

Florida State University William Patterson University

John G. Michaels David Riley

SUNY Brockport University of Wisconsin

Milena Mihail Kenneth H. Rosen

Georgia Institute of Technology Monmouth University

Victor S. Miller Juanjo Rué

Institute for Defense Analyses Universitat Politècnica de Catalunya
xxiv CONTRIBUTORS

Joseph Rusinko Vladimir Stozhkov

Hobart and William Smith Colleges University of Florida

Bruce E. Sagan Ileana Streinu

Michigan State University Smith College

Aarto Salomaa Alan C. Tucker

University of Turku SUNY Stony Brook
Edward R. Scheinerman Peter R. Turner
Johns Hopkins University United States Naval Academy
Richard Scherl Paul C. van Oorschot
Monmouth University Entrust Technologies
Anthony Shaheen Xingyin Wang
California State University, Los Angeles
Singapore University of Technology
and Design
Jeff Shalit
University of Waterloo
Narada Warakagoda
Tony Shaska Telenor
Oakland University
Lawrence C. Washington
Douglas R. Shier University of Maryland
Clemson University
Douglas B. West
Andrew V. Sills University of Illinois at Urbana–
Georgia Southern University Champaign

David Simchi-Levi Arthur T. White

Northwestern University Western Michigan University

Paul K. Stockmeyer Jay Yellen

The College of William and Mary Florida Institute of Technology
1
FOUNDATIONS
1.1 Propositional and Predicate Logic Jerrold W. Grossman
1.1.1 Propositions and Logical Operations
1.1.2 Equivalences, Identities, and Normal Forms
1.1.3 Predicate Logic
1.2 Set Theory Jerrold W. Grossman
1.2.1 Sets
1.2.2 Set Operations
1.2.3 Infinite Sets
1.2.4 Axioms for Set Theory
1.3 Functions Jerrold W. Grossman
1.3.1 Basic Terminology for Functions
1.3.2 Computational Representation
1.3.3 Asymptotic Behavior
1.4 Relations John G. Michaels
1.4.1 Binary Relations and Their Properties
1.4.2 Equivalence Relations
1.4.3 Partially Ordered Sets
1.4.4 n-ary Relations
1.5 Proof Techniques Susanna S. Epp
1.5.1 Rules of Inference
1.5.2 Proofs
1.5.3 Disproofs
1.5.4 Mathematical Induction
1.5.5 Diagonalization Arguments
1.6 Axiomatic Program Verification David Riley
1.6.1 Assertions and Semantic Axioms
1.6.2 NOP, Assignment, and Sequencing Axioms
1.6.3 Axioms for Conditional Execution Constructs
1.6.4 Axioms for Loop Constructs
1.6.5 Axioms for Subprogram Constructs
1.7 Logic-Based Computer Programming Paradigms Mukesh Dalal
1.7.1 Logic Programming
1.7.2 Fuzzy Sets and Logic
1.7.3 Production Systems
1.7.4 Automated Reasoning
 2 Chapter 1 FOUNDATIONS

INTRODUCTION
This chapter covers material usually referred to as the foundations of mathematics, in-
cluding logic, sets, and functions. In addition to covering these foundational areas, this
chapter includes material that shows how these topics are applied to discrete mathe-
matics, computer science, and electrical engineering. For example, this chapter covers
methods of proof, program verification, and fuzzy reasoning.

GLOSSARY
action: a literal or a print command in a production system.
aleph-null: the cardinality ℵ0 of the set N of natural numbers.
AND: the logical operator for conjunction, also written ∧.
antecedent: in a conditional proposition p → q (“if p then q”), the proposition p (“if-
clause”) that precedes the arrow.
antichain: a subset of a poset in which no two elements are comparable.
antisymmetric: the property of a binary relation R that if aRb and bRa, then a = b.
argument form: a sequence of statement forms, each called a premise of the argument,
followed by a statement form called a conclusion of the argument.
assertion (or program assertion): a program comment specifying some conditions
on the values of the computational variables; these conditions are supposed to hold
whenever program flow reaches the location of the assertion.
/ a.
asymmetric: the property of a binary relation R that if aRb, then bR
asymptotic: A function f is asymptotic to a function g, written f (x) ∼ g(x), if f (x) 6=
0 for sufficiently large x and limx→∞ fg(x)
(x) = 1.

atom (or atomic formula): a simplest formula of predicate logic.

atomic formula: See atom.
atomic proposition: a proposition that cannot be analyzed into smaller parts and
logical operations.
automated reasoning: the process of proving theorems using a computer program
that can draw conclusions that follow logically from a set of given facts.
axiom: a statement that is assumed to be true; a postulate.
axiom of choice: the assertion that given any nonempty collection A of pairwise dis-
joint sets, there is a set that consists of exactly one element from each of the sets in
A.
axiom (or semantic axiom): a rule for a programming language construct prescribing
the change of values of computational variables when an instruction of that construct-
type is executed.
basis step: a proof of the basis premise (first case) in a proof by mathematical induc-
tion.
big-oh notation: f is O(g), written f = O(g), if there are constants C and k such that
|f (x)| ≤ C|g(x)| for all x > k.
 GLOSSARY 3

bijection (or bijective function): a function that is one-to-one and onto.

bijective function: See bijection.
binary relation (from a set A to a set B): any subset of A × B.
binary relation (on a set A): a binary relation from A to A; i.e., a subset of A × A.
body (of a clause A1 , . . . , An ← B1 , . . . , Bm in a logic program): the literals B1 , . . . , Bm
after ←.
cardinal number (or cardinality) of a set: for a finite set, the number of elements;
for an infinite set, the order of infinity. The cardinal number of S is written |S|.
cardinality: See cardinal number.
Cartesian product (of sets A and B): the set A× B of ordered pairs (a, b) with a ∈ A
and b ∈ B (more generally, the iterated Cartesian product A1 × A2 × · · · × An is
the set of ordered n-tuples (a1 , a2 , . . . , an ), with ai ∈ Ai for each i).
ceiling (of x): the smallest integer that is greater than or equal to x, written ⌈x⌉.
chain: a subset of a poset in which every pair of elements are comparable.
characteristic function (of a set S): the function from S to {0, 1} whose value at x
is 1 if x ∈ S and 0 if x ∈
/ S.
clause (in a logic program): a closed formula of the form ∀x1 . . . ∀xs (A1 ∨ · · · ∨ An ←
B1 ∧ · · · ∧ Bm ).
closed formula: for a function value f (x), an algebraic expression in x.
closure (of a relation R with respect to a property P): the relation S, if it exists, that
has property P and contains R, such that S is a subset of every relation that has
property P and contains R.
codomain (of a function): the set in which the function values occur.
comparable (elements in a poset): elements that are related by the partial order rela-
tion.
complement (of a relation): given a relation R, the relation R where aRb if and only
/ b.
if aR
complement (of a set): given a set A in a “universal” domain U , the set A of objects
in U that are not in A.
complement operator: a function [0, 1] → [0, 1] used for complementing fuzzy sets.
complete: the property of a set of axioms that it is possible to prove all true statements.
complex number: a number of the form a + bi, where a and b are real numbers, and
i2 = −1; the set of all complex numbers is denoted C.
composite key: given an n-ary relation R on A1 × A2 × · · · × An , a product of domains
Ai1 × Ai2 × · · ·× Aim such that for each m-tuple (ai1 , ai2 , . . . , aim ) ∈ Ai1 × Ai2 × · · · ×
Aim , there is at most one n-tuple in R that matches (ai1 , ai2 , . . . , aim ) in coordinates
i1 , i2 , . . . , im .
composition (of relations): for R a relation from A to B and S a relation from B to
C, the relation S ◦ R from A to C such that a(S ◦ R)c if and only if there exists
b ∈ B such that aRb and bSc.
composition (of functions): the function f ◦ g whose value at x is f (g(x)).
4 Chapter 1 FOUNDATIONS

compound proposition: a proposition built up from atomic propositions and logical

connectives.
computer-assisted proof : a proof that relies on checking the validity of a large num-
ber of cases using a special purpose computer program.
conclusion (of an argument form): the last statement of an argument form.
conclusion (of a proof): the last proposition of a proof; the objective of the proof is
demonstrating that the conclusion follows from the premises.
condition: the disjunction A1 ∨ · · · ∨ An of atomic formulas.
conditional statement: the compound proposition p → q (“if p then q”) that is true
except when p is true and q is false.
conjunction: the compound proposition p ∧ q (“p and q”) that is true only when p and
q are both true.
conjunctive normal form: for a proposition in the variables p1 , p2 , . . . , pn , an equiva-
lent proposition that is the conjunction of disjunctions, with each disjunction of the
form xk1 ∨ xk2 ∨ · · · ∨ xkm , where xkj is either pkj or ¬pkj .
consequent: in a conditional proposition p → q (“if p then q”) the proposition q (“then-
clause”) that follows the arrow.
consistent: the property of a set of axioms that no contradiction can be deduced from
the axioms.
construct (or program construct): the general form of a programming instruction
such as an assignment, a conditional, or a while-loop.
continuum hypothesis: the assertion that the cardinal number of the real numbers
is the smallest cardinal number greater than the cardinal number of the natural
numbers.
contradiction: a self-contradictory proposition, one that is always false.
contradiction (in an indirect proof): the negation of a premise.
contrapositive (of the conditional proposition p → q): the conditional proposition
¬q → ¬p.
converse (of the conditional proposition p → q): the conditional proposition q → p.
converse relation: another name for the inverse relation.
corollary: a theorem that is derived as an easy consequence of another theorem.
correct conclusion: the conclusion of a valid proof, when all the premises are true.
countable set: a set that is finite or denumerable.
counterexample: a case that makes a statement false.
definite clause: clause with at most one atom in its head.
denumerable set: a set that can be placed in one-to-one correspondence with the
natural numbers.
diagonalization proof : any proof that involves something analogous to the diagonal
of a list of sequences.
difference: a binary relation R − S such that a(R − S)b if and only if aRb is true
and aSb is false.
Another random document with
no related content on Scribd:
 The Project Gutenberg eBook of Landesverein
Sächsischer Heimatschutz — Mitteilungen Band
XIII, Heft 5-6
This ebook is for the use of anyone anywhere in the United
States and most other parts of the world at no cost and with
almost no restrictions whatsoever. You may copy it, give it away
or re-use it under the terms of the Project Gutenberg License
included with this ebook or online at www.gutenberg.org. If you
are not located in the United States, you will have to check the
laws of the country where you are located before using this
eBook.

Title: Landesverein Sächsischer Heimatschutz — Mitteilungen

Band XIII, Heft 5-6
Monatsschrift für Heimatschutz, Volkskunde und
Denkmalpflege

Author: Landesverein Sächsischer Heimatschutz

Release date: October 28, 2023 [eBook #71976]

Language: German

Original publication: Dresden: Landesverein Sächsischer

Heimatschutz, 1924

Credits: The Online Distributed Proofreading Team at

https://www.pgdp.net

*** START OF THE PROJECT GUTENBERG EBOOK

LANDESVEREIN SÄCHSISCHER HEIMATSCHUTZ —
MITTEILUNGEN BAND XIII, HEFT 5-6 ***
 Anmerkungen zur Transkription
Das Original ist in Fraktur gesetzt. Im Original gesperrter ist so ausgezeichnet.
Im Original in Antiqua gesetzter Text ist so markiert.
Weitere Anmerkungen zur Transkription befinden sich am Ende des Buches.
 Landesverein Sächsischer Heimatschutz
Dresden

Mitteilungen
Heft
5 bis 6
Monatsschrift für Heimatschutz, Volkskunde und Denkmalpflege
Band XIII
Inhalt: Weinberghäuser in der Lößnitz und den Meißner
Bergen – Herrensitze der Lößnitz – Die Lößnitz und die
Dresdner Heide – Der Untergang des Weinbaus – Die
Rotalge Hildenbrandia rivularis (Liebm.) Bréb., ein
ausgestorbenes (?) Naturdenkmal Sachsens – Vom
neuen Weinbau

Einzelpreis dieses Heftes 2 Goldmark

Geschäftsstelle: Dresden-A., Schießgasse 24
Postscheckkonto: Leipzig 13 987,
Dresden 15 835 Stadtgirokasse Dresden 610
Bankkonto: Commerz- und Privatbank, Abteilung Pirnaischer Platz,
Dresden
Bassenge & Fritzsche, Dresden
Dresden 1924
 An unsere werten Mitglieder!
Wir bitten wiederholt um Einsendung der Monatsbeiträge (1 Mark,
Ermäßigung bis auf 50 Pfg. stillschweigend bei wirtschaftlich
Schwachen gestattet).
Auch diesem Hefte liegt ein Anmeldezettel bei, der uns neue
Mitglieder zuführen soll. Wir bitten recht eifrig zu werben. Dank im
voraus.

Mit deutschem Gruß

Landesverein Sächsischer Heimatschutz

Band XIII, Heft 5/6 1924

Die Mitteilungen des Vereins werden in Bänden zu 12 Nummern

herausgegeben
Abgeschlossen am 1. Juni 1924
 Weinberghäuser in der Lößnitz und
den Meißner Bergen
Von Reg.-Baurat Dr. Paul Goldhardt
Wenn wir von den Elbhöhen unterhalb Dresdens, etwa vom
Standpunkte des Spitzhauses, ins weite lichte Land hinausblicken
und, die tektonischen Massen der herüber- und hinübergrüßenden
stolzen Ufer abwägend, das Bild des breit und majestätisch
dahinziehenden Elbstromes in uns aufnehmen, werden die zu
unseren Füßen sich ausbreitenden Niederungen gar bald unsere
Aufmerksamkeit auf sich ziehen. Welch ein unübersehbares
Häusermeer! Kauert sich doch von Dresden bis nahe an Meißen,
zwischen Gärten und Alleen eingebettet, ein Häuschen neben das
andere; kleine Giebelfenster blitzen unter roten und dunkelblauen
Dächern auf, in nicht endenwollender Zahl sind menschliche
Siedlungen und Arbeitsstätten zwischen Strom und Berg verstreut.
Vor solcher Übervölkerung der heimatlichen Erde erschrickt man,
und leise mischt sich die ständig mit uns wandelnde Sorge um das
Los unseres gequälten Volkes in die fröhliche Wanderstimmung. Und
doch, wer die trauten heimatlichen Täler und Höhen ins Herz
geschlossen hat, den werden die üppigen Gärten und die von weiter
Sicht so simpel daliegenden und in der Nähe gesehen so kompliziert
auf die modernen Bedürfnisse der Menschen eingestellten
Siedlungen auch mit Zuversicht erfüllen, denn sie versinnbildlichen
ihm mit eindringlicher Macht die unüberwindliche Kraft des Volkes,
die auch durch jahrzehntelange Unterdrückung hindurch zum Lichte
strebt. Sind doch all diese Gehöfte und Werkstätten innerhalb
weniger Jahrzehnte aus dem Erdboden geschossen und haben eine
vollkommene Umwertung der Landschaft hervorgerufen.
Der Wanderer, der gegen Anfang oder um die Mitte des
verflossenen Jahrhunderts die Elbhöhen erstieg, konnte noch
landschaftliche Bildungen von vollendeter Reinheit und Lieblichkeit
bewundern, von denen der heutige Zustand kaum noch einen
matten Abglanz widerspiegelt. Wem ständen, wenn er sich jener
Zeiten erinnert, nicht Ludwig Richtersche Radierungen vor Augen,
auf denen die Poesie der Weinkultur verherrlicht wurde? Sie sind für
immer dahin, jene anmutigen Zeiten der Bergeinsamkeit, die Tage
farbenreicher ländlicher Feste, der wandernden Gesellen und
versonnenen Zecher.
Und nur unsre Phantasie kann uns von der Unberührtheit der
damaligen Lößnitzberge eine Vorstellung geben, als dort noch ein
weiter großer Garten Gottes war, umzäunt und durchschnitten von
tausend Steinmäuerchen und Treppchen, die sich bergab und
bergauf zwischen saftigem Weinlaub, knorrigen Nußbäumen und
uralten Linden dahinzogen, als dieses ganze sonnige Berg- und
Hügelland samt der vorgelagerten breiten Talsohle, über und über in
Grün getaucht, noch frei war von städtischen Ansiedlungen, und als
dieses ewige Grün nur an ganz wenigen Stellen und wohlberechnet
durchsetzt war von den fröhlichen roten Ziegeldächern und weißen
Mauerflächen der kleinen Winzerhäuschen und Weingüter. Uns
bleibt, wenn wir jene alten schönen Zeiten neuerleben wollen, nichts
übrig, als sehenden Auges umherzuschweifen und den alten trauten
Zeugen einer verklungenen Kultur nachzuforschen. Mit der Freude
des Entdeckers werden wir zwischen Rebstöcken, abgebrochenen
Alleen und verfallenen Mäuerchen diese malerischen Häuschen eins
nach dem anderen auffinden und mit steigendem Entzücken
feststellen, welch große künstlerische Einheit sie umfaßt, wie immer
und immer wieder das trauliche Walmdach wiederkehrt, wie
hinsichtlich der Stellung des Häuschens zur Straße und zum
Weinberg und der künstlerischen Verflechtung von Haus, Garten und
Berg überall dieselbe ordnende Hand tätig gewesen zu sein scheint.
Stand doch das Winzerhaus wie das vornehme Landhaus immer
unten im Tal und überließ das sonnige Berggelände dem Rebstock,
der sich bis zum Bergkamm hinaufzog. Dort aber an höchster Stelle
entstanden allerliebste Wachthäuschen, denn zur Zeit der reifenden
Trauben war dort Aufsicht geboten. Welche anmutige Lösungen
fanden unsere Vorfahren hierfür, welche entzückenden Türmchen
und Pavillons krönen allerorts die Weinbergsgrundstücke und
erzählen von der fröhlichen Schaffenslust der Bewohner und von
ihrem feinen und natürlichen Gefühl für bauliche Aufgaben!
Wenden wir uns kurz dem geschichtlichen Ursprung und
Werdegang der Weinbergsbauten in der Lößnitz zu, so ist zunächst
festzustellen, daß aus der Zeit vor 1550 nichts Bemerkenswertes
erhalten ist, und daß die überwiegende Zahl der baulichen Anlagen
vom Anfang des achtzehnten bis zum Anfang des neunzehnten
Jahrhunderts errichtet wurde. Da aber die Rebenkultur in den
Elbbergen viel älteren Ursprungs ist, glaubt man sie doch, auf
gewisse Urkunden fußend, bis ins zwölfte Jahrhundert, also in die
Zeit der Neubesiedlung des Landes durch die Deutschen,
zurückverfolgen zu können, so scheint die Geschichte des
sächsischen Weinbaues nun schon dreiviertel Jahrtausend mit der
Entwicklung unserer engeren Heimat verknüpft zu sein. Im frühen
Mittelalter, als Sorben und Deutsche um den fruchtbaren Boden
gerungen haben, wurde der Weinbau von den Klöstern und
Kirchenfürsten gefördert, und gewiß war Meißen auch der
Ausgangspunkt dieser wichtigen Kulturerscheinung, deuten doch
gewisse altüberlieferte Orts- und Gebäudebezeichnungen, so z. B.
die der Bischofspresse in Zitzschewig, auf diese Tatsache hin.
Jahrhundertelang war die kleine Rebenstadt das Herz des Landes,
bis sie infolge von dessen politischer Umbildung das Zepter an
Dresden abtreten mußte. Der Weinbau aber hat indessen nicht
aufgehört, im Wirtschaftsleben des Landes eine große Rolle zu
spielen, und wir können annehmen, daß die Rebenkultur im Verlaufe
der Jahrhunderte von ausschlaggebender Bedeutung für die
landschaftliche Gestaltung des Elbgebirges und für sein bauliches
Bild gewesen ist.
Von Dresden aus übernahmen dann die weltlichen Fürsten die
Fürsorge für den Weinbau, höfische und städtische Kultur ist es, die
von jetzt ab im Gefolge des Weinbaues in die Berge vordringt. Es
sind die reichsten und schönsten Blätter der sächsischen
Kulturgeschichte, die sich uns nun eröffnen, die Zeit des
farbenprächtigen Barockes, jener wundervollen Stilgebundenheit, die
dem gesamten Leben der damaligen Zeit Glanz und Weihe verlieh.
August der Starke und seine schönheitstrunkene Zeit! Die Strenge
des Hofzeremoniells löste ein um so freieres, ungebundeneres
Landleben aus; erschöpft von den gesundheitraubenden Hoffesten
und überdrüssig des Staubes der bewegten Stadt, bestiegen die
zierlichen Perückendamen und höflichen Kavaliere die breiten
Staatskutschen, und hinaus in die weinumrankten Berghäuschen
ging die fröhliche Fahrt, anmutigen Schäferspielen und neuen
Intrigen entgegen. Und nun beginnt ein herzerquickender Wetteifer
der baulustigen Stadtherren, immer schönere Weingüter zu
ersinnen, immer lieblichere Gebilde aus Stein und Dachwerk
zwischen malerischen Bergtreppen und schnurgeraden Alleen
hervorzuzaubern. Freilich die Namen der Künstler sind verschollen.
Sei es drum, war doch das ganze schönheitsgierige Jahrhundert
kunstbegabt, war doch jeder ein Meister. Waren auch viele der
damals entstandenen Weinbergshäuser kleineren Umfanges und
von bescheidenem Äußeren, so erscheinen sie uns, die wir der
baulichen Verwilderung der letzten Jahrzehnte müde sind und gierig
dem Schatz unserer guten alten einheimischen Kunst nachforschen,
doch alle wie Zeugen aus einer besseren Zeit, in der anständige
künstlerische Durchbildung des Hauses noch eine
selbstverständliche Forderung war.
Als Auftakte der Lößnitzbaukunst sind in erster Linie das launige
mit reicher den Wein verherrlichender Plastik geschmückte Portal im
Garten der Hellerschänke, sodann das an der Baumwiese gelegene
Fachwerkhaus (Abb. 1) zu nennen. Es soll der Gräfin Cosel als
Zuflucht gedient haben und zeigt im Innern noch einige Reste
reicherer Raumdurchbildung, worauf ja schon der prächtige
Fachwerkserker, der in unserer Gegend selten vorkommt, hindeutet.
Zu diesen auf die Lößnitz vorbereitenden Bauwerken gehört aber
auch der gut umrissene Gasthof »Pfeifer« in Wahnsdorf und das alte
Weingut am Wilden Mann, Döbelner Straße 108 (Abb. 2).
 Abb. 1 Fachwerkhaus an der Baumwiese
Aufnahme von Josef Ostermaier, Dresden-Blasewitz

Inzwischen gelangen wir in die Oberlößnitz und stoßen an der

Wettinstraße auf ein rechtes Märchenhaus: das Kiauhaus (Abb. 3),
versteckt hinter einem dichten Schleier knorriger und
hochaufstrebender Zweige und gemütlich umgürtet von einer breit
geschwungenen Steinmauer. Sollen wir die Entstehung dieses
seltsamen Baumindividuums dem Zufall zuschreiben oder hat feiner
Gestaltungssinn diese wundervolle Einheit zwischen Menschenwerk
und Naturgebilde geschaffen? Man kann wohl nur letzteres
annehmen.
 Aufnahme von P. Georg Schäfer, Dresden
Abb. 2 Weingut in Dresden, Döbelner Straße
Noch schlichter und ländlicher wirkt Haus Breitig in der
Kronprinzstraße mit seinem dunklen Fachwerk und hellen
Putzfeldern, es steht so fest verankert mit dem Boden und innig
angeschmiegt an die Naturumgebung (Abb. 4).
 Aufnahme von J. Pfeiffer, Oberlößnitz
Abb. 3 Kiauhaus, Oberlößnitz, Wettinstraße
 Abb. 4 Haus Breitig, Oberlößnitz, Kronprinzstraße

An der Ecke der Nizza- und Sophienstraße treffen wir auf einen
besonders rassigen Bau, (Abb. 5), ohne jede schmückende Zierat ist
er in strenger Gesetzmäßigkeit aufgebaut, das obere Geschoß ist
kräftig zurückgesetzt und mittels breiter Dachschräge mit dem
Unterbau verbunden.
 Abb. 5 Haus Ecke Nizza- und Sophienstraße, Oberlößnitz
Wem daran gelegen ist, zunächst die architektonisch reicher
behandelten Bauten aufzusuchen, dem wird man empfehlen, in
allererster Linie das reizende kleine Bennoschlößchen zu
besichtigen (Abb. 6). Es liegt noch weiter ab vom Bergfuß an der
mittleren Bergstraße und ist einer der ältesten Zeugen der hier
behandelten Hausgattung. Da die Weinpresse später angebaut
wurde, ist es nicht ganz sicher, ob das aus der Zeit um 1600
stammende Häuschen schon von seiner Errichtung an als
Weinbergshaus gedient hat, es ist dies aber anzunehmen.
Bewundernswert ist der trotz bescheidener Größe mit
Renaissanceformen ausdrucksvoll gegliederte Gesamtumriß,
nebenbei erwähnt ein Beweis dafür, daß Bauwerke kleineren
Umfangs nicht immer auf reichere Formen verzichten müssen. Im
Innern freilich erinnert wenig mehr an alte Lebensfreude und
Weinlaunigkeit.
 Aufnahme von J. Pfeiffer, Oberlößnitz
Abb. 6 Bennoschlößchen, Oberlößnitz
 Abb. 7 Haus in der Bennostraße, Oberlößnitz

Das auf Abb. 7 gezeigte Haus in der Bennostraße zeichnet sich

durch gute Stellung in der Straße und durch einen interessanten
Dachgiebel aus, wie wenig an Zutaten bedurfte es doch, diesen
schlichten Häusern Eigenart und Reiz zu verleihen.
 Abb. 8 Haus Sorgenfrei, Oberlößnitz
Aufnahme von J. Ostermaier, Dresden-Blasewitz

Ein charakteristischer Vertreter der Lößnitzbaukunst aber ist

»Sorgenfrei«, an der Schulstraße gelegen, in den Jahren 1786 bis
1789 herrschaftlich und breit angelegt (Abb. 8). Das
Hauptwohnhaus, von stattlicher Baumallee zugänglich und mit
breitem mittleren Dachaufbau im Stil des Empire, Fruchtgehängen,
Vasen und Türmchen, alles in allem eine bauliche Erscheinung von
soviel Anmut und Fröhlichkeit und soviel bodenständiger Eigenart,
daß man sich nur mit wahrer Freude an seinen reizenden Eindruck
erinnert. Man lernt aus solchen Werken, daß man Bauten nicht
erzeichnen, sondern plastisch erfassen soll, wir sind freilich heute
weit entfernt von der Naivität, die hierzu erforderlich ist.