This book provides an introduction to discrete mathematics. At the end of the book the reader should be able to answer counting questions such as: How many ways are there to stack n poker chips, each of which can be red, white, blue, or green, such that each red chip is adjacent to at least 1 green chip? The book can be used as a textbook for a semester course at the sophomore level. The first five chapters can also serve as a basis for a graduate course for in-service teachers.

Revised throughout

Includes new chapters on the network simplex algorithm and a section on the five color theorem

Recent developments are discussed

The related fields of fractal image encoding and fractal image analysis have blossomed in recent years. This book, originating from a NATO Advanced Study Institute held in 1995, presents work by leading researchers. It is developing the subjects at an introductory level, but it also has some recent and exciting results in both fields.
The book contains a thorough discussion of fractal image compression and decompression, including both continuous and discrete formulations, vector space and hierarchical methods, and algorithmic optimizations. The book also discusses multifractal approaches to image analysis, segmentation, and recognition, including medical applications.

In the last years, it was observed an increasing interest of computer scientists in the structure of biological molecules and the way how they can be manipulated in vitro in order to define theoretical models of computation based on genetic engineering tools. Along the same lines, a parallel interest is growing regarding the process of evolution of living organisms. Much of the current data for genomes are expressed in the form of maps which are now becoming available and permit the study of the evolution of organisms at the scale of genome for the first time. On the other hand, there is an active trend nowadays throughout the field of computational biology toward abstracted, hierarchical views of biological sequences, which is very much in the spirit of computational linguistics. In the last decades, results and methods in the field of formal language theory that might be applied to the description of biological sequences were pointed out.

The study of random graphs was begun in the 1960s and now has a comprehensive literature. This excellent book by one of the top researchers in the field now joins the study of random graphs (and other random discrete objects) with mathematical logic. The methodologies involve probability, discrete structures and logic, with an emphasis on discrete structures.

Some mathematical disciplines can be presented and developed in the context of other disciplines, for instance Boolean algebras, that Stone has converted in a branch of ring theory, projective geome- tries, characterized by Birkhoff as lattices of a special type, projec- tive, descriptive and spherical geometries, represented by Prenowitz, as multigroups, linear geometries and convex sets presented by Jan- tosciak and Prenowitz as join spaces. As Prenowitz and Jantosciak did for geometries, in this book we present and study several ma- thematical disciplines that use the Hyperstructure Theory. Since the beginning, the Hyperstructure Theory and particu- larly the Hypergroup Theory, had applications to several domains. Marty, who introduced hypergroups in 1934, applied them to groups, algebraic functions and rational fractions. New applications to groups were also found among others by Eaton, Ore, Krasner, Utumi, Drbohlav, Harrison, Roth, Mockor, Sureau and Haddad. Connections with other subjects of classical pure Mathematics have been determined and studied: * Fields by Krasner, Stratigopoulos and Massouros Ch. * Lattices by Mittas, Comer, Konstantinidou, Serafimidis, Leoreanu and Calugareanu * Rings by Nakano, Kemprasit, Yuwaree * Quasigroups and Groupoids by Koskas, Corsini, Kepka, Drbohlav, Nemec * Semigroups by Kepka, Drbohlav, Nemec, Yuwaree, Kempra- sit, Punkla, Leoreanu * Ordered Structures by Prenowitz, Corsini, Chvalina IX x * Combinatorics by Comer, Tallini, Migliorato, De Salvo, Scafati, Gionfriddo, Scorzoni * Vector Spaces by Mittas * Topology by Mittas , Konstantinidou * Ternary Algebras by Bandelt and Hedlikova.

This book comprises a collection of high quality papers in selected topics of Discrete Mathematics, to celebrate the 60th birthday of Professor Jarik Ne etril. Leading experts have contributed survey and research papers in the areas of Algebraic Combinatorics, Combinatorial Number Theory, Game theory, Ramsey Theory, Graphs and Hypergraphs, Homomorphisms, Graph Colorings and Graph Embeddings."

The application of geometric algebra to the engineering sciences is a young, active subject of research. The promise of this field is that the mathematical structure of geometric algebra together with its descriptive power will result in intuitive and more robust algorithms.

This book examines all aspects essential for a successful application of geometric algebra: the theoretical foundations, the representation of geometric constraints, and the numerical estimation from uncertain data. Formally, the book consists of two parts: theoretical foundations and applications. The first part includes chapters on random variables in geometric algebra, linear estimation methods that incorporate the uncertainty of algebraic elements, and the representation of geometry in Euclidean, projective, conformal and conic space. The second part is dedicated to applications of geometric algebra, which include uncertain geometry and transformations, a generalized camera model, and pose estimation.

Graduate students, scientists, researchers and practitioners will benefit from this book. The examples given in the text are mostly recent research results, so practitioners can see how to apply geometric algebra to real tasks, while researchers note starting points for future investigations. Students will profit from the detailed introduction to geometric algebra, while the text is supported by the author's visualization software, CLUCalc, freely available online, and a website that includes downloadable exercises, slides and tutorials.

The first coherent exposition of the theory of binary quadratic forms was given by Gauss in the Disqnisitiones Arithmeticae. During the nine teenth century, as the theory of ideals and the rudiments of algebraic number theory were developed, it became clear that this theory of bi nary quadratic forms, so elementary and computationally explicit, was indeed just a special case of a much more elega, nt and abstract theory which, unfortunately, is not computationally explicit. In recent years the original theory has been laid aside. Gauss's proofs, which involved brute force computations that can be done in what is essentially a two dimensional vector space, have been dropped in favor of n-dimensional arguments which prove the general theorems of algebraic number the ory. In consequence, this elegant, yet pleasantly simple, theory has been neglected even as some of its results have become extremely useful in certain computations. I find this neglect unfortunate, because binary quadratic forms have two distinct attractions. First, the subject involves explicit computa tion and many of the computer programs can be quite simple. The use of computers in experimenting with examples is both meaningful and enjoyable; one can actually discover interesting results by com puting examples, noticing patterns in the "data," and then proving that the patterns result from the conclusion of some provable theorem."

This is a comprehensive overview of the basics of fuzzy control, which also brings together some recent research results in soft computing, in particular fuzzy logic using genetic algorithms and neural networks.

This book offers researchers not only a solid background but also a snapshot of the current state of the art in this field.

Systems of polynomial equations arise throughout mathematics, science, and engineering. Algebraic geometry provides powerful theoretical techniques for studying the qualitative and quantitative features of their solution sets. Re cently developed algorithms have made theoretical aspects of the subject accessible to a broad range of mathematicians and scientists. The algorith mic approach to the subject has two principal aims: developing new tools for research within mathematics, and providing new tools for modeling and solv ing problems that arise in the sciences and engineering. A healthy synergy emerges, as new theorems yield new algorithms and emerging applications lead to new theoretical questions. This book presents algorithmic tools for algebraic geometry and experi mental applications of them. It also introduces a software system in which the tools have been implemented and with which the experiments can be carried out. Macaulay 2 is a computer algebra system devoted to supporting research in algebraic geometry, commutative algebra, and their applications. The reader of this book will encounter Macaulay 2 in the context of concrete applications and practical computations in algebraic geometry. The expositions of the algorithmic tools presented here are designed to serve as a useful guide for those wishing to bring such tools to bear on their own problems. A wide range of mathematical scientists should find these expositions valuable. This includes both the users of other programs similar to Macaulay 2 (for example, Singular and CoCoA) and those who are not interested in explicit machine computations at all."

This is the only textbook available on multiresolution methods in geometric modeling, a central topic in visualization, which is of great importance for industrial applications. Written in tutorial form, the book is introductory in character, and includes supporting exercises. Other supplementary material and software can be downloaded from the website www.ma.tum.de/primus 2001/.

Combinatorial (or discrete) optimization is one of the most active fields in the interface of operations research, computer science, and applied math ematics. Combinatorial optimization problems arise in various applications, including communications network design, VLSI design, machine vision, air line crew scheduling, corporate planning, computer-aided design and man ufacturing, database query design, cellular telephone frequency assignment, constraint directed reasoning, and computational biology. Furthermore, combinatorial optimization problems occur in many diverse areas such as linear and integer programming, graph theory, artificial intelligence, and number theory. All these problems, when formulated mathematically as the minimization or maximization of a certain function defined on some domain, have a commonality of discreteness. Historically, combinatorial optimization starts with linear programming. Linear programming has an entire range of important applications including production planning and distribution, personnel assignment, finance, alloca tion of economic resources, circuit simulation, and control systems. Leonid Kantorovich and Tjalling Koopmans received the Nobel Prize (1975) for their work on the optimal allocation of resources. Two important discover ies, the ellipsoid method (1979) and interior point approaches (1984) both provide polynomial time algorithms for linear programming. These algo rithms have had a profound effect in combinatorial optimization. Many polynomial-time solvable combinatorial optimization problems are special cases of linear programming (e.g. matching and maximum flow). In addi tion, linear programming relaxations are often the basis for many approxi mation algorithms for solving NP-hard problems (e.g. dual heuristics)."

This monograph develops projective geometries and provides a systematic treatment of morphisms. It introduces a new fundamental theorem and its applications describing morphisms of projective geometries in homogeneous coordinates by semilinear maps. Other topics treated include three equivalent definitions of projective geometries and their correspondence with certain lattices; quotients of projective geometries and isomorphism theorems; and recent results in dimension theory.

Graph theory is very much tied to the geometric properties of optimization and combinatorial optimization. Moreover, graph theory's geometric properties are at the core of many research interests in operations research and applied mathematics. Its techniques have been used in solving many classical problems including maximum flow problems, independent set problems, and the traveling salesman problem.

Graph Theory and Combinatorial Optimization explores the field's classical foundations and its developing theories, ideas and applications to new problems. The book examines the geometric properties of graph theory and its widening uses in combinatorial optimization theory and application. The field's leading researchers have contributed chapters in their areas of expertise.

Exploring the connections between arithmetic and geometric properties of algebraic varieties has been the object of much fruitful study for a long time, especially in the case of curves. The aim of the Summer School and Conference on "Higher Dimensional Varieties and Rational Points" held in Budapest, Hungary during September 2001 was to bring together students and experts from the arithmetic and geometric sides of algebraic geometry in order to get a better understanding of the current problems, interactions and advances in higher dimension. The lecture series and conference lectures assembled in this volume give a comprehensive introduction to students and researchers in algebraic geometry and in related fields to the main ideas of this rapidly developing area.

Numbers, Information and Complexity is a collection of about 50 articles in honour of Rudolf Ahlswede. His main areas of research are represented in the three sections, `Numbers and Combinations', `Information Theory (Channels and Networks, Combinatorial and Algebraic Coding, Cryptology, with the related fields Data Compression, Entropy Theory, Symbolic Dynamics, Probability and Statistics)', and `Complexity'. Special attention was paid to the interplay between the fields. Surveys on topics of current interest are included as well as new research results. The book features surveys on Combinatorics about topics such as intersection theorems, which are not yet covered in textbooks, several contributions by leading experts in data compression, and relations to Natural Sciences are discussed.

This volume is a continuation of Unbiased Estimators and Their Applications, Vol. I: Univariate Case. It contains problems of parametric point estimation for multivariate probability distributions emphasizing problems of unbiased estimation. The volume consists of four chapters dealing, respectively, with some basic properties of multivariate continuous and discrete distributions, the general theory of point estimation in multivariate case, techniques for constructing unbiased estimators and applications of unbiased estimation theory in the multivariate case. These chapters contain numerous examples, many applications and are followed by a comprehensive Appendix which classifies and lists, in the form of tables, all known results relating to unbiased estimators of parameter functions for multivariate distributions. Audience: This volume will serve as a handbook on point unbiased estimation for researchers whose work involves statistics. It can also be recommended as a supplementary text for undergraduate and graduate students.

Based on both theoretical investigations and industrial experience, this book provides an extensive approach to support the planning and optimization process for modern communication networks. The book contains a thorough survey and a detailed comparison of state-of-the-art numerical algorithms in the matrix-geometric field.

The problem of representing an integer as a sum of squares of integers is one of the oldest and most significant in mathematics. It goes back at least 2000 years to Diophantus, and continues more recently with the works of Fermat, Euler, Lagrange, Jacobi, Glaisher, Ramanujan, Hardy, Mordell, Andrews, and others. Jacobi's elliptic function approach dates from his epic Fundamenta Nova of 1829. Here, the author employs his combinatorial/elliptic function methods to derive many infinite families of explicit exact formulas involving either squares or triangular numbers, two of which generalize Jacobi's (1829) 4 and 8 squares identities to 4n2 or 4n(n+1) squares, respectively, without using cusp forms such as those of Glaisher or Ramanujan for 16 and 24 squares. These results depend upon new expansions for powers of various products of classical theta functions. This is the first time that infinite families of non-trivial exact explicit formulas for sums of squares have been found. The author derives his formulas by utilizing combinatorics to combine a variety of methods and observations from the theory of Jacobi elliptic functions, continued fractions, Hankel or Turanian determinants, Lie algebras, Schur functions, and multiple basic hypergeometric series related to the classical groups. His results (in Theorem 5.19) generalize to separate infinite families each of the 21 of Jacobi's explicitly stated degree 2, 4, 6, 8 Lambert series expansions of classical theta functions in sections 40-42 of the Fundamental Nova. The author also uses a special case of his methods to give a derivation proof of the two Kac and Wakimoto (1994) conjectured identities concerning representations of a positive integer by sums of 4n2 or 4n(n+1) triangular numbers, respectively. These conjectures arose in the study of Lie algebras and have also recently been proved by Zagier using modular forms. George Andrews says in a preface of this book, `This impressive work will undoubtedly spur others both in elliptic functions and in modular forms to build on these wonderful discoveries.' Audience: This research monograph on sums of squares is distinguished by its diversity of methods and extensive bibliography. It contains both detailed proofs and numerous explicit examples of the theory. This readable work will appeal to both students and researchers in number theory, combinatorics, special functions, classical analysis, approximation theory, and mathematical physics.

This book supplements the textbook of the authors" Lectures on Graph The ory" 6] by more than thousand exercises of varying complexity. The books match each other in their contents, notations, and terminology. The authors hope that both students and lecturers will find this book helpful for mastering and verifying the understanding of the peculiarities of graphs. The exercises are grouped into eleven chapters and numerous sections accord ing to the topics of graph theory: paths, cycles, components, subgraphs, re constructibility, operations on graphs, graphs and matrices, trees, independence, matchings, coverings, connectivity, matroids, planarity, Eulerian and Hamiltonian graphs, degree sequences, colorings, digraphs, hypergraphs. Each section starts with main definitions and brief theoretical discussions. They constitute a minimal background, just a reminder, for solving the exercises. the presented facts and a more extended exposition may be found in Proofs of the mentioned textbook of the authors, as well as in many other books in graph theory. Most exercises are supplied with answers and hints. In many cases complete solutions are given. At the end of the book you may find the index of terms and the glossary of notations. The "Bibliography" list refers only to the books used by the authors during the preparation of the exercisebook. Clearly, it mentions only a fraction of available books in graph theory. The invention of the authors was also driven by numerous journal articles, which are impossible to list here."

The quadratic assignment problem (QAP) was introduced in 1957 by Koopmans and Beckmann to model a plant location problem. Since then the QAP has been object of numerous investigations by mathematicians, computers scientists, ope- tions researchers and practitioners. Nowadays the QAP is widely considered as a classical combinatorial optimization problem which is (still) attractive from many points of view. In our opinion there are at last three main reasons which make the QAP a popular problem in combinatorial optimization. First, the number of re- life problems which are mathematically modeled by QAPs has been continuously increasing and the variety of the fields they belong to is astonishing. To recall just a restricted number among the applications of the QAP let us mention placement problems, scheduling, manufacturing, VLSI design, statistical data analysis, and parallel and distributed computing. Secondly, a number of other well known c- binatorial optimization problems can be formulated as QAPs. Typical examples are the traveling salesman problem and a large number of optimization problems in graphs such as the maximum clique problem, the graph partitioning problem and the minimum feedback arc set problem. Finally, from a computational point of view the QAP is a very difficult problem. The QAP is not only NP-hard and - hard to approximate, but it is also practically intractable: it is generally considered as impossible to solve (to optimality) QAP instances of size larger than 20 within reasonable time limits.

The Volume on Advances in Steiner Trees is divided into two sections. The first section of the book includes papers on the general geometric Steiner tree problem in the plane and higher dimensions. The second section of the book includes papers on the Steiner problem on graphs. The general geometric Steiner tree problem assumes that you have a given set of points in some d-dimensional space and you wish to connect the given points with the shortest network possible. The given set ofpoints are 3 Figure 1: Euclidean Steiner Problem in E usually referred to as terminals and the set ofpoints that may be added to reduce the overall length of the network are referred to as Steiner points. What makes the problem difficult is that we do not know a priori the location and cardinality ofthe number ofSteiner points. Thus)the problem on the Euclidean metric is not known to be in NP and has not been shown to be NP-Complete. It is thus a very difficult NP-Hard problem.

Multilayer networks is a rising topic in Network Science which characterizes the structure and the function of complex systems formed by several interacting networks. Multilayer networks research has been propelled forward by the wide realm of applications in social, biological and infrastructure networks and the large availability of network data, as well as by the significance of recent results, which have produced important advances in this rapidly growing field. This book presents a comprehensive account of this emerging field. It provides a theoretical introduction to the main results of multilayer network science.

This book presents methods of solving problems in three areas of elementary combinatorial mathematics: classical combinatorics, combinatorial arithmetic, and combinatorial geometry. In each topic, brief theoretical discussions are immediately followed by carefully worked-out examples of increasing degrees of difficulty, and by exercises that range from routine to rather challenging. While this book emphasizes some methods that are not usually covered in beginning university courses, it nevertheless teaches techniques and skills that are useful not only in the specific topics covered here. There are approximately 310 examples and 650 exercises. Jiri Herman is the headmaster of a prestigious secondary school (Gymnazium) in Brno, Radan Kucera is Associate Professor of Mathematics at Masaryk University in Brno, and Jaromir Simsa is a researcher at the Mathematical Institute of the Academy of Sciences of the Czech Republic. The translator, Karl Dilcher, is Professor of Mathematics at Dalhousie University in Canada. This book can be seen as a continuation of the previous book by the same authors and also translated by Karl Dilcher, Equations and Inequalities: Elementary Problems and Theorems in Algebra and Number Theory (Springer-Verlag 2000).