Stabilization algorithms are useful tools for perceiving the symmetries of graphs and for recognizing whether two graphs are equivalent or not. These problems are known as the graph automorphism and the graph isomorphism problem, respectively. Stabilization algorithms are also used for computing basis of coherent algebras. Furthermore, stabilization algorithms have several applications in chemistry, for example recognizing the symmetries and the structure of chemical compounds. A new application is the reconstruction of phylogenies in chemical biology. This thesis introduces an efficient way of computing 1- and 2-stable partitions. Moreover, a particular version of a k-dimensional stabilization algorithm is presented. Several aspects of stabilization procedures are considered. We discuss bounds on the number of steps and capabilites of k-dimensional stabilization algorithms. One Chapter deals with applications. A class of graphs is investigated which is of importance for the problem of reconstructing phylogenies. Other applications concern graph isomorphism, automorphism and canonical labeling problems. Then some graph classes are presented for which the isomorphism problem is solvable in polynomial time. We exhibit and discuss stabilization algorithms used in chemistry. Finally, some refinements of the algorithms and computational results are given.
«
Stabilization algorithms are useful tools for perceiving the symmetries of graphs and for recognizing whether two graphs are equivalent or not. These problems are known as the graph automorphism and the graph isomorphism problem, respectively. Stabilization algorithms are also used for computing basis of coherent algebras. Furthermore, stabilization algorithms have several applications in chemistry, for example recognizing the symmetries and the structure of chemical compounds. A new application...
»