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.

Kejun Chen1, Zhenfu Cao1, Ruizhong Wei2
1Department of Computer Science and Engineering Shanghai Jiao Tong University Shanghai 200030, China
2Department of Computer Science Lakehead University Thunder Bay, ON, P7B 5E1 Canada
Abstract:

A \( V(m,t) \) leads to \( m \) idempotent pairwise orthogonal Latin squares of order \( (m+1)t+1 \) with one common hole of order \( t \). \( V(m,t) \)’s can also be used to construct perfect Mendelsohn designs and optimal optical orthogonal codes. For \( 3 \leq m \leq 8 \), the spectrum for \( V(m,t) \) has been determined. In this article, we investigate the existence of \( V(m,t) \) with \( m = 9 \) and show that a \( V(9,t) \) always exists in \( GF(q) \) for any prime power \( q = 9t + 1 \) with the exception of \( q = 73 \) and one possible exception of \( q = 5^6 \).

Rohan Cattell1
1School of Mathematical and Physical Sciences, The University of Newcas- Tle, Nsw 2308
Abstract:

A Vertex Magic Total Labeling of a graph \( G \) is a one-to-one map \( \lambda \) from \( E(G) \cup V(G) \) onto the set of integers \( \{1, 2, \ldots, e + v\} \) such that for all \( x \in V \) we have \(\lambda(x) + \sum \lambda(xy) = h\) for some constant \( h \), where the sum is taken over all vertices \( y \) adjacent to \( x \). In this paper, we present several theorems on the existence of such labelings for multipartite graphs and give constructions for labelings for two infinite families of complete tripartite graphs, namely \( K_{1,n,n} \) for odd \( n \) and \( K_{2,n,n} \) for \( n \equiv 3 \pmod{4} \).

Dingjun Lou1, Wei Wang1
1 Department of Computer Science Zhongshan University Guangzhou 510275 People’s Republic of China
Abstract:

In this paper, we develop a polynomial time algorithm to determine the cyclic edge connectivity of a \(k\)-regular graph for \(k \geq 3\). The time complexity of the algorithm is bounded by \(O(k^{11}|V|^8)\), in particular, it is \(O(|V|^8)\) for cubic graphs.

Paul A.Russell1
1Department of Pure Mathematics and Mathematical Statistics, Centre for Mathe matical Sciences, Wilberforce Road, Cambridge CB3 OWB, England.
Abstract:

For each integer \(m \geq 1\), consider the graph \(G_m\) whose vertex set is the set \(\mathbb{N} = \{0,1,2,\ldots\}\) of natural numbers and whose edges are the pairs \(xy\) with \(y = x+m\), \(y = x-m\), \(y = mx\), or \(y = \frac{x}{m}\). Our aim in this note is to show that, for each \(m\), the graph \(G_m\) contains a Hamilton path. This answers a question of Lichiardopol.

Peter Jenkins1
1Centre for Discrete Mathematics and Computing, Department of Mathematics, The University of Queensland, Queensland 4072, AUSTRALIA
Abstract:

Given a partial \(K_4\)-design \((X, {P})\), if \(x \in X\) is a vertex which occurs in exactly one block of \({P}\), then call \(x\) a free vertex. In this paper, a technique is described for obtaining a cubic embedding of any partial \(K_4\)-design with the property that every block in the partial design contains at least two free vertices.

P. Dankelmann1, L. Volkmann2
1School of Mathematical and Statistical Sciences University of Natal, Durban, South Africadankelma@nu.ac.za
2Lehrstuhl II fiir Mathematik RWTH-Aachen, Germany
Abstract:

The average distance \(\mu(D)\) of a strong digraph \(D\) is the average of the distances between all ordered pairs of distinct vertices of \(D\). Plesnik \([6]\) proved that if \(D\) is a strong tournament of order \(n\), then \(\mu(D) \leq \frac{n+4}{6} + \frac{1}{n}\). In this paper, we show that if \(D\) is a \(k\)-connected tournament of order \(n\), then \(\mu(D) \leq \frac{n}{6k} + \frac{19}{6} + \frac{k}{n}\). We demonstrate that, apart from an additive constant, this bound is best possible.

Nandor Sieben1
1DEPARTMENT OF MATHEMATICS, NORTHERN ARIZONA UNIVERSITY, Fiaastarr, AZ 86011-5717
Abstract:

A subset \(U\) of a set \(S\) with a binary operation is called avoidable if \(S\) can be partitioned into two subsets \(A\) and \(B\) such that no element of \(U\) can be written as a product of two distinct elements of \(A\) or as the product of two distinct elements of \(B\). The avoidable sets of the bicyclic inverse semigroup are classified.

Kwang-Wu Chen1
1Department of Mathematics & Computer Science Education, Taipei Municipal Teachers College, No. 1, Ai-Kuo West Road, Taipei, Taiwan 100, R.O.C.
Abstract:

Let \(\alpha, \beta\) be any numbers. Given an initial sequence \(a_{0,m}\) (\(m = 0,1,2,\ldots\)), define the sequences \(a_{n,m}\) (\(n \geq 1\)) recursively by

\[a_{n,m} = \alpha a_{n-1,m} + \beta a_{n-1,m+1}; \quad \text{for n} \geq 1, m \geq 0.\]

Let \(\alpha, \beta\) be any numbers. Given an initial sequence \(a_{0,m}\) (\(m = 0,1,2,\ldots\)), define the sequences \(a_{n,m}\) (\(n \geq 1\)) recursively by

\[a_{n,m} = \alpha a_{n-1,m} + \beta a_{n-1,m+1}; \quad \text{for n} \geq 1, m \geq 0.\]

We call the matrix \((a_{n,m})_{n,m\geq 0}\) an generalized Seidel matrix with a parameter pair \((\alpha, \beta)\). If \(\alpha = \beta = 1\), then this matrix is the classical Seidel matrix. For various different parameter pairs \((\alpha, \beta)\) we will impose some evenness or oddness conditions on the exponential generating functions of the initial sequence \(a_{0,m}\) and the final sequence \(a_{n,0}\) of a generalized Seidel matrix (i.e., we require that these generating functions or certain related functions are even or odd). These conditions imply that the initial sequences and final sequences are equal to well-known classical sequences such as those of the Euler numbers, the Genocchi numbers, and the Springer numbers.

As applications, we give a straightforward proof of the continued fraction representations of the ordinary generating functions of the sequence of Genocchi numbers. And we also get the continued fractions representations of the ordinary generating functions of the Genocchi polynomials, Bernoulli polynomials, and Euler polynomials. Lastly, we give some applications of congruences for the Euler polynomials.

Mahesh Andar1, Samina Boxwala1, N.B. Limaye2
1Department of Mathematics N. Wadia College, Pune,411001.
2Department of Mathematics University of Mumbai Vidyanagari, Mumbai 400098
Abstract:

Let \(G\) be a simple graph with vertex set \(V\) and edge set \(E\). A vertex labeling \(f: V \to \{0,1\}\) induces an edge labeling \(\overline{f}: E \to \{0,1\}\) defined by \(\overline{f}(uv) = |f(u) – f(v)|\). Let \(v_f(0), v_f(1)\) denote the number of vertices \(v\) with \(f(v) = 0\) and \(f(v) = 1\) respectively. Let \(e_f(0), e_f(1)\) be similarly defined. A graph is said to be cordial if there exists a vertex labeling \(f\) such that \(|v_f(0) – v_f(1)| \leq 1\) and \(|e_f(0) – e_f(1)| \leq 1\).

In this paper, we give necessary and sufficient conditions for the cordiality of the \(t\)-ply \(P_t(u,v)\), i.e. a thread of ply number \(t\).

Koichi Betsumiya1, YoungJu Choie2
1Jobu University, 634-1 Iaesaki, Japan
2Department of Mathematics Pohang University of Science and Technology Pohang 790-784, Korea
Abstract:

A Jacobi polynomial was introduced by Ozeki. It corresponds to the codes over \(\mathbb{F}_2\). Later, Bannai and Ozeki showed how to construct Jacobi forms with various index using a Jacobi polynomial corresponding to the binary codes. It generalizes Broué-Enguehard map. In this paper, we study Jacobi polynomial which corresponds to the codes over \(\mathbb{F}_{2f}\). We show how to construct Jacobi forms with various index over the totally real field. This is one of extension of Broué-Enguehard map.

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;