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.

Clark Kimberling1
1Department of Mathematics, University of Evansville, Evansville, IN 47722
Abstract:

The inventory of a \(2 \times m\) array \(A = A(i,j)\) consisting of \(n\) not necessarily distinct positive integers \(\mathbb{I}(2,j)\) is the \(2 \times n\) array \(\mathbb{I}(A) = \mathbb{I}(i,j)\), where \(\mathbb{I}(i,j)\) is the number of occurrences of \(\mathbb{I}(1,j)\) in \(A\). Define \(\mathbb{I}^q(A) = I(\mathbb{I}^{q-1}(A))\) for \(q \geq 1\), with \(\mathbb{I}^0(A) = A\). For every \(A\), the chain \(\{\mathbb{I}^q(A)\}\) of inventories is eventually periodic, with period \(1, 2\), or \(3\). The proof depends on runlengths of partitions of integers. A final section is devoted to an open question about cumulative inventory chains.

Tomoki Nakamigawa1
1Department of Mathematics, Keio University Yokohama 223-8522, Japan
Abstract:

A decomposition \(\mathcal{F} = \{F_1, \ldots, F_r\}\) of the edge set of a graph \(G\) is called a resolving \(r\)-decomposition if for any pair of edges \(e_1\) and \(e_2\), there exists an index \(i\) such that \(d(e_1, F_i) \neq d(e_2, F_i)\), where \(d(e, F)\) denotes the distance from \(e\) to \(F\). The decomposition dimension \(dec(G)\) of a graph \(G\) is the least integer \(r\) such that there exists a resolving \(r\)-decomposition. Let \(K_n\) be the complete graph with \(n\) vertices. It is proved that \(dec(K_n) \leq \frac{1}{2} (\log_2 n)^2 (1 + o(1)).\)

Sheng Bau1, Michael A.Henning1, Peter Dankelmann2
1School of Mathematics, Statistics, & Information Technology University of Natal Private Bag X01 Pietermaritzburg, 3209 South Africa
2School of Mathematical and Statistical Sciences University of Natal Durban, 4041 South Africa
Abstract:

For a vertex \(v\) of a graph \(G = (V, E)\), the lower independence number \(i_v(G)\) of \(G\) relative to \(v\) is the minimum cardinality of a maximal independent set in \(G\) that contains \(v\). The average lower independence number of \(G\) is \(i_{av}(G) = \frac{1}{|V|} \sum_{v\in V} i_v(G)\). In this paper, we show that if \(G\) is a tree of order \(n\), then \(i_{av}(G) \geq {2}\sqrt{n} + O(1)\), while if \(G\) is an outer-planar graph of order \(n\), then \(i_{av}(G) \geq 2\sqrt{\frac{n}{3}} + O(1)\). Both bounds are asymptotically sharp.

James A.Sellers1
1Department of Mathematics Penn State University 107 Whitmore Lab University Park, PA 16802
Abstract:

We consider the partition function \(b’_p(n)\), which counts the number of partitions of the integer \(n\) into distinct parts with no part divisible by the prime \(p\). We prove the following: Let \(p\) be a prime greater than \(3\) and let \(r\) be an integer between \(1\) and \(p-1\), inclusively, such that \(24r+1\) is a quadratic nonresidue modulo \(p\). Then, for all nonnegative integers \(n\), \(b’_p{(pn+r)} \equiv 0 \pmod{2}.\)

M.M. Jaradat1
1Department. of Mathematics, Yarmouk University, Irbid-Jordan,
Abstract:

We show that:(a) the special product of two cycles is Hamiltonian decomposable, and (b) if \(G_1\) and \(G_2\) are two Hamiltonian decomposable graphs and at least one of their complements is Hamiltonian decomposable, then the special product of \(G_1\) and \(G_2\) is Hamiltonian decomposable.

I.D. Gray1, J.A. MacDougall1, R.J. Simpson2, W. D.Wallis3
1School of Mathematical and Physical Sciences, University of Newcastle
2School of Mathematics and Statistics, Curtin University of Technology
3Department of Mathematics, Southern Illinois University
Abstract:

A vertex-magic total labeling on a graph \(G\) is a one-to-one map \(\lambda\) from \(V(G) \cup E(G)\) onto the integers \(1, 2, \ldots, |V(G) \cup E(G)|\) with the property that, given any vertex \(x\), \(\lambda(x) + \sum_{y \sim x} \lambda(y) = k\) for some constant \(k\).

In this paper, we completely determine which complete bipartite graphs have vertex-magic total labelings.

A. Panayotopoulos1, A. Sapounakis1
1Department of Informatics, University of Pireaus, Karaoli & Dimitriou 80, 18534 Pireaus, Greece.
Abstract:

In this paper, the notions of \(c\)-Motzkin and \(d\)-Motzkin words are introduced, studied, and the cardinal numbers of their sets are evaluated. Finally, bijections between the sets of the introduced Motzkin words and certain sets of noncrossing partitions are exhibited.

W.Edwin Clark1, Mourad E.H.Ismail1, Stephen Suen1
1Department of Mathematics, University of South Florida, Tampa, FL 33620-5700
Abstract:

Vizing conjectured that \(\gamma(G)\gamma(H) \leq \gamma(G \Box H)\) for all graphs \(G\) and \(H\), where \(\gamma(G)\) denotes the domination number of \(G\) and \(G \Box H\) is the Cartesian product of \(G\) and \(H\). We prove that if \(G\) and \(H\) are \(\delta\)-regular, then, with only a few possible exceptions, Vizing’s conjecture holds. We also prove that if \(\delta(G), \Delta(G), \delta(H)\), and \(\Delta(H)\) are in a certain range, then Vizing’s conjecture holds. In particular, we show that for graphs of order at most \(n\) with minimum degrees at least \(\sqrt{n} \ln n\), the conjecture holds.

S. Georgiou1, C. Koukouvinos1
1Department of Mathematics National Technical University of Athens Zografou 15773, Athens Greece
Abstract:

The classification of Hadamard matrices of orders \(n \geq 32\) remains an open and difficult problem. The definition of equivalent Hadamard matrices gets increasingly complex as \(n\) grows larger. One efficient criterion (\(K\)-boxes) has been used for the construction of inequivalent Hadamard matrices in order \(28\).

In this paper, we use inequivalent projections of Hadamard matrices and their symmetric Hamming distances to check for inequivalent Hadamard matrices. Using this criterion, we have developed two algorithms. The first one achieves finding all inequivalent projections in \(k\) columns as well as classifying Hadamard matrices, and the second, which is faster than the first, uses the symmetric Hamming distance distribution of projections to classify Hadamard matrices. As an example, we apply the second algorithm to the known inequivalent Hadamard matrices of orders \(n = 4, 8, 12, 16, 20, 24\), and \(28\).

Phyllis Chinn1, Ralph Grimaldi2, Silvia Heubach3
1Dept. of Mathematics, Humboldt State University, Arcata, CA 95521
2Dept. of Mathematics, Rose-Hulman Institute of Technology Terre Haute, IN 47803-3999
3Dept. of Mathematics, California State University Los Angeles 5151 State University Drive, Los Angeles, CA 90032-8204
Abstract:

A composition of a positive integer \(n\) consists of an ordered sequence of positive integers whose sum is \(n\). A palindromic composition is one for which the sequence is the same from left to right as from right to left. This paper shows various ways of generating all palindromic compositions, counts the number of times each integer appears as a summand among all the palindromic compositions of \(n\), and describes several patterns among the numbers generated in the process of enumeration.

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;