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.

Sara Cohen1, Steven Klee1, Katherine Pannell1
1University of California, Davis Department of Mathematics One Shields Avenue Davis, CA 95616
Abstract:

In this paper, we study a pair of simplicial complexes, which we denote by \( \mathcal{B}(k,d) \) and \( \mathcal{ST}(k+1,d-k-1) \), for all nonnegative integers \( k \) and \( d \) with \( 0 \leq k \leq d-2 \). We conjecture that their underlying topological spaces \( |\mathcal{B}(k,d)| \) and \( |\mathcal{ST}(k+1,d-k-1)| \) are homeomorphic for all such \( k \) and \( d \). We answer this question when \( k = d-2 \) by relating the complexes through a series of well-studied combinatorial operations that transform a combinatorial manifold while preserving its PL-homeomorphism type.

N. Dehgardi1, S.M. Sheikholeslami1, D. Meierling2, L. Volkmann2
1Department of Mathematics Azarbaijan University of Tarbiat Moallem Tabriz, I.R. Iran
2Lehrstuhl IT fiir Mathematik RWTH Aachen University 52056 Aachen, Germany
Abstract:

Let \( D = (V,A) \) be a finite and simple digraph. A Roman dominating function (RDF) on \( D \) is a labeling \( f: V(D) \to \{0,1,2\} \) such that every vertex \( v \) with label \( 0 \) has a vertex \( w \) with label \( 2 \) such that \( wv \) is an arc in \( D \). The weight of an RDF \( f \) is the value \( \omega(f) = \sum_{v \in V} f(v) \). The Roman domination number of a digraph \( D \), denoted by \( \gamma_R(D) \), equals the minimum weight of an RDF on \( D \). The Roman reinforcement number \( r_R(D) \) of a digraph \( D \) is the minimum number of arcs that must be added to \( D \) in order to decrease the Roman domination number. In this paper, we initiate the study of Roman reinforcement number in digraphs and we present some sharp bounds for \( r_R(D) \). In particular, we determine the Roman reinforcement number of some classes of digraphs.

Jianxi Li1, Wai Chee Shiu2
1Department of Mathematics & Information Science, Zhangzhou Normal University, Zhangzhou, Fujian, P.R. China
2Department of Mathematics, Hong Kong Baptist University, Kowloon Tong, Hong Kong, P. R. China.
Abstract:

In this paper, some formulae for computing the numbers of spanning trees of the corona and the join of graphs are deduced.

Sian K. Jones1, Stephanie Perkins1, Paul A. Roach1
1Faculty of Advanced Technology, University of Glamorgan Treforest, UK, CF37 1DL
Abstract:

Partially filled \(6 \times 6\) Sudoku grids are categorized based on the arrangement of the values in the first three rows. This categorization is then employed to determine the number of \(6 \times 6\) Sudoku grids.

Jonathan Bloom 1, Dan Saracino2
1Dartmouth College
2Colgate University
Abstract:

Stankova and West proved in 2002 that the patterns \( 231 \) and \( 312 \) are shape-Wilf-equivalent. Their proof was nonbijective. We give a new characterization of \( 231 \) and \( 312 \) avoiding full rook placements and use this to give a simple bijection that demonstrates the shape-Wilf-equivalence.

Xiaomiao Wang1, Yanxun Chang2, Ruizhong Wei3
1Institute of Mathematics, Beijing Jiaotong University Beijing 100044, P. R. China
2Department of Mathematics, Ningbo University Ningbo 315211, P. R. China
3Department of Computer Science, Lakehead University Thunder Bay, ON, P7B 5E1, Canada
Timothy M. Brauch1, André E. Kézdy1, Hunter S. Snevily2
1Department of Mathematics University of Louisville Louisville, KY 40292 USA
2Department of Mathematics University of Idaho Moscow, ID 83844 USA
Abstract:

The paper begins with a simple circular lock problem that shows how the Combinatorial Nullstellensatz relates to the discrete Fourier Transform.Specifically, the lock shows a relationship between detecting perfect matchings in bipartite graphs using the Combinatorial Nullstellensatz and detecting a maximum rank independent set in the intersection of two matroids in the Fourier transform of a specially chosen function. Finally, an application of the uncertainity principle computes a lower bound for the product of perfect matchings and the number of independent sets.

Gek L. Chia1, Angeline P.L. Lee1
1Institute of Mathematical Sciences University of Malaya 50603 Kuala Lumpur Malaysia
Abstract:

A \({magic\; square}\) of order \(n\) is an \(n \times n\) array of integers from \(1, 2, \ldots, n^2\) such that the sum of the integers in each row, column, and diagonal is the same number. Two magic squares are \({equivalent}\) if one can be obtained from the other by rotation or reflection. The \({complement}\) of a magic square \(M\) of order \(n\) is obtained by replacing every entry \(a\) with \(n^2 + 1 – a\), yielding another magic square. A magic square is \({self-complementary}\) if it is equivalent to its complement. In this paper, we prove a structural theorem characterizing self-complementary magic squares and present a method for constructing self-complementary magic squares of even order. Combining this construction with the structural theorem and known results on magic squares, we establish the existence of self-complementary magic squares of order \(n\) for every \(n \geq 3\).

Emlee W. Nicholson1,2, Bing Wei1
1Department of Mathematics, University of Mississippi University, MS 38677, USA
2Winthrop University Department of Mathematics Rock Hill, SC 29788, USA
Abstract:

Let \(G\) be a graph on \(n\) vertices. If for any ordered set of vertices \(S = \{v_1, v_2, \ldots, v_k\}\), where the vertices in \(S\) appear in the sequence order \(v_1, v_2, \ldots, v_k\), there exists a \(v_1-v_k\) (Hamiltonian) path containing \(S\) in the given order, then \(G\) is \(k\)-ordered (Hamiltonian) connected. In this paper, we show that if \(G\) is \((k+1)\)-connected and \(k\)-ordered connected, then for any ordered set \(S\), there exists a \(v_1-v_k\) path \(P\) containing \(S\) in the given order such that \(|P| \geq \min\{n, \sigma_2(G) – 1\}\), where \(\sigma_2(G) = \min\{d_G(u) + d_G(v) : u,v \in V(G); uv \notin E(G)\}\) when \(G\) is not complete, and \(\sigma_2(G) = \infty\) otherwise. Our result generalizes several related results known before.

Weizhong Wang1,2, Yanfeng Luo3, Xing Gao3
1 Department of mathematics, Lanzhou University, Lanzhou 730000, PR China
2Department of mathematics, Lanzhou Jiaotong University, Lanzhou 730070, PR China
3Department of mathematics, Lanzhou University, Lanzhou 730000, PR China
Abstract:

Let \(G\) be a simple graph. The incidence energy ( \(IE\) for short ) of \(G\) is defined as the sum of the singular values of the incidence matrix. In this paper, a new lower bound for \(IE\) of graphs in terms of the maximum degree is given. Meanwhile, an upper bound and a lower bound for \(IE\) of the subdivision graph and the total graph of a regular graph \(G\) are obtained, respectively.

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;