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.

Yanxun Chang1, Giovanni Lo Faro2, Antoinette Tripodi2
1Institute of Mathematics Beijing Jiaotong University Beijing 100044, P. R. China
2Department of Mathematics University of Messina Contrada Papardo, 31 – 98166, Sant’ Agata, Messina, Italy
Abstract:

Informally, a \(\epsilon\)-switchable \(G\)-design is a decomposition of the complete graph into subgraphs of isomorphic copies of \(G\) which have the property that they remain a \(G\)-decomposition when \(\epsilon\)-edge switches are made to the subgraphs. This paper determines the spectrum of \(\epsilon\)-switchable \(G\)-designs where \(G\) is a kite (a triangle with an edge attached) and \(\epsilon\) takes \(t\)-edge, \(h\)-edge, and \(l\)-edge.

Jishe Feng1
1DEPARTMENT OF MATHEMATICS, LONGDONG UNIVERSITY, QINGYANG, GANSU, 745000, CHINA
Abstract:

In this paper, we use a simple method to derive different recurrence relations on the Tribonacci numbers and their sums. By using the companion matrices and generating matrices, we obtain more identities on the Tribonacci numbers and their sums, which are more general than those given in the literature [E. Kilic, Tribonacci Sequences with Certain Indices and Their Sum, Ats Combinatoria \(86 (2008),13-22]\).

Lei Sun1, Haiying Li1
1Department of Mathematics, Shandong Normal University Jinan 250014, China
Abstract:

A \((2,1)\)-total labeling of a graph \(G\) is a labeling of vertices and edges, such that:(1) any two adjacent vertices of \(G\) receive distinct integers,(2) any two adjacent edges receive distinct integers, and (3) a vertex and its incident edges receive integers that differ by at least 2 in absolute value.The span of a \((2,1)\)-total labeling is the difference between the maximum label and the minimum label.We note the minimum span \(\lambda_2^T(G)\).In this paper, we prove that if \(G\) is a planar graph with \(\Delta \leq 3\) and girth \(g \geq 18\), then \(\lambda_2^T(G) \leq 5\). If \(G\) is a planar graph with \(\Delta \leq 4\) and girth \(g \geq 12\), then \(\lambda_2^T(G) \leq 7\).

Junior Michel1, José M.Rodriguez1, José M.Sigarreta2, Maria Villeta3
1Departamento de Mateméticas Universidad Carlos III de Madrid, Av. de la Universidad 30, 28911 Leganés, Madrid, Spain
2Facultad de Mateméticas Universidad Auténoma de Guerrero, Carlos E. Adame 5, Col. La Garita, Acapulco, Guerrero, México.
3Departamento de Estadistica e Investigacién Operativa III Universidad Complutense de Madrid, Av.Puerta de Hierro s/n., 28040 Madrid, Spain
Abstract:

If \(X\) is a geodesic metric space and \(x_1, x_2, x_3 \in X\), a geodesic triangle \(T = \{x_1, x_2, x_3\}\) is the union of the three geodesics \([x_1 x_2], [x_2 x_3]\) and \([x_3 x_1]\) in \(X\). The space \(X\) is \(\delta\)-hyperbolic (in the Gromov sense) if any side of \(T\) is contained in a \(\delta\)-neighborhood of the union of the two other sides, for every geodesic triangle \(T\) in \(X\). We denote by \(\delta(X)\) the sharp hyperbolicity constant of \(X\), i.e. \(\delta(X) := \inf\{\delta \geq 0: X \text{ is } \delta\text{-hyperbolic}\}\). In this paper, we find some relations between the hyperbolicity constant of a graph and its order, girth, cycles, and edges. In particular, if \(g\) denotes the girth, we prove \(\delta(G) \geq g(G)/4\) for every (finite or infinite) graph; if \(G\) is a graph of order \(n\) and edges with length \(k\) (possibly with loops and multiple edges), then \(\delta(G) \leq nk/4\). We find a large family of graphs for which the first (non-strict) inequality is in fact an equality; besides, we characterize the set of graphs with \(\delta(G) = nk/4\). Furthermore, we characterize the graphs with edges of length \(k\) with \(\delta(G) < k\).

Yian Xu1
1School of Mathematical Sciences, Nanjing Normal University 1 Wenyuan Road, Nanjing, 210046, China
Abstract:

A proper edge coloring \(c\) of a graph \(G\) is said to be acyclic if \(G\) has no bicolored cycle with respect to \(c\). It is proved that every triangle-free toroidal graph \(G\) admits an acyclic edge coloring with \((\Delta(G) + 5)\) colors. This generalizes a theorem from \([8]\).

Ruifang Liu1, Huicai Jia2, Jinlong Shu3
1Department of Mathematics, Zhengzhou University, Zhengzhou, Henan 450001, China
2Department of Mathematical and Physical Sciences, Henan Institute of Engineering, Zhengzhou, Henan 451191, China
3Department of Mathematics, East China Normal University, Shanghai, 200241, China
Abstract:

Let \(\mathcal{J}_n\) be the set of tricyclic graphs of order \(n\). In this paper, we use a new proof to determine the unique graph with maximal spectral radius among all graphs in \(\mathcal{J}_n\) for each \(n \geq 4\). Also, we determine the unique graph with minimal least eigenvalue among all graphs in this class for each \(n \geq 52\). We can observe that the graph with maximal spectral radius is not the same as the one with minimal least eigenvalue in \(\mathcal{J}_n\), which is different from those on the unicyclic and bicyclic graphs.

Lihua Feng1,2
1Department of Mathematics, Shandong Institute of Business and Technology 191 Binhaizhong Road, Yantai, Shandong, P.R. China, 264005.
2Department of Mathematics, Central South University Railway Campus, Changsha, Hunan, P.R. China, 410075.
Abstract:

Let \(G\) be a connected simple graph. The hyper-Wiener index \(WW(G)\) is defined as \(WW(G) = \sum_{u,v \in V(G)} (d(u, v) + d^2(u,v)),\) with the summation going over all pairs of vertices in \(G\). In this paper, we determine the extremal unicyclic graphs with given matching number and minimal hyper-Wiener index.

G.L. Chia1, Carsten Thomassen2
1Institute of Mathematical Sciences, University Malaya, 50608 Kuala Lumpur, Malaysia
2Department of Mathematics, Technical University of Denmark, \ DK-2800, Lyngby, Denmark
Abstract:

Robertson \(([5])\) and independently, Bondy \(([1])\) proved that the generalized Petersen graph \(P(n, 2)\) is non-hamiltonian if \(n \equiv 5 \pmod{6}\), while Thomason \([7]\) proved that it has precisely \(3\) hamiltonian cycles if \(n \equiv 3 \pmod{6}\). The hamiltonian cycles in the remaining generalized Petersen graphs were enumerated by Schwenk \([6]\). In this note we give a short unified proof of these results using Grinberg’s theorem.

Emrah Kilic1, Nurettin Irmak2
1TOBB UNIVERSITY OF ECONOMICS AND TECHNOLOGY, MATHEMATICS DEPARTMENT 06560 ANKARA TURKEY
2NIGDE UNIVERSITY, MATHEMATICS DEPARTMENT 51241 NIGDE TURKEY
Abstract:

We present some binomial identities for sums of the bivariate Fibonacci polynomials and for weighted sums of the usual Fibonacci polynomials with indices in arithmetic progression.

Y. Wu1, H. Cao1
1Institute of Mathematics, school of Mathematics and Computer Sciences, Nanjing Normal University, Nanjing 210097, China
Abstract:

Let \(v \equiv k-1, 0, \text{ or } 1 \pmod{k}\). An \(\text{RMP}(k, \lambda, v)\) (resp. \(\text{RMC}(k, \lambda, v)\)) is a resolvable packing (resp. covering) with maximum (resp. minimum) possible number \(m(v)\) of parallel classes which are mutually distinct, each parallel class consists of \(\left\lfloor \frac{v – k + 1}{k} \right\rfloor\) blocks of size \(k\) and one block of size \(v – k \left\lfloor \frac{v – k + 1}{k} \right\rfloor\), and its leave (resp. excess) is a simple graph. Such designs were first introduced by Fang and Yin. They have proved that these designs can be used to construct certain uniform designs which have been widely applied in industry, system engineering, pharmaceutics, and natural science. In this paper, direct and recursive constructions are discussed for such designs. The existence of an \(\text{RMP}(3, 3, v)\) and an \(\text{RMC}(3, 3, v)\) is proved for any admissible \(v\).

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;