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
- Ars Combinatoria
- Volume 071
- Pages: 139-147
- Published: 30/04/2004
We let \(A(n)\) equal the number of \(n \times n\) alternating sign matrices. From the work of a variety of sources, we know that
\[A(n) = \prod\limits_{t=0}^{n-1} \frac{(3l+1)!}{(n+l)!}\]
We find an efficient method of determining \(ord_p(A(n))\), the highest power of \(p\) which divides \(A(n)\), for a given prime \(p\) and positive integer \(n\), which allows us to efficiently compute the prime factorization of \(A(n)\). We then use our method to show that for any nonnegative integer \(k\), and for any prime \(p > 3\), there are infinitely many positive integers \(n\) such that \(ord_p(A(n)) = k\). We show a similar but weaker theorem for the prime \(p = 3\), and note that the opposite is true for \(p = 2\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 071
- Pages: 125-138
- Published: 30/04/2004
We survey the status of minimal coverings of pairs with block sizes two, three, and four when \(\lambda = 1\), that is, all pairs from a \(v\)-set are covered exactly once. Then we provide a complete solution for the case \(\lambda = 2\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 071
- Pages: 109-123
- Published: 30/04/2004
We derive an alternative rule for generating uniform step magic squares. The compatibility conditions for the proposed rule are simpler than the analogous conditions for the classical uniform step rule. We exploit this fact to enumerate all uniform-step magic squares of every given odd order. Our main result states that if \(p = \prod_{i=1}^l q_i^{r_i}\) is the prime factorization of a positive odd number \(p\), then there exist \(\kappa(p) =\prod _{i=1}^l \kappa(q_i^{r_i})\) uniform step magic squares of order \(p\), where
\(\kappa (q_i^{r_i})=[\tau (q_i^{r_i})]^2-\lambda (q_i^{r_i}),\lambda(q_i^{r_i})=(q_i^{r_i}-q_i^{r_i-1})^2[2(q_i^{2r_i-1}+1)^2/(q_i+1)^2+q_i^{3r_i-1}(q_i^{r_i}-3q_i^{r_i-1})]\) and \(\tau (q_i^{r_i})=(q_i^{r_i}-q_i^{r_i-1})(q_i^{2r_i+1}-2q_i^{2r_i}-q_i^{2r_i-1}+2)/(q_i+1)\) for \(i=1,\ldots,l\)
- Research article
- Full Text
- Ars Combinatoria
- Volume 071
- Pages: 101-107
- Published: 30/04/2004
We show that for a cubic graph on \(n\) nodes, the size of the dominating set found by the greedy algorithm is at most \(\frac{4}{9}n\), and that this bound is tight.
- Research article
- Full Text
- Ars Combinatoria
- Volume 071
- Pages: 93-99
- Published: 30/04/2004
For a standard tableau \(T\) of shape \(\lambda \vdash n\), \(maj(T)\) is the sum of \(i\)’s such that \(i+1\) appears in a row strictly below that of \(i\) in \(T\). We consider the \(g\)-polynomial \(f^\lambda(q) = \sum_\tau q^{ maj(T)}\), which appears in many contexts: as a dimension of an irreducible representation of finite general linear group, as a special case of Kostka-Foulkes polynomials, and so on. In this article, we try to understand `maj’ on a standard tableau \(T\) in relation to `inv’ on a multiset permutation (or a permutation of type \(\lambda\)). We construct an injective map from the set of standard tableaux to the set of permutations of type \(\lambda\) (increasing in each block) such that the `maj’ of the tableau is the `maj’ of the corresponding permutation when \(\lambda\) is a two-part partition. We believe that this helps to understand irreducible unipotent representations of finite general linear groups.
- Research article
- Full Text
- Ars Combinatoria
- Volume 071
- Pages: 79-91
- Published: 30/04/2004
Many results about outer-embeddings (graphs having all their vertices in the same face) have been obtained recently in topological graph theory in recent times. In this paper, we deal with some difficulties appearing in the study of such embeddings. Particularly, we propose several problems concerning outer-embeddings in pseudosurfaces and we prove that two of them are NP-complete.
We also describe some properties about lists of forbidden minors for outer-embeddings in certain kinds of pseudosurfaces.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 048
- Pages: 217-222
- Published: 29/02/2004
For some fixed \( n_0 \geq 0 \), we study the minimum number of vertices or edges that have to be removed from a graph such that no component of the rest has more than \( n_0 \) vertices.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 048
- Pages: 197-215
- Published: 29/02/2004
An \( [r, s, n, t] \)-configuration is a collection \(C\) of \(r\)-sets in \( \{1, \ldots, n\} \) such that every \( s \)-set in \( \{1, \ldots, n\} \) contains at most \( t \) of the \( r \)-sets in \( C \). Studying this generalization of the Steiner system was suggested by a theorem of Poonen on union-closed families of sets. In this paper, we consider only \( [3, 4, n, 2] \)-configurations, and refer to them as \(n\)-configurations; by an \( (n, k) \)-configuration we mean an \(n\)-configuration containing exactly \(k\) \(3\)-sets. An \((n,k)\)-configuration is maximal if it is not contained in any \( (n, k + 1) \)-configuration; finally, \( L(n) \) is the largest integer \(k\) for which an \((n, k)\)-configuration exists. In this paper, we determine \(L(n)\) for \( 4 \leq n \leq 9 \), and characterize all the maximal \( n \)-configurations for \(n = 4, 5,\) and \(6\), as well as the \((n, L(n))\)-configurations for \( n = 7, 8, \) and \( 9 \).
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 048
- Pages: 179-196
- Published: 29/02/2004
Let \( G \) be a simple graph with vertex set \( V \) and edge set \( E \). A vertex labeling \( f: V \to \{0,1,2\} \) induces an edge labeling \( \bar{f}: E \to \{0,1,2\} \) defined by \( \bar{f}(uv) = |f(u) – f(v)| \). Let \( u_f(i) \) denote the number of vertices \( v \) with \( f(v) = i \), \( i = 0,1,2 \). Similarly, \( e_f(i) \) denotes the number of edges \( uv \) with \( \bar{f}(uv) = i \), \( i = 0,1,2 \). A graph is said to be \( 3 \)-equitable if there exists a vertex labeling \( f \) such that \( |v_f(i) – v_f(j)| \leq 1 \) and \( |e_f(i) – e_f(j)| \leq 1 \) for all \( i \neq j \), \( i, j = 0,1,2 \). In which case, \( f \) is called a \( 3 \)-equitable labeling.
In this paper, we prove that the following graphs are three equitable: (1) Helm graph \( H_n \) (\( n \geq 4 \)), (2) A Flower graph \( FL_n \), (3) One point union \( H_n^{(k)} \) of \( k \)-copies of \( H_n \), \( k \geq 1 \), (4) One point union \( K_4^{(k)} \) of \( k \) copies of \( K_4 \), (5) A \( K_4 \)-snake of \( n \) blocks, each equal to \( K_4 \), (6) A \( C_t \)-snake of \( n \) blocks, \( t = 4,6 \) and \( t = 5 \) with \( n \) not congruent to \( 3 \) modulo \( 6 \).
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 048
- Pages: 157-177
- Published: 29/02/2004
A defensive alliance in a graph \( G = (V,E) \) is a set of vertices \( S \subseteq V \) satisfying the condition that every vertex \( v \in S \) has at most one more neighbor in \( V – S \) than it has in \( S \). Because of such an alliance, the vertices in \( S \), agreeing to mutually support each other, have the strength of numbers to be able to defend themselves from the vertices in \( V – S \). In this paper, we introduce this new concept, together with a variety of other kinds of alliances, and initiate the study of their mathematical properties.




