Utilitas Algorithmica (UA)

ISSN: xxxx-xxxx (print)

Utilitas Algorithmica (UA) is a premier, open-access international journal dedicated to advancing algorithmic research and its applications. Launched to drive innovation in computer science, UA publishes high-impact theoretical and experimental papers addressing real-world computational challenges. The journal underscores the vital role of efficient algorithm design in navigating the growing complexity of modern applications. Spanning domains such as parallel computing, computational geometry, artificial intelligence, and data structures, UA is a leading venue for groundbreaking algorithmic studies.

Huifeng Zhang1,2, Jun Zhu1, Xirong Xu1, Peng Zhang3
1Zhejiang Lab, Hangzhou,311100,China
2School of Computer Science and Technology Dalian University of Technology, Dalian, 116024, China
3Department of Computer Science Zhongshan College of Dalian Medical University, Dalian, 116085, China
Abstract:

The \( n \)-dimensional Möbius cube \( MQ_n \) is an important variant of the hypercube \( Q_n \), which possesses some properties superior to the hypercube. This paper investigates the fault-tolerant edge-pancyclicity of \( MQ_n \), and shows that if \( MQ_n \) (\( n \geq 5 \)) contains at most \( n-2 \) faulty vertices and/or edges then, for any fault-free edge \( uv \) in \( MQ_n^i (i=0,1) \) and any integer \( \ell \) with \( 7-i \leqslant \ell \leqslant 2^n – f_v \), there is a fault-free cycle of length \( \ell \) containing the edge \( uv \), where \( f_v \) is the number of faulty vertices. The result is optimal in some senses.

Fazal Hayat1, Shou-Jun Xu1, Bo Zhou2
1School of Mathematics and Statistics, Gansu Center for Applied Mathematics, Lanzhou University, Lanzhou 730000, China
2School of Mathematical Sciences, South China Normal University, Guangzhou 510631, China
Abstract:

For a connected graph \(G\), the edge Mostar index \(Mo_e(G)\) is defined as \(Mo_e(G)=\sum\limits_{e=uv \in E(G)}|m_u(e|G) – m_v(e|G)|\), where \(m_u(e|G)\) and \(m_v(e|G)\) are respectively, the number of edges of \(G\) lying closer to vertex \(u\) than to vertex \(v\) and the number of edges of \(G\) lying closer to vertex \(v\) than to vertex \(u\). We determine a sharp upper bound for the edge Mostar index on bicyclic graphs and identify the graphs that achieve the bound, which disproves a conjecture proposed by Liu et al. [Iranian J. Math. Chem. 11(2) (2020) 95–106].

Andrea Lucchini1
1Università degli Studi di Padova Dipartimento di Matematica “Tullio Levi-Civita” Via Trieste 63, 35121 Padova, Italy
Abstract:

In a recent paper Cameron, Lakshmanan and Ajith [6] began an exploration of hypergraphs defined on algebraic structures, especially groups, to investigate whether this can add a new perspective. Following their suggestions, we consider suitable hypergraphs encoding the generating properties of a finite group. In particular, answering a question asked in their paper, we classified the finite solvable groups whose generating hypergraph is the basis hypergraph of a matroid.

A. Lourdusamy1, S. Kither Iammal2, I. Dhivviyanandam3
1Department of Mathematics, St. Xavier’s College (Autonomous), Palayamkottai-627002, Tamil Nadu, India
2Department of Mathematics, Jayaraj Annapackiam College for women (Autonomous), Periyakulam Tamilnadu, India
3Department of Mathematics, North Bengal st. Xavier’s college, Rajganj, west Bengal, India India
Abstract:

Given a connected graph \(G\) and a configuration \(D\) of pebbles on the vertices of \(G\), a pebbling transformation involves removing two pebbles from one vertex and placing one pebble on its adjacent vertex. A monophonic path is defined as a chordless path between two non-adjacent vertices \(u\) and \(v\). The monophonic cover pebbling number, \(\gamma_{\mu}(G)\), is the minimum number of pebbles required to ensure that, after a series of pebbling transformations using monophonic paths, all vertices of \(G\) are covered with at least one pebble each. In this paper, we determine the monophonic cover pebbling number (\(MCPN\)) for the gear graph, sunflower planar graph, sun graph, closed sun graph, tadpole graph, lollipop graph, double star-path graph, and a class of fuses.

Han Li1
1Animation Department, Academy of Fine Arts,Henan University, Kaifeng 475001, Henan, China
Abstract:

Chinese animation has long faced challenges, with foreign animation dominating the market and domestic animation struggling to compete. The rise of new media has driven the industrialization and branding of Chinese animation, linking it to complex social and cultural networks that shape its future competitiveness. Similarly, sports events, as cultural phenomena, hold both entertainment and cultural significance, reflecting societal modernization. This study categorizes mascot design features of sports events into appearance, color, and accessory characteristics, providing theoretical insights to enhance understanding of event culture. Experimental results show that an optimized cellular genetic algorithm improves mascot design, aligning with human aesthetics while promoting the spirit of sports globally.

Nadia N. Li1, Wenchang Chu2
1School of Mathematics and Statistics Zhoukou Normal University, Henan, China
2Via Dalmazio Birago 9/E, Lecce 73100, Italy
Abstract:

By means of the generating function method, a linear recurrence relation is explicitly resolved. The solution is expressed in terms of the Stirling numbers of both the first and the second kind. Two remarkable pairs of combinatorial identities (Theorems 3.1 and 3.3) are established as applications, that contain some well–known convolution formulae on Stirling numbers as special cases.

S. Gomathi1, A. Tamil Elakkiya1
1PG & Research Department of Mathematics, Gobi Arts & Science College, Gobichettipalayam-638 453, Tamil Nadu, India
Abstract:

A \(\mathcal{Y}\) tree on \(k\) vertices is denoted by \(\mathcal{Y}_k\). To decompose a graph into \(\mathcal{Y}_k\) trees, it is necessary to create a collection of subgraphs that are isomorphic to \(\mathcal{Y}_k\) tree and are all distinct. It is possible to acquire the necessary condition to decompose \(K_m(n)\) into \(\mathcal{Y}_k\) trees (\(k \geq 5\)), which has been obtained as \(n^2m(m-1) \equiv 0 \pmod{2(k-1)}\). It has been demonstrated in this document that, a gregarious \(\mathcal{Y}_5\) tree decomposition in \(K_m(n)\) is possible only if \(n^2m(m-1) \equiv 0 \pmod{8}\).

Huixian Li1, Guang Li1, Shengjin Ji1
1School of Mathematics and Statistics Shandong University of Technology, Zibo, China
Abstract:

Let \( G \) be a graph, the zero forcing number \( Z(G) \) is the minimum of \( |Z| \) over all zero forcing sets \( Z \subseteq V(G) \). In this paper, we are interested in studying the zero forcing number of quartic circulant graphs \( C_{p}\left(s,t\right) \), where \( p \) is an odd prime. Based on the fact that \( C_{p}\left(s,t\right) \cong C_{p}\left(1,q\right) \), we give the exact values of the zero forcing number of some specific quartic circulant graphs.

Noah Lebowitz-Lockard1, Joseph Vandehey1
1Noah Lebowitz-Lockard and Joseph Vandehey Department of Mathematics University of Texas at Tyler, Tyler, TX 75799
Abstract:

Behera and Panda defined a balancing number as a number b for which the sum of the numbers from \(1\) to \(b – 1\) is equal to the sum of the numbers from \(b + 1\) to \(b + r\) for some r. They also classified all such numbers. We define two notions of balancing numbers for Farey fractions and enumerate all possible solutions. In the stricter definition, there is exactly one solution, whereas in the weaker one all sufficiently large numbers work. We also define notions of balancing numbers for levers and mobiles, then show that these variants have many acceptable arrangements. For an arbitrary mobile, we prove that we can place disjoint consecutive sequences at each of the leaves and still have the mobile balance. However, if we impose certain additional restrictions, then it is impossible to balance a mobile.

AP Burger1, JH van Vuuren2
1Department of Logistics, Stellenbosch University, Private Bag X1, Matieland, 7602, South Africa.
2Stellenbosch Unit for Operations Research in Engineering, Department of Industrial Engineering, Stellenbosch University, Private Bag X1, Matieland, 7602, South Africa.
Abstract:

For a graph G and for non-negative integers p, q, and r, the triplet \((p, q, r)\) is said to be an admissible triplet if \(3p + 4q + 6r = |E(G)|\). If G admits a decomposition into p cycles of length 3, q cycles of length 4, and r cycles of length 6 for every admissible triplet \((p, q, r)\), then we say that G has a \(\{C_{3}^{p}, C_{4}^{q}, C_{6}^{r}\}\)-decomposition. In this paper, the necessary conditions for the existence of \(\{C_{3}^{p}, C_{4}^{q}, C_{6}^{r}\}\)-decomposition of \(K_{\ell, m, n} (\ell \leq m \leq n)\) are proved to be sufficient. This affirmatively answers the problem raised in Decomposing complete tripartite graphs into cycles of lengths 3 and 4, Discrete Math. 197/198 (1999), 123-135. As a corollary, we deduce the main results of Decomposing complete tripartite graphs into cycles of lengths 3 and 4, Discrete Math., 197/198, 123-135 (1999) and Decompositions of complete tripartite graphs into cycles of lengths 3 and 6, Austral. J. Combin., 73(1), 220-241 (2019).

Special Issues

The Combinatorial Press Editorial Office routinely extends invitations to scholars for the guest editing of Special Issues, focusing on topics of interest to the scientific community. We actively encourage proposals from our readers and authors, directly submitted to us, encompassing subjects within their respective fields of expertise. The Editorial Team, in conjunction with the Editor-in-Chief, will supervise the appointment of Guest Editors and scrutinize Special Issue proposals to ensure content relevance and appropriateness for the journal. To propose a Special Issue, kindly complete all required information for submission;