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.

Zhen-Mu Hong1, Xinmin Hou2, Jiaao Li3, Yang Yang2
1School of Finance, Anhui University of Finance and Economics, Bengbu 233030, China.
2School of Mathematical Sciences, University of Science and Technology of China, Hefei 230026, China.
3Department of Mathematics, West Virginia University, Morgantown, WV 26506, U.S.A.
Abstract:

A model for cleaning a graph with brushes was first introduced by Messinger, Nowakowski, and Pralat in 2008. Later, they focused on the problem of determining the maximum number of brushes needed to clean a graph. This maximum number of brushes needed to clean a graph in the model is called the broom number of the graph. In this paper, we show that the broom number of a graph is equal to the size of a maximum edge-cut of the graph, and prove the \(\mathcal{NP}\)-completeness of the problem of determining the broom number of a graph. As an application, we determine the broom number exactly for the Cartesian product of two graphs.

M.A. Seoud1, M.A. Salim1
1Department of Mathematics, Faculty of Science, Ain Shams University Abbassia, Cairo, Egypt
Abstract:

We give more results in mean cordial and harmonic mean labelings, such as: upper bounds for the number of edges of graphs of given orders for both labelings with direct results, labeling all trees of order \(\leq 9\) to be harmonic mean with the restriction of using the floor function of the definition, and labeling all graphs of order \(\leq 5\) that are harmonic mean graphs without using the label \(q + 1\) in labeling the vertices. Also, we give mean cordial labelings for some families of graphs.

Fuyuan Chen1
1Institute of Statistics and Applied Mathematics, Anhui University of Finance and Economics, Bengbu, Anhui 233030, P.R. China
Abstract:

Linkage is very important in Very Large Scale Integration (VLSI) physical design. In this paper, we mainly study the relationship between minors and linkages. Thomassen conjectured that every \((2k + 2)\)-connected graph is \(k\)-linked. For \(k \geq 4\), \(K_{3k-1}\) with \(k\) disjoint edges deleted is a counterexample to this conjecture, however, it is still open for \(k = 3\). Thomas and Wollan proved that every \(6\)-connected graph on \(n\) vertices with \(5n – 14\) edges is \(3\)-linked. Hence they obtain that every \(10\)-connected graph is \(3\)-linked. Chen et al. showed that every \(6\)-connected graph with \(K_{9}^-\) as a minor is \(3\)-linked, and every \(7\)-connected graph with \(K_{9}^-\) as a minor is \((2,2k-1)\)-linked. Using a similar method, we prove that every \(8\)-connected graph with \(K_{2k+3}^-\) as a minor is \(4\)-linked, and every \((2k + 1)\)-connected graph with \(K_{2k+3}^-\) as a minor is \((2,2k – 1)\)-linked. Our results extend Chen et al.’s conclusions, improve Thomas and Wollan’s results, and moreover, they give a class of graphs that satisfy Thomassen’s conjecture for \(k = 4\).

Hsun Su1, Yuan-Kang Shih2, Shih-Yan Chen3, Shin-Shin Kao4
1 Department of Public Finance and Taxation, Takming University of Science and Technology, Taipei, Taiwan 11451, R.O.C.
2Intel NTU Connected Context Computing Center, National Taiwan University, Taipei, Taiwan 10617, R.O.C.
3Taipei Municipal Bai Ling Senior High School, Taipei, Taiwan 11167, R.O.C.
4Department of Applied Mathematics, Chung Yuan Christian University, Chung-Li City, Taiwan 82028, R.O.C.
Abstract:

Consider any undirected and simple graph \(G = (V, E)\), where \(V\) and \(E\) denote the vertex set and the edge set of \(G\), respectively. Let \(|G| = |V| = n \geq 3\). The well-known Ore’s theorem states that if \(\deg_G(u) + \deg_G(v) \geq n + k\) holds for each pair of nonadjacent vertices \(u\) and \(v\) of \(G\), then \(G\) is traceable for \(k = -1\), Hamiltonian for \(k = 0\), and Hamiltonian-connected for \(k = 1\). In this paper, we investigate any graph \(G\) with \(\deg_G(u) + \deg_G(v) \geq n – 1\) for any nonadjacent vertex pair \(\{u,v\}\) of \(G\), in particular. We call it the \((*)\) condition. We derive four graph families, \(\mathcal{H}_i\), \(1 \leq i \leq 4\), and prove that all graphs satisfying \((*)\) are Hamiltonian-connected unless \(G \in \bigcup_{i=1}^{4} \mathcal{H}_i\). We also establish a comprehensive theorem for \(G\) satisfying \((*)\), which shows that \(G\) is traceable, Hamiltonian, pancyclic, or Hamiltonian-connected unless \(G\) belongs to different subsets of \(\{\mathcal{H}_i | 1 \leq i \leq 4\}\), respectively.

A.R. Moghaddamfar1, S. Rahbariyan1, S.Navid Salehy2, S.Nima Salehy2
1Faculty of Mathematics, K. N. Toosi University of Technology, P. O. Box 16315-1618, Tehran, Iran
2Department of Mathematics, Florida State University, Tallahassee, FL 32306, USA.
Abstract:

Given a group \(G\), we define the power graph \(P(G)\) as follows: the vertices are the elements of \(G\) and two vertices \(x\) and \(y\) are joined by an edge if \(\langle x\rangle \subseteq \langle y \rangle\) or \(\langle y\rangle \subseteq \langle x \rangle\). Obviously, the power graph of any group is always connected, because the identity element of the group is adjacent to all other vertices. In the present paper, among other results, we will find the number of spanning trees of the power graph associated with specific finite groups. We also determine, up to isomorphism, the structure of a finite group \(G\) whose power graph has exactly \(n\) spanning trees, for \(n < 5^{3}\). Finally, we show that the alternating group \(A_5\) is uniquely determined by the tree-number of its power graph among all finite simple groups.

Haicheng Ma1,2, Wenhua Yang2, Xiafei Meng2, Shenggang Li2
1 Departinent of Mathematics, Qinghai Nationalities University, Xining, Qinghai 810007, P.R. China
2College of Mathematics and Information Science, Shaanxi Normal University, Xi’an, Shaanxi 710062, P.R. China
Abstract:

Let \(G\) be a graph of order \(n\). The number of positive eigenvalues of \(G\) is called the positive inertia index of \(G\) and denoted by \(p(G)\). The minimum number of complete multipartite subgraphs in any complete multipartite graph edge decomposition of graph \(G\), in which the edge-induced subgraph of each edge subset of the decomposition is a complete multipartite graph, is denoted by \(\epsilon(G)\). In this paper, we prove \(\epsilon(G) \geq p(G)\) for any graph \(G\). Especially, if \(\epsilon(G) = 2\), then \(p(G) = 1\). We also characterize the graph \(G\) with \(p(G) = n – 2\).

Rundan Xing1
1School of Computer Science, Wuyi University, Jiangmen 529020, P.R. China
Abstract:

The distance spectral gap of a connected graph is defined as the difference between its first and second distance eigenvalues. In this note, the unique \(n\)-vertex trees with minimal and maximal distance spectral gaps, and the unique \(n\)-vertex unicyclic graph with minimal distance spectral gap are determined.

Dafik 1,2, Slamin 1,3, Dushyant Tanna4, Andre a Semanitovd-Fenovéikova5, Martin Bata5
1CGANT Research Group, University of Jember, Indonesia
2Department of Mathematics Education, FKIP, University of Jember, Indonesia
3Department of Information System, PSSI, University of Jember, Indonesia
4School of Mathematical and Physical Sciences, The University of Newcasile, Australia
5Department of Applied Mathematics and Informatics, Technical University, Kosice, Slovakia
Abstract:

A simple graph \(G = (V, E)\) admits an \(H\)-covering if every edge in \(E\) belongs to at least one subgraph of \(G\) isomorphic to a given graph \(H\). An \((a, d)\)-\(H\)-antimagic labeling of \(G\) admitting an \(H\)-covering is a bijective function \(f : V \cup E \rightarrow \{1, 2, \ldots, |V| + |E|\}\) such that, for all subgraphs \(H’\) of \(G\) isomorphic to \(H\), the \(H’\)-weights, \(wt(H’) = \sum_{v \in V(H’)} f(v) + \sum_{e \in E(H’)} f(e)\), constitute an arithmetic progression with the initial term \(a\) and the common difference \(d\). Such a labeling is called super if \(f(V) = \{1, 2, \ldots, |V|\}\). In this paper, we study the existence of super \((a, d)\)-\(H\)-antimagic labelings for graph operation \(G ^ H\), where \(G\) is a (super) \((b, d^*)\)-edge-antimagic total graph and \(H\) is a connected graph of order at least \(3\).

Yiqiao Wang1, Xiaoxue Hu2, Weifan Wang2
1School of Management, Beijing University of Chinese Medicine, Beijing 100029, China
2 Department of Mathematics, Zhejiang Normal University, Jinhua 321004, China
Abstract:

This article proves that the square of a Halin graph \(G\) with \(\Delta(G) = 5\) has the chromatic number \(6\). This gives a positive answer to an open problem in [Y. Wang, Distance two labelling of Halin graphs, Ars Combin. 114 (2014), 331–343].

Xun-Tuan Su1
1 School of Managements, Qufu Normal University, Rizhao 276800, China
Abstract:

There are many rectangular arrays whose \(n^{th}\) column is the \(n\)-fold convolution of the \(0^{th}\) column in combinatorics. For this type of rectangular arrays, we prove a formula for evaluating the determinant of certain submatrices, which was conjectured by Hoggatt and Bicknell. Our result unifies the determinant evaluation of submatrices of the rectangular arrays consisting of binomial coefficients, multinomial coefficients, Fibonacci numbers, Catalan numbers, generalized Catalan and Motzkin numbers.

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;