Explicit M-Polynomial and Degree-Based Topological Indices of Generalized Hanoi Graphs
El-Mehdi Mehiri
TL;DR
This work addresses the problem of obtaining a complete closed-form expression for the M-polynomial $M(H_p^n;x,y)$ of generalized Hanoi graphs $H_p^n$. It develops a occupancy-based combinatorial framework that counts vertex configurations and edge moves using Stirling numbers of the second kind and falling factorials, enabling explicit formulas for all diagonal and adjacent off-diagonal coefficients of $M(H_p^n;x,y)$. The authors derive a fully explicit expression for the M-polynomial and demonstrate that a wide class of degree-based topological indices (e.g., Zagreb, Randic, harmonic, forgotten) can be obtained in closed form via differential operators. The results provide a complete degree-based description of $H_p^n$ and offer a scalable method for analyzing self-similar Hanoi graphs and related graph families.
Abstract
The M-polynomial, introduced by Deutsch and Klavžar in 2015, provides a unifying algebraic framework for the computation of numerous degree-based topological indices such as the Zagreb, Randic, harmonic, and forgotten indices. Despite its broad applications in chemical graph theory and network analysis, closed expressions of the M-polynomial remain unknown for many important graph families. In this work we derive, for the first time, a complete explicit expression of the M-polynomial of the generalized Hanoi graphs $H_p^n$ for arbitrary positive $p$ and $n$. Our derivation relies on a detailed combinatorial analysis of the occupancy-based structure of $H_p^n$, refined using Stirling and $2$-associated Stirling numbers to enumerate all configurations with prescribed singleton and multiton counts. We obtain closed formulas for all diagonal and off-diagonal coefficients of the M-polynomial and show how these expressions yield exact values of the main degree-based topological indices. The correctness of the formulas is supported through numerical computation in small instances. These results provide a complete degree-based description of $H_p^n$ and make their structural complexity fully accessible through the M-polynomial framework.
