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 083
- Pages: 295-306
- Published: 30/04/2007
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 \([3]\) 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, asymptotically, the same inequality holds for strong bipartite tournaments. We also give an improved upper bound on the average distance of a \(k\)-connected bipartite tournament.
- Research article
- Full Text
- Ars Combinatoria
- Volume 083
- Pages: 289-293
- Published: 30/04/2007
To measure the efficiency of a routing in network, Chung et al. [The forwarding index of communication networks. IEEE Trans. Inform. Theory, 33 (2) (1987), 224-232] proposed the notion of forwarding index and established an upper bound \((n – 1)(n – 2)\) of this parameter for a connected graph of order \(n\). This note improves this bound as \((n – 1)(n – 2) – (2n – 2 – \Delta\lfloor1+\frac{n-1}{\Delta}\rfloor)\) \(\lfloor \frac{n-1}{\Delta}\rfloor\) , where \(\Delta\) is the maximum degree of the graph \(G\). This bound is best possible in the sense that there is a graph \(G\) attaining it.
- Research article
- Full Text
- Ars Combinatoria
- Volume 083
- Pages: 279-287
- Published: 30/04/2007
We study the spectral radius of unicyclic graphs with \(n\) vertices and edge independence number \(q\). In this paper, we show that of all unicyclic graphs with \(n\) vertices and edge independence number \(q\), the maximal spectral radius is obtained uniquely at \(\Delta_n(q)\), where \(\Delta_n(q)\) is a graph on \(n\) vertices obtained from the cycle \(C_3\) by attaching \(n – 2q + 1\) pendant edges and \(q – 2\) paths of length \(2\) at one vertex.
- Research article
- Full Text
- Ars Combinatoria
- Volume 083
- Pages: 267-278
- Published: 30/04/2007
Let \(q\) be an odd prime power and \(p\) be an odd prime with \(gcd(p, g) = 1\). Let the order of \(g\) modulo \(p\) be \(f\) and \(gcd(\frac{p-1}{f}, q) = 1\). Here explicit expressions for all the primitive idempotents in the ring \(R_{2p^n} = GF(q)[x]/(x^{2p^n} – 1)\), for any positive integer \(n\), are obtained in terms of cyclotomic numbers, provided \(p\) does not divide \(\frac{q^f-1}{2p}\), if \(n \geq 2\). Some lower bounds on the minimum distances of irreducible cyclic codes of length \(2p^n\) over \(GF(q)\) are also obtained.
- Research article
- Full Text
- Ars Combinatoria
- Volume 083
- Pages: 257-265
- Published: 30/04/2007
Let \(G\) be a connected multigraph with an even number of edges and suppose that the degree of each vertex of \(G\) is even. Let \((uv, G)\) denote the multiplicity of edge \((u,v)\) in \(G\). It is well known that we can obtain a halving of \(G\) into two halves \(G_1\) and \(G_2\), i.e. that \(G\) can be decomposed into multigraphs \(G_1\) and \(G_2\), where for each vertex \(v\), \(\deg(v, G_1) = \deg(v, G_2) = \frac{1}{2}\deg(v,G)\). It is also easy to see that if the edges with odd multiplicity in \(G\) induce no components with an odd number of edges, then we can obtain such a halving of \(G\) into two halves \(G_1\) and \(G_2\) that is well-spread, i.e. for each edge \((u,v)\) of \(G\), \(|\mu(uv, G_1) – \mu(uv, G_2)| \leq 1\). We show that if \(G\) is a \(\Delta\)-regular multigraph with an even number of vertices and with \(\Delta\) being even, then even if the edges with odd multiplicity in \(G\) induce components with an odd number of edges, we can still obtain a well-spread halving of \(G\) provided that we allow the addition/removal of a Hamilton cycle to/from \(G\). We give an application of this result to obtaining sports schedules such that multiple encounters between teams are well-spread throughout the season.
- Research article
- Full Text
- Ars Combinatoria
- Volume 083
- Pages: 249-255
- Published: 30/04/2007
A fractional edge coloring of graph \(G\) is an assignment of a nonnegative weight \(w_M\) to each matching \(M\) of \(G\) such that for each edge \(e\) we have \(\sum_{M\ni e} w_M \geq 1\). The fractional edge coloring chromatic number of a graph \(G\), denoted by \(\chi’_f(G)\), is the minimum value of \(\sum_{M} w_M\) (where the minimum is over all fractional edge colorings \(w\)). It is known that for any simple graph \(G\) with maximum degree \(\Delta\), \(\Delta < \chi'_f(G) \leq \Delta+1\). And \(\chi'_f(G) = \Delta+1\) if and only if \(G\) is \(K_{2n+1}\). In this paper, we give some sufficient conditions for a graph \(G\) to have \(\chi'_f(G) = \Delta\). Furthermore, we show that the results in this paper are the best possible.
- Research article
- Full Text
- Ars Combinatoria
- Volume 083
- Pages: 229-247
- Published: 30/04/2007
A subset \(D\) of the vertex set \(V\) of a graph is called an open odd dominating set if each vertex in \(V\) is adjacent to an odd number of vertices in \(D\) (adjacency is irreflexive). In this paper we solve the existence and enumeration problems for odd open dominating sets (and analogously defined even open dominating sets) in the \(m \times n\) grid graph and prove some structural results for those that do exist. We use a combination of combinatorial and linear algebraic methods, with particular reliance on the sequence of Fibonacci polynomials over \({GF}(2)\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 083
- Pages: 221-228
- Published: 30/04/2007
By introducing \(4\) colour classes in projective planes with non-Fano quads, discussion of the planes of small order is simplified.
- Research article
- Full Text
- Ars Combinatoria
- Volume 083
- Pages: 213-219
- Published: 30/04/2007
Let \(G = (V, E)\) be a \(k\)-connected graph. For \(t \geq 3\), a subset \(T \subset V\) is a \((t,k)\)-shredder if \(|T| = k\) and \(G – T\) has at least \(t\) connected components. It is known that the number of \((t,k)\)-shredders in a \(k\)-connected graph on \(n\) nodes is less than \(\frac{2n}{2t – 3}\). We show a slightly better bound for the case \(k \leq 2t – 3\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 083
- Pages: 193-212
- Published: 30/04/2007
Let \(L\) and \(R\) be two graphs. For any positive integer \(n\), the Ehrenfeucht-Fraissé game \(G_n(L, R)\) is played as follows: on the \(i\)-th move, with \(1 \leq i \leq n\), the first player chooses a vertex on either \(L\) or \(R\), and the second player responds by choosing a vertex on the other graph. Let \(l_i\) be the vertex of \(L\) chosen on the \(i^{th}\) move, and let \(r_i\) be the vertex of \(R\) chosen on the \(i^{th}\) move. The second player wins the game iff the induced subgraphs \(L\{l_1,l_2,…,l_n\}\) and \(R\{r_1,r_2,…,r_n\}\) are isomorphic under the mapping sending \(l_i\) to \(r_i\). It is known that the second player has a winning strategy if and only if the two graphs, viewed as first-order logical structures (with a binary predicate E), are indistinguishable (in the corresponding first-order theory) by sentences of quantifier depth at most \(n\). In this paper we will give the first complete description of when the second player has a winning strategy for \(L\) and \(R\) being both paths or both cycles. The results significantly improve previous partial results.




