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.

Siu Ming Tong1
1Department of Computer Engineering, Northwestern Polytechnic University Fremont, CA 94539
Abstract:

Given nonnegative integers \(a\), \(b\), \(c\), and \(d\), the transition function \(\nabla\) is defined by \(\nabla(a, b, c, d) = (|a-b|, |b-c|, |c-d|, |d-a|)\). The Diffy problem asks if it can reach \((0, 0, 0, 0)\) after some iterations of \(\nabla\) on the four numbers. If \((a, b, c, d)\) can transfer to \((0, 0, 0, 0)\) iterated by \(\nabla\) operations, the smallest \(N\) such that \(\nabla^N(a, b, c, d) = (0, 0, 0, 0)\) is called the stopping steps of the Diffy problem. In this paper, we will show that there exists \(N\) such that \(\nabla^N(a, b, c, d) = (0, 0, 0, 0)\) and the loose upper bound and exact upper bound of \(N\). In addition, we will also show that we can find a starting vector \((a, b, c, d)\) so that it reaches the zero vector \((0, 0, 0, 0)\) after exact \(k\) steps for any given positive integer \(k\).

Sheng-Liang Yang1, Yan-Xue Xu1, Xiao Gao1
1Department of Applied Mathematics Lanzhou University of Technology Lanzhou, 730050, Gansu, PR China
Abstract:

The half of an infinite lower triangular matrix \(G = (g_{n,k})_{n,k\geq 0}\) is defined to be the infinite lower triangular matrix \(G^{(1)} = (g^{(1)}_{n,k \geq 0})\) such that \(g^{(1)}_{n,k} = g_{2n-k,n}\) for all \(n \geq k \geq 0\). In this paper, we will show that if \(G\) is a Riordan array, then its half \(G^{(1)}\) is also a Riordan array. We use Lagrange inversion theorem to characterize the generating functions of \(G^{(1)}\) in terms of the generating functions of \(G\). Consequently, a tight relation between \(G^{(1)}\) and the initial array \(G\) is given, hence it is possible to invert the process and rebuild the original Riordan array \(G\) from the array \(G^{(1)}\). If the process of taking half of a Riordan array \(G\) is iterated \(r\) times, then we obtain a Riordan array \(G^{(r)}\). The further relation between the result array \(G^{(r)}\) and the initial array \(G\) is also considered. Some examples and applications are presented.

Ling Xue1
1 Department of Information Engineering, Taishan Polytechnic, Tai’an, 271000, China
Abstract:

A graph \(G\) is list \(k\)-arborable if for any sets \(L(v)\) of cardinality at least \(k\) at its vertices, one can choose an element (color) for each vertex \(v\) from its list \(L(v)\) so that the subgraph induced by every color class is an acyclic graph (a forest). In the paper, it is proved that every planar graph with \(5\)-cycles not adjacent to \(3\)-cycles and \(4\)-cycles is list \(2\)-arborable.

R. Lakshmi1, G. Rajasekaran2, R. Sampathkumar3
1Department of Mathematics, Faculty of Engineering and Technology, Annamalai University, Annamalainagar 608 002, India.
2Department of Mathematics,Faculty of Engineering and Technology, Annamalai University, Annamalainagar 608 002, India.
3Mathematics Section, Faculty of Engineering and Technology, Annamalai University, Annamalainagar 608 002, India.
Abstract:

For two vertices \(u\) and \(v\) in a strong digraph \(D\), the strong distance between \(u\) and \(v\) is the minimum number of arcs of a strong subdigraph of \(D\) containing \(u\) and \(v\). The strong eccentricity of a vertex \(v\) of \(D\) is the strong distance between \(v\) and a vertex farthest from \(v\). The strong diameter (strong radius) of \(D\) is the maximum (minimum) strong eccentricity among all vertices of \(D\). The lower orientable strong diameter (lower orientable strong radius), \(\mathrm{sdiam}(G)\) (\(\mathrm{srad}(G)\)), of a 2-edge-connected graph \(G\) is the minimum strong diameter (minimum strong radius) over all strong orientations of \(G\). In this paper, a conjecture of Chen and Guo is disproved by proving \(\mathrm{sdiam}(K_{3} \square K_{3}) = \mathrm{sdiam}(K_{3} \square K_{4}) = 5\), \(\mathrm{sdiam}(K_{m} \square P_{n})\) is determined, \(\mathrm{sdiam}(G)\) and \(\mathrm{srad}(G)\) for cycle vertex multiplications are computed, and some results concerning \(\mathrm{sdiam}(G)\) are described.

Yantao Li1, Huiwen Cheng2, Qinghua Ma3
1College of Applied Arts and Science, Beijing Union University, Beijin 100091, P.R. China
2 Department of Mathematics, Beijing Haidian Adults University, Beijin 100083, P.R. China
3 College of Applied Arts and Science, Beijing Union University, Beigin 100081, P.R. China
Abstract:

The aim of this note is to present a short proof of a result of Alaeiyan et al. [Bull. Austral. Math. Soc.\( 77 (2008) 315-323;\)
Proc. Indian Acad. Sci., Math. Sci. \(119 (2009) 647-653\)] concerning the non-existence of cubic semisymmetric graphs of order \(8p\) or \(8p^2\), where \(p\) is a prime. In those two papers, the authors choose the heavy weaponry of covering techniques. Our proof relies on the analysis of the subgroup structure of the full automorphism group of the graph and the normal quotient graph theory.

Pengli Lu1, Yang Yang1
1School of Computer and Communication Lanzhou University of Technology Lanzhou, 730050, Gansu, P.R. China
Abstract:

Let \(G\) be a graph of order \(n\) with adjacency matrix \(A(G)\) and diagonal degree matrix \(D(G)\). The generalized characteristic polynomial of \(G\) is defined to be \(f_G(x,t) = \det (xI_n – (A(G) – tD(G)))\). The \(R\)-graph of \(G\), denoted by \(R(G)\), is obtained by adding a new vertex for each edge of \(G\) and joining each new vertex to both end vertices of the corresponding edge. The generalized \(R\)-vertex corona, denoted by \(R(G) \boxdot \wedge _i^n H\), is the graph obtained from \(R(G)\) and \(H\) by joining the \(i\)-th vertex of \(V(G)\) to every vertex of \(H\). In this paper, we determine the generalized characteristic polynomial of \(R(G) \boxdot \wedge _i^n H\). As applications, we get infinitely many pairs of generalized cospectral graphs, the number of spanning trees and Kirchhoff index of \(R(G) \boxdot\wedge _i^n H\).

Dingjun Lou1
1 Department of Computer Science Sun Yatsen University Guangzhou 510275 People’s Republic of China
Abstract:

In this paper, we introduce an \(O(n^2)\) time algorithm to determine the cyclic edge connectivity of a planar graph, where \(n\) is the order of the planar graph. This is the first correct square time algorithm for cyclic edge connectivity of planar graphs.

G. Dror1, A. Lev1, Y. Roditty1, R. Zigdon1
1School of Computer Sciences The Academic College of Tel-Aviv-Yaffo 2 Rabeinu Yeruham st., Tel-Aviv Israel 61083
Abstract:

Let \(G = (V, E)\), with \(|V| = n\), be a simple connected graph. An edge-colored graph \(G\) is rainbow edge-connected if any two vertices are connected by a path whose edges are colored by distinct colors. The rainbow connection number of a connected graph \(G\), denoted by \(rc(G)\), is the smallest number of colors that are needed in order to make \(G\) rainbow edge-connected. In this paper, we obtain tight bounds for \(rc(G)\). We use our results to generalize previous results for graphs with \(\delta(G) \geq 3\).

J.K. Sareen1, M. Rana1
1School of Mathematics and Computer Applications Thapar University Patiala-147004, Punjab, India
Abstract:

In this paper, we provide the 4-way combinatorial interpretations of some Rogers–Ramanujan type identities using partitions with “\(n + t\) copies of \(n\)”, lattice paths, \(k\)-partitions, and ordinary partitions.

Yasemin Tasyurdu1, Omir Deveci2
1Department of Mathematics, Faculty of Science and Art, Erzincan University, 24000 Erzincan, TURKEY
2Department of Mathematics, Faculty of Science and Letters, Kafkas University, 36100 Kars, TURKEY
Abstract:

In this paper, we study the Fibonacci polynomials modulo \(m\) such that \(x^2 = x + 1\) and then we obtain miscellaneous properties of these sequences. Also, we extend the Fibonacci polynomials to the ring of complex numbers. We define the Fibonacci Polynomial-type orbits \(F^R_{(a,b)}(x) = \{x_i\}\), where \(R\) is a 2-generator ring and \((a,b)\) is a generating pair of the ring \(R\). Furthermore, we obtain the periods of the Fibonacci Polynomial-type orbits \(F^R_{(a,b)}(x)\) in finite 2-generator rings of order \(p^2\).

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;