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 030
- Pages: 231-236
- Published: 30/06/1999
The numbers of sets of independent edge sets in \(2\)-lattice graphs, wheel graphs, and circuit graphs are computed.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 030
- Pages: 221-229
- Published: 30/06/1999
It is well-known that if \(D\) is any finite set of integers, then there is an \(n\) large enough so that there exists a 2-coloring of the positive integers that avoids any monochromatic \(n\)-term arithmetic progressions whose common differences belong to \(D\).If \(\vec{d} = (d_1, \ldots, d_k)\) and \(\vec{n} = (n_1, \ldots, n_k)\) are \(k\)-tuples of positive integers, denote by \(f_{\vec{d}}(\vec{n})\) the least positive integer \(N\), if it exists, such that for every 2-coloring of \([1, N]\) there is, for some \(i\), a monochromatic \(n_i\)-term arithmetic progression with common difference \(d_i\).This paper looks at the problem of determining when \(f_{\vec{d}}(\vec{n})\) exists, and its value when it does exist, for \(k \leq 3\).A complete answer is given for \(k = 2\).A partial answer is given for \(k = 3\), including the fact that for all ordered triples \(\vec{d}\), \(f_{\vec{d}}(4, 4, 4)\) does not exist.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 030
- Pages: 195-220
- Published: 30/06/1999
Given a set of \(N\) cities, construct a connected network which has minimum length. The problem is simple enough, but the catch is that you are allowed to add junctions in your network. Therefore, the problem becomes how many extra junctions should be added, and where should they be placed so as to minimize the overall network length.This intriguing optimization problem is known as the Steiner Minimal Tree Problem (SMT), where the junctions that are added to the network are called Steiner Points.The focus of this paper is twofold.First We look at the computational history of the problem, up through and including a new method to compute SMT’s in parallel.Secondly We look at future work in the computation of Steiner Minimal Trees.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 030
- Pages: 171-193
- Published: 30/06/1999
Suppose \(S\) is a defining set of a symmetric \(2\)-( \(v, k, \lambda\) ) design \(D\), where \(\lambda = 1\) or \(2\); that is, \(D\) is a projective plane or a biplane.In this paper, conditions under which the residual of \(S\) is a defining set of the residual of \(D\) are investigated.As a consequence, inequalities relating the sizes of smallest defining sets of \(D\) and of the residual of \(D\) are obtained.The exact sizes of smallest defining sets of \({PG}(2, 5)\), \({AG}(2, 5)\), and the three non-isomorphic \(2\)-( \(10, 4, 2\) ) designs are determined.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 030
- Pages: 149-170
- Published: 30/06/1999
Exact designs with \(n\) observations and \(k\) two-level factors in the presence of autocorrelated errors are considered. The problem of finding \(D\)- and \(A\)- optimal designs is discussed. An algorithm for constructing such designs, using exhaustive search for different values of \(n\) and \(k\), is developed. The application of this algorithm showed that, in the case of positive autocorrelation, the maximum possible number of interchanges of the factor levels provides almost optimal designs.On the contrary, in the case of negative autocorrelation, the minimum such number provides almost optimal designs. A list of the exact \(D\)- and \(A\)-optimal designs is given.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 030
- Pages: 129-148
- Published: 30/06/1999
A tree \(T\) consisting of a line with edges \(\{(1, 2), (2, 3), \ldots, (n-1, n)\}\) and with edges \(\{(1, a_1), (1, a_2), \ldots, (1, a_k)\}\) (a star) attached on the left, is called a broom.
The edges of the tree \(T\) are called \(T\)-transpositions. We give an algorithm to factor any permutation \(\sigma\) of \(\{a_1, a_2, \ldots, a_k, 1, 2, \ldots ,n\}\) as a product of \(T\)-transpositions, and prove that the factorization produced by the algorithm has minimal length.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 030
- Pages: 103-127
- Published: 30/06/1999
Median graphs are surveyed from the point of view of their characterizations, their role in location theory, and their connections with median structures. The median structures we present include ternary algebras, betweenness, interval structures, semilattices, hypergraphs, join geometries, and conflict models. In addition, some new characterizations of median graphs as meshed graphs are presented and a new characterization in terms of location theory is given.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 030
- Pages: 99-102
- Published: 30/06/1999
Up to isomorphisms, there are exactly 22 \(1\)-rotational resolved \((52,4,1)\)-BIBD’s.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 030
- Pages: 91-97
- Published: 30/06/1999
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 030
- Pages: 67-89
- Published: 30/06/1999
Let \(\mathcal{F}\) be a family of objects and \(\varphi\) an integer-valued function defined on \(\mathcal{F}\).If for any \(A, B \in \mathcal{F}\) and integer \(k\) between \(\varphi(A)\) and \(\varphi(B)\), there exists \(C \in \mathcal{F}\) such that \(\varphi(C) = k\), then \(\varphi\) is said to interpolate over \(\mathcal{F}\).In this paper, we first discuss some basic ideas used in proving interpolation theorems for graphs.By using this, we then prove that a number of conditional invariants interpolate over some families of subgraphs of a given connected graph.




