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.

Oleksiy Dovgoshey1,2, Omer Cantor3, Olga Rovenska4
1Department of Function Theory, Institute of Applied Mathematics and Mechanics of NASU, Slovyansk, Ukraine
2Department of Mathematics and Statistics, University of Turku, Turku, Finland
3Department of Mathematics, University of Haifa, Haifa, Israel
4Department of Mathematics and Modelling, Donbas State Engineering Academy, Kramatorsk, Ukraine
Abstract:

Let US be the class of all ultrametric spaces generated by labeled star graphs. We prove that compact US-spaces are the completions of totally bounded ultrametric spaces generated by decreasingly labeled rays. We characterize the ultrametric spaces which are weakly similar to finite US-spaces and describe these spaces by certain four-point conditions.

Gee-Choon Lau1, Wai Chee Shiu2
177D, Jalan Suboh, 85000 Segamat, Johor, Malaysia
2Department of Mathematics, The Chinese University of Hong Kong, Shatin, Hong Kong, P.R. China
Abstract:

It is known that null graphs are the only (regular) graphs with local antimagic chromatic 1 and 1-regular graphs are the only regular graphs without local antimagic chromatic number. In this paper, we first use matrices of size \((2m+1) \times (2k+1)\) to completely determine the local antimagic chromatic number of the join of null graphs \(O_m\) and 1-regular graphs \((2k+1)P_2\) for all \(k\ge 1, m\ge 2\). We then make use of other matrices of same size to obtain the local antimagic chromatic number of another family of tripartite graphs. Consequently, we obtained infinitely many (possibly disconnected) regular tripartite graphs with local antimagic chromatic number 3.

Italo J. Dejter1
1University of Puerto Rico, Rio Piedras, PR 00936-8377
Abstract:

Let \(2\le k\in\mathbb{Z}\). We say that a total coloring of a \(k\)-regular simple graph via \(k+1\) colors is an efficient total coloring if each color yields an efficient dominating set, where the efficient domination condition applies to the restriction of each color class to the vertex set. We prove that Hamming shells of star transposition graphs and Hamming cubes have efficient total colorings. Also in this work, a focus is set upon the graphs of girths \(2k\) and \(k\). Efficient total colorings of finite connected simple cubic graphs of girth 6 are constructed. These are of two specific types, namely: (a) those whose 6-cycles use just 3 colors with antipodal monochromatic pairs of vertices or edges; (b) those whose 6-cycles do not respect item (a) so they use four colors. An orthogonality property holds for all graphs of type (a). Such orthogonality property allows further edge-half-girth colorings in the corresponding prism graphs.

Sunil Thakare1, Archana Bhange2, Haribhau Bhapkar3
1Department of Mathematics, School of Engineering and Sciences, MIT Art, Design and Technology University, Pune-412201, (MS) India
2Department of Mathematics, MANET, MIT Art, Design and Technology University, Pune-412201, (MS) India
3Department of Mathematics, Central University of Kashmir, Ganderbal-191201, J and K, India
Abstract:

Graph Theory was started by Euler after solving the famous Konigsberg bridge problem. The Graph Coloring is among one of the famous topic for research since it has many beautiful theorems on optimization and its applications in numerous fields of science. The Pi coloring is the coloring of graph parts without a recurring pattern. As a result, it is defined as a function from a set of graph elements with similar properties to the power set of colors, so that each set receives a different color set from the power set. In consequence, Incident Vertex Pi coloring of a graph is defined as the coloring of incident vertices for every single edge with Pi coloring. Incident Vertex Pi coloring of the complete graph is \(n\), wheel graph, star graph and double star graph is \(n+1\), diamond, friendship graphs is \(\Delta +1\), and double fan graph is \(\Delta +2\). In this research, we derived the Incident Vertex PI coloring of Star and Double Star graph’s Middle graph, Total graph, Line graph, and Splitting graph.

B. Claiborne1, N.E. Clarke2, R. Haas3, S. Hanson4, M.Y. Harris5, K. Martinz6, S. Viel7, J. Woods8
1Wheelock College of Education and Human Development, Boston University, Boston, MA, USA
2Department of Mathematics and Statistics, Acadia University, Wolfville, NS, Canada
3Department of Mathematics, University of Hawaii at Manoa, Honolulu, HI 96822, USA
4Johnson & Johnson, New Jersey, USA
5Department of Teaching and Learning, Vanderbilt University, Nashville, TN, USA
6Federal Reserve Bank of Minneapolis, Minneapolis, MN, USA
7Department of Mathematics, Duke University, Durham, NC, USA
8Smith College, Northampton, MA, USA
Abstract:

For a graph \(G\) with a (not necessarily proper) vertex coloring, a set \(D\subseteq V(G)\) is a polychromatic dominating set of \(G\) if it is a dominating set and each vertex in \(D\) is a different color. The polychromatic domination number of \(G\), \(\rho(G)\), is the minimum number of colors such that, for any \(\rho(G)\)-coloring (with exactly \(\rho(G)\) colors) of the vertices of \(G\), there exists a polychromatic dominating set of \(G\). This paper begins the exploration of the polychromatic domination number. In particular we give tight upper and lower bounds for \(\rho(G)\) both of which are functions of the minimum degree of \(G\).

Oleg Ogandzhanyants1, Sergey Sadov2, Margo Kondratieva1
1Dept. of Mathematics and Statistics, Memorial University, St. John’s NL, A1C~5S7, Canada
2Private Math School, Moscow, Russia
Abstract:

A novel approach to building strong starters in cyclic groups of orders \(n\) divisible by 3 from starters of smaller orders is presented. A strong starter in \(\mathbb{Z}_n\) (\(n\) odd) is a partition of the set \(\{1,2,\dots,n-1\}\) into pairs \(\{a_i,b_i\}\) such that all pair sums \(a_i+b_i\) are distinct and nonzero modulo \(n\) and all differences \(\pm(a_i-b_i)\) are distinct and nonzero modulo \(n\). A special interest to strong starters of odd orders divisible by 3 is motivated by Horton’s conjecture, which claims that such starters exist (except when \(n=3\) or \(9\)) but remains unproven since 1989. We begin with a starter of order \(p\) coprime with 3 and describe an algorithm to obtain a Sudoku-type problem modulo 3 whose solution, if exists, yields a strong starter of order \(3p\). The process leading from the original to the final starter is called triplication. Besides theoretical aspects of the construction, practicality of this approach is demonstrated. A general-purpose constraint-satisfaction (SAT) solver z3 is used to solve the Sudoku-type problem; various performance statistics are presented.

D Saranya1, S Jeevadoss2, D Vidhya3
1Department of Mathematics, Bannari Amman Institute of Technology, Erode, Tamil Nadu, India
2Department of Applied Mathematics and Computational Sciences, PSG College of Technology, Coimbatore, Tamil Nadu, India
3Department of Mathematics, Dr.N.G.P Institute of Technology, Coimbatore, Tamil Nadu, India
Abstract:

Let Pn + 1, Cn and Sn represent a path, cycle, and star with n edges, Qn denote the n-dimensional hypercube graph. The (ℋ1, ℋ2)−multidecomposition of G for graphs 1, 2, and G is a decomposition of G into copies of 1 and 2, where there is at least one copy of 1 and at least one copy of 2. In this paper, we prove that the graph Qn is (Sn − 2, C4)−multidecomposable for n ≥ 4 and (Sn − 4, P5)−multidecomposable for n ≥ 5.

Jeremy Chapman1, Alex Iosevich2
1Department of Mathematics Lyon College 2300 Highland Rd Batesville, Arkansas USA
2Department of Mathematics University of Rochester 915 Hylan Building, P.O. Box 270138 Rochester, New York USA
Abstract:

The Erdős-Anning Theorem states that an integer distance set in the Euclidean plane must have all of its points on a single line or is finite. However, this is not true if we consider area sets. That is, if \((x_1,y_1)\) and \((x_2,y_2)\) are any two vectors contained in the integer lattice, then the area of the parallelogram determined by the two vectors is an integer, showing that the points do not have to lie on a line. We prove a finite field version of these results for \(d=2\) and \(d=3\), showing that if \(E \subset \Bbb{F}_q^d, q=p^2\), where \(p\) is an odd prime and the distance set of \(E\) is \(\Bbb{F}_p\), then the size of \(E\) is at most \(p^d\). Furthermore, we prove that if the area set of \(E\) is a subset of \(\Bbb{F}_p\), then the size of \(E\) is at most \(p^2\) in two dimensions.

Taras Goy1, Mark Shattuck2
1Faculty of Mathematics and Computer Science, Vasyl Stefanyk Precarpathian National University, Ivano-Frankivsk, Ukraine
2Department of Mathematics, University of Tennessee Knoxville, TN USA
Abstract:

Let Fn denote the n-th Fibonacci number defined by Fn = Fn − 1 + Fn − 2 if n ≥ 2, with F0 = 0 and F1 = 1. In this paper, we find determinant identities for several Toeplitz–Hessenberg matrices whose nonzero entries are derived from the sequence kn + m for various fixed m, where kn = Fn − 1. These results may be obtained algebraically as special cases of more general formulas involving the Horadam numbers and the generating functions for the associated sequences of determinants. Equivalent multi-sum identities featuring sums of products of kn terms with multinomial coefficients may be given, which follow from Trudi’s formula. Connections are made to several OEIS entries that have arisen previously in other contexts, perhaps most notably the Padovan number sequence. Finally, we provide combinatorial proofs of our identities involving kn by enumerating (or finding the sum of signs of) various classes of tilings containing squares, dominos, trominos and a special type of tile which can be of arbitrary length.

Mark Shattuck1
1Department of Mathematics, University of Tennessee, 37996 Knoxville, TN, USA
Abstract:

In this paper, we study additional aspects of the capacity distribution on the set n of compositions of n consisting of 1’s and 2’s extending recent results of Hopkins and Tangboonduangjit. Among our results are further recurrences for this distribution as well as formulas for the total capacity and sign balance on n. We provide algebraic and combinatorial proofs of our results. We also give combinatorial explanations of some prior results where such a proof was requested. Finally, the joint distribution of the capacity statistic with two further parameters on n is briefly considered.

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;