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.

Jou-Ming Chang1, An-Hang Chen1,2
1Department of Information Management, National Taipei College of Business, Taipei, Taiwan, ROC
2Department of Information Management, National Taiwan University of Science and Technology, Taipei, Taiwan, ROC
Abstract:

There are several well-known and important Hamiltonian results for claw-free graphs, but only a few are concerned with quasi-claw-free graphs. In this note, we provide a new sufficient condition for quasi-claw-free Hamiltonian graphs.

Martin Baca1, Yuqing Lin2, Mirka Miller3, Joseph Ryan4
1Department of App Mathematics Technical University, Letnd 9, 042 00 Koiice, Slovak Republic
2 School of Electrical Eng. and Comp. Science The University of Newcastle, NSW 2308, Australia
3School of Electrical Eng. and Comp. Science The University of Newcastle, NSW 2308, Australia
4Newcastle Graduate School of Busine The University of Newcastle, NSW 2308, Australia
Abstract:

A \(d\)-antimagic labeling of a plane graph \(G = (V, E, F)\) is a one-to-one mapping taking the vertices, edges, and faces onto the integers \(1, 2, \ldots, |V(G)| + |E(G)| + |F(G)|\) so that the \(s\)-sided face weights form an arithmetic progression of difference \(d\). This paper describes \(d\)-antimagie labelings for Möbius grids.

L.William Kazmierczak1, F. Boesch1, D. Gross2, C. Suffel1
1Dept. of Mathematical Sciences, Stevens Institute of Technology, Hoboken, New Jersey
2Dept. of Mathematics and Computer Science, Seton Hall University, South Orange, New Jersey
Abstract:

There are networks that can be modeled by simple graphs, where edges are perfectly reliable but nodes are subject to failure, e.g. hardwired computer systems. One measure of the “vulnerability” of the network is the connectivity \(\kappa\) of the graph. Another, somewhat related, vulnerability parameter is the component order connectivity \(\kappa_c^{(k)}\), i.e. the smallest number of nodes that must fail in order to ensure that all remaining components have order less than some value \(k\). In this paper we present necessary and sufficient conditions on a 4-tuple \((n,k,a,b)\) for a graph \(G\) to exist having \(n\) nodes, \(\kappa = a\), and \(\kappa_c^{(k)} = b\). Sufficiency of the conditions follows from a specific construction described in our work. Using this construction we obtain ranges of values for the number of edges in a graph having \(n\) nodes, \(\kappa = a\), and \(\kappa_c^{(k)} = b\) thereby obtaining sufficient conditions on the \(5\)-tuple \((n,e,k,a,b)\) for a graph to exist having \(n\) nodes, \(e\) edges, \(\kappa = a\), and \(\kappa_c^{(k)} = b\). In a limited number of special cases, we show the conditions on \((n,e,k,a,b)\) to be necessary as well.

Dieter Rautenbach1
1Forschungsinstitut fir Diskrete Mathematik Lennéstr. 2, D-53113 Bonn, Germany
Abstract:

Fishburn, Tanenbaum, and Trenk define the linear discrepancy \(\text{Id}(P)\) of a poset \( P = (V, <_P) \) as the minimum integer \( k \geq 0 \) for which there exists a bijection \( f : V \rightarrow \{1,2,\ldots,|V|\} \) such that \( u <_P v \) implies \( f(u) < f(v) \) and \( u ||_P v \) implies \( |f(u) – f(v)| \leq k \). In their work, they prove that the linear discrepancy of a poset equals the bandwidth of its cocomparability graph. Here we provide partial solutions to some problems formulated in their study about the linear discrepancy and the bandwidth of cocomparability graphs.

Rita SahaRay1, Avishek Adhikari2, Jennifer Seberry3
1Stat-Math Unit, Indian Statistical Institute, 203 B. T. Road, Kolkata-700 108, India.
2 Applied Statistics Unit, Indian Statistical Institute, 203 B. T. Road, Kolkata-700 108, India.
3 Center for Computer Security Research, SITACS, University of Wollongong, NSW 2522, Australia
Abstract:

To date, investigations on critical sets for a set of mutually orthogonal Latin squares (MOLS) have been carried out only for small orders \( \leq 9 \). In this paper, we deal with a pair of cyclic orthogonal Latin squares of order \( n \), \( n \geq 11 \), \( n \) odd. Through the construction of a uniquely completable set, we give an upper bound on the size of the minimal critical set. In particular, for \( n = 15 \), a critical set achieving this bound is obtained.

Ljiljana Brankovic1, Alex Rosa2, Jozef Sirén3
1School of Electrical Engineering and Computer Science University of Newcastle, Callgahan, NSW 2308, Australia
2Department of Mathematics and Statistics McMaster University Hamilton, Ontario, Canada L85 4K1
3 Department of Mathematics University of Auckland, Auckland, New Zealand
Abstract:

We improve the lower bound for the \(\alpha\)-size of trees with maximum degree three.

Wayan Sudarsana1, Dasa Ismaimuza1, Edy Tri Baskoro2, Hilda Assiyatun2
1Department of Mathematics, Tadulako University Jalan Sukarno-Hatta Palu, Indonesia
2Department of Mathematics, Institut Teknologi Bandung Jalan Ganesha 10 Bandung, Indonesia
Abstract:

A graph \( G \) is called \((a,d)\)-\(\text{edge antimagic total}\) \((a, d)\)-\(\text{EAT}\) if there exist integers \( a > 0, d \geq 0 \) and a bijection \( \lambda: V \cup E \rightarrow \{1,2,\ldots,|V| + |E|\} \) such that \(W = \{w(xy) : xy \in E\} = \{a,a+d,\ldots,a+(|E|-1)d\},\) where \( w(xy) = \lambda(x) + \lambda(y) + \lambda(xy) \). An \((a, d)\)-EAT labeling \( \lambda \) of graph \( G \) is \text{super} if \( \lambda(V) = \{1,2,\ldots,|V|\} \). In this paper, we describe how to construct a super \((a, d)\)-EAT labeling on some classes of disconnected graphs, namely \( P_n \cup P_{n+1} \), \( nP_2 \cup P_n \), and \( nP_2 \cup P_{n+2} \), for positive integer \( n \).

Mirka Miller1, Deval Patel1, Joe Ryan1, Kiki A. Sugeng1, Slamin 2, Mauritsius Tuga3
1School of Information Technology and Mathematical Sciences University of Ballarat, VIC 3353, Australia
2Department of Mathematics, FKIP University of Jember, Indonesia
3School of Electrical Engineering and Computer Science The University of Newcastle, NSW 2308, Australia
Abstract:

A graph \( G(V, E) \) is called a sum graph if there is an injective labeling called sum labeling \( L \) from \( V \) to a set of distinct positive integers \( S \) such that \( xy \in E \) if and only if there is a vertex \( w \in V \) such that \( L(w) = L(x) + L(y) \in S \). In such a case, \( w \) is called a working vertex. Every graph can be made into a sum graph by adding some isolated vertices, if necessary. The smallest number of isolated vertices that need to be added to a graph \( H \) to obtain a sum graph is called the sum number of \( H \); it is denoted by \( \sigma(H) \). A sum labeling which realizes \( H \cup \overline{K_\sigma(G)} \) as a sum graph is called an optimal sum labeling of \( H \).

Sum graph labeling offers a new method for defining graphs and for storing them digitally. Traditionally, a graph is defined as a set of vertices and a set of edges, specified by pairs of vertices which are the endpoints of an edge. To record a graph on a computer, the edges are usually stored either in the form of an adjacency matrix or as a linked list. Using sum graph labeling, we only need to store the set of vertices, together with some additional isolates, if needed. While previously the edges in a graph were specified explicitly, using sum graphs, edges can be specified implicitly.

A sum labeling \( L \) is called an exclusive sum labeling with respect to a subgraph \( H \) of \( G \) if \( L \) is a sum labeling of \( G \) where \( H \) contains no working vertex. The exclusive sum number \( \epsilon(H) \) of a graph \( H \) is the smallest number \( r \) such that there exists an exclusive sum labeling \( L \) which realizes \( H \cup \overline{K_{r}} \) as a sum graph. A labeling \( L \) is an optimal exclusive sum labeling of a graph \( H \) if \( L \) is a sum labeling of \( H \cup K_{\epsilon(H)} \) and \( H \) contains no working vertex. While the exclusive sum number is never smaller than the corresponding sum number of a graph, labeling graphs exclusively has other desirable features which give greater scope for combining two or more labeled graphs.

In this paper, we introduce exclusive sum graph labeling and we construct optimal exclusive sum graph labeling for complete bipartite graphs, paths, and cycles. The paper concludes with a summary of known results in exclusive sum labeling and exclusive sum numbers for several classes of graphs.

Kristiana Wijaya1, Slamin 2, Surahma 3, Stanislav Jendrol4
1Department of Mathematics, Universitas Jember, Jalan Kalimantan Jember, Indonesia
2Department of Mathematics Education, Universitas Jember, Jalan Kalimantan Jember, Indonesia
3Department of Mathematics Education, Universitas Islam Malang, Jalan M.T. Haryono 193 Malang, Indonesia
4Institute of Mathematics, P.J.Safarik University, Jesennd 5 041 54 KoSice, Slovak Republic
Abstract:

A total vertex irregular labeling of a graph \( G \) with \( v \) vertices and \( e \) edges is an assignment of integer labels to both vertices and edges so that the weights calculated at vertices are distinct. The total vertex irregularity strength of \( G \), denoted by \( tvs(G) \), is the minimum value of the largest label over all such irregular assignments. In this paper, we consider the total vertex irregular labeling of complete bipartite graphs \( K_{m,n} \) and prove that

\[
tvs(K_{m,n}) \geq \max \left\{ \left\lceil \frac{m+n}{m+1} \right\rceil, \left\lceil \frac{2m+n-1}{n} \right\rceil \right\} \quad \text{if } (m,n) \neq (2,2).
\]

Hasmawati 1, Edy Tri Baskoro1, Hilda Assiyatun1
1Department of Mathematics Institut Teknologi Bandung (ITB), Jalan Ganesa 10 Bandung 40132, Indonesia
Abstract:

For given graphs \( G \) and \( H \), the Ramsey number \( R(G, H) \) is the smallest natural number \( n \) such that for every graph \( F \) of order \( n \): either \( F \) contains \( G \) or the complement of \( F \) contains \( H \).

This paper investigates the Ramsey number \( R(S_n, W_m) \) of stars versus wheels. We show that if \( m \) is odd, \( n \geq 3 \), and \( m \leq 2n-1 \), then \( R(S_n, W_m) = 3n-2 \). Furthermore, if \( n \) is odd and \( n \geq 5 \), then \( R(S_n, W_m) = 3n – \mu \), where \( \mu = 4 \) if \( m = 2n – 4 \) and \( \mu = 6 \) if \( m = 2n – 8 \) or \( m = 2n – 6 \).

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;