Boris Hollas Bücher

Dieses Buch zeigt, dass Theoretische Informatik nicht schwer sein muss. Über 80 Beispiele und 100 Abbildungen helfen beim Verständnis des Stoffes, der die zentralen Gebiete einer Grundvorlesung Theoretische Informatik umfasst. Jedes Kapitel enthält zahlreiche, darauf abgestimmte Aufgaben und Prüfungsfragen mit vollständigen Lösungen. Ohne sich in Details zu verlieren, werden wichtige Beweisideen ausführlich dargestellt, formale Definitionen zuerst anschaulich erläutert. Aus dem Inhalt: - Grundlegende Beweistechniken - Graphen und Algorithmen - Automaten, formale Sprachen und Grammatiken - Berechenbarkeit und Entscheidbarkeit - NP-vollständige Probleme - Anwendungen und Programmierbeispiele Dieses Buch richtet sich besonders an Studenten im Grundstudium, die eine Vorlesung Theoretische Informatik hören oder sich auf eine Prüfung vorbereiten.

Topological indices are molecular descriptors based on the graph of a molecule. Numerous topological indices, including the popular connectivity index or the Zagreb indices, have been proposed, many of these were found to be strongly correlated. This is a serious problem for QSAR/QSPR studies as data processing may give meaningless results or fail completely. Using random graphs as a mathematical model for molecular graphs, Hollas shows that certain topological indices are necessarily correlated. This correlation can be arbitrarily close to a perfect linear relationship, in which the information provided by either index is completely redundant. The underlying reasons are identified and simple transformations of the considered topological indices are proposed, reducing or eliminating unwanted correlations. Hollas also shows that the variance of certain topological indices depends on the number of atoms and how a uniform variance throughtout the data set can be obtained. Experimental results with chemical graphs support these findings, which are of practical importance for QSAR/ QSPR studies and other applications of topological indices. The author, Boris Hollas, studied mathematics and computer science at Gießen University. He works as a research assistant at the departement of theoretical computer science at Ulm University.