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.

Johannes Siemons1
1School of Mathematics UEA Norwich Norwich NR4 7TJ United Kingdom
Abstract:

Suppose that a finite group \(G\) acts on two sets \(X\) and \(Y\), and that \(FX\) and \(FY\) are the natural permutation modules for a field \(F\). We examine conditions which imply that \(FX\) can be embedded in \(FY\), in other words that \((\ast)\): There is an injective \(G\)-map \( FX \rightarrow FY\). For primitive groups we show that \((\ast)\) holds if the stabilizer of a point in \(Y\) has a `maximally overlapping’ orbit on \(X\). For groups of rank three, we show that \((\ast)\) holds unless a specific divisibility condition on the eigenvalues of an orbital matrix of \(G\) is satisfied. Both results are obtained by constructing suitable incidence geometries.

Hantao Zhang1, Frank E.Bennett2
1 Computer Science Department The University of Jowa Iowa City, [A 52242
2 Department of Mathematics Mount Saint Vincent University Halifax, Nova Scotia B3M 2J6
Abstract:

A Latin square \((S, \ast)\) is said to be \((3,2,1)\)-conjugate-orthogonal if \(x \ast y = z \ast w\), \(x \ast_{321} y\), \(z \ast_{321} w\) imply \(x = z\) and \(y = w\), for all \(x, y, z, w \in S\), where \(x_3 \ast_{321} x_2 = x_1\) if and only if \(x_1 \ast x_2 = x_3\). Such a Latin square is said to be \emph{holey}(\((3,2,1)\)-HCOLS for short) if it has disjoint and spanning holes corresponding to missing sub-Latin squares.Let \((3,2,1)\)-HCOLS\((h^n)\) denote a \((3,2,1)\)-HCOLS of order \(hn\) with \(n\) holes of equal size \(h\). We show that, for any \(h \geq 1\), a \((3,2,1)\)-HCOLS\((h^n)\) exists if and only if \(n \geq 4\), except \((n,h) = (6,1)\) and except possibly \((n,h) = (6,13)\). In addition, we show that a \((3,2,1)\)-HCOLS with \(n\) holes of size \(2\)
and one hole of size \(3\) exists if and only if \(n \geq 4\), except for \(n = 4\) and except possibly \(n = 17, 18, 19, 21, 22\) and \(23\). Let \((3,2,1)\)-{ICOILS}\((v, k)\) denote an idempotent \((3,2,1)\)-COLS of order \(v\) with a hole of size \(k\). We provide \(15\) new \((3,2,1)\)-ICOILS\((v, k)\), where \(k = 2, 3,\) or \(5\).

Thomas Kunkle1, Dinesh G.Sarvate1
1Department of Mathematics College of Charleston Charleston, SC 29424-0001
Abstract:

A balanced part ternary design (BPTD) is a balanced ternary design (BTD) with a specified number of blocks, say \(b_2\), each having repeated elements. We prove some necessary conditions on \(b_2\) and show the existence of some particular BPTDs. We also give constructions of infinite families of BPTDs with \(b_1 = 0\), including families of ternary \(t\)-designs with \(t \geq 3\).

Carlos Guia1, Oscar Ordaz1
1Departamento de Matematicas, Facultad de Ciencias Universidad Central de Venezuela Ap. 47567, Caracas 1041-A, Venezuela.
Abstract:

Our purpose is to determine the minimum integer \(f_i(m)\) (\(g_i(m)\), \(h_i(m)\) respectively) for every natural \(m\), such that every digraph \(D\), \(f_i(m)\)-connected, (\(g_i(m)\), \(h_i(m)\)-connected respectively) and \(\alpha^i(D) \leq m\) is hamiltonian (D has a hamilton path, D is hamilton connected respectively), (\(i = 0,1, 2\)). We give exact values of \(f_i(m)\) and \(g_i(m)\) for some particular values of \(m\). We show the existence of \(h_2(m)\) and that \(h_2(1) = 1\), \(h_2(2) = 4\) hold.

Michael A.Henning1
1 Department of Mathematics University of Natal P.O. Box 375 Pietermaritzburg, South Africa
Abstract:

A two-valued function \(f\) defined on the vertices of a graph \(G = (V,E)\), \(f: V \to \{-1,1\}\), is a signed dominating function if the sum of its function values over any closed neighborhoods is at least one. That is, for every \(v \in V\), \(f(N[v]) \geq 1\), where \(N[v]\) consists of \(v\) and every vertex adjacent to \(v\). The function \(f\) is a majority dominating function if for at least half the vertices \(v \in V\), \(f(N[v]) \geq 1\). The weight of a signed (majority) dominating function is \(f(V) = \sum f(v)\). The signed (majority) domination number of a graph \(G\), denoted \(\gamma_s(G)\) (\(\gamma_{\text{maj}}(G)\), respectively), equals the minimum weight of a signed (majority, respectively) dominating function of \(G\). In this paper, we establish an upper bound on \(\gamma_s(G)\) and a lower bound on \(\gamma_{\text{maj}}(G)\) for regular graphs \(G\).

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

A pseudosurface is obtained from a collection of closed surfaces by identifying some points. It is shown that a pseudosurface \(S\) is minor-closed if and only if \(S\) consists of a pseudosurface \(S^\circ \), having at most one singular point, and some spheres glued to \(S^\circ\) in a tree structure.

Jinjiang Yuan1
1Department of Mathematics Zhengzhou University Zhengzhou 450052 * P.R. China
Abstract:

Let \(\operatorname{PW}(G)\) and \(\operatorname{TW}(G)\) denote the path-width and tree-width of a graph \(G\), respectively. Let \(G+H\) denote the join of two graphs \(G\) and \(H\). We show in this paper that

\(\operatorname{PW}(G + H) = \min\{|V(G)| + \operatorname{PW}(H),|V(H)| + \operatorname{PW}(G)\}\)

and

\(\operatorname{TW}(G + H) = \min\{|V(G)| + \operatorname{TW}(H), |V(H)| + \operatorname{TW}(G)\}\).

E.J. Cockayne1, C.M. Mynhardt2
1 Department of Mathematics University of Victoria P.O. Box 3045 Victoria, BC Canada V8W 3P4
2 Department of Mathematics, Applied Mathematics & Astronomy University of South Africa P.O. Box 392 Pretoria 0001 South Africa
Abstract:

For a positive integer \(k\), a \(k\)-subdominating function of \(G = (V, E)\) is a function \(f: V \to \{-1, 1\}\) such that the sum of the function values, taken over closed neighborhoods of vertices, is at least one for at least \(k\) vertices of \(G\). The sum of the function values taken over all vertices is called the aggregate of \(f\) and the minimum aggregate amongst all \(k\)-subdominating functions of \(G\) is the \(k\)-subdomination number \(\gamma_{ks}(G)\). In the special cases where \(k = |V|\) and \(k = \lceil|V|/2\rceil\), \(\gamma_{ks}\) is respectively the signed domination number [{4}] and the majority domination number [{2}]. In this paper we characterize minimal \(k\)-subdominating functions. By determining \(\gamma_{ks}\) for paths, we give a sharp lower bound for \(\gamma_{ks}\) for trees. We also determine an upper bound for \(\gamma_{ks}\) for trees which is sharp for \(k \leq |V|/2 \).

Qing-Xue Huang1
1Department of Mathematics Zhejiang University Hangzhou, CHINA
H.J. Broersma1, Li Xueliang2,3
1 Department of Applied Mathematics University of Twente 7500 AE Enschede The Netherlands
2 Department of Applied Mathematics University of Twente 7500 AE Enschede The Netherlands
3 Department of Mathematics, Xinjiang University, Urumchi, Xin- Jiang, P.R. China
Abstract:

Let \(G\) be a connected (multi)graph. We define the leaf-exchange spanning tree graph \( {T_l}\) of \(G\) as the graph with vertex set \(V_l = \{T|T \text{ is a spanning tree of } G\}\) and edge set \(E_l = \{(T, T’)|E(T)\Delta E(T’) = \{e, f\}, e \in E(T), f \in E(T’) \text{ and } e \text{ and } f \text{ are incident with a vertex } v \text{ of degree } 1 \text{ in } T \text{ and } T’\}\). \({T}(G)\) is a spanning subgraph of the so-called spanning tree graph of \(G\), and of the adjacency spanning tree graph of \(G\), which were studied by several authors. A variation on the leaf-exchange spanning tree graph appeared in recent work on basis graphs of branching greedoids. We characterize the graphs which have a connected leaf-exchange spanning tree graph and give a lower bound on the connectivity of \( {T_l}(G)\) for a \(3\)-connected graph \(G\).

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;