This textbook covers a diversity of topics in graph and network theory, both from a theoretical standpoint, and from an applied modelling point of view. Mathematica (R) is used to demonstrate much of the modelling aspects. Graph theory and model building tools are developed in tandem with effective techniques for solving practical problems via computer implementation. The book is designed with three primary readerships in mind. Individual syllabi or suggested sequences for study are provided for each of three student audiences: mathematics, applied mathematics/operations research, and computer science. In addition to the visual appeal of each page, the text contains an abundance of gems. Most chapters open with real-life problem descriptions which serve as motivation for the theoretical development of the subject matter. Each chapter concludes with three different sets of exercises. The first set of exercises are standard and geared toward the more mathematically inclined reader. Many of these are routine exercises, designed to test understanding of the material in the text, but some are more challenging. The second set of exercises is earmarked for the computer technologically savvy reader and offer computer exercises using Mathematica. The final set consists of larger projects aimed at equipping those readers with backgrounds in the applied sciences to apply the necessary skills learned in the chapter in the context of real-world problem solving. Additionally, each chapter offers biographical notes as well as pictures of graph theorists and mathematicians who have contributed significantly to the development of the results documented in the chapter. These notes are meant to bring the topics covered to life, allowing the reader to associate faces with some of the important discoveries and results presented. In total, approximately 100 biographical notes are presented throughout the book. The material in this book has been organized into three distinct parts, each with a different focus. The first part is devoted to topics in network optimization, with a focus on basic notions in algorithmic complexity and the computation of optimal paths, shortest spanning trees, maximum flows and minimum-cost flows in networks, as well as the solution of network location problems. The second part is devoted to a variety of classical problems in graph theory, including problems related to matchings, edge and vertex traversal, connectivity, planarity, edge and vertex coloring, and orientations of graphs. Finally, the focus in the third part is on modern areas of study in graph theory, covering graph domination, Ramsey theory, extremal graph theory, graph enumeration, and application of the probabilistic method.

Image analysis is a computational feat which humans show excellence in, in comp- ison with computers. Yet the list of applications that rely on automatic processing of images has been growing at a fast pace. Biometric authentication by face, ?ngerprint, and iris, online character recognition in cell phones as well as drug design tools are but a few of its benefactors appearing on the headlines. This is, of course, facilitated by the valuable output of the resarch community in the past 30 years. The pattern recognition and computer vision communities that study image analysis have large conferences, which regularly draw 1000 parti- pants. In a way this is not surprising, because much of the human-speci?c activities critically rely on intelligent use of vision. If routine parts of these activities can be automated, much is to be gained in comfort and sustainable development. The - search ?eld could equally be called visualintelligence because it concerns nearly all activities of awake humans. Humans use or rely on pictures or pictorial languages to represent, analyze, and develop abstract metaphors related to nearly every aspect of thinking and behaving, be it science, mathematics, philosopy, religion, music, or emotions. The present volume is an introductory textbook on signal analysis of visual c- putation for senior-level undergraduates or for graduate students in science and - gineering. My modest goal has been to present the frequently used techniques to analyze images in a common framework-directional image processing.

One of the greatest scientific challenges of the 21st century is how to master, organize and extract useful knowledge from the overwhelming flow of information made available by today 's data acquisition systems and computing resources. Visualization is the premium means of taking up this challenge. This book is based on selected lectures given by leading experts in scientific visualization during a workshop held at Schloss Dagstuhl, Germany. Topics include user issues in visualization, large data visualization, unstructured mesh processing for visualization, volumetric visualization, flow visualization, medical visualization and visualization systems. The book contains more than 350 color illustrations.

This solid volume discusses all the key topics in detail, including classification, orbit structure, representations, universal constructions, and abstract analogues. Open problems are discussed as they arise and many useful exercises are included.

What is the "most uniform" way of distributing n points in the unit square? How big is the "irregularity" necessarily present in any such distribution? This book is an accessible and lively introduction to the area of geometric discrepancy theory, with numerous exercises and illustrations. In separate, more specialized parts, it also provides a comprehensive guide to recent research.

This book constitutes the revised selected papers of the 20th International Workshop on Combinatorial Algorithms, held in June/July 2009 in the castle of Hradec nad Moravici, Czech Republic.

The 41 papers included in this volume together with 5 invited papers were carefully reviewed and selected from over 100 submissions. The topics dealt with are algorithms and data structures, applications, combinatorial enumeration, combinatorial optimization, complexity theory, computational biology, databases, decompositions and combinatorial designs, discrete and computational geometry, including graph drawing, and graph theory and combinatorics.

Scheduled transportation networks give rise to very complex and large-scale networkoptimization problems requiring innovative solution techniques and ideas from mathematical optimization and theoretical computer science. Examples of scheduled transportation include bus, ferry, airline, and railway networks, with the latter being a prime application domain that provides a fair amount of the most complex and largest instances of such optimization problems. Scheduled transport optimization deals with planning and scheduling problems over several time horizons, and substantial progress has been made for strategic planning and scheduling problems in all transportation domains.

This state-of-the-art survey presents the outcome of an open call for contributions asking for either research papers or state-of-the-art survey articles. We received 24 submissions that underwent two rounds of the standard peer-review process, out of which 18 were finally accepted for publication.

The volume is organized in four parts: Robustness and Recoverability, Robust Timetabling and Route Planning, Robust Planning Under Scarce Resources, and Online Planning: Delay and Disruption Management.

Honesty in voting, it turns out, is not always the best policy. Indeed, in the early 1970s, Allan Gibbard and Mark Satterthwaite, building on the seminal work of Nobel laureate Kenneth Arrow, proved that with three or more alternatives there is no reasonable voting system that is non-manipulable; voters will always have an opportunity to benefit by submitting a disingenuous ballot. The ensuing decades produced a number of theorems of striking mathematical naturality that dealt with the manipulability of voting systems. This 2005 book presents many of these results from the last quarter of the twentieth century, especially the contributions of economists and philosophers, from a mathematical point of view, with many new proofs. The presentation is almost completely self-contained, and requires no prerequisites except a willingness to follow rigorous mathematical arguments. Mathematics students, as well as mathematicians, political scientists, economists and philosophers will learn why it is impossible to devise a completely unmanipulable voting system.

"This is a delightful little paperback which presents a day-by-day transcription of a course taught jointly by P lya and Tarjan at Stanford University...One can count on [P lya and Tarjan] for new insights and a fresh outlook. Both instructors taught by presenting a succession of examples rather than by presenting a body of theory...[The book] is very well suited as supplementary material for any introductory class on combinatorics; as such, it is very highly recommended. Finally, for all of us who like the topic and delight in observing skilled professionals at work, this book is entertaining and, yes, instructive, reading."

Mathematical Reviews (Review of the original hardcover edition)

"The mathematical community welcomes this book as a final contribution to honour the teacher G. P lya."

Zentralblatt MATH (Review of the original hardcover edition)

From the reviews: " A unique and fascinating blend, which is shown to be useful for a variety of applications, including robotics, geometrical optics, computer animation, and geometric design. The contents of the book are visualized by a wealth of carefully chosen illustrations, making the book a shear pleasure to read, or even to just browse in." Mathematical Reviews

Volume of geometric objects plays an important role in applied and theoretical mathematics. This is particularly true in the relatively new branch of discrete geometry, where volume is often used to find new topics for research. Volumetric Discrete Geometry demonstrates the recent aspects of volume, introduces problems related to it, and presents methods to apply it to other geometric problems. Part I of the text consists of survey chapters of selected topics on volume and is suitable for advanced undergraduate students. Part II has chapters of selected proofs of theorems stated in Part I and is oriented for graduate level students wishing to learn about the latest research on the topic. Chapters can be studied independently from each other. Provides a list of 30 open problems to promote research Features more than 60 research exercises Ideally suited for researchers and students of combinatorics, geometry and discrete mathematics

The papers in this volume were selected for presentation at the 15th Annual InternationalComputing and CombinatoricsConference (COCOON 2009), held during July 13-15, 2009 in Niagara Falls, New York, USA. Previous meetings of this conference were held in Xian (1995), Hong Kong (1996), Shanghai (1997), Taipei(1998), Tokyo(1999), Sydney(2000), Guilin(2001), Singapore(2002), Big Sky (2003), Jeju Island (2004), Kunming (2005), Taipei (2006), Alberta (2007), and Dalian (2008). In response to the Call for Papers, 125 extended abstracts (not counting withdrawn papers) were submitted from 28 countries and regions, of which 51 were accepted. Authors of the submitted papers were from Cyprus (1), The Netherlands (1), Bulgaria (1), Israel (1), Vietnam (2), Finland (1), Puerto Rico (2), Australia (4), Norway (4), Portugal (1) Spain (2), France (16), Republic of Korea(3), Singapore(2), Italy(6), Iran, (4), Greece(7), Poland(4), Switzerland (8), Hong Kong (10), UK (12), India (7), Taiwan (18), Canada (23), China (19), Japan (39), Germany (44), and the USA (77). The submitted papers were evaluated by an international Technical P- gram Committee (TPC) consisting of Srinivas Aluru (Iowa State University, USA), Lars Arge (University of Aarhus, Denmark), Vikraman Arvind (Ins- tute of Mathematical Sciences, India), James Aspnes (Yale University, USA), Mikhail Atallah (Purdue University, USA), Gill Barequet (Technion - Israel - stitute of Technology, Israel), Michael Brudno (University of Toronto, Canada), Jianer Chen (Texas A&M, USA), Bhaskar DasGupta (University of Illinois at Chicago, USA), Anupam Gupta (Carnegie Mellon University, USA), L

Paul Erdoes was one of the greatest mathematicians of this century, known the world over for his brilliant ideas and stimulating questions. On the date of his 80th birthday a conference was held in his honour at Trinity College, Cambridge. Many leading combinatorialists attended. Their subsequent contributions are collected here. The areas represented range from set theory and geometry, through graph theory, group theory and combinatorial probability, to randomised algorithms and statistical physics. Erdoes himself was able to give a survey of recent progress made on his favourite problems. Consequently this volume, consisting of in-depth studies at the frontier of research, provides a valuable panorama across the breadth of combinatorics as it is today.

Additive combinatorics is a relatively recent term coined to comprehend the developments of the more classical additive number theory, mainly focussed on problems related to the addition of integers. Some classical problems like the Waring problem on the sum of k-th powers or the Goldbach conjecture are genuine examples of the original questions addressed in the area. One of the features of contemporary additive combinatorics is the interplay of a great variety of mathematical techniques, including combinatorics, harmonic analysis, convex geometry, graph theory, probability theory, algebraic geometry or ergodic theory.

This book gathers the contributions of many of the leading researchers in the area and is divided into three parts. The two first parts correspond to the material of the main courses delivered, Additive combinatorics and non-unique factorizations, by Alfred Geroldinger, and Sumsets and structure, by Imre Z. Ruzsa. The third part collects the notes of most of the seminars which accompanied the main courses, and which cover a reasonably large part of the methods, techniques and problems of contemporary additive combinatorics.

The matching problem is one of the central problems in graph theory as well as in the theory of algorithms and their applications. This book will provide the reader with a comprehensive and straightforward introduction to the basic methods of designing efficient parallel algorithms for graph matching problems. The text is written for students at the beginning graduate level. The exposition is mostly self-contained and example-driven. Prerequisites have been kept to a minimum by including relevant background material. The book contains full details of several new techniques and should also be of interest to research workers in computer science, operations research, discrete mathematics, and electrical engineering. The main theoretical tools are combined into three independent chapters, devoted to combinatorial tools, probabilistic tools, and algebraic tools. One of the main goals of the book is to bring together these three approaches and highlight how their combination works in the development of efficient parallel algorithms. The reader will be provided with a simple and transparent presentation of a variety of interesting algorithms, including many examples and illustrations. The combination of different approaches makes the matching problem and its applications an attractive and fascinating subject. It is hoped that the book represents a meeting point of interesting algorithmic techniques and opens up new algebraic and geometric areas. Marek Karpinski is Chair Professor of Computer Science at the University of Bonn. Wojciech Rytter is Professor of Computer Science at the University of Warsaw and at the University of Liverpool.

Line graphs have the property that their least eigenvalue is greater than or equal to -2, a property shared by generalized line graphs and a finite number of so-called exceptional graphs. This book deals with all these families of graphs in the context of their spectral properties. The authors discuss the three principal techniques that have been employed, namely 'forbidden subgraphs', 'root systems' and 'star complements'. They bring together the major results in the area, including the recent construction of all the maximal exceptional graphs. Technical descriptions of these graphs are included in the appendices, while the bibliography provides over 250 references. This will be an important resource for all researchers with an interest in algebraic graph theory.

This book constitutes the refereed proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2009, held in Pittsburgh, PA, USA, in May 2009.

The 20 revised full papers and 10 extended abstracts presented together with 2 invited talks were carefully reviewed and selected from 65 submissions. The papers describe current research in the fields of constraint programming, artificial intelligence, and operations research and present new techniques or new applications in combinatorial optimization, thus exploring ways of solving large-scale, practical optimization problems through integration and hybridization of the fields' different techniques.

Random matrix theory has developed in the last few years, in connection with various fields of mathematics and physics. These notes emphasize the relation with the problem of enumerating complicated graphs, and the related large deviations questions. Such questions are also closely related with the asymptotic distribution of matrices, which is naturally defined in the context of free probability and operator algebra.
The material of this volume is based on a series of nine lectures given at the Saint-Flour Probability Summer School 2006. Lectures were also given by Maury Bramson and Steffen Lauritzen.

This thoroughly revised and updated version of the popular textbook on abstract algebra introduces students to easily understood problems and concepts. John Humphreys and Mike Prest include many examples and exercises throughout the book to make it more appealing to students and instructors. The second edition features new sections on mathematical reasoning and polynomials. In addition, three chapters have been completely rewritten and all others have been updated. First Edition Pb (1990): 0-521-35938-4

This volume surveys the development of combinatorics since 1930 by presenting in chronological order the fundamental results of the subject proved in over five decades of original papers by: T. van Aardenne-Ehrenfest.- R.L. Brooks.- N.G. de Bruijn.- G.F. Clements.- H.H. Crapo.- R.P. Dilworth.- J. Edmonds.- P. Erd s.- L.R. Ford, Jr.- D.R. Fulkerson.- D. Gale.- L. Geissinger.- I.J. Good.- R.L. Graham.- A.W. Hales.- P. Hall.- P.R. Halmos.- R.I. Jewett.- I. Kaplansky.- P.W. Kasteleyn.- G. Katona.- D.J. Kleitman.- K. Leeb.- B. Lindstr m.- L. Lov sz.- D. Lubell.- C. St. J.A. Nash-Williams.- G. P lya.-R. Rado.- F.P. Ramsey.- G.-C. Rota.- B.L. Rothschild.- H.J. Ryser.- C. Schensted.- M.P. Sch tzenberger.- R.P. Stanley.- G. Szekeres.- W.T. Tutte.- H.E. Vaughan.- H. Whitney.

Tolerance graphs can be used to quantify the degree to which there is conflict or accord in a system and can provide solutions to questions in the form of "optimum arrangements." Arising from the authors' teaching graduate students in the U.S. and Israel, this book is intended for use in mathematics and computer science, where the subject can be applied to algorithmics. The inclusion of many exercises with partial solutions will increase the appeal of the book to instructors as well as graduate students.

The study of combinatorial isoperimetric problems exploits similarities between discrete optimization problems and the classical continuous setting. Based on his many years of teaching experience, Larry Harper focuses on global methods of problem solving. His text will enable graduate students and researchers to quickly reach the most current state of research in this topic. Harper includes numerous worked examples, exercises and material about applications to computer science.

Combinatorics, a subject dealing with ways of arranging and distributing objects, involves ideas from geometry, algebra, and analysis. The breadth of the theory is matched by that of its applications, which include topics as diverse as codes, circuit design and algorithm complexity. It has thus become an essential tool in many scientific fields. In this second edition the authors have made the text as comprehensive as possible, dealing in a unified manner with such topics as graph theory, extremal problems, designs, colorings, and codes. The depth and breadth of the coverage make the book a unique guide to the whole of the subject. It is ideal for courses on combinatorical mathematics at the advanced undergraduate or beginning graduate level, and working mathematicians and scientists will also find it a valuable introduction and reference.

With the advent of digital computers more than half a century ago, - searchers working in a wide range of scienti?c disciplines have obtained an extremely powerful tool to pursue deep understanding of natural processes in physical, chemical, and biological systems. Computers pose a great ch- lenge to mathematical sciences, as the range of phenomena available for rigorous mathematical analysis has been enormously expanded, demanding the development of a new generation of mathematical tools. There is an explosive growth of new mathematical disciplines to satisfy this demand, in particular related to discrete mathematics. However, it can be argued that at large mathematics is yet to provide the essential breakthrough to meet the challenge. The required paradigm shift in our view should be compa- ble to the shift in scienti?c thinking provided by the Newtonian revolution over 300 years ago. Studies of large-scale random graphs and networks are critical for the progress, using methods of discrete mathematics, probabil- tic combinatorics, graph theory, and statistical physics. Recent advances in large scale random network studies are described in this handbook, which provides a signi?cant update and extension - yond the materials presented in the "Handbook of Graphs and Networks" published in 2003 by Wiley. The present volume puts special emphasis on large-scale networks and random processes, which deemed as crucial for - tureprogressinthe?eld. Theissuesrelatedtorandomgraphsandnetworks pose very di?cult mathematical questions.

This volumecontains the paperspresented at VizSec 2008, the 5th International Workshop on Visualization for Cyber Security, held on September 15, 2008 in Cambridge, Massachusetts, USA. VizSec 2008 was held in conjunction with the 11thInternationalSymposiumonRecentAdvancesinIntrusionDetection(RAID). There were 27 submissions to the long and short paper categories. Each submission was reviewed by at least 2 reviewers and, on average, 2.9 program committee members. The program committee decided to accept 18 papers. The program also included an invited talk and a panel. The keynote address was given by Ben Shneiderman, University of Maryland at College Park, on the topic InformationForensics: HarnessingVisualizationto SupportDiscovery.The panel, on the topic The Need for Applied Visualization in Information Security Today, wasorganizedandmoderatedbyTobyKohlenbergfromIntelCorporation. July 2008 John R. Goodall Conference Organization Program Chairs John R. Goodall Secure Decisions division of Applied Visions Gregory Conti United States Military Academy Kwan-Liu Ma University of California at Davis Program Committee Stefan Axelsson Blekinge Institute of Technology Richard Bejtlich General Electric Kris Cook Paci?c Northwest National Laboratory David Ebert Purdue University Robert Erbacher Utah State University Deborah Frincke Paci?c Northwest National Laboratory Carrie Gates CA Labs John Gerth Stanford University Barry Irwin Rhodes University Daniel Keim University of Konstanz Toby Kohlenberg Intel Corporation Stuart Kurkowski Air Force Institute of Technology Kiran Lakkaraju University of Illinois at Urbana-Champaign Ra?ael Marty Splunk Douglas Maughan Department of Homeland Security John McHugh Dalhousie University Penny Rheingans UMBC Lawrence Rosenblum National Science Foundation George Tadda Air Force Research Lab Daniel Tesone Applied Visions Alfonso Valdes SRI Internatio