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.

Lutz Volkmann1
1Lehrstuhl II ftir Mathematik, RWTH Aachen University, 52056 Aachen, Germany
Abstract:

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.

Breeann Flesch1
1University Of Colorado Denver Denver, Co 80217 Craig Tennenhouse University Of New England Biddeford, Me 04005
Abstract:

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.

Dameng Deng1, P.C. Lit2, G. H. J. van Rees2, Yuan Zhang3
1Department of Mathematics Shanghai Jiao Tong University Shanghai, 200240, China
2Department of Computer Science University of Manitoba Winnipeg, Manitoba Canada R3T 2N2
3College of Math & Physics Nanjing University of Information Science & Technology Nanjing, 210044, China
Abstract:

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.

Flavia Bonomo1, Mariano Cecowski Palacio2
1Departamento de Matemdtica, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Argentina
2Departamento de Computacién, Facultad de Ciencias Ezactas y Naturales, Universidad de Buenos Aires, Argentina
Abstract:

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.

Muhammad Akram1, Noura Omir Al-shehri2
1Punjab University College of Information Technology, University of the Punjab, Old Campus, Lahore-54000, PAKISTAN.
2Department of Mathematic, Faculty of Sciences( Girl’s ), King Abdulaziz University, Jeddah, Saudi Arabia.
Abstract:

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.

G.C. Lau1,2, Y.H. Peng3,2, H.H. Chu1
1Faculty of Computer & Mathematical Sciences Universiti Teknologi MARA (Segamat Campus) 85200 Johor, Malaysia
2Institute for Mathematical Research Universiti Putra Malaysia 48400 UPM Serdang, Malaysia
3Department of Mathematics, and Universiti Putra Malaysia 48400 UPM Serdang, Malaysia
Abstract:

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\).

Bart De Bruyn1
1Ghent University, Department of Pure Mathematics and Computer Algebra, Krijgslaan 281 (S22), B-9000 Gent, Belgium,
Abstract:

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.

Ahmet Tekcan1
1Unupac UnrversiTY, FACULTY OF SCIENCE, DEPARTMENT OF MATHEMATICS, GORUKLE, 16059, Bursa-TURKEY
Abstract:

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}\).

Nuh Aydin1
1 Department of Mathematics, Kenyon College Gambier, OH 43022
Abstract:

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.

S.M. Hegde1, Sudhakar Shetty2, P. Shankaran2
1Department of Mathematical and Computational Sciences, National Institute of Technology Karnataka, Surathkal, INDIA.
2Department of Mathematics, Nitte Education Trust, Nitte, 574110, Karnataka, INDIA.
Abstract:

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\).

Special Issues

The Combinatorial Press Editorial Office routinely extends invitations to scholars for the guest editing of Special Issues, focusing on topics of interest to the scientific community. We actively encourage proposals from our readers and authors, directly submitted to us, encompassing subjects within their respective fields of expertise. The Editorial Team, in conjunction with the Editor-in-Chief, will supervise the appointment of Guest Editors and scrutinize Special Issue proposals to ensure content relevance and appropriateness for the journal. To propose a Special Issue, kindly complete all required information for submission;