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.

Haiying Wang1, Jingzhen Gao2
1The School of Information Engineering China University of Geosciences(Beijing) Beijing 100083, P.R.China
2Department of Mathematics and Science Shandong Normal University Jinan, Shandong, 250014,P.R.China
Abstract:

Let \(G = (V,E)\) be a simple graph with the vertex set \(V\) and the edge set \(E\). \(G\) is a sum graph if there exists a labelling \(f\) of the vertices of \(G\) into distinct positive integers such that \(uv \in E\) if and only if \( f(w)=f(u) + f(v) \) for some vertex \(w \in V\). Such a labelling \(f\) is called a sum labelling of \(G\). The sum number \(\sigma(G)\) of \(G\) is the smallest number of isolated vertices which result in a sum graph when added to \(G\). Similarly, the integral sum graph and the integral sum number \(\zeta(G)\) are also defined. The difference is that the labels may be any distinct integers.
In this paper, we will determine that
\[\begin{cases}
0 = \zeta(\overline{P_4}) < \sigma(\overline{P_4}) = 1;\\ 1 = \zeta(\overline{P_5}) < \sigma(\overline{P_5}) = 2;\\ 3 = \zeta(\overline{P_6}) < \sigma(\overline{P_6}) = 4;\\ \zeta(\overline{P_n}) = \sigma(\overline{P_n}) = 0, \text{ for } n = 1, 2, 3;\\ \zeta(\overline{P_n}) = \sigma(\overline{P_n}) = 2n – 7, \text{ for } n \geq 7; \end{cases}\] and \[\begin{cases} 0 = \zeta(\overline{F_5}) < \sigma(\overline{F_5}) = 1;\\ 2 = \zeta(\overline{F_5}) < \sigma(\overline{F_6}) = 2;\\ \zeta(\overline{F_c}) = \sigma(\overline{F_n}) = 0, \text{ for } n =3,4;\\ \zeta(\overline{F_n}) = \sigma(\overline{F_n}) = 2n – 8, \text{ for } n \geq 7. \end{cases}\]

Jianxiu Hao1
1Institute of Mathematics, Physics and Information Sciences, Zhejiang Normal University, P.O. Box: 321004, Jinhua, Zhejiang, PR. China;
Abstract:

The Padmakar-Ivan (PI) index is a Wiener-Szeged-like topological index which reflects certain structural features of organic molecules. In this paper, we study the PI indices of bicyclic graphs whose cycles do not share two or more common vertices.

Mustapha Chellali1
1LAMDA-RO Laboratory Department of Mathematics, University of Blida. B.P. 270, Blida, Algeria.
Abstract:

For a graph \( G = (V, E) \), a non-empty set \( S \subseteq V \) is a global offensive alliance (respectively, global strong offensive alliance) if for every vertex \( v \in V – S \), at least half of the vertices in its closed neighborhood are in \( S \) (respectively, a strict majority of its closed neighborhood are in \( S \)). The global offensive alliance number \( \gamma_o(G) \) (respectively, global strong offensive alliance number \( \gamma_{\hat{o}}(G) \)) is the minimum cardinality of a global offensive alliance (respectively, global strong offensive alliance) of \( G \). In this paper, we determine an upper bound on each parameter for bipartite graphs without isolated vertices. More precisely, we show that \( \gamma_o(G) \leq \frac{n – \ell + s}{2} \) and \( \gamma_{\hat{o}}(G) \leq \frac{n + \ell}{2} \), where \( n \), \( \ell \), and \( s \) are the order, the number of leaves, and the support vertices of \( G \), respectively. Moreover, extremal trees attaining each bound are characterized.

Martin Knor1
1Slovak University of Technology, Faculty of Civil Engineering, Department of Mathematics, Radlinského 11, 813 68 Bratislava, Slovakia,
Abstract:

There is a hypothesis that a non-self-centric radially-maximal graph of radius \( r \) has at least \( 3r – 1 \) vertices. Moreover, if it has exactly \( 3r – 1 \) vertices, then it is planar with minimum degree \( 1 \) and maximum degree \( 3 \). Using an enhanced exhaustive computer search, we prove this hypothesis for \( r = 4, 5 \).

E.J. Cockayne1, S. Finbowtand2, J.S. Swarts1
1Department of Mathematics, University of Victoria, PO Box 3045, Victoria, BC, Canada V8W 3P4
2Department of Mathematics, Statistics and Computer Science, PO Box 5000, Antigonish, NS, Canada B2G 2W5
Abstract:

A vertex set \( X \) of a simple graph is called OO-irredundant if for each \( v \in X \), \( N(v) – N(X – \{v\}) \neq \emptyset \). Basic results for maximal OO-irredundant sets of a graph are obtained.

Shai Mor1, Brett Stevens1
1School of Mathematics and Statistics Carleton University Ottawa, ON K1S 5B6 Canada
Abstract:

A set of necessary conditions for the existence of a partition of \(\{1, \ldots, 2m – 1, L\}\) into differences \(d, d + 1, \ldots, d + m – 1\) is \((m, L) \equiv (0, 0), (1, d + 1), (2, 1), (3, d) \pmod{(4, 2)}\) and \(m \geq 2d – 2\) or \(m = 1\). If \(m = 2d – 2\) then \(L = 5d – 5\), if \(m = 2d – 1\) then \(4d – 2 \leq L \leq 6d – 4\) and if \(m \geq 2d\) then \(2m \leq L \leq 3m + d – 2\). Similar conditions for the partition of \(\{1, \ldots, 2m, L\} \setminus \{2\}\) into differences \(d, d + 1, \ldots, d + m – 1\) are \((m, L) \equiv (0, 0), (1, d + 1), (2, 1), (3, d) \pmod{(4, 2)}\), \((d, m, L) \neq (1, 1, 4), (2, 3, 8)\) and \(m \geq 2d – 2\), \(m = 1\) or \((d, m, L) = (3, 2, 7), (3, 3, 9)\). If \(m = 2d – 2\) then \(L = 5d – 5, 5d – 3\), if \(m = 2d – 1\) then \(4d – 1 \leq L \leq 6d – 2\) and if \(m \geq 2d\) then \(2m + 1 \leq L \leq 3m + d – 1\).

It is shown that for many cases when the necessary conditions hold, the set \(\{1, \ldots, 2m – 1, L\}\) and \(\{1, \ldots, 2m – 1, L\} \setminus \{2\}\) can be so partitioned. These partitions exist for all the minimum and maximum \(L\), when \(d \leq 3\), when \(m = 1\) and when \(m \geq 8d – 3\) (\(m \geq 8d + 4\) in the hooked case). The constructions given fully solve the existence of these partitions if the necessary conditions for the existence of extended and hooked extended Langford sequences are sufficient.

John Ginsburg1
1Department of Mathematics and Statistics, University of Winnipeg Winnipeg, Manitoba, Canada
Abstract:

Let \( n \) and \( q \) be positive integers, with \( n \geq 3 \), and let \( N = nq \). As input, we are to be given an arbitrary ordered \( n \)-sequence \( x_1, x_2, \ldots, x_n \), where \( 1 \leq x_i \leq N \) for all \( i \). We are to be presented with this sequence one entry at a time. As each entry is received, it must be placed into one of the positions \( 1, 2, \ldots, n \), where it must remain. A natural way to do this, in an attempt to sort the input sequence, is as follows. For any integer \( x \in \{1, \ldots, N\} \), we let \( s(x) \) denote the unique integer \( s \) for which \( (s-1)q + 1 \leq x \leq sq \). When we receive the entry \( x_i \), we consider those positions still unoccupied after having placed the previous \( i-1 \) entries, and we place \( x_i \) into the one which is closest to \( s(x_i) \). In the event of a tie for closest, we choose the higher of the two positions. We refer to this procedure as the \({placement\; algorithm}\). Regarding this algorithm, we consider the following question: for how many input sequences will the last two positions filled be positions \( 1 \) and \( n \)? We show that this number is \( (n-1)^{n-3}n^2q^n \).

Ben P. C. Li1, M. Toulouse2
1Department of Computer Science University of Manitoba Winnipeg, Manitoba Canada R3T 2N2
2 CIRRELT Université de Montréal Montréal, Québec Canada H38T 1J4
Abstract:

The complexity of the maximum leaf spanning tree problem for grid graphs is currently unknown. We determine the maximum number of leaves in a grid graph with up to \(4\) rows and with \(6\) rows. Furthermore, we give some constructions of spanning trees of grid graphs with a large number of leaves.

Giorgio Ragusa1
1Dipartimento di Matematica e Informatica Universita di Catania viale A. Doria, 6 95125 Catania, Italia
Abstract:

Let \((X, \mathcal{B})\) be a \(\lambda\)-fold \(G\)-decomposition of \(\lambda H\). Let \(G_i\), \(i=1,\ldots,\mu\), be all nonisomorphic proper subgraphs of \(G\) without isolated vertices. Put \(\mathcal{B}_i = \{B_i \mid B \in \mathcal{B}\}\), where \(B_i\) is a subgraph of \(B\) isomorphic to \(G_i\). A complete simultaneous metamorphosis of \((X, \mathcal{B})\) is a rearrangement, for each \(i = 1, \ldots, \mu\), of the edges of \(\bigcup_{B \in \mathcal{B}} (E(B) \setminus E(B_i))\) into a family \(\mathcal{F}_i\) of copies of \(G_i\) with a leave \(L_i\), such that \((X, \mathcal{B}_i \cup \mathcal{F}_i, L_i)\) is a maximum packing of \(\lambda H\) with copies of \(G_i\). In this paper, we give a complete answer to the existence problem of a \(\lambda\)-fold kite system having a complete simultaneous metamorphosis.

Norman J. Finizio1, Sunra J.N. Mosconit2
1University of Rhode Island, Kingston, RI.
2Politecnico, Milano, Italy.
Abstract:

Whist tournaments for \( v \) players, \( \mathrm{Wh}(v) \), are known to exist for all \( v \equiv 0, 1 \pmod{4} \). In this paper, a new specialization of whist tournament design, namely a \({balanced\; whist\; tournament}\), is introduced. We establish that balanced whist tournaments on \( v \) players, \( \mathrm{BWh}(v) \), exist for several infinite classes of \( v \). An adaptation of a classic construction due to R. C. Bose and J. M. Cameron enables us to establish that \( \mathrm{BWh}(4n + 1) \) exist whenever \( 4n + 1 \) is a prime or a prime power. It is also established that \( \mathrm{BWh}(4n) \) exist for \( 4n = 2^k \), with \( k \equiv 0 \pmod{2, 3 \text{ or } 5} \). We demonstrate that a \( \mathrm{BWh}(4n + 1) \) is equivalent to a conference matrix of order \( 4n + 2 \). Consequently, a necessary condition for the existence of a \( \mathrm{BWh}(4n + 1) \) is that \( 4n + 1 \) is a product of primes each of which is \( \equiv 1 \pmod{4} \). Thus, in particular, \( \mathrm{BWh}(21) \) and \( \mathrm{BWh}(33) \) do not exist. Specific examples of \( \mathrm{BWh}(v) \) are given for \( v = 4, 8, 9, 20, 24, 32 \). It is also shown that a \( \mathrm{BWh}(12) \) does not exist.

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;