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.

Shubo Chen1,2, Houqing Zhou3
1Department of Mathematics and Computer Science, Hunan City University, Yiyang, Hunan 413000, P. R.China
2College of Mathematics, Central South University, Changsha 410075, P. R. China
3Department of Mathematics, Shaoyang University, Shaoyang, Hunan, 422000, P. R. China
Abstract:

The Zagreb indices are topological indices of graphs, which are defined as:\(M_1(G) = \sum\limits_{v \in V(G)} (d(v))^2\), \(M_2(G) = \sum\limits_{uv \in E(G)} d(u)d(v)\) .In this paper, we determine the upper and lower bounds for the Zagreb indices of unicyclic graphs in terms of their order and girth. In each case, we characterize the extremal graphs.

Feng-Zhen Zhao1, Wuyungaowa 2
1School of Mathematical Sciences, Dalian University of Technology, Dalian 116024, P. R. China
2School of Mathematical Sciences, Inner Mongolia University Huhehaote 010021, P. R. China
Abstract:

In this paper, we are concerned with Leibniz numbers. We establish a series of identities involving Leibniz numbers, Stirling numbers, harmonic numbers, arctan numbers by making use of generating functions. In addition, we give the asymptotic expansion of certain sums related to Leibniz numbers by Laplace’s method.

Huajun Meng1, Fang-Ming Shao1, Xiwen Lu1
1Department of Mathematics East China University of Science and Technology Shanghai 200287, China
Abstract:

We consider the undirected simple connected graph for which edges fail independently of each other with equal probability \(1 – p\) and nodes are perfect. The all-terminal reliability of a graph \(G\) is the probability that the spanning subgraph of surviving edges is connected, denoted as \(R(G,p)\). Graph \(G \in \Omega(n,e)\) is said to be uniformly least reliable if \(R(G,p) \leq R(G’,p)\) for all \(G’ \in \Omega(n,e)\), and for all edge failure probabilities \(0 < 1 – p < 1\). In this paper, we prove the existence of uniformly least reliable graphs in the class \(\Omega(n,e)\) for \(e \leq n + 1\) and give their topologies.

Sergey Kitaev1, Artem Pyatkin2
1Institute of Mathematics, Reykjavik University, Ofanleiti 2, IS-103 Reykjavik, Iceland
2Sobolev Institute of Mathematics, Acad. Koptyug Ave. 4, Novosibirsk 630090, Russia
Abstract:

We study V- and \(\Lambda\)-patterns which generalize valleys and peaks, as well as increasing and decreasing runs, in permutations. A complete classification of permutations (multi)-avoiding V- and \(\Lambda\)-patterns of length \(4\) is given. We also establish a connection between restricted permutations and matchings in the coronas of complete graphs.

Xue-gang Chen1, Wai Chee Shiu2
1Department of Mathematics, North China Electric Power University, Beijing 102206, China
2Department of Mathematics, Hong Kong Baptist University, 294 Waterloo Road, Kowloon Tong, Hong Kong, China
Abstract:

Let \(G\) be a connected graph. A weakly connected dominating set of \(G\) is a dominating set \(D\) such that the edges not incident to any vertex in \(D\) do not separate the graph \(G\). In this paper, we first consider the relationship between weakly connected domination number \(\gamma_w(G)\) and the irredundance number \(ir(G)\). We prove that \(\gamma_w(G) \leq \frac{5}{2}ir(G) – 2\) and this bound is sharp. Furthermore, for a tree \(T\), we give a sufficient and necessary condition for \(\gamma_c(T) = \gamma_w(T) + k\), where \(\gamma_c(T)\) is the connected domination number and \(0 \leq k \leq \gamma_w(T) – 1\).

Meirun Chen1, Xiaofeng Guo2
1Department of Mathematics and Physics, Xiamen University of Technology, Xiamen Fujian 361024, China
2School of Mathematical Sciences, Xiamen University, Xiamen Fujian 361005, China
Abstract:

For two vertices \(u\) and \(v\) in a strong digraph \(D\), the strong distance \(sd(u,v)\) between \(u\) and \(v\) is the minimum size (the number of arcs) of a strong sub-digraph of \(D\) containing \(u\) and \(v\). The strong eccentricity \(se(v)\) of a vertex \(v\) of \(D\) is the strong distance between \(v\) and a vertex farthest from \(v\). The strong radius \(srad(D)\) (resp. strong diameter \(sdiam(D)\)) of \(D\) is the minimum (resp. maximum) strong eccentricity among all vertices of \(D\). The lower (resp. upper) orientable strong radius \(srad(G)\) (resp. \(SRAD(G)\)) of a graph \(G\) is the minimum (resp. maximum) strong radius over all strong orientations of \(G\). The lower (resp. upper) orientable strong diameter \(sdiam(G)\) (resp. \(SDIAM(G)\)) of a graph \(G\) is the minimum (resp. maximum) strong diameter over all strong orientations of \(G\). In this paper, we determine the lower orientable strong radius and strong diameter of the Cartesian product of complete graphs, and give the upper orientable strong diameter and the bounds on the upper orientable strong radius of the Cartesian product of complete graphs.

Maged Z.Youssef1, E.A. Elsakhawai1
1Department of Mathematics, Faculty of Science, Ain Shams University, Abbassia 11566, Cairo, Egypt.
Abstract:

In this paper, we show that the disjoint union of two cordial graphs, one of them is of even size, is cordial and the join of two cordial graphs, both are of even size or one of them is of even size and one of them is of even order, is cordial. We also show that \(C_m \cup C_n \) is cordial if and only if \(m+n \not\equiv 2 \pmod{4}\) and \(mC_n\) is cordial if and only if \(mn \not\equiv 2 \pmod{4}\) and for \(m, n \geq 3\), \(C_m + C_n\) is cordial if and only if \((m, n) \neq (3, 3)\) and \(\{m, n\} \not\equiv \{0, 2\} \pmod{4}\).

Finally, we discuss the cordiality of \(P_n^k\).

Ibrahim Gunaltili1
1Eskigehir Osmangazi University, Faculty of Sciences, Department of Mathematics, Eskigehir-TURKEY
Abstract:

We show that a finite linear space with \(b = n^2 + n + 1\) lines, \(n \geq 2\), constant point-degree \(n+1\) and containing a sufficient number of lines of size \(n\) can be embedded in a projective plane of order \(n\). Using this fact, we also give characterizations of some pseudo-complements, which are the complements of certain subsets of finite projective planes.

AP Burger1, MP Kidd1, JH van Vuuren1
1Department of Logistics, University of Stellenbosch, Private Bag X1, Matieland, 7602, South Africa,
Abstract:

The numbers of distinct self-orthogonal Latin squares (SOLS) and idempotent SOLS have been enumerated for orders up to and including $9$. The isomorphism classes of idempotent SOLS have also been enumerated for these orders. However, the enumeration of the isomorphism classes of non-idempotent SOLS is still an open problem. By utilising the automorphism groups of class representatives from the already enumerated isomorphism classes of idempotent SOLS, we enumerate the isomorphism classes of non-idempotent SOLS implicitly (i.e. without generating them). New symmetry classes of SOLS are also introduced, based on the number of allowable transformations that may be applied to a SOLS without destroying the property of self-orthogonality, and these classes are also enumerated.

Liming Xiong1,2, Mingchu Li3
1Department of Mathematics, Beijing Institute of Technology Beijing 100081, P.R. China
2Department of Mathematics, Jiangxi Normal University Nanchang 330027, P.R. China
3School of Software, Dalian University of Technology Dalian 116024, P.R. China
Abstract:

The supereulerian index of a graph \(G\) is the smallest integer \(k\) such that the \(k\)-th iterated line graph of \(G\) is supereulerian. We first show that adding an edge between two vertices with degree sums at least three in a graph cannot increase its supereulerian index. We use this result to prove that the supereulerian index of a graph \(G\) will not be changed after either of contracting an \(A_G(F)\)-contractible subgraph \(F\) of a graph \(G\) and performing the closure operation on \(G\) (if \(G\) is claw-free). Our results extend Catlin’s remarkable theorem \([4]\) relating that the supereulericity of a graph is stable under the contraction of a collapsible subgraph.

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;