Super Magic Labeling of Generalized Petersen Graphs P(N, 1): An Induction-Based Proof with Computational Verification

Mallikarjun GhaleppaLecturer, Mathematics, Preparatory Studies Centre (PSC), University of Technology and Applied Sciences–Ibra, OmanAmit Kumar YadavLecturer, Mathematics, Preparatory Studies Centre (PSC), University of Technology and Applied Sciences–Ibra, OmanAnnadurai ManickamLecturer, Mathematics, Preparatory Studies Centre (PSC), University of Technology and Applied Sciences–Ibra, OmanAmabelle Oliva EnanoriaLecturer, Mathematics, Preparatory Studies Centre (PSC), University of Technology and Applied Sciences–Ibra, OmanRamesh PalanisamyLecturer, Computing and Information Sciences, College of Computing and Information Sciences, University of Technology and Applied Sciences–Ibra, Oman

Vol 10 No 6 (2026): Volume 10, Issue 6, June 2026 | Pages: 83-95

International Research Journal of Innovations in Engineering and Technology

OPEN ACCESS | Research Article | Published Date: 08-06-2026

doi Logo doi.org/10.47001/IRJIET/2026.106009

Abstract

Integer labeling of graphs the assignment of whole numbers to structural elements under prescribed sum conditions occupies a prominent position within discrete mathematics. When the labels assigned to edges form a consecutive sequence starting from one, and every vertex sees the same total across its incident edges, the configuration is called super magic in the sense introduced by Akka and Warad (2010). Despite a substantial body of work characterizing which graph families admit such labelings, the question of how to construct them inductively has remained largely unexplored.

This paper focuses on the generalized Petersen graph P(N, 1), a well-studied cubic graph family parameterized by an odd integer N ≥ 3. Three interrelated contributions are presented. First, the magic constant formula C = (19N + 3)/2 is derived through a direct algebraic argument from first principles. Second, the first induction-based proof of the super magic property of P(N, 1) is developed, identifying a vertex-insertion mechanism that transfers a valid labeling from P(2m−1, 1) to P(2m+1, 1) while increasing the magic constant by exactly 19 at each step. Third, computationally verified labelings for P(3, 1), P(5, 1), and P(7, 1) are presented with every edge sum checked explicitly. All diagrams were rendered programmatically using Python 3.11, NumPy 1.26, and Matplotlib 3.8; the inputs, layout logic, and generation procedure are documented fully in Section 7.

Keywords

super magic labeling, generalized Petersen graph, magic constant, mathematical induction, vertex-insertion construction, cubic graphs, Python, Matplotlib, computational graph theory.


Citation of this Article

Mallikarjun Ghaleppa, Amit Kumar Yadav, Annadurai Manickam, Amabelle Oliva Enanoria, & Ramesh Palanisamy. (2026). Super Magic Labeling of Generalized Petersen Graphs P(N, 1): An Induction-Based Proof with Computational Verification. International Research Journal of Innovations in Engineering and Technology - IRJIET, 10(6), 83-95. Article DOI https://doi.org/10.47001/IRJIET/2026.106009

References
Akka, D. G., & Warad, N. S. (2010). Super magic strength of a graph. Indian Journal of Pure and Applied Mathematics, 41(4), 557–568. https://doi.org/10.1007/s13226-010-0031-9.

Ali, G., Bača, M., Bashir, F., & Semaničová-Feňovčíková, A. (2018). On vertex irregular total labellings of generalized Petersen graphs. Discussiones Mathematicae Graph Theory, 38(2), 439–455. https://doi.org/10.7151/dmgt.2017.

Alspach, B. (1983). The classification of Hamiltonian generalized Petersen graphs. Journal of Combinatorial Theory, Series B, 34(3), 293–312. https://doi.org/10.1016/0095-8956(83)90042-4.

Bača, M., Jendrol', S., Miller, M., & Ryan, J. (2007). On irregular total labellings. Discrete Mathematics, 307(11–12), 1378–1388. https://doi.org/10.1016/j.disc.2005.11.075.

Coxeter, H. S. M. (1950). Self-dual configurations and regular graphs. Bulletin of the American Mathematical Society, 56(5), 413–455. https://doi.org/10.1090/S0002-9904-1950-09407-5.

Enomoto, H., Lladó, A. S., Nakamigawa, T., & Ringel, G. (1998). Super edge-magic graphs. SUT Journal of Mathematics, 34(2), 105–109.

Frucht, R., Graver, J. E., & Watkins, M. E. (1971). The groups of the generalized Petersen graphs. Mathematical Proceedings of the Cambridge Philosophical Society, 70(2), 211–218. https://doi.org/10.1017/S0305004100049805.

Fukuchi, Y. (2001). Edge-magic labelings of generalized Petersen graphs P(n, 2). Ars Combinatoria, 59, 253–257.

Gallian, J. A. (2023). A dynamic survey of graph labeling. Electronic Journal of Combinatorics, DS6. https://www.combinatorics.org/ojs/index.php/eljc/article/view/DS6.

Graham, R. L., & Sloane, N. J. A. (1980). On additive bases and harmonious graphs. SIAM Journal on Algebraic and Discrete Methods, 1(4), 382–404. https://doi.org/10.1137/0601045.

Hartsfield, N., & Ringel, G. (1990). Pearls in graph theory. Academic Press.

Javaid, I., Hussain, M., Ali, K., & Shaker, H. (2013). Super magic labelings of generalized Petersen graphs. Utilitas Mathematica, 91, 93–102.

Kotzig, A., & Rosa, A. (1970). Magic valuations of finite graphs. Canadian Mathematical Bulletin, 13(4), 451–461. https://doi.org/10.4153/CMB-1970-084-1.

Ngurah, A. A. G., Salman, A. N. M., & Susilowati, L. (2010). H-supermagic labelings of graphs. Discrete Mathematics, 310(8), 1293–1300. https://doi.org/10.1016/j.disc.2009.12.011.

Ringel, G., & Lladó, A. S. (1996). Another tree conjecture. Bulletin of the Institute of Combinatorics and Its Applications, 18, 83–85.

Rosa, A. (1966). On certain valuations of the vertices of a graph. In Theory of Graphs: International Symposium, Rome (pp. 349–355). Gordon and Breach.

Sedláček, J. (1963). Problem 27. In Theory of Graphs and Its Applications: Proceedings of the Symposium, Smolenice (pp. 163–164). Czechoslovak Academy of Sciences.

Stewart, B. M. (1966). Magic graphs. Canadian Journal of Mathematics, 18, 1031–1059. https://doi.org/10.4153/CJM-1966-104-7.

Tsuchiya, M., & Yokomura, K. (1999). On some families of edge-magic graphs. In Y. Alavi, D. R. Lick, & A. Schwenk (Eds.), Combinatorics, Graph Theory, and Algorithms (Vol. 2, pp. 817–822). New Issues Press.

Watkins, J. J. (1969). A theorem on Tait colorings with an application to the generalized Petersen graphs. Journal of Combinatorial Theory, 6(2), 152–164. https://doi.org/10.1016/S0021-9800(69)80116-X.

West, D. B. (2001). Introduction to graph theory (2nd ed.). Prentice Hall.