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.

Brian G.Kronenthal1, Lorenzo Traldi1
1Department of Mathematics Lafayette College, Easton, PA 18042
Abstract:

A \({generalized\; die}\) is a list \( (x_1,\ldots,x_n) \) of integers. For integers \( n \geq 1, a \leq b \) and \( s \), let \( D(n,a,b,s) \) be the set of all dice with \( a \leq x_1 \leq \ldots \leq x_n \leq b \) and \( \sum x_i = s \). Two dice \( X \) and \( Y \) are \({tied}\) if the number of pairs \( (i,j) \) with \( x_i y_j \). We prove the following: with one exception (unique up to isomorphism), if \( X \neq Y \in D(n,a,b,s) \) are tied dice neither of which ties all other elements of \( D(n,a,b,s) \), then there is a third die \( Z \in D(n,a,b,s) \) which ties neither \( X \) nor \( Y \).

Norman J.Finizio1
1Department of Mathematics University of Rhode Island Kingston, RI 02881
Abstract:

I. Anderson and L. Ellison [7] demonstrated the existence of \( Z \)-cyclic Directed Triplewhist Tournament Designs and \( Z \)-cyclic Ordered Triplewhist Tournament Designs for all primes \( p \equiv 9 \pmod{16} \). It is shown here that their methodology can be generalized completely to deal with primes of the form \( p \equiv (2^k + 1) \pmod{2^{k+1}} \), \( k \geq 4 \).

Vito Napolitano1
1Dipartimento Di Matematica, Universita Della Basilicata, Epiricio 3d, Viale Dell Ateneo Lucano 10, Conrrrada Maccuia Romana, I – 85100 Porenza-Italy
Abstract:

An \( \mathbb{L}(n,d) \) is a linear space with constant point degree \( n+1 \), lines of size \( n \) and \( n-d \), and with \( v = n^2 – d \) points. Denote by \( b = n^2 + n + z \) the number of lines of an \( \mathbb{L}(n,d) \), then \( z \geq 0 \) and examples are known only if \( z = 0, 1 \) [7]. The linear spaces \( \mathbb{L}(n, d) \) were introduced in [7] in relation with some classification problems of finite linear spaces. In this note, starting from the symmetric configuration \( 45_7 \) of Baker [1], we give an example of \( \mathbb{L}(n,d) \), with \( n=7, d=4 \) and \( z=4 \).

Chaoying Dai1, Pak Ching Li1, Michel Toulouse2
1Department of Computer Science, University of Manitoba Winnipeg, Manitoba R3T 2N2, Canada
2CIRRELT, Université de Montréal Montréal, Québec H8C 337, Canada
Abstract:

We propose a multilevel cooperative search algorithm to compute upper bounds for \( C_\lambda(v,k,t) \), the minimum number of blocks in a \( t-(v,k,\lambda) \) covering design. Multilevel cooperative search is a search heuristic combining cooperative search and multilevel search. We first introduce a coarsening strategy for the covering design problem which defines reduced forms of an original \( t-(v,k,\lambda) \) problem for each level of the multilevel search. A new tabu search algorithm is introduced to optimize the problem at each level. Cooperation operators between tabu search procedures at different levels include new re-coarsening and interpolation operators. We report the results of tests that have been conducted on \( 158 \) covering design problems. Improved upper bounds have been found for \( 34 \) problems, many of which exhibit a tight gap. The proposed heuristic appears to be a very promising approach to tackle other similar optimization problems in the field of combinatorial design.

Ortrud R.Oellermann1, Stephanie Phillips1
1University of Winnipeg 515 Portage Avenue Winnipeg, MB R3B 2E9 Canada
Abstract:

A Steiner tree for a set \( S \) of vertices in a connected graph \( G \) is a connected subgraph of \( G \) of smallest size that contains \( S \). The Steiner interval \( I(S) \) of \( S \) is the union of all vertices of \( G \) that belong to some Steiner tree for \( S \). A graph is strongly chordal if it is chordal and has the property that every even cycle of length at least six has an odd chord. We develop an efficient algorithm for finding Steiner intervals of sets of vertices in strongly chordal graphs.

R.Douglas Chatham1, Maureen Doyle2, Gerd H. Fricke1, Jon Reitmann1, R.Duane Skaggs1, Matthew Wolff3
1Department of Mathematics and Computer Science, Morehead State University, More- head, KY 40351 USA
2Department of Computer Science, Northern Kentucky University, Highland Heights, KY 41099 USA
3Pyramid Controls, Inc., Cincinnati, OH 45203 USA
Abstract:

A legal placement of Queens is any placement of Queens on an order \(N\) chessboard in which any two attacking Queens can be separated by a Pawn. The Queens’ independence separation number is the minimum number of Pawns which can be placed on an \(N \times N\) board to result in a separated board on which a maximum of \(m\) independent Queens can be placed. We prove that \(N + k\) Queens can be separated by \(k\) Pawns for large enough \(N\) and provide some results on the number of fundamental solutions to this problem. We also introduce separation relative to other domination-related parameters for Queens, Rooks, and Bishops.

Lenny Fukshabsky1
1Department of Mathematics, 850 Columbia Avenue, Claremont McKenna College, Claremont, CA 91711
Abstract:

Let \( \mathcal{P}_N(\mathbb{R}) \) be the space of all real polynomials in \( N \) variables with the usual inner product \( \langle \cdot, \cdot \rangle \) on it, given by integrating over the unit sphere. We start by deriving an explicit combinatorial formula for the bilinear form representing this inner product on the space of coefficient vectors of all polynomials in \( \mathcal{P}_N(\mathbb{R}) \) of degree \( \leq M \). We exhibit two applications of this formula. First, given a finite-dimensional subspace \( V \) of \( \mathcal{P}_N(\mathbb{R}) \) defined over \( \mathbb{Q} \), we prove the existence of an orthogonal basis for \( (V, \langle \cdot, \cdot \rangle) \), consisting of polynomials of small height with integer coefficients, providing an explicit bound on the height; this can be viewed as a version of Siegel’s lemma for real polynomial inner product spaces. Secondly, we derive a criterion for a finite set of points on the unit sphere in \( \mathbb{R}^N \) to be a spherical \( M \)-design.

Charles Knessl1, Wojciech Szpankowski2
1Dept. Mathematics, Statistics & Computer Science University of Illinois at Chicago Chicago, Illinois 60607-7045 U.S.A
2Department of Computer Science Purdue University, W. Lafayette, IN 47907, U.S.A.
Abstract:

A digital search tree (DST) – one of the most fundamental data structures on words – is a digital tree in which keys (strings, words) are stored directly in (internal) nodes. The profile of a digital search tree is a parameter that counts the number of nodes at the same distance from the root. It is a function of the number of nodes and the distance from the root. Several tree parameters, such as height, size, depth, shortest path, and fill-up level, can be uniformly analyzed through the profile. In this note we analyze asymptotically the average profile for a symmetric digital search tree in which strings are generated by an unbiased memoryless source. We show that the average profile undergoes several phase transitions: initially it resembles a full tree until it starts growing algebraically with the number of nodes, and then it decays first algebraically, then exponentially, and finally quadratic exponentially. We derive these results by a combinational of analytic techniques, such as the saddle point method.

E. A. Herman1
1Grinnell College
Abstract:

A Hankel operator \( H = [h_{i+j}] \) can be factored as \( H = MM^* \), where \( M \) maps a space of \( L^2 \) functions to the corresponding moment sequences. Furthermore, a necessary and sufficient condition for a sequence to be in the range of \( M \) can be expressed in terms of an expansion in orthogonal polynomials. Combining these two results yields a wealth of combinatorial identities that incorporate both the matrix entries \( h_{i+j} \) and the coefficients of the orthogonal polynomials.

Abstract:

In the paper, we are studying some properties of subsets \( Q \subseteq \Lambda_1 + \cdots + \Lambda_k \), where \( \Lambda_i \) are dissociated sets. The exact upper bound for the number of solutions of the following equation:
\[
q_1 + \cdots + q_p = q_{p+1} + \cdots + q_{2p}, \quad q_i \in Q \tag{1}
\]
in groups \( \mathbb{F}_2^n \) is found. Using our approach, we easily prove a recent result of J. Bourgain on sets of large exponential sums and obtain a tiny improvement of his theorem. Besides, an inverse problem is considered in the article. Let \( Q \) be a set belonging to a subset of two dissociated sets such that equation (1) has many solutions. We prove that in this case, a large proportion of \( Q \) is highly structured.

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;