부산대학교 도서관

Summary: ``Cacti, or treelike graphs, are graphs whose all cycles are mutually edge-disjoint. Graphs with the property $\lambda_2\leq 2$ are called reflexive graphs, where $\lambda_2$ is the second largest eigenvalue of the corresponding $(0,1)$-adjacency matrix. The property $\lambda_2\leq 2$ is a hereditary one, i.e. all induced subgraphs of a reflexive graph are also reflexive. This is why we represent reflexive graphs through the maximal graphs within a given class (such as connected cacti with a fixed number of cycles). In previous work we have determined all maximal reflexive cacti with four cycles whose cycles do not form a bundle and pointed out the role of so-called pouring of Smith graphs in their construction. In this paper, besides pouring, we show several other patterns of the appearance of Smith trees in those constructions. These include splitting of a Smith tree, adding an edge to a Smith tree and then splitting of the resulting graph, identifying two vertices of a Smith tree and then splitting the resulting graph. Our results show that the presence of Smith trees is evident in all such maximal reflexive cacti with four cycles and that in most of them Smith graphs appear in the described way.''