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.

Abstract:

We examine the Borda voting method, which has numerous interesting mathematical properties. We determine when a candidate can win a Borda election with all \(i\)th place votes and present a method of constructing ballots that yield such a victory. Then we present a connection between Borda elections and semi-magic squares. We show how a Borda election result gives rise to a semi-magic square, and we show that given any semi-magic square there exists at least one Borda election result corresponding to it.

Nabil Shalaby1, Bradley Sheppard1, Daniela Silvesan1
1Department of Mathematics and Statistics Memorial University of Newfoundland St. John’s, Newfoundland CANADA A1C 587
Abstract:

In 2000, Rees and Shalaby constructed simple indecomposable two-fold cyclic triple systems for all \(v \equiv 0, 1, 3, 4, 7, \text{ and } 9 \pmod{12}\) where \(v = 4\) or \(v \geq 12\), using Skolem-type sequences.
We construct, using Skolem-type sequences, three-fold triple systems having the properties of being cyclic, simple, and indecomposable for all admissible orders \(v\), with some possible exceptions for \(v = 9\) and \(v = 24c + 57\), where \(c \geq 2\) is a constant.

M. A. Shalu1, S. Devi Yamini1
1Indian Institute of Information Technology Design & Manufacturing (HITD&M) Kancheepuram, Chennat-600127, India.
Abstract:

Counting the number of maximal independent sets is \(\#P\)-complete even for chordal graphs. We prove that the number of maximal independent sets in a subclass \({G}_n^R\) (Right power set graphs) of chordal graphs can be computed in polynomial time using Golomb’s nonlinear recurrence relation. We provide a recursive construction of \({G}_n^R\) and prove that there are \(2^\frac{|V({G}_n^R)|+1}{4}\) maximum independent sets in \({G}_n^R\). We also provide a polynomial-time algorithm to solve the maximum independent set problem (MISP) in a superclass \(\mathcal{F}_n\) of the complement of \({G}_n^R\).

R. S. Haoe, K. A. Atan1, A. M. Khalaf2
1Institute for Mathematical Research, University Putra Malaysia 43400 Serdang, Selangor, Malaysia
2Department of Mathematics, Faculty of Computer Sciences and Mathematics, University Of Kufa, Najaf, Iraq
Abstract:

The eccentric connectivity index of the molecular graph \(G\) was proposed by Sharma, Goswami, and Madan in 1997 \cite{17}. This index is defined as \(\xi^c(G) = \sum_{v\in V(G)} \deg(v) \, ec(v)\), where \(\deg(v)\) is the degree of vertex \(v\) in \(G\) and eccentricity \(ec(v)\) is the largest distance between \(v\) and any other vertex of \(G\). Thus, in this paper, we established the general formulas for the eccentric connectivity index of joining a special graph to its paths and of joining two different graphs by a path. Proofs were also provided.

Abstract:

We present a design for a seven-game tournament of the \(7\)-player board game \({Diplomacy}\), in which each player plays each country one time and each pair of players shares a border either \(4\) or \(5\) times. It is impossible for each pair of players to share a border the same number of times in such a tournament, and so the tournament presented is the most “balanced” possible in this sense. A similarly balanced tournament can be constructed for a generalized version of the game involving an arbitrary number of countries. We also present an infinite family of graphs that cannot be balanced.

C. David Raj1, C. Jayasekaran2, S, Sandhya3
1Department of Mathematics, Malankara Catholic College, Mariagiri, Kaliyakkavilai, Kanyakumari — 629 153, Tamil Nadu.
2Department of Mathematics, Pioneer Kumaraswamy College, Nagercoil, Kanyakumari, Pin:629 003, Tamil Nadu.
3Department of Mathematics, Sree Ayyappa College for women, Chunkankadai, Kanyakumari, Pin:629 807, Tamil Nadu.
Abstract:

A graph \(G = (V, E)\) with \(p\) vertices and \(q\) edges is called a Harmonic mean graph if it is possible to label the vertices \(v \in V\) with distinct labels \(f(v)\) from \(1, 2, \dots, q+1\) in such a way that when each edge \(e = uv\) is labeled with \(f(e = uv) = \left\lceil\frac{2f(u)f(v)}{f(u) + f(v)}\right\rceil\) or \(\left\lfloor \frac{2f(u)f(v)}{f(u) + f(v)} \right\rfloor\), then the edge labels are distinct. In this case, \(f\) is called a Harmonic mean labeling of \(G\). In this paper, we investigate some new families of Harmonic mean graphs.

Richard C. Brewster1, Aaron E. B. Martenst1
1Dept. of Math and Stats Thompson Rivers University
Abstract:

The clique sum \(\Sigma = G[G_1,G_2,\ldots,G_n]\) is the lexicographic sum over \(G\) where each fiber \(G_i\) is a clique. We show the reconstruction number of \(\Sigma\) is three unless \(\Sigma\) is vertex transitive and \(G\) has order at least two. In the latter case, it follows that \(\Sigma = G[K_m]\) is a lexicographic product, and the reconstruction number is \(m+2\). This complements the bounds of Brewster, Hahn, Lamont, and Lipka. It also extends the work of Myrvold and Molina.

Michael E. Picollelli1
1Department of Mathematics California State University San Marcos San Marcos, CA 92096, USA
Abstract:

We provide a new proof of a result of Hanson and Toft classifying the maximum-size \(K_r\)-free graphs on \(n\) vertices with chromatic number at least \(r\).

Dinesh G. Sarvate1, Paul A. Winter2, Li Zhang3
1COLLEGE OF CHARLESTON, DEPT. OF MATH., CHARLESTON, SC, 29424
2Howarp CoLLeceE, UKZN, Dept. oF Matu., DURBAN, KZN 4041, SOUTH AFRICA
3THE CITADEL, DEPT. OF MATH. AND COMPUTER SCIENCE, CHARLESTON, SC, 29409
Abstract:

Much research has been done on the edge decomposition of \(\lambda\) copies of the complete graph \(G\) with respect to some specified subgraph \(H\) of \(G\). This is equivalent to the investigation of \((G, H)\)-designs of index \(\lambda\). In this paper, we present a fundamental theorem on the decomposition of \(\lambda\) copies of a complete bipartite graph. As an application of this result, we show that necessary conditions are sufficient for the decomposition of \(\lambda\) copies of a complete bipartite graph into several multi-subgraphs \(H\) with a number of vertices less than or equal to \(4\) and the number of edges less than or equal to \(4\), with some exceptions where decompositions do not exist. These decomposition problems are interesting to study as various decompositions do not exist even when necessary conditions are satisfied.

Neville Robbins1
1Mathematics Department San Francisco State University San Francisco, CA 94132 USA
Abstract:

If the integer \(r \geq 2\), say that a composition of the natural number \(n\) is \(r\)-\({regular}\) if no part is divisible by \(r\). Let \(c_r(n)\) denote the number of \(r\)-regular compositions of \(n\) (with \(c_r(0) = 1\)). We show that \(c_r(n)\) satisfies a linear recurrence of order \(r\). We also obtain asymptotic estimates for \(c_r(n)\), and we evaluate \(c_r(n)\) for \(2 \leq r \leq 5\) and \(1 \leq n \leq 10\).

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;