Graphs Dioids and Semirings

Author: Michel Gondran
Publisher: Springer Science & Business Media
ISBN: 0387754504
Format: PDF, ePub, Mobi
Download Now
The primary objective of this essential text is to emphasize the deep relations existing between the semiring and dioïd structures with graphs and their combinatorial properties. It does so at the same time as demonstrating the modeling and problem-solving flexibility of these structures. In addition the book provides an extensive overview of the mathematical properties employed by "nonclassical" algebraic structures which either extend usual algebra or form a new branch of it.

Algebraic Methodology and Software Technology

Author: Michael Johnson
Publisher: Springer Science & Business Media
ISBN: 3642177956
Format: PDF, ePub, Mobi
Download Now
This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in Lac-Beauport, QC, Canada, in June 2010. The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers are organized in 1 invited paper, 10 contributed research papers, and 4 system demonstrations.

Path Problems in Networks

Author: John Baras
Publisher: Morgan & Claypool Publishers
ISBN: 1598299247
Format: PDF
Download Now
The algebraic path problem is a generalization of the shortest path problem in graphs. Various instances of this abstract problem have appeared in the literature, and similar solutions have been independently discovered and rediscovered. The repeated appearance of a problem is evidence of its relevance. This book aims to help current and future researchers add this powerful tool to their arsenal, so that they can easily identify and use it in their own work. Path problems in networks can be conceptually divided into two parts: A distillation of the extensive theory behind the algebraic path problem, and an exposition of a broad range of applications. First of all, the shortest path problem is presented so as to fix terminology and concepts: existence and uniqueness of solutions, robustness to parameter changes, and centralized and distributed computation algorithms. Then, these concepts are generalized to the algebraic context of semirings. Methods for creating new semirings, useful for modeling new problems, are provided. A large part of the book is then devoted to numerous applications of the algebraic path problem, ranging from mobile network routing to BGP routing to social networks. These applications show what kind of problems can be modeled as algebraic path problems; they also serve as examples on how to go about modeling new problems. This monograph will be useful to network researchers, engineers, and graduate students. It can be used either as an introduction to the topic, or as a quick reference to the theoretical facts, algorithms, and application examples. The theoretical background assumed for the reader is that of a graduate or advanced undergraduate student in computer science or engineering. Some familiarity with algebra and algorithms is helpful, but not necessary. Algebra, in particular, is used as a convenient and concise language to describe problems that are essentially combinatorial. Table of Contents: Classical Shortest Path / The Algebraic Path Problem / Properties and Computation of Solutions / Applications / Related Areas / List of Semirings and Applications

Tropical and Idempotent Mathematics

Author: Grigoriĭ Lazarevich Litvinov
Publisher: American Mathematical Soc.
ISBN: 0821847821
Format: PDF, Docs
Download Now
This volume is a collection of papers from the International Conference on Tropical and Idempotent Mathematics, held in Moscow, Russia in August 2007. This is a relatively new branch of mathematical sciences that has been rapidly developing and gaining popularity over the last decade. Tropical mathematics can be viewed as a result of the Maslov dequantization applied to 'traditional' mathematics over fields. Importantly, applications in econophysics and statistical mechanics lead to an explanation of the nature of financial crises. Another original application provides an analysis of instabilities in electrical power networks. Idempotent analysis, tropical algebra, and tropical geometry are the building blocks of the subject. Contributions to idempotent analysis are focused on the Hamilton-Jacobi semigroup, the max-plus finite element method, and on the representations of eigenfunctions of idempotent linear operators. Tropical algebras, consisting of plurisubharmonic functions and their germs, are examined. The volume also contains important surveys and research papers on tropical linear algebra and tropical convex geometry.

Discrete Event Systems in Dioid Algebra and Conventional Algebra

Author: Philippe Declerck
Publisher: John Wiley & Sons
ISBN: 1118578627
Format: PDF, ePub
Download Now
This book concerns the use of dioid algebra as (max, +) algebrato treat the synchronization of tasks expressed by the maximum ofthe ends of the tasks conditioning the beginning of another task– a criterion of linear programming. A classical example isthe departure time of a train which should wait for the arrival ofother trains in order to allow for the changeover ofpassengers. The content focuses on the modeling of a class of dynamic systemsusually called “discrete event systems” where thetiming of the events is crucial. Events are viewed as suddenchanges in a process which is, essentially, a man-made system, suchas automated manufacturing lines or transportation systems. Itsmain advantage is its formalism which allows us to clearly describecomplex notions and the possibilities to transpose theoreticalresults between dioids and practical applications.

Relationen und Graphen

Author: Gunther Schmidt
Publisher: Springer-Verlag
ISBN: 3642836089
Format: PDF
Download Now
Dieses Buch gibt eine neuartige systematische Darstellung der Diskreten Mathematik; sie orientiert sich an Methoden der Relationenalgebra. Ähnlich wie man es sonst nur für die weit entwickelte Analysis im kontinuierlichen Fall und die Matrizenrechnung gewohnt ist, stellt dieses Buch auch für die Behandlung diskreter Probleme geeignete Techniken und Hilfsmittel sowie eine einheitliche Theorie bereit. Die einzelnen Kapitel beginnen jeweils mit anschaulichen und motivierenden Beispielen und behandeln anschließend den Stoff in mathematischer Strenge. Es folgen jeweils praktische Anwendungen. Diese entstammen der Semantik der Programmierung, der Programmverifikation, dem Datenbankbereich, der Spieltheorie oder der Theorie der Zuordnungen und Überdeckungen aus der Graphentheorie; sie reichen aber auch bis zu rein mathematischen "Anwendungen" wie der transfiniten Induktion. Im Anhang ist dem Buch eine Einführung in die Boolesche Algebra und in die Axiomatik der Relationenalgebra beigegeben, sowie ein Abriß der Fixpunkt- und Antimorphismen-Theorie.

A Guide to the Literature on Semirings and their Applications in Mathematics and Information Sciences

Author: K. Glazek
Publisher: Springer Science & Business Media
ISBN: 9781402007170
Format: PDF, ePub
Download Now
This book presents a guide to the extensive literature on the topic of semirings and includes a complete bibliography. It serves as a complement to the existing monographs and a point of reference to researchers and students on this topic. The literature on semirings has evolved over many years, in a variety of languages, by authors representing different schools of mathematics and working in various related fields. Recently, semiring theory has experienced rapid development, although publications are widely scattered. This survey also covers those newly emerged areas of semiring applications that have not received sufficient treatment in widely accessible monographs, as well as many lesser-known or `forgotten' works. The author has been collecting the bibliographic data for this book since 1985. Over the years, it has proved very useful for specialists. For example, J.S. Golan wrote he owed `... a special debt to Kazimierz Glazek, whose bibliography proved to be an invaluable guide to the bewildering maze of literature on semirings'. U. Hebisch and H.J. Weinert also mentioned his collection of literature had been of great assistance to them. Now updated to include publications up to the beginning of 2002, this work is available to a wide readership. Audience: This volume is the first single reference that can guide the interested scholar or student to the relevant publications in semirings, semifields, algebraic theory of languages and automata, positive matrices and other generalisations, and ordered semigroups and groups.

Einf hrung in die Geometrie und Topologie

Author: Werner Ballmann
Publisher: Springer-Verlag
ISBN: 3034809018
Format: PDF
Download Now
Das Buch bietet eine Einführung in die Topologie, Differentialtopologie und Differentialgeometrie. Es basiert auf Manuskripten, die in verschiedenen Vorlesungszyklen erprobt wurden. Im ersten Kapitel werden grundlegende Begriffe und Resultate aus der mengentheoretischen Topologie bereitgestellt. Eine Ausnahme hiervon bildet der Jordansche Kurvensatz, der für Polygonzüge bewiesen wird und eine erste Idee davon vermitteln soll, welcher Art tiefere topologische Probleme sind. Im zweiten Kapitel werden Mannigfaltigkeiten und Liesche Gruppen eingeführt und an einer Reihe von Beispielen veranschaulicht. Diskutiert werden auch Tangential- und Vektorraumbündel, Differentiale, Vektorfelder und Liesche Klammern von Vektorfeldern. Weiter vertieft wird diese Diskussion im dritten Kapitel, in dem die de Rhamsche Kohomologie und das orientierte Integral eingeführt und der Brouwersche Fixpunktsatz, der Jordan-Brouwersche Zerlegungssatz und die Integralformel von Stokes bewiesen werden. Das abschließende vierte Kapitel ist den Grundlagen der Differentialgeometrie gewidmet. Entlang der Entwicklungslinien, die die Geometrie der Kurven und Untermannigfaltigkeiten in Euklidischen Räumen durchlaufen hat, werden Zusammenhänge und Krümmung, die zentralen Konzepte der Differentialgeometrie, diskutiert. Den Höhepunkt bilden die Gaussgleichungen, die Version des theorema egregium von Gauss für Untermannigfaltigkeiten beliebiger Dimension und Kodimension. Das Buch richtet sich in erster Linie an Mathematik- und Physikstudenten im zweiten und dritten Studienjahr und ist als Vorlage für ein- oder zweisemestrige Vorlesungen geeignet.