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.

Ali Golshani1, Dara Moazzami1,2, Saeed Akhondian Amiri1
1University of Tehran, College of Engineering, Faculty of Engineering Science, Department of Algorithms and Computation, Tehran, Iran
2University of California Los Angeles, (UCLA), Department of Mathematics, U.S.A.
Abstract:

We consider the relationship between the minimum degree \(\delta(G\) of a graph and the complexity of recognizing if a graph is \(T\)-tenacious. Let \(T \geq 1\) be a rational number. We first show that if \(\delta(G) \geq \frac{Tn}{T+1}\) then \(G\) is \(T\)-tenacious. On the other hand, for any fixed \(\epsilon > 0\), we show that it is NP-hard to determine if \(G\) is \(T\)-tenacious, even for the class of graphs with \(\delta(G) \geq (\frac{T}{T+1} – \epsilon)n\).

H.V. Chen1, A.Y. M.Chin2
1Department of Mathematical and Actuarial Sciences Faculty of Engineering and Science Universiti Tunku Abdul Rahman Jalan Genting Kelang, 53300 Kuala Lumpur Malaysia
2Institute of Mathematical Sciences Faculty of Science University of Malaya 50603 Kuala Lumpur Malaysia
Abstract:

Let \(G\) be a finite group and let \(S\) be a nonempty subset of \(G\). For any positive integer \(k\), let \(S^k\) be the subset product given by the set \(\{s_1 \cdots s_k \mid s_1, \ldots, s_k \in S\}\). If there exists a positive integer \(n\) such that \(S^n = G\), then \(S\) is said to be exhaustive. Let \(e(S)\) denote the smallest positive integer \(n\), if it exists, such that \(S^n = G\). We call \(e(S)\) the exhaustion number of the set \(S\). If \(S^n \neq G\) for any positive integer \(n\), then \(S\) is said to be non-exhaustive. In this paper, we obtain some properties of exhaustive and non-exhaustive subsets of finite groups.

Liandi Zhang1, Yanfei Wang2, Yuqin Zhang2
1College of Science, Tianjin University of Commerce, Tianjin, 300134, China
2Department of Mathematics, Tianjin University, Tianjin, 300354, China
Abstract:

A graph \(G\) is called \(H\)-equipackable if every maximal \(H\)-packing in \(G\) is also a maximum \(H\)-packing in \(G\). In 2012, \(P_k\)-equipackable paths and cycles, \(M_k\)-equipackable paths and cycles are characterized. In this paper, \(P_m \cup P_k\)-equipackable paths and cycles are characterized.

J.Carlos Herndndez-Gomez1, José M.Rodriguez2, José M.Sigarreta3, Yadira Torres-Nufiez4, Maria Villeta5
1facultad de Matematicas Universidad Auténoma de Guerrero, Carlos E. Adame 5, Col. La Garita, Acapulco, Guerrero, México.
2Departamento de Matematicas Universidad Carlos III de Madrid, Av. de la Universidad 30, 28911 Leganés, Madrid, Spain
3facultad de Matematicas Universidad Auténoma de Guerrero, Carlos E. Adame 5, Col. La Garita, Acapulco, Guerrero, México.
4Departamento de Matematicas Humboldt International University, 4000 West Flagler Street, 33134, Miami, Fl., USA
5Departamento de Estadistica e Investigacién Operativa III, Facultad de Estudios Estadisticos, 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_1x_2]\), \([x_2x_3]\) and \([x_3x_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\). The study of hyperbolic graphs is an interesting topic since the hyperbolicity of a geodesic metric space is equivalent to the hyperbolicity of a graph related to it. Regular graphs are a very interesting class of graphs with many applications. The main aim of this paper is to obtain information about the hyperbolicity constant of regular graphs. We obtain several bounds for this parameter; in particular, we prove that \(\delta(G) \leq \frac{\Delta n}{8(\Delta-1)+1}\) for any \(4\)-regular graph \(G\) with \(n\) vertices. Furthermore, we show that for each \(\Delta \geq 2\) and every possible value \(t\) of the hyperbolicity constant, there exists a \(\Delta\)-regular graph \(G\) with \(\delta(G) = t\). We also study the regular graphs \(G\) with \(\delta(G) \leq 1\), i.e., the graphs which are like trees (in the Gromov sense). Besides, we prove some inequalities involving the hyperbolicity constant and domination numbers for regular graphs.

S. Ramachandran1, P. Bhanumathy2
1Noorul Islam University Kumarakovil-629180 NAGERCOIL, INDIA
2APMD/VSSC THIRUVANANTHAPURAM-22 INDIA
Abstract:

When \(G\) and \(F\) are graphs, \(v \in V(G)\) and \(\varphi\) is an orbit of \(V(F)\) under the action of the automorphism group of \(F\), \(s(F,G,v,\varphi)\) denotes the number of induced subgraphs of \(G\) isomorphic to \(F\) such that \(v\) lies in orbit \(\theta\) of \(F\). Vertices \(v \in V(G)\) and \(w \in V(H)\) are called \(k\)-vertex subgraph equivalent (\(k\)-SE), \(2 \leq k < n = |V(G)|\), if for each graph \(F\) with \(k\) vertices and for every orbit \(\varphi\) of \(F\), \(s(F,G,v,\varphi) = s(F,H,w,\varphi)\), and they are called similar if there is an isomorphism from \(G\) to \(H\) taking \(v\) to \(w\). We prove that \(k\)-SE vertices are \((k-1)\)-SE and several parameters of \((n-1)\)-SE vertices are equal. It is also proved that in many situations, “(n-1)-SE between vertices is equivalent to their similarity'' and it is true always if and only if Ulam's Graph Reconstruction Conjecture is true.

Yuan Sun1, Yugin Sun1
1Shanghai University of Electric and Power 201300 Shanghai China
Abstract:

External Difference Families \((EDFs)\) are a new type of combinatorial designs originated from cryptography. In this paper, some constructions of \(EDFs\) are presented by using Gauss sums. Several classes of \(EDFs\) and related combinatorial designs are obtained.

Zhidong Zhou1,2, Yuangiu Huang2, Jing Wang3
1Department of Mathematics and Computational Science, Hengyang Normal University, Hengyang 421002, P.R.China
2College of Mathematics and Computer Science, Hunan Normal University, Changsha 410081, P.R.China
3Department of Mathematics and Information Sciences, Changsha University, Changsha 410003, P.R.China
Abstract:

The crossing number problem is in the forefront of topological graph theory. At present, there are only a few results concerning crossing numbers of join of some graphs. In this paper, for the special graph \(Q\) on six vertices, we give the crossing numbers of its join with \(n\) isolated vertices, as well as with the path \(P_n\) on \(n\) vertices and with the cycle \(C_n\).

B.S. El-Desouky1
1Mathematics Department, Faculty of Science, Mansoura University, 35516 Mansoura, Egypt
Abstract:

In this article, we give a generalization of the multiparameter non-central Stirling numbers of the first and second kinds, Lah numbers, and harmonic numbers. Some new combinatorial identities, new explicit formulas, and many relations between different types of Stirling numbers and generalized harmonic numbers are found. Moreover, some interesting special cases of the generalized multiparameter non-central Stirling numbers are deduced. Furthermore, a matrix representation of the results obtained is given and a computer program is written using Maple and executed for calculating \(GMPNSN-1\) and their inverse \((GMPNSN-2)\), along with some of their interesting special cases.

Benqiu Dai1, Wensong Lin1
1Department of Mathematics, Southeast University, Nanjing 210096, P.R. China
Abstract:

Suppose \(G\) is a graph. Let \(u\) be a vertex of \(G\). A vertex \(v\) is called an \(i\)-neighbor of \(u\) if \(d_G(u,v) = i\). A \(1\)-neighbor of \(u\) is simply called a neighbor of \(u\). Let \(s\) and \(t\) be two nonnegative integers. Suppose \(f\) is an assignment of nonnegative integers to the vertices of \(G\). If the following three conditions are satisfied, then \(f\) is called an \((s, t)\)-relaxed \(L(2,1)\)-labeling of \(G\): (1) for any two adjacent vertices \(u\) and \(v\) of \(G\), \(f(u) \neq f(v)\); (2) for any vertex \(u\) of \(G\), there are at most \(s\) neighbors of \(u\) receiving labels from \(\{f(u) – 1, f(u)+ 1\}\); (3) for any vertex \(u\) of \(G\), the number of \(2\)-neighbors of \(u\) assigned the label \(f(u)\) is at most \(t\). The minimum span of \((s, t)\)-relaxed \(L(2,1)\)-labelings of \(G\) is called the \((s,t)\)-relaxed \(L(2,1)\)-labeling number of \(G\), denoted by \(\lambda_{2,1}^{s,t}(G)\). It is clear that \(\lambda_{2,1}^{0,0}(G)\) is the so-called \(L(2, 1)\)-labeling number of \(G\). In this paper, the \((s, t)\)-relaxed \(L(2, 1)\)-labeling number of the hexagonal lattice is determined for each pair of two nonnegative integers \(s\) and \(t\). And this provides a series of channel assignment schemes for the corresponding channel assignment problem on the hexagonal lattice.

Xiaoxin Li1, Jia-Bao Liu2
1School of Mathematics and Computer, Chizhou University, Chizhou, Anhui, 247000, China.
2School of Mathematics and Physics, Anhui Jianzhu University, Hefei, 230601, China.
Abstract:

As an additive weight version of the Harary index, the reciprocal degree distance of a simple connected graph \(G\) is defined as \(RDD(G) = \sum\limits_{u,v \subseteq V(G)} \frac{d_G(u)+d_G(v)}{d_G(u,v)}\), where \(d_G(u)\) is the degree of \(u\) and \(d_G(u,v)\) is the distance between \(u\) and \(v\) in \(G\). In this paper, we respectively characterize the extremal graphs with the maximum \(RDD\)-value among all the graphs of order \(n\) with given number of cut vertices and cut edges. In addition, an upper bound on the reciprocal degree distance in terms of the number of cut edges is provided.

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;