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.

Drake Olejniczak1, Ping Zhang1
1Department of Mathematics Western Michigan University Kalamazoo, MI 49008-5248, USA
Abstract:

In a red-blue coloring of a graph \(G\), every edge of \(G\) is colored red or blue. For two graphs \(F\) and \(H\), the Ramsey number \(R(F, H)\) of \(F\) and \(H\) is the smallest positive integer \(n\) such that every red-blue coloring of the complete graph \(K_n\) of order \(n\) results in either a subgraph isomorphic to \(F\) all of whose edges are colored red or a subgraph isomorphic to \(H\) all of whose edges are colored blue. While the study of Ramsey numbers has been a popular area of research in graph theory, over the years a number of variations of Ramsey numbers have been introduced. We look at several of these, with special emphasis on some of those introduced more recently.

Zhenming Bi1, Alexis Byers1, Ping Zhang1
1Department of Mathematics Western Michigan University Kalamazoo, MI 49008-5248, USA
Abstract:

For a graph \(G\) of size \(m\), a graceful labeling of \(G\) is an injective function \(f : V(G) \to \{0, 1, \dots, m\}\) that gives rise to a bijective function \(f’ : E(G) \to \{1, 2, \dots, m\}\) defined by \(f'(uv) = |f(u) – f(v)|\). A graph \(G\) is graceful if \(G\) has a graceful labeling. Over the years, a number of variations of graceful labelings have been introduced, some of which have been described in terms of colorings. We look at several of these, with special emphasis on some of those introduced more recently.

Zhenming Bi1, Sean English1, Ian Hart1, Ping Zhang1
1 Department of Mathematics Western Michigan University Kalamazoo, MI 49008-5248, USA
Abstract:

For a connected graph \(G\) of order at least \(3\), let \(c : E(G) \to \{1, 2, \dots, k\}\) be an edge coloring of \(G\) where adjacent edges may be colored the same. Then \(c\) induces a vertex coloring \(c’\) of \(G\) by assigning to each vertex \(v\) of \(G\) the set of colors of the edges incident with \(v\). The edge coloring \(c\) is called a majestic \(k\)-edge coloring of \(G\) if the induced vertex coloring \(c’\) is a proper vertex coloring of \(G\). The minimum positive integer \(k\) for which a graph \(G\) has a majestic \(k\)-edge coloring is the majestic chromatic index of \(G\) and denoted by \(\chi_{m}^{‘} (G)\). For a graph \(G\) with \(\chi_{m}^{‘}(G) = k\), the minimum number of distinct vertex colors induced by a majestic \(k\)-edge coloring is called the majestic chromatic number of \(G\) and denoted by \(\psi(G)\). Thus, \(\psi(G)\) is at least as large as the chromatic number \(\chi(G)\) of a graph \(G\). Majestic chromatic indexes and numbers are determined for several well-known classes of graphs. Furthermore, relationships among the three chromatic parameters \(\chi_m(G)\), \(\psi(G)\), and \(\chi(G)\) of a graph \(G\) are investigated.

Wayne Goddard1, Honghai Xu1
1Dept of Mathematical Sciences, Clemson University Clemson SC 29634
Abstract:

This paper investigates vertex colorings of graphs such that some rainbow subgraph \(R\) and some monochromatic subgraph \(M\) are forbidden. Previous work focused on the case that \(R = M\). Here we consider the more general case, especially the case that \(M = K_2\).

J Pathak1
1Department of Mathematics and Computer Science Lincoln University 1570 Baltimore Pike, Lincoln University, PA 19352
Abstract:

Let \(R\) be a commutative ring with identity. For any integer \(k > 1\), an element is a \(k\)-zero divisor if there are distinct \(k\) elements including the given one, such that the product of all is zero but the product of fewer than all is nonzero. Let \(Z(R,k)\) denote the set of the \(k\)-zero divisors of \(R\). In this paper we consider rings which are not \(k\)-integral domains (i.e. \(Z(R,k)\) is nontrivial) with finite \(Z(R,k)\). We show that a uniform \(n\) exists such that \(a^n = 0\) for all elements \(a\) of the nil-radical \(N\) and deduce that a ring \(R\) which is not a \(k\)-integral domain with more than \(k\) minimal prime ideals and whose nil-radical is finitely generated is finite, if \(Z(R,k)\) is finite.

Dmitry Nurmuradov1, Renée Bryce1
1University of North Texas, Denton, TX, 76203
Abstract:

Recording actual user interactions with a system is often useful for testing software applications. User-session based test suites that contain records of such interactions often find a complementary set of faults compared to test suites created by testers. This work utilizes such test suites and presents a new prioritization method that extends the existing combinatorial two-way inter-window prioritization by introducing weights on the distance between windows. We examine how a window distance between a pair of the parameter-value tuples influences the fault detection effectiveness. We evaluate several approaches used to calculate weights. Results show improvement over the original two-way inter-window prioritization technique, while the comparison of different weighting approaches reveals that a negative linear weighting calculation generally performs better in our experiments. The study demonstrates that the distance between windows in a pair is an important factor to consider in test suite prioritization, and that distinguishing windows by their order in a test case also improves the fault detection rate compared to using window labels that were utilized in previous methods. This work provides motivation for future work to develop general n-way combinatorial distance-based prioritization methods that take into account space and processing time requirements to address potential issues with large test suites.

Derek W. Hein1
1Department of Mathematics, Southern Utah University (SUU), USA
Abstract:

In this paper, we identify \(LW\) and \(OW\) graphs, find the minimum \(\lambda\) for decomposition of \(\lambda K_n\) into these graphs, and show that for all viable values of \(\lambda\), the necessary conditions are sufficient for \(LW\)- and \(OW\)-decompositions using cyclic decompositions from base graphs.

Rao Li1
1Dept. of mathematical sciences University of South Carolina Aiken Aiken, SC 2980
Abstract:

For a connected graph \(G = (V, E)\), its inverse degree is defined as
\(\sum_{v\in V} \frac{1}{d(v)}\). Using an upper bound for the inverse degree of a graph obtained by Cioaba in [6], in this note, we present new sufficient conditions for some Hamiltonian properties of graphs.

Mohsen Aliabadi1, Jerome Manheim1, Emisa Nategh1, Hossein Shahmohamad1
1School of Mathematical Sciences Rochester Institute of Technology, Rochester, NY 14623
Abstract:

A cancellable number (CN) is a fraction in which a decimal digit can be removed (“cancelled”) in the numerator and denominator without changing the value of the number; examples include \(\frac{16}{64}\) where the \(6\) can be cancelled and \(\frac{49}{98}\) where the \(9\) can be cancelled. We provide explicit infinite families of CNs with certain properties, subject to the restriction that the numerator and denominator have equal decimal length and the cancellable digits “line up”, i.e., all cancellation lines are vertical. The properties in question are that the CNs contain one of the following: a cancellable nine, a cancellable zero, a sequence of adjacent cancellable zeros, sequences of adjacent cancellable zeros and nines of the same length, and sequences of adjacent cancellations for certain other digits.

Blaine Billings1, Kasifa Namyalo2, Dinesh G. Sarvate1
1College of Charleston, Charleston, USA
2*Mbarara University of Science and Technology, Mbarara, Uganda
Abstract:

A \(\mathrm{GDD}(n_1+n_2,3; \lambda_1,\lambda_2)\) is a group divisible design with two groups of sizes \(n_1\) and \(n_2\), where \(n_1 < n_2\), with block size \(3\) such that each pair of distinct elements from the same group occurs in \(\lambda_1\) blocks and each pair of elements from different groups occurs in \(\lambda_2\) blocks. We prove that the necessary conditions are sufficient for the existence of group divisible designs \(\mathrm{GDD}(n_1+n_2, 3; \lambda_1, \lambda_2)\) with equal number of blocks of configuration \((1, 2)\) and \((0, 3)\) for \(n_1 + n_2 \leq 20\), \(n_1 \neq 2\) and in general for \(n_1 = 1, 3, 4, n_2 – 1\), and \(n_2 – 2\).

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;