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 077
- Pages: 45-49
- Published: 31/05/2010
The degree set of a graph \( G \) is the set \( S \) consisting of the distinct degrees of vertices in \( G \). In 1977, Kapoor, Polimeni, and Wall \([2]\) determined the least number of vertices among simple graphs with a given degree set. In this note, we look at the analogue problem concerning the least order and the least size of a multigraph with a given degree set.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 077
- Pages: 33-44
- Published: 31/05/2010
Let \(\mathcal{P}\) be a graph property and \(G\) a graph. \(G\) is said to be \(\mathcal{P}\)-saturated if \(G\) does not have property \(\mathcal{P}\) but the addition of any edge between non-adjacent vertices of \(G\) results in a graph with property \(\mathcal{P}\). If \(\mathcal{P}\) is a bipartite graph property and \(G\) is a bipartite graph not in \(\mathcal{P}\), but the addition of any edge between non-adjacent vertices in different parts results in a graph in \(\mathcal{P}\), then \(G\) is \(\mathcal{P}\)-bisaturated. We characterize all \(\mathcal{P}\)-saturated graphs, for which \(\mathcal{P}\) is the family of interval graphs, and show that this family is precisely the family of maximally non-chordal graphs. We also present a conjectured characterization of all \(\mathcal{P}\)-bisaturated graphs, in the case where \(\mathcal{P}\) is the family of interval bigraphs, and prove it as far as current forbidden subgraph characterizations allow. We demonstrate that extremal non-interval graphs and extremal non-interval bigraphs are highly related, in that the former is simply a complete graph with \(2K_2\) removed and the latter is a complete bipartite graph with \(3K_2\) removed.
- Research article
- Full Text
- Utilitas Mathematica
- Volume 077
- Pages: 17-31
- Published: 31/05/2010
The Stein-Lovasz Theorem can be used to get existence results for some combinatorial problems using constructive methods rather than probabilistic methods. In this paper, we discuss applications of the Stein-Lovasz Theorem to some combinatorial set systems and arrays, including perfect hash families, separating hash families, splitting systems, covering designs, lotto designs and \( A \)-free systems. We also compare some of the bounds obtained from the Stein-Lovasz Theorem to those using the basic probabilistic method.
- Research article
- Full Text
- Ars Combinatoria
- Volume 099
- Pages: 383-398
- Published: 30/04/2011
A new variation of the coloring problem, \(\mu\)-coloring, is defined in this paper. A coloring of a graph \(G = (V, E)\) is a function \(f: V \rightarrow \mathbb{N}\) such that \(f(v) \neq f(w)\) if \(v\) is adjacent to \(w\). Given a graph \(G = (V, E)\) and a function \(\gamma: V \rightarrow \mathbb{N}\), \(G\) is \(\mu\)-colorable if it admits a coloring \(f\) with \(f(v) \leq \mu(v)\) for each \(v \in V\). It is proved that \(\mu\)-coloring lies between coloring and list-coloring, in the sense of generalization of problems and computational complexity. Furthermore, the notion of perfection is extended to \(\mu\)-coloring, giving rise to a new characterization of cographs. Finally, a polynomial time algorithm to solve \(p\)-coloring for cographs is shown.
- Research article
- Full Text
- Ars Combinatoria
- Volume 099
- Pages: 399-413
- Published: 30/04/2011
We introduce the notion of fuzzy \(K\)-ideals of \(K\)-algebras and investigate some of their properties. We characterize ascending and descending chains of \(K\)-ideals by the corresponding fuzzy \(K\)-ideals. We discuss some properties of characteristic fuzzy \(K\)-ideals of \(K\)-algebras. We construct a quotient \(K\)-algebra via fuzzy \(K\)-ideal and present the fuzzy isomorphism theorems.
- Research article
- Full Text
- Ars Combinatoria
- Volume 099
- Pages: 377-382
- Published: 30/04/2011
Let \(P(G,\lambda)\) be the chromatic polynomial of a graph \(G\). A graph \(G\) is chromatically unique if for any graph \(H\), \(P(H,\lambda) = P(G, \lambda)\) implies \(H\) is isomorphic to \(G\). It is known that a complete tripartite graph \(K(a,b,c)\) with \(c \geq b \geq a \geq 2\) is chromatically unique if \(c – a \leq 3\). In this paper, we proved that a complete \(4\)-partite graph \(K(a,b,c,d)\) with \(d \geq c \geq b \geq a \geq 2\) is also chromatically unique if \(d – a \leq 3\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 099
- Pages: 365-375
- Published: 30/04/2011
In \([6]\), Cooperstein and Shult showed that the dual polar space \({DQ}^-(2n+1,\mathbb{K})\), \(\mathbb{K} = \mathbb{F}_q\), admits a full projective embedding into the projective space \({PG}(2^n – 1,\mathbb{K}’)\), \(\mathbb{K}’ = \mathbb{F}_{q^2}\). They also showed that this embedding is absolutely universal. The proof in \([6]\) makes use of counting arguments and group representation theory. Because of the use of counting arguments, the proof cannot be extended automatically to the infinite case. In this note, we shall give a different proof of their results, thus showing that their conclusions remain valid for infinite fields as well. We shall also show that the above-mentioned embedding of \({DQ}^-(2n + 1,\mathbb{K})\) into \({PG}(2^n -1,\mathbb{K}’)\) is polarized.
- Research article
- Full Text
- Ars Combinatoria
- Volume 099
- Pages: 519-529
- Published: 30/04/2011
Let \(p\) be a prime number and let \(\mathbb{F}_p\) be a finite field. In the first section, we give some preliminaries from elliptic curves over finite fields. In the second section, we consider the rational points on the elliptic curves \(E_{p,\lambda} : y^2 = x(x-1)(x-\lambda)\) over \(\mathbb{F}_p\) for primes \(p \equiv 3 \pmod{4}\), where \(\lambda \neq 0, 1\). We prove that the order of \(E_{p,\lambda}\) over \(\mathbb{F}_p\) is \(p+1\) if \(\lambda = 2,\frac{p+1}{2}\) or \(p-1\). Later, we generalize this result to \(\mathbb{F}_{p^n}\) for any integer \(n \geq 2\). Also, we obtain some results concerning the sum of \(x\)- and \(y\)-coordinates of all rational points \((x,y)\) on \(E_{p,\lambda}\) over \(\mathbb{F}_p\). In the third section, we consider the rank of \(E_\lambda : y^2 = x(x-1)(x-\lambda)\) over \(\mathbb{Q}\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 099
- Pages: 503-517
- Published: 30/04/2011
For over a decade, there has been considerable research on codes over \(\mathbb{Z}_4\) and other rings. In spite of this, no tables or databases exist for codes over \(\mathbb{Z}_4\), as is the case with codes over finite fields. The purpose of this work is to contribute to the creation of such a database. We consider cyclic, negacyclic and quasi-twisted \((QT)\) codes over \(\mathbb{Z}_4\). Some of these codes have binary images with better parameters than the best-known binary linear codes. We call such codes “good codes”. Among these are two codes which improve the bounds on the best-known binary non-linear codes. Tables of best cyclic and \(QT\) codes over \(\mathbb{Z}_4\) are presented.
- Research article
- Full Text
- Ars Combinatoria
- Volume 099
- Pages: 487-502
- Published: 30/04/2011
Acharya and Hegde have introduced the notion of strongly \(k\)-indexable graphs: A \((p,q)\)-graph \(G\) is said to be strongly \(k\)-indexable if its vertices can be assigned distinct integers \(0,1,2,\ldots,p-1\) so that the values of the edges, obtained as the sums of the numbers assigned to their end vertices can be arranged as an arithmetic progression \(k,k+1,k+2,\ldots,k+(q-1)\). Such an assignment is called a strongly \(k\)-indexable labeling of \(G\). Figueroa-Centeno et al. have introduced the concept of super edge-magic deficiency of graphs: Super edge-magic deficiency of a graph \(G\) is the minimum number of isolated vertices added to \(G\) so that the resulting graph is super edge-magic. They conjectured that the super edge-magic deficiency of the complete bipartite graph \(K_{m,n}\) is \((m-1)(n-1)\) and proved it for the case \(m=2\). In this paper, we prove that the conjecture is true for \(m=3,4,5\), using the concept of strongly \(k\)-indexable labelings \(^1\).




