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.

Sang June Lee1
1Department of Mathematical Sciences, Korea Advanced Institute of Science and Technology (KAIST)
Abstract:

For a rational number \(r > 1\), a set \(A\) of positive integers is called an \(r\)-multiple-free set if \(A\) does not contain any solution of the equation \(rx = y\). The extremal problem of estimating the maximum possible size of \(r\)-multiple-free sets contained in \([n] := \{1, 2, \ldots, n\}\) has been studied in combinatorial number theory for theoretical interest and its application to coding theory. Let \(a\) and \(b\) be relatively prime positive integers such that \(a < b\). Wakeham and Wood showed that the maximum size of \((b/a)\)-multiple-free sets contained in \([n]\) is \( \frac{b}{b+1} + O(\log n)\). In this note, we generalize this result as follows. For a real number \(p \in (0, 1)\), let \([n]_p\) be a set of integers obtained by choosing each element \(i \in [n]\) randomly and independently with probability \(p\). We show that the maximum possible size of \((b/a)\)-multiple-free sets contained in \([n]_p\) is \({\frac{b}{b+p}pn} + O(\sqrt{pn} \log n \log \log n)\) with probability that goes to \(1\) as \(n \to \infty\).

Aubrey Blecher1, Arnold Knopfmacher2, Augustine Munagi3
1SCHOOL OF MATHEMATICS, UNIVERSITY OF THE WITWATERSRAND, P. O. Wits, 2050 JOHANNESBURG, SOUTH AFRICA
2THE JOHN KNOPFMACHER CENTRE FOR APPLICABLE ANAL- sis AND NUMBER THEORY, SCHOOL OF MATHEMATICS, UNIVERSITY OF THE WITWATER- SRAND, P. O. Wits, 2050 JOHANNESBURG, SOUTH AFRICA
3THE JOHN KNOPFMACHER CENTRE FOR APPLICABLE ANALY- SIS AND NUMBER THEORY, UNIVERSITY OF THE WITWATERSRAND, P. O. WITS, 2050 JOHANNESBURG, SOUTH AFRICA
Abstract:

A partition of an integer \(n\) is a representation \(n = a_1 + a_2 + \cdots + a_k\), with integer parts \(a_1 \geq a_2 \geq \cdots \geq a_k \geq 1\). The Durfee square is the largest square of points in the graphical representation of a partition. We consider generating functions for the sum of areas of the Durfee squares for various different classes of partitions of \(n\). As a consequence, interesting partition identities are derived. The more general case of Durfee rectangles is also treated, as well as the asymptotic growth of the mean area over all partitions of \(n\).

Wei Gao1, Weifan Wang2
1School of Information Science and Technology, Yunnan Normal University, Kunming 650500, China
2Department of Mathematics, Zhejiang Normal University, Jinhua 321004, China
Abstract:

A graph \(G\) is called a fractional \((k, m)\)-deleted graph if any \(m\) edges are removed from \(G\), then the resulting graph admits a fractional \(k\)-factor. In this paper, we prove that for integers \(k \geq 2\), \(m \geq 0\), \(n \geq 8k + 4m – 7\), and \(\delta(G) \geq k + m\), if
\[|N_G(x) \cup N_G(y)| \geq \frac{n}{2}\]
for each pair of non-adjacent vertices \(x, y\) of \(G\), then \(G\) is a fractional \((k, m)\)-deleted graph. The bounds for neighborhood union condition, order, and the minimum degree of \(G\) are all sharp.

Zhihong He1, Lutz Volkmann2, Yan Wang1
1School of Mathematics and Information Science, Yantai University, Yantai, 264005, China
2 Lehrstuhl II fir Mathematik, RWTH Aachen University, 52056 Aachen, Germany
Abstract:

A \(c\)-partite or multipartite tournament is an orientation of a complete \(c\)-partite graph. A digraph \(D\) is cycle complementary if there exist two vertex-disjoint directed cycles \(C\) and \(C’\) such that \(V(D) = V(C) \cup V(C’)\). The global irregularity of a digraph \(D\) is defined by
\[i_g(D) = \max\{\max(d^+(x), d^-(x)) – \min(d^+(y),d^-(y)) \mid x,y \in V(D)\}.\]
If \(i_g(D) = 0\), then \(D\) is regular, and if \(i_g(D) \leq 1\), then \(D\) is almost regular. We prove in this paper that every almost regular \(c\)-partite tournament with \(c \geq 3\) such that all partite sets have the same cardinality \(r \geq 4\) contains two complementary directed cycles of length \(3\) and \(|V(D)| – 3\).

Mario Gionfriddo1, Lorenzo Milazzo1, Rosaria Rota2
1Dipartimento di Matematica e Informatica, Universita di Catania
2Dipartimento di Matematica, Université di RomaTre
Abstract:

In this paper, we determine the spectrum for \(super-perfect\) OQSs. OQSs are \(G\)-designs in which \(G\) is an octagon quadrangle, i.e., the graph consisting of an \(8\)-cycle \((x_1, x_2, \ldots, x_8)\) with two additional chords: the edges \(\{x_1, x_4\}\) and \(\{x_5, x_6\}\).

Goksal Bilgici1
1Department of Computer Education and Instructional Technology, Kastamonu University, 37100, Kastamonu, Turkey
Abstract:

In this paper, we give a four parameter theta function identity and prove it by using some properties of Jacobi’s theta functions and Jacobi’s fundamental formulae.

Rebecca E. Garcia 1, Darrel A. Silva1
1DEPARTMENT OF MATHEMATICS AND STATISTICS, SAM HOUSTON STATE UNIVERSITY, HUNTSVILL! TX 77341, USA
Abstract:

The order dimension is an invariant on partially ordered sets introduced by Dushnik and Miller in \(1941 [1]\). It is known that the computation of the order dimension of a partially ordered set in general is highly complex,with current algorithms relying on the minimal coloring of an associated hypergraph, see \([5]\). The aim of this work is to extend the family of posets whose order dimension is easily determined by a formula. We introduce an operation called layering. Finally, we provide the precise formulas for determining the order dimension of any given number of layers of Trotter’s generalized crowns.

Hailong Hou1, Rui Gu1, Youlin Shang1
1School of Mathematics and Statistics, Henan University of Science and Technology, Luoyang, 471003, P.R. China
Abstract:

In this paper, the regular endomorphisms of a split graph are investigated. We give a condition under which the regular endomorphisms of a split graph form a monoid.

F. Larrion1, M.A. Pizana2, R. Villarroel-Flores3
1Instituto de Matematicas, Universidad Naciona) Auténoma de México. México 04510 D.F. MEXICO
2Universidad Auténoma Metropolitana, Depto. de Ingenierfa Eléctrica. Av. San Rafael Atlixco 186. Col Vicentina. Del. Iztapalapa. México 09340 D.F, MEXICO
3Centro de Investigacién en MatemAticas, Universidad Auténoma del Estado de Hidalgo, Carr. Pachuca-Tulancingo km. 4.5, Pachuca 42184 Hgo. MEXICO
Abstract:

The clique graph \(K(G)\) of a graph \(G\) is the intersection graph of all its (maximal) cliques, and \(G\) is said to be clique divergent if the order of its \(n\)-th iterated clique graph \(K^n(G)\) tends to infinity with \(n\). In general, deciding whether a graph is clique divergent is not known to be computable. We characterize the dynamical behavior under the clique operator of circulant graphs of the form \(C_n(a, b, c)\) with \(0 < a < b < c < \frac{n}{3}\). Such a circulant is clique divergent if and only if it is not clique-Helly. Owing to the Dragan-Szwarcfiter Criterion to decide clique-Hellyness, our result implies that the clique divergence of these circulants can be decided in polynomial time. Our main difficulty was the case \(C_n(1, 2, 4)\), which is clique divergent but no previously known technique could be used to prove it.

Huaming Xing1, Moo Young Sohn2
1Institute of Mathematics, Langfang Normal College, Langfang, 065000, P.R.China
2Mathematics, Changwon National University, Changwon, 641-773, Republic of Korea
Abstract:

A total dominating set \(S\) of a graph \(G\) with no isolated vertex is a locating-total dominating set of \(G\) if for every pair of distinct vertices \(u\) and \(v\) in \(V – S\) are totally dominated by distinct subsets of the total dominating set. The minimum cardinality of a locating-total dominating set is the locating-total domination number. In this paper, we obtain new upper bounds for locating-total domination numbers of the Cartesian product of cycles \(C_m\) and \(C_n\), and prove that for any positive integer \(n \geq 3\), the locating-total domination numbers of the Cartesian product of cycles \(C_3\) and \(C_n\) is equal to \(n\) for \(n \equiv 0 \pmod{6}\) or \(n + 1\) otherwise.

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;