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 048
- Pages: 139-156
- Published: 29/02/2004
The distance-\( k \) domination number of graph \( G \), \( \gamma_{\leq k}(G) \), is the cardinality of a smallest set of vertices, \( S \), such that every vertex not in \( S \) is no more than distance \( k \) from at least one vertex of \( S \). Carrington, Harary, and Haynes showed \( |V^0| \geq 2|V^+| \) where \( V^0 = \{u \in V: \gamma_{\leq 1}(G-v) = \gamma_{\leq 1}(G)\} \) and \( V^+ = \{v \in V: \gamma_{\leq 1}(G-v) > \gamma_{\leq 1}(G)\} \). This paper extends the result to distance-\( k \) domination, with the obvious change in definition of \( V^0 \) and \( V^+ \), to show \( |V^0| \geq \frac{2}{2k-1}|V^+| \). Extremal graphs are characterized when \( k = 1 \) and some progress is mentioned on the characterization problem when \( k > 1 \).
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 048
- Pages: 115-137
- Published: 29/02/2004
We investigate constraints in finite Boolean lattices \( \langle \mathcal{P}(X), \subseteq \rangle \) where \( X \) is a finite set. The constraints studied here are of the form \( \langle Z,k \rangle \) where \( Z \subseteq X \), \( 1 \leq k \leq |Z| \). A set \( I \subseteq X \) \({satisfies}\) \( \langle Z,k \rangle \) if \( |I \cap Z| \geq k \). We characterize the sets satisfying collections of such constraints as filters (final segments) in \( \langle \mathcal{P}(X) \rangle \). We find yet other characterizations of filters including one by means of families of sets indexed by elements of \( X \) so that the elements of the filter correspond to subfamilies with an empty intersection. Our characterizations are supported for algorithms. We also study the families of negated constraints and mixed families and find their characterizations. In the positive case, formulas built of constraints can be used to measure the complexity of filters (and thus also of antichains of their minimal elements). We find pathological filters with very simple descriptions when the disjunctions are allowed, but extremely complex descriptions when only conjunctions are allowed.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 048
- Pages: 107-114
- Published: 29/02/2004
The number \( g_3^{(4)}(v) \) represents the minimum cardinality of a pairwise balanced design on \( v \) elements in which the largest block size is four and every pair occurs exactly three times. We give a survey of the results for this quantity.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 048
- Pages: 103-106
- Published: 29/02/2004
Let \( G_1 \) and \( G_2 \) be any two 2-regular graphs, each with \( n \) vertices. Let \( G \) be any cubic graph obtained from \( G_1 \) and \( G_2 \) by adding \( n \) edges, each of which joins a vertex in \( G_1 \) to a vertex in \( G_2 \). We show that \( G \) has a myriad of vertex-magic total labelings, with at least three different magic constants. This class of cubic graphs includes all generalized Petersen graphs.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 048
- Pages: 95-101
- Published: 29/02/2004
Let [n, k, d]q codes be linear codes of length n, dimension k, and minimum Hamming distance d over GF(q). In this paper, the existence of the following codes is proven: [42, 6, 30]8, [49, 6, 36]8, [78, 6, 60]8, [84, 6, 65]8, [91, 6, 71]8, [96, 6, 75]8, [102, 6, 80]8, [108, 6, 85]8, [114, 6, 90]8,and [48, 6, 35]9, [54, 6, 40]9, [60, 6, 45]9, [96, 6, 75]9, [102, 6, 81]9, [108, 6, 85]9, [114, 6, 90]9, [126, 6, 100]9, [132, 6, 105]9. The nonexistence of five codes over GF(9) is also proven. All of these results improve the respective upper and lower bounds in Brouwer’s table [2].
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 048
- Pages: 89-94
- Published: 29/02/2004
In this paper, we obtain some necessary existence conditions for bi-level balanced arrays of strength six by using some classical inequalities and by expressing the moments of the weights of the columns of such arrays in terms of its parameters. We present some illustrative examples to compare these results with the earlier known results.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 048
- Pages: 55-88
- Published: 29/02/2004
This paper describes a comprehensive approach to the analysis and synthesis of tree-structured communication networks. First, a class of models for tree-structured communication networks is proposed. Then, performance parameters such as communication delays and network reliability are defined, and efficient algorithms for calculating these parameters are provided. Subsequently, an application of a powerful tree-generating algorithm to the synthesis of optimal communication networks is described. The universal approach of this algorithm allows for its use in conjunction with the proposed model and the algorithms for calculating values of performance parameters. The paper shows sample optimal tree-structured networks resulting from applying the synthesis algorithm for various optimization parameters.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 048
- Pages: 39-53
- Published: 29/02/2004
A vertex \( v \) of a connected graph \( G \) is an eccentric vertex of a vertex \( u \) if \( v \) is a vertex at greatest distance from \( u \); while \( v \) is an eccentric vertex of \( G \) if \( v \) is an eccentric vertex of some vertex of \( G \). The subgraph of \( G \) induced by its eccentric vertices is the eccentric subgraph of \( G \).
A vertex \( v \) of \( G \) is a boundary vertex of a vertex \( u \) if \( d(u,w) \leq d(u,v) \) for each neighbor \( w \) of \( v \). A vertex \( v \) is a boundary vertex of \( G \) if \( v \) is a boundary vertex of some vertex of \( G \). The subgraph of \( G \) induced by its boundary vertices is the boundary of \( G \). A vertex \( v \) is an interior vertex of \( G \) if for every vertex \( u \) distinct from \( v \), there exists a vertex \( w \) distinct from \( v \) such that \( d(u,w) = d(u,v) + d(v,w) \). The interior of \( G \) is the subgraph of \( G \) induced by its interior vertices. A vertex \( v \) is a boundary vertex of a connected graph if and only if \( v \) is not an interior vertex. For every graph \( G \), there exists a connected graph \( H \) such that \( G \) is both the center and interior of \( H \).
Relationships between the boundary and the periphery, center, and eccentric subgraph of a graph are studied. The boundary degree of a vertex \( v \) in a connected graph \( G \) is the number of vertices \( u \) in \( G \) having \( v \) as a boundary vertex. We study, for each pair \( r,n \) of integers with \( r \geq 0 \) and \( n \geq 3 \), the existence of a connected graph \( G \) of order \( n \) such that every vertex of \( G \) has boundary degree \( r \). We also study the boundary vertices of a connected graph from different points of view.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 048
- Pages: 33-38
- Published: 29/02/2004
Let \( G \) be a simple graph having a maximum matching \( M \). The deficiency \( \text{def}(G) \) of \( G \) is the number of vertices unsaturated by \( M \). A bridge in a connected graph \( G \) is an edge \( e \) of \( G \) such that \( G-e \) is disconnected. A graph is said to be almost cubic (or almost 3-regular) if one of its vertices has degree \( 3 + e \), \( e \geq 0 \), and the others have degree 3. In this paper, we find the minimum number of bridges of connected almost cubic graphs with a given deficiency.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 048
- Pages: 25-31
- Published: 29/02/2004
The cardinality of the minimal pairwise balanced designs on \( v \) elements with largest block size \( k \) is denoted by \( g^{(k)}(v) \). It is known that \(30 \leq g^{(4)}(18) \leq 33.\)In this note, we show that \(31 \leq g^{(4)}(18).\)




