The solitaire game "The Tower of Hanoi" was invented in the 19th century by the French number theorist Edouard Lucas. The book presents its mathematical theory and offers a survey of the historical development from predecessors up to recent research. In addition to long-standing myths, it provides a detailed overview of the essential mathematical facts with complete proofs, and also includes unpublished material, e.g., on some captivating integer sequences. The main objects of research today are the so-called Hanoi graphs and the related Sierpinski graphs. Acknowledging the great popularity of the topic in computer science, algorithms, together with their correctness proofs, form an essential part of the book. In view of the most important practical applications, namely in physics, network theory and cognitive (neuro)psychology, the book also addresses other structures related to the Tower of Hanoi and its variants. The updated second edition includes, for the first time in English, the breakthrough reached with the solution of the "The Reve's Puzzle" in 2014. This is a special case of the famed Frame-Stewart conjecture which is still open after more than 75 years. Enriched with elaborate illustrations, connections to other puzzles and challenges for the reader in the form of (solved) exercises as well as problems for further exploration, this book is enjoyable reading for students, educators, game enthusiasts and researchers alike. Excerpts from reviews of the first edition: "The book is an unusual, but very welcome, form of mathematical writing: recreational mathematics taken seriously and serious mathematics treated historically. I don't hesitate to recommend this book to students, professional research mathematicians, teachers, and to readers of popular mathematics who enjoy more technical expository detail." Chris Sangwin, The Mathematical Intelligencer 37(4) (2015) 87f. "The book demonstrates that the Tower of Hanoi has a very rich mathematical structure, and as soon as we tweak the parameters we surprisingly quickly find ourselves in the realm of open problems." Laszlo Kozma, ACM SIGACT News 45(3) (2014) 34ff. "Each time I open the book I discover a renewed interest in the Tower of Hanoi. I am sure that this will be the case for all readers." Jean-Paul Allouche, Newsletter of the European Mathematical Society 93 (2014) 56.

This volume collects together research and survey papers written by invited speakers of the conference celebrating the 70th birthday of Laszlo Lovasz. The topics covered include classical subjects such as extremal graph theory, coding theory, design theory, applications of linear algebra and combinatorial optimization, as well as recent trends such as extensions of graph limits, online or statistical versions of classical combinatorial problems, and new methods of derandomization. Laszlo Lovasz is one of the pioneers in the interplay between discrete and continuous mathematics, and is a master at establishing unexpected connections, "building bridges" between seemingly distant fields. His invariably elegant and powerful ideas have produced new subfields in many areas, and his outstanding scientific work has defined and shaped many research directions in the last 50 years. The 14 contributions presented in this volume, all of which are connected to Laszlo Lovasz's areas of research, offer an excellent overview of the state of the art of combinatorics and related topics and will be of interest to experienced specialists as well as young researchers.

Commutation Relations, Normal Ordering, and Stirling Numbers provides an introduction to the combinatorial aspects of normal ordering in the Weyl algebra and some of its close relatives. The Weyl algebra is the algebra generated by two letters U and V subject to the commutation relation UV VU = I. It is a classical result that normal ordering powers of VU involve the Stirling numbers. The book is a one-stop reference on the research activities and known results of normal ordering and Stirling numbers. It discusses the Stirling numbers, closely related generalizations, and their role as normal ordering coefficients in the Weyl algebra. The book also considers several relatives of this algebra, all of which are special cases of the algebra in which UV qVU = hVs holds true. The authors describe combinatorial aspects of these algebras and the normal ordering process in them. In particular, they define associated generalized Stirling numbers as normal ordering coefficients in analogy to the classical Stirling numbers. In addition to the combinatorial aspects, the book presents the relation to operational calculus, describes the physical motivation for ordering words in the Weyl algebra arising from quantum theory, and covers some physical applications.

A Course in Topological Combinatorics is the first undergraduate textbook on the field of topological combinatorics, a subject that has become an active and innovative research area in mathematics over the last thirty years with growing applications in math, computer science, and other applied areas. Topological combinatorics is concerned with solutions to combinatorial problems by applying topological tools. In most cases these solutions are very elegant and the connection between combinatorics and topology often arises as an unexpected surprise. The textbook covers topics such as fair division, graph coloring problems, evasiveness of graph properties, and embedding problems from discrete geometry. The text contains a large number of figures that support the understanding of concepts and proofs. In many cases several alternative proofs for the same result are given, and each chapter ends with a series of exercises. The extensive appendix makes the book completely self-contained. The textbook is well suited for advanced undergraduate or beginning graduate mathematics students. Previous knowledge in topology or graph theory is helpful but not necessary. The text may be used as a basis for a one- or two-semester course as well as a supplementary text for a topology or combinatorics class.

This book provides an extensive set of tools for applying fuzzy mathematics and graph theory to real-life problems. Balancing the basics and latest developments in fuzzy graph theory, this book starts with existing fundamental theories such as connectivity, isomorphism, products of fuzzy graphs, and different types of paths and arcs in fuzzy graphs to focus on advanced concepts such as planarity in fuzzy graphs, fuzzy competition graphs, fuzzy threshold graphs, fuzzy tolerance graphs, fuzzy trees, coloring in fuzzy graphs, bipolar fuzzy graphs, intuitionistic fuzzy graphs, m-polar fuzzy graphs, applications of fuzzy graphs, and more. Each chapter includes a number of key representative applications of the discussed concept. An authoritative, self-contained, and inspiring read on the theory and modern applications of fuzzy graphs, this book is of value to advanced undergraduate and graduate students of mathematics, engineering, and computer science, as well as researchers interested in new developments in fuzzy logic and applied mathematics.

Descriptive complexity theory establishes a connection between the computational complexity of algorithmic problems (the computational resources required to solve the problems) and their descriptive complexity (the language resources required to describe the problems). This groundbreaking book approaches descriptive complexity from the angle of modern structural graph theory, specifically graph minor theory. It develops a 'definable structure theory' concerned with the logical definability of graph theoretic concepts such as tree decompositions and embeddings. The first part starts with an introduction to the background, from logic, complexity, and graph theory, and develops the theory up to first applications in descriptive complexity theory and graph isomorphism testing. It may serve as the basis for a graduate-level course. The second part is more advanced and mainly devoted to the proof of a single, previously unpublished theorem: properties of graphs with excluded minors are decidable in polynomial time if, and only if, they are definable in fixed-point logic with counting.

The mathematics of tournament design are surprisingly subtle, and this book, an extensively revised version of Ellis Horwood's popular Combinatorial Designs: Construction Methods, provides a thorough introduction. It includes a new chapter on league schedules, which discusses round robin tournaments, venue sequences, and carry-over effects. It also discusses balanced tournament designs, double schedules, and bridge and whist tournament design. Readable and authoritative, the book emphasizes throughout the historical development of the material and includes numerous examples and exercises giving detailed constructions.

This monograph provides and explains the probability theory of geometric graphs. Applications of the theory include communications networks, classification, spatial statistics, epidemiology, astrophysics and neural networks.

Filling a gap in literature, this self-contained book presents theoretical and application-oriented results that allow for a structural exploration of complex networks. The work focuses not only on classical graph-theoretic methods, but also demonstrates the usefulness of structural graph theory as a tool for solving interdisciplinary problems. Applications to biology, chemistry, linguistics, and data analysis are emphasized.

The book is suitable for a broad, interdisciplinary readership of researchers, practitioners, and graduate students in discrete mathematics, statistics, computer science, machine learning, artificial intelligence, computational and systems biology, cognitive science, computational linguistics, and mathematical chemistry. It may also be used as a supplementary textbook in graduate-level seminars on structural graph analysis, complex networks, or network-based machine learning methods.

This volume includes articles spanning several research areas in number theory, such as arithmetic geometry, algebraic number theory, analytic number theory, and applications in cryptography and coding theory. Most of the articles are the results of collaborations started at the 3rd edition of the Women in Numbers Europe (WINE) conference between senior and mid-level faculty, junior faculty, postdocs, and graduate students. The contents of this book should be of interest to graduate students and researchers in number theory.

Unique in its approach, Models of Network Reliability: Analysis, Combinatorics, and Monte Carlo provides a brief introduction to Monte Carlo methods along with a concise exposition of reliability theory ideas. From there, the text investigates a collection of principal network reliability models, such as terminal connectivity for networks with unreliable edges and/or nodes, network lifetime distribution in the process of its destruction, network stationary behavior for renewable components, importance measures of network elements, reliability gradient, and network optimal reliability synthesis.

Solutions to most principal network reliability problems including medium-sized computer networks are presented in the form of efficient Monte Carlo algorithms and illustrated with numerical examples and tables. Written by reliability experts with significant teaching experience, this reader-friendly text is an excellent resource for software engineering, operations research, industrial engineering, and reliability engineering students, researchers, and engineers.

Stressing intuitive explanations and providing detailed proofs of difficult statements, this self-contained resource includes a wealth of end-of-chapter exercises, numerical examples, tables, and offers a solutions manual making it ideal for self-study and practical use.

Current language technology is dominated by approaches that either enumerate a large set of rules, or are focused on a large amount of manually labelled data. The creation of both is time-consuming and expensive, which is commonly thought to be the reason why automated natural language understanding has still not made its way into "real-life" applications yet.

This book sets an ambitious goal: to shift the development of language processing systems to a much more automated setting than previous works. A new approach is defined: what if computers analysed large samples of language data on their own, identifying structural regularities that perform the necessary abstractions and generalisations in order to better understand language in the process?
After defining the framework of Structure Discovery and shedding light on the nature and the graphic structure of natural language data, several procedures are described that do exactly this: let the computer discover structures without supervision in order to boost the performance of language technology applications. Here, multilingual documents are sorted by language, word classes are identified, and semantic ambiguities are discovered and resolved without using a dictionary or other explicit human input. The book concludes with an outlook on the possibilities implied by this paradigm and sets the methods in perspective to human computer interaction.

The target audience are academics on all levels (undergraduate and graduate students, lecturers and professors) working in the fields of natural language processing and computational linguistics, as well as natural language engineers who are seeking to improve their systems.

Features Written in an accessible style for non-experts yet extensive enough for experts Serves as a comprehensive and accessible introduction to the theory of graph polynomials for researchers in mathematics, physics, and computer science Provides an extensive reference volume for the evaluations, theorems, and properties of the Tutte polynomial and related graph, matroid, and knot invariants Offers broad coverage, touching on the wide range of applications of the Tutte polynomial and its various specializations

Networked computers are ubiquitous, and are subject to attack, misuse, and abuse. One method to counteracting this cyber threat is to provide security analysts with better tools to discover patterns, detect anomalies, identify correlations, and communicate their findings. Visualization for computer security (VizSec) researchers and developers are doing just that. VizSec is about putting robust information visualization tools into the hands of human analysts to take advantage of the power of the human perceptual and cognitive processes in solving computer security problems. This volume collects the papers presented at the 4th International Workshop on Computer Security - VizSec 2007.

This book is a result of a workshop, the 8th of the successful TopoInVis workshop series, held in 2019 in Nykoeping, Sweden. The workshop regularly gathers some of the world's leading experts in this field. Thereby, it provides a forum for discussions on the latest advances in the field with a focus on finding practical solutions to open problems in topological data analysis for visualization. The contributions provide introductory and novel research articles including new concepts for the analysis of multivariate and time-dependent data, robust computational approaches for the extraction and approximations of topological structures with theoretical guarantees, and applications of topological scalar and vector field analysis for visualization. The applications span a wide range of scientific areas comprising climate science, material sciences, fluid dynamics, and astronomy. In addition, community efforts with respect to joint software development are reported and discussed.

A symbol of the Divine, a good luck charm, a cosmogram of the world order, a template for fengshui through the ages, the luoshu, or magic squre of order three, has fascinated people of many different cultures.

In this riveting account of cultural detective work, renowned mathematics educator, Frank J. Swetz relates how he uncovered the previously hidden history of the luoshu, from its Chinese origins, shrouded in legend, through its eventual association with Chinese fortunetelling, Daoism, and fengshui, to its incorporation into Islamic astrology and alchemy and its migration into Kabbalistic lore and other occult traditions of the West.

This concise, self-contained textbook gives an in-depth look at problem-solving from a mathematician's point-of-view. Each chapter builds off the previous one, while introducing a variety of methods that could be used when approaching any given problem. Creative thinking is the key to solving mathematical problems, and this book outlines the tools necessary to improve the reader's technique. The text is divided into twelve chapters, each providing corresponding hints, explanations, and finalization of solutions for the problems in the given chapter. For the reader's convenience, each exercise is marked with the required background level. This book implements a variety of strategies that can be used to solve mathematical problems in fields such as analysis, calculus, linear and multilinear algebra and combinatorics. It includes applications to mathematical physics, geometry, and other branches of mathematics. Also provided within the text are real-life problems in engineering and technology. Thinking in Problems is intended for advanced undergraduate and graduate students in the classroom or as a self-study guide. Prerequisites include linear algebra and analysis.

The most recent methods in various branches of lattice path and enumerative combinatorics along with relevant applications are nicely grouped together and represented in this research contributed volume. Contributions to this edited volume will be mainly research articles however it will also include several captivating, expository articles (along with pictures) on the life and mathematical work of leading researchers in lattice path combinatorics and beyond. There will be four or five expository articles in memory of Shreeram Shankar Abhyankar and Philippe Flajolet and honoring George Andrews and Lajos Takacs. There may be another brief article in memory of Professors Jagdish Narayan Srivastava and Joti Lal Jain. New research results include the kernel method developed by Flajolet and others for counting different classes of lattice paths continues to produce new results in counting lattice paths. The recent investigation of Fishburn numbers has led to interesting counting interpretations and a family of fascinating congruences. Formulas for new methods to obtain the number of Fq-rational points of Schubert varieties in Grassmannians continues to have research interest and will be presented here. Topics to be included are far reaching and will include lattice path enumeration, tilings, bijections between paths and other combinatoric structures, non-intersecting lattice paths, varieties, Young tableaux, partitions, enumerative combinatorics, discrete distributions, applications to queueing theory and other continuous time models, graph theory and applications. Many leading mathematicians who spoke at the conference from which this volume derives, are expected to send contributions including. This volume also presents the stimulating ideas of some exciting newcomers to the Lattice Path Combinatorics Conference series; "The 8th Conference on Lattice Path Combinatorics and Applications" provided opportunities for new collaborations; some of the products of these collaborations will also appear in this book. This book will have interest for researchers in lattice path combinatorics and enumerative combinatorics. This will include subsets of researchers in mathematics, statistics, operations research and computer science. The applications of the material covered in this edited volume extends beyond the primary audience to scholars interested queuing theory, graph theory, tiling, partitions, distributions, etc. An attractive bonus within our book is the collection of special articles describing the top recent researchers in this area of study and documenting the interesting history of who, when and how these beautiful combinatorial results were originally discovered.

Combinatorial theory is one of the fastest growing areas of modern mathematics. Focusing on a major part of this subject, Introduction to Combinatorial Designs, Second Edition provides a solid foundation in the classical areas of design theory as well as in more contemporary designs based on applications in a variety of fields.

After an overview of basic concepts, the text introduces balanced designs and finite geometries. The author then delves into balanced incomplete block designs, covering difference methods, residual and derived designs, and resolvability. Following a chapter on the existence theorem of Bruck, Ryser, and Chowla, the book discusses Latin squares, one-factorizations, triple systems, Hadamard matrices, and Room squares. It concludes with a number of statistical applications of designs.

Reflecting recent results in design theory and outlining several applications, this new edition of a standard text presents a comprehensive look at the combinatorial theory of experimental design. Suitable for a one-semester course or for self-study, it will prepare readers for further exploration in the field.

To access supplemental materials for this volume, visit the author's website at http: //www.math.siu.edu/Wallis/designs

Combinatorics plays a prominent role in contemporary mathematics, due to the vibrant development it has experienced in the last two decades and its many interactions with other subjects. This book arises from the INdAM conference "CoMeTA 2013 - Combinatorial Methods in Topology and Algebra,'' which was held in Cortona in September 2013. The event brought together emerging and leading researchers at the crossroads of Combinatorics, Topology and Algebra, with a particular focus on new trends in subjects such as: hyperplane arrangements; discrete geometry and combinatorial topology; polytope theory and triangulations of manifolds; combinatorial algebraic geometry and commutative algebra; algebraic combinatorics; and combinatorial representation theory. The book is divided into two parts. The first expands on the topics discussed at the conference by providing additional background and explanations, while the second presents original contributions on new trends in the topics addressed by the conference.

This book reports on the development and assessment of a novel framework for studying neural interactions (the connectome) and their dynamics (the chronnectome). Using EEG recordings taken during an auditory oddball task performed by 48 patients with schizophrenia and 87 healthy controls, and applying local and network measures, changes in brain activation from pre-stimulus to cognitive response were assessed, and significant differences were observed between the patients and controls. This book investigates the source of the network abnormalities and presents new evidence for the disconnection hypothesis and the aberrant salience hypothesis with regard to schizophrenia. Moreover, it puts forward a novel approach to combining local regularity measures and graph measures in order to characterize schizophrenia brain dynamics, and presents interesting findings on the regularity of brain patterns in healthy control subjects versus patients with schizophrenia. Besides providing new evidence for the disconnection hypothesis, it offers a source of inspiration for future research directions in the field.

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.