The papers presented here describe research to improve the general understanding of the application of SAMR to practical problems, to identify issues critical to efficient and effective implementation on high performance computers and to stimulate the development of a community code repository for software including benchmarks to assist in the evaluation of software and compiler technologies. The ten chapters have been divided into two parts reflecting two major issues in the topic: programming complexity of SAMR algorithms and the applicability and numerical challenges of SAMR methods.

This book offers a detailed introduction to graph theoretic methods in profinite groups and applications to abstract groups. It is the first to provide a comprehensive treatment of the subject. The author begins by carefully developing relevant notions in topology, profinite groups and homology, including free products of profinite groups, cohomological methods in profinite groups, and fixed points of automorphisms of free pro-p groups. The final part of the book is dedicated to applications of the profinite theory to abstract groups, with sections on finitely generated subgroups of free groups, separability conditions in free and amalgamated products, and algorithms in free groups and finite monoids. Profinite Graphs and Groups will appeal to students and researchers interested in profinite groups, geometric group theory, graphs and connections with the theory of formal languages. A complete reference on the subject, the book includes historical and bibliographical notes as well as a discussion of open questions and suggestions for further reading.

Automatic sequences are sequences over a finite alphabet generated by a finite-state machine. This book presents a novel viewpoint on automatic sequences, and more generally on combinatorics on words, by introducing a decision method through which many new results in combinatorics and number theory can be automatically proved or disproved with little or no human intervention. This approach to proving theorems is extremely powerful, allowing long and error-prone case-based arguments to be replaced by simple computations. Readers will learn how to phrase their desired results in first-order logic, using free software to automate the computation process. Results that normally require multipage proofs can emerge in milliseconds, allowing users to engage with mathematical questions that would otherwise be difficult to solve. With more than 150 exercises included, this text is an ideal resource for researchers, graduate students, and advanced undergraduates studying combinatorics, sequences, and number theory.

Wie sieht eine Kurve aus, die die ganze Ebene oder den Raum vollstandig ausfullt? Kann man einen Polyeder flexibel bewegen, ja sogar umstulpen? Was ist die projektive Ebene oder der vierdimensionale Raum? Gibt es Seifenblasen, die keine runden Kugel sind? Wie kann man die komplizierte Struktur von Stroemungen besser verstehen? In diesem Buch erleben Sie die Mathematik von ihrer anschaulichen Seite und finden faszinierende und bisher nie gesehene Bilder, die Ihnen illustrative Antworten zu all diesen Fragestellungen geben. Zu allen Bildern gibt es kurze Erklarungstexte, viele Literaturhinweise und jede Menge Web-Links. Das Buch ist fur alle Freunde der Mathematik, die nicht nur trockenen Text und endlose Formeln sehen wollen. Vom Schuler zum Lehrer, vom Studenten zum Professor. Es soll sie alle inspirieren und anregen, sich mit diesem oder jenem vermeintlich nur Insidern vorbehaltenem Thema zu beschaftigen. Lernen Sie die Mathematik von einer ganz neuen und bunten Seite kennen. Die Neuauflage ist vollstandig durchgesehen und um acht Doppelseiten mit neuen und spektakularen Bildern erganzt.

"Addresses the key topic in combinatorial synthesis--how to optimize the quality of a combinatorial library--by determining the usefulness of synthesized compunds, the reliability of biological assay results, and analyzing acadmic and industrial applications, real-world examples, and case studies of successful and unsuccessful technologies."

This is the first full-length book on the major theme of symmetry in graphs. Forming part of algebraic graph theory, this fast-growing field is concerned with the study of highly symmetric graphs, particularly vertex-transitive graphs, and other combinatorial structures, primarily by group-theoretic techniques. In practice the street goes both ways and these investigations shed new light on permutation groups and related algebraic structures. The book assumes a first course in graph theory and group theory but no specialized knowledge of the theory of permutation groups or vertex-transitive graphs. It begins with the basic material before introducing the field's major problems and most active research themes in order to motivate the detailed discussion of individual topics that follows. Featuring many examples and over 450 exercises, it is an essential introduction to the field for graduate students and a valuable addition to any algebraic graph theorist's bookshelf.

Since the early eighteenth century, the theory of networks and graphs has matured into an indispensable tool for describing countless real-world phenomena. However, the study of large-scale features of a network often requires unrealistic limits, such as taking the network size to infinity or assuming a continuum. These asymptotic and analytic approaches can significantly diverge from real or simulated networks when applied at the finite scales of real-world applications. This book offers an approach to overcoming these limitations by introducing operator graph theory, an exact, non-asymptotic set of tools combining graph theory with operator calculus. The book is intended for mathematicians, physicists, and other scientists interested in discrete finite systems and their graph-theoretical description, and in delineating the abstract algebraic structures that characterise such systems. All the necessary background on graph theory and operator calculus is included for readers to understand the potential applications of operator graph theory.

The challenge of dividing an asset fairly, from cakes to more important properties, is of great practical importance in many situations. Since the famous Polish school of mathematicians (Steinhaus, Banach, and Knaster) introduced and described algorithms for the fair division problem in the 1940s, the concept has been widely popularized.

This book gathers into one readable and inclusive source a comprehensive discussion of the state of the art in cake-cutting problems for both the novice and the professional. It offers a complete treatment of all cake-cutting algorithms under all the considered definitions of "fair" and presents them in a coherent, reader-friendly manner. Robertson and Webb have brought this elegant problem to life for both the bright high school student and the professional researcher.

This book is a tribute to Paul Erd\H{o}s, the wandering mathematician once described as the "prince of problem solvers and the absolute monarch of problem posers." It examines -- within the context of his unique personality and lifestyle -- the legacy of open problems he left to the world after his death in 1996. Unwilling to succumb to the temptations of money and position, Erd\H{o}s never had a home and never held a job. His "home" was a bag or two containing all his belongings and a record of the collective activities of the mathematical community. His "job" was one at which he excelled: identifying a fundamental roadblock in some particular line of approach and capturing it in a well-chosen, often innocent-looking problem, whose solution would likewise provide insight into the underlying theory. By cataloguing the unsolved problems of Erd\H{o}s in a comprehensive and well-documented volume, the authors hope to continue the work of an unusual and special man who fundamentally influenced the field of mathematics.

This book is of interest to mathematicians and computer scientists working in finite mathematics and combinatorics. It presents a breakthrough method for analyzing complex summations. Beautifully written, the book contains practical applications as well as conceptual developments that will have applications in other areas of mathematics. From the table of contents: * Proof Machines * Tightening the Target * The Hypergeometric Database * The Five Basic Algorithms: Sister Celine's Method, Gosper&'s Algorithm, Zeilberger's Algorithm, The WZ Phenomenon, Algorithm Hyper * Epilogue: An Operator Algebra Viewpoint * The WWW Sites and the Software (Maple and Mathematica) Each chapter contains an introduction to the subject and ends with a set of exercises.

Strongly regular graphs lie at the intersection of statistical design, group theory, finite geometry, information and coding theory, and extremal combinatorics. This monograph collects all the major known results together for the first time in book form, creating an invaluable text that researchers in algebraic combinatorics and related areas will refer to for years to come. The book covers the theory of strongly regular graphs, polar graphs, rank 3 graphs associated to buildings and Fischer groups, cyclotomic graphs, two-weight codes and graphs related to combinatorial configurations such as Latin squares, quasi-symmetric designs and spherical designs. It gives the complete classification of rank 3 graphs, including some new constructions. More than 100 graphs are treated individually. Some unified and streamlined proofs are featured, along with original material including a new approach to the (affine) half spin graphs of rank 5 hyperbolic polar spaces.

Cryptology: Classical and Modern, Second Edition proficiently introduces readers to the fascinating field of cryptology. The book covers classical methods including substitution, transposition, Alberti, Vigenere, and Hill ciphers. It also includes coverage of the Enigma machine, Turing bombe, and Navajo code. Additionally, the book presents modern methods like RSA, ElGamal, and stream ciphers, as well as the Diffie-Hellman key exchange and Advanced Encryption Standard. When possible, the book details methods for breaking both classical and modern methods. The new edition expands upon the material from the first edition which was oriented for students in non-technical fields. At the same time, the second edition supplements this material with new content that serves students in more technical fields as well. Thus, the second edition can be fully utilized by both technical and non-technical students at all levels of study. The authors include a wealth of material for a one-semester cryptology course, and research exercises that can be used for supplemental projects. Hints and answers to selected exercises are found at the end of the book. Features: Requires no prior programming knowledge or background in college-level mathematics Illustrates the importance of cryptology in cultural and historical contexts, including the Enigma machine, Turing bombe, and Navajo code Gives straightforward explanations of the Advanced Encryption Standard, public-key ciphers, and message authentication Describes the implementation and cryptanalysis of classical ciphers, such as substitution, transposition, shift, affine, Alberti, Vigenere, and Hill

The aim of this book is to introduce the reader to the fascinating world of convex polytopes. The highlights of the book are three main theorems in the combinatorial theory of convex polytopes, known as the Dehn-Sommerville Relations, the Upper Bound Theorem and the Lower Bound Theorem. All the background information on convex sets and convex polytopes which is m eded to under stand and appreciate these three theorems is developed in detail. This background material also forms a basis for studying other aspects of polytope theory. The Dehn-Sommerville Relations are classical, whereas the proofs of the Upper Bound Theorem and the Lower Bound Theorem are of more recent date: they were found in the early 1970's by P. McMullen and D. Barnette, respectively. A famous conjecture of P. McMullen on the charac terization off-vectors of simplicial or simple polytopes dates from the same period; the book ends with a brief discussion of this conjecture and some of its relations to the Dehn-Sommerville Relations, the Upper Bound Theorem and the Lower Bound Theorem. However, the recent proofs that McMullen's conditions are both sufficient (L. J. Billera and C. W. Lee, 1980) and necessary (R. P. Stanley, 1980) go beyond the scope of the book. Prerequisites for reading the book are modest: standard linear algebra and elementary point set topology in R1d will suffice."

Paul Erdos published more papers during his lifetime than any other mathematician, especially in discrete mathematics. He had a nose for beautiful, simply-stated problems with solutions that have far-reaching consequences across mathematics. This captivating book, written for students, provides an easy-to-understand introduction to discrete mathematics by presenting questions that intrigued Erdos, along with his brilliant ways of working toward their answers. It includes young Erdos's proof of Bertrand's postulate, the Erdos-Szekeres Happy End Theorem, De Bruijn-Erdos theorem, Erdos-Rado delta-systems, Erdos-Ko-Rado theorem, Erdos-Stone theorem, the Erdos-Renyi-Sos Friendship Theorem, Erdos-Renyi random graphs, the Chvatal-Erdos theorem on Hamilton cycles, and other results of Erdos, as well as results related to his work, such as Ramsey's theorem or Deza's theorem on weak delta-systems. Its appendix covers topics normally missing from introductory courses. Filled with personal anecdotes about Erdos, this book offers a behind-the-scenes look at interactions with the legendary collaborator.

On the one side, Industrial competitiveness today means shorter product lifecycles, increased product variety, and shorter times to market and customized tangible products and services. To face these challenges, the manufacturing industry is forced to move from traditional management, control, and automation approaches towards industrial cyber-physical systems. On the other side, several emergent engineering approaches and related Information-Communication-Control-Technologies, such as Multi-Agent-Systems, Service-Oriented Architecture, Plug-and-Produce Systems, Cloud and Fog Technologies, Big Data and Analytics, among others, have been researched during the last years. The confluence of those results with the latest developments in Industrial Digitalization, Systems-of-Cyber-Physical-Systems Engineering, Internet-of-Things, Internet-of-Services, and Industry 4.0 is opening a new broad spectrum of innovation possibilities. The PERFoRM (Production-harmonizEd-Reconfiguration of Flexible Robots and Machinery) approach is one of them. It teaches the reader what it means when production machines and systems are digitalized and migrated into Industrial Cyber-Physical Systems and what happens when they are networked and start collaborating with each other and with the human, using the internet. After a Technology Trend Screening and beyond a comprehensive state-of-the-art analysis about Industrial Digitalization and Industry 4.0-compliant solutions, the book introduces methods, architectures, and technologies applicable in real industrial use cases, explained for a broad audience of researchers, practitioners, and industrialists.

Active student engagement is key to this classroom-tested combinatorics text, boasting 1200+ carefully designed problems, ten mini-projects, section warm-up problems, and chapter opening problems. The author - an award-winning teacher - writes in a conversational style, keeping the reader in mind on every page. Students will stay motivated through glimpses into current research trends and open problems as well as the history and global origins of the subject. All essential topics are covered, including Ramsey theory, enumerative combinatorics including Stirling numbers, partitions of integers, the inclusion-exclusion principle, generating functions, introductory graph theory, and partially ordered sets. Some significant results are presented as sets of guided problems, leading readers to discover them on their own. More than 140 problems have complete solutions and over 250 have hints in the back, making this book ideal for self-study. Ideal for a one semester upper undergraduate course, prerequisites include the calculus sequence and familiarity with proofs.

Paul Erdos published more papers during his lifetime than any other mathematician, especially in discrete mathematics. He had a nose for beautiful, simply-stated problems with solutions that have far-reaching consequences across mathematics. This captivating book, written for students, provides an easy-to-understand introduction to discrete mathematics by presenting questions that intrigued Erdos, along with his brilliant ways of working toward their answers. It includes young Erdos's proof of Bertrand's postulate, the Erdos-Szekeres Happy End Theorem, De Bruijn-Erdos theorem, Erdos-Rado delta-systems, Erdos-Ko-Rado theorem, Erdos-Stone theorem, the Erdos-Renyi-Sos Friendship Theorem, Erdos-Renyi random graphs, the Chvatal-Erdos theorem on Hamilton cycles, and other results of Erdos, as well as results related to his work, such as Ramsey's theorem or Deza's theorem on weak delta-systems. Its appendix covers topics normally missing from introductory courses. Filled with personal anecdotes about Erdos, this book offers a behind-the-scenes look at interactions with the legendary collaborator.

This book introduces novel techniques and algorithms necessary to support the formation of social networks. Concepts such as link prediction, graph patterns, recommendation systems based on user reputation, strategic partner selection, collaborative systems and network formation based on 'social brokers' are presented. Chapters cover a wide range of models and algorithms, including graph models and a personalized PageRank model. Extensive experiments and scenarios using real world datasets from GitHub, Facebook, Twitter, Google Plus and the European Union ICT research collaborations serve to enhance reader understanding of the material with clear applications. Each chapter concludes with an analysis and detailed summary. Social Network-Based Recommender Systems is designed as a reference for professionals and researchers working in social network analysis and companies working on recommender systems. Advanced-level students studying computer science, statistics or mathematics will also find this books useful as a secondary text.

In the two-volume set 'A Selection of Highlights' we present basics of mathematics in an exciting and pedagogically sound way. This volume examines many fundamental results in Geometry and Discrete Mathematics along with their proofs and their history. In the second edition we include a new chapter on Topological Data Analysis and enhanced the chapter on Graph Theory for solving further classical problems such as the Traveling Salesman Problem.

Constraint Satisfaction Problems (CSPs) are natural computational problems that appear in many areas of theoretical computer science. Exploring which CSPs are solvable in polynomial time and which are NP-hard reveals a surprising link with central questions in universal algebra. This monograph presents a self-contained introduction to the universal-algebraic approach to complexity classification, treating both finite and infinite-domain CSPs. It includes the required background from logic and combinatorics, particularly model theory and Ramsey theory, and explains the recently discovered link between Ramsey theory and topological dynamics and its implications for CSPs. The book will be of interest to graduate students and researchers in theoretical computer science and to mathematicians in logic, combinatorics, and dynamics who wish to learn about the applications of their work in complexity theory.

Written by experts in their respective fields, this collection of pedagogic surveys provides detailed insight and background into five separate areas at the forefront of modern research in orthogonal polynomials and special functions at a level suited to graduate students. A broad range of topics are introduced including exceptional orthogonal polynomials, q-series, applications of spectral theory to special functions, elliptic hypergeometric functions, and combinatorics of orthogonal polynomials. Exercises, examples and some open problems are provided. The volume is derived from lectures presented at the OPSF-S6 Summer School at the University of Maryland, and has been carefully edited to provide a coherent and consistent entry point for graduate students and newcomers.

Discrete probability theory and the theory of algorithms have become close partners over the last ten years, though the roots of this partnership go back much longer. The papers in this volume address the latest developments in this active field. They are from the IMA Workshops "Probability and Algorithms" and "The Finite Markov Chain Renaissance." They represent the current thinking of many of the world's leading experts in the field.

Researchers and graduate students in probability, computer science, combinatorics, and optimization theory will all be interested in this collection of articles. The techniques developed and surveyed in this volume are still undergoing rapid development, and many of the articles of the collection offer an expositionally pleasant entree into a research area of growing importance.

Combinatorics on words, or finite sequences, is a field that grew from the disparate mathematics branches of group theory and probability. In recent times, it has gained recognition as an independent theory and has found substantial applications in computer science automata theory and linguistics. This volume is the first to present a thorough treatment of this theory and includes discussions of Thue's square free words, Van der Waerden's theorem, and Ramsey's theorem. This volume is an accessible text for undergraduate and graduate level students in mathematics and computer science as well as specialists in all branches of applied mathematics.

The second edition of this well-received textbook is devoted to Combinatorics and Graph Theory, which are cornerstones of Discrete Mathematics. Every section begins with simple model problems. Following their detailed analysis, the reader is led through the derivation of definitions, concepts, and methods for solving typical problems. Theorems then are formulated, proved, and illustrated by more problems of increasing difficulty.