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 055
- Pages: 209-221
- Published: 30/11/2005
A \( V(m,t) \) leads to \( m \) idempotent pairwise orthogonal Latin squares of order \( (m+1)t+1 \) with one common hole of order \( t \). \( V(m,t) \)’s can also be used to construct perfect Mendelsohn designs and optimal optical orthogonal codes. For \( 3 \leq m \leq 8 \), the spectrum for \( V(m,t) \) has been determined. In this article, we investigate the existence of \( V(m,t) \) with \( m = 9 \) and show that a \( V(9,t) \) always exists in \( GF(q) \) for any prime power \( q = 9t + 1 \) with the exception of \( q = 73 \) and one possible exception of \( q = 5^6 \).
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 055
- Pages: 187-197
- Published: 30/11/2005
A Vertex Magic Total Labeling of a graph \( G \) is a one-to-one map \( \lambda \) from \( E(G) \cup V(G) \) onto the set of integers \( \{1, 2, \ldots, e + v\} \) such that for all \( x \in V \) we have \(\lambda(x) + \sum \lambda(xy) = h\) for some constant \( h \), where the sum is taken over all vertices \( y \) adjacent to \( x \). In this paper, we present several theorems on the existence of such labelings for multipartite graphs and give constructions for labelings for two infinite families of complete tripartite graphs, namely \( K_{1,n,n} \) for odd \( n \) and \( K_{2,n,n} \) for \( n \equiv 3 \pmod{4} \).
- Research article
- Full Text
- Ars Combinatoria
- Volume 077
- Pages: 311-318
- Published: 31/10/2005
In this paper, we develop a polynomial time algorithm to determine the cyclic edge connectivity of a \(k\)-regular graph for \(k \geq 3\). The time complexity of the algorithm is bounded by \(O(k^{11}|V|^8)\), in particular, it is \(O(|V|^8)\) for cubic graphs.
- Research article
- Full Text
- Ars Combinatoria
- Volume 077
- Pages: 305-309
- Published: 31/10/2005
For each integer \(m \geq 1\), consider the graph \(G_m\) whose vertex set is the set \(\mathbb{N} = \{0,1,2,\ldots\}\) of natural numbers and whose edges are the pairs \(xy\) with \(y = x+m\), \(y = x-m\), \(y = mx\), or \(y = \frac{x}{m}\). Our aim in this note is to show that, for each \(m\), the graph \(G_m\) contains a Hamilton path. This answers a question of Lichiardopol.
- Research article
- Full Text
- Ars Combinatoria
- Volume 077
- Pages: 295-303
- Published: 31/10/2005
Given a partial \(K_4\)-design \((X, {P})\), if \(x \in X\) is a vertex which occurs in exactly one block of \({P}\), then call \(x\) a free vertex. In this paper, a technique is described for obtaining a cubic embedding of any partial \(K_4\)-design with the property that every block in the partial design contains at least two free vertices.
- Research article
- Full Text
- Ars Combinatoria
- Volume 077
- Pages: 289-294
- Published: 31/10/2005
The average distance \(\mu(D)\) of a strong digraph \(D\) is the average of the distances between all ordered pairs of distinct vertices of \(D\). Plesnik \([6]\) proved that if \(D\) is a strong tournament of order \(n\), then \(\mu(D) \leq \frac{n+4}{6} + \frac{1}{n}\). In this paper, we show that if \(D\) is a \(k\)-connected tournament of order \(n\), then \(\mu(D) \leq \frac{n}{6k} + \frac{19}{6} + \frac{k}{n}\). We demonstrate that, apart from an additive constant, this bound is best possible.
- Research article
- Full Text
- Ars Combinatoria
- Volume 077
- Pages: 273-288
- Published: 31/10/2005
A subset \(U\) of a set \(S\) with a binary operation is called avoidable if \(S\) can be partitioned into two subsets \(A\) and \(B\) such that no element of \(U\) can be written as a product of two distinct elements of \(A\) or as the product of two distinct elements of \(B\). The avoidable sets of the bicyclic inverse semigroup are classified.
- Research article
- Full Text
- Ars Combinatoria
- Volume 077
- Pages: 261-272
- Published: 31/10/2005
Let \(\alpha, \beta\) be any numbers. Given an initial sequence \(a_{0,m}\) (\(m = 0,1,2,\ldots\)), define the sequences \(a_{n,m}\) (\(n \geq 1\)) recursively by
\[a_{n,m} = \alpha a_{n-1,m} + \beta a_{n-1,m+1}; \quad \text{for n} \geq 1, m \geq 0.\]
Let \(\alpha, \beta\) be any numbers. Given an initial sequence \(a_{0,m}\) (\(m = 0,1,2,\ldots\)), define the sequences \(a_{n,m}\) (\(n \geq 1\)) recursively by
\[a_{n,m} = \alpha a_{n-1,m} + \beta a_{n-1,m+1}; \quad \text{for n} \geq 1, m \geq 0.\]
We call the matrix \((a_{n,m})_{n,m\geq 0}\) an generalized Seidel matrix with a parameter pair \((\alpha, \beta)\). If \(\alpha = \beta = 1\), then this matrix is the classical Seidel matrix. For various different parameter pairs \((\alpha, \beta)\) we will impose some evenness or oddness conditions on the exponential generating functions of the initial sequence \(a_{0,m}\) and the final sequence \(a_{n,0}\) of a generalized Seidel matrix (i.e., we require that these generating functions or certain related functions are even or odd). These conditions imply that the initial sequences and final sequences are equal to well-known classical sequences such as those of the Euler numbers, the Genocchi numbers, and the Springer numbers.
As applications, we give a straightforward proof of the continued fraction representations of the ordinary generating functions of the sequence of Genocchi numbers. And we also get the continued fractions representations of the ordinary generating functions of the Genocchi polynomials, Bernoulli polynomials, and Euler polynomials. Lastly, we give some applications of congruences for the Euler polynomials.
- Research article
- Full Text
- Ars Combinatoria
- Volume 077
- Pages: 245-259
- Published: 31/10/2005
Let \(G\) be a simple graph with vertex set \(V\) and edge set \(E\). A vertex labeling \(f: V \to \{0,1\}\) induces an edge labeling \(\overline{f}: E \to \{0,1\}\) defined by \(\overline{f}(uv) = |f(u) – f(v)|\). Let \(v_f(0), v_f(1)\) denote the number of vertices \(v\) with \(f(v) = 0\) and \(f(v) = 1\) respectively. Let \(e_f(0), e_f(1)\) be similarly defined. A graph is said to be cordial if there exists a vertex labeling \(f\) such that \(|v_f(0) – v_f(1)| \leq 1\) and \(|e_f(0) – e_f(1)| \leq 1\).
In this paper, we give necessary and sufficient conditions for the cordiality of the \(t\)-ply \(P_t(u,v)\), i.e. a thread of ply number \(t\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 077
- Pages: 233-244
- Published: 31/10/2005
A Jacobi polynomial was introduced by Ozeki. It corresponds to the codes over \(\mathbb{F}_2\). Later, Bannai and Ozeki showed how to construct Jacobi forms with various index using a Jacobi polynomial corresponding to the binary codes. It generalizes Broué-Enguehard map. In this paper, we study Jacobi polynomial which corresponds to the codes over \(\mathbb{F}_{2f}\). We show how to construct Jacobi forms with various index over the totally real field. This is one of extension of Broué-Enguehard map.




