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.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 022
- Pages: 23-31
- Published: 31/10/1996
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.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 022
- Pages: 13-22
- Published: 31/10/1996
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\).
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 022
- Pages: 3-11
- Published: 31/10/1996
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\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 043
- Pages: 272-286
- Published: 31/08/1996
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.
- Research article
- Full Text
- Ars Combinatoria
- Volume 043
- Pages: 263-271
- Published: 31/08/1996
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\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 043
- Pages: 246-256
- Published: 31/08/1996
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.
- Research article
- Full Text
- Ars Combinatoria
- Volume 043
- Pages: 257-262
- Published: 31/08/1996
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)\}\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 043
- Pages: 235-245
- Published: 31/08/1996
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 \).
- Research article
- Full Text
- Ars Combinatoria
- Volume 043
- Pages: 232-234
- Published: 31/08/1996
- Research article
- Full Text
- Ars Combinatoria
- Volume 043
- Pages: 225-231
- Published: 31/08/1996
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\).




