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.

M. Javaid1, A.A Bhatti1
1Department of Mathematics National University of Computer and Emerging Sciences Lahore Campus, Pakistan.
Abstract:

Let \(G = (V,E)\) be a graph with \(v = |V(G)|\) vertices and \(e = |E(G)|\) edges. An \((a, d)\)-edge-antimagic total labeling of the graph \(G\) is a one-to-one map \(A\) from \(V(G) \cup E(G)\) onto the integers \(\{1,2,\ldots,v+e\}\) such that the set of edge weights of the graph \(G\), \(W = \{w(xy) : xy \in E(G)\}\) form an arithmetic progression with the initial term \(a\) and common difference \(d\), where \(w(xy) =\lambda(x) + \lambda(y) + \lambda(xy)\) for any \(xy \in E(G)\). If \(\lambda(V(G)) = \{1,2,\ldots,v\}\) then \(G\) is super \((a, d)\)-edge-antimagic total, i.e., \((a,d)\)-EAT. In this paper, for different values of \(d\), we formulate super \((a, d)\)-edge-antimagic total labeling on subdivision of stars \(K_{1,p}\) for \(p \geq 5\).

Yan-Ling Peng1,2
1Department of Mathematics, The University of Idaho, Moscow, ID 83844, USA
2Department of Mathematics, Suzhou University of Science and Technology, Suzhou, 215009, Jiangsu, China
Abstract:

We discuss the chromaticity of one family of \(K_4\)-homeomorphs which has girth \(7\) and has exactly \(1\) path of length \(1\), and give a sufficient and necessary condition for the graphs in the family to be chromatically unique.

Hailiang Zhang1,2, Jinlong Shu1
1Department of Mathematics, East China Normal University, Shanghai, 200241, P.R. China
2Department of Mathematics, Taizhou University, Linhai Zhejiang, 317000, P.R. China
Abstract:

A theta graph is denoted by \(\theta(a,b,c)\), where \(a \leq b \leq c\). It is obtained by subdividing the edges of the multigraph consisting of \(3\) parallel edges \(a\) times, \(b\) times, and \(c\) times each. In this paper, we show that the theta graph is matching unique when \(a \geq 2\) or \(a = 0\), and all theta graphs are matching equivalent when only one of the edges is subdivided one time. We also completely characterize the relation between the largest matching root \(\alpha\) and the length of path \(a, b, c\) of a theta graph, and determine the extremal theta graphs.

Jason Brown1, Richard Hoshino1
1Department of Mathematics and Statistics Dalhousie University Halifax, Nova Scotia, Canada B3H 3J5
Abstract:

The line graph of \(G\), denoted \(L(G)\), is the graph with vertex set \(E(G)\), where vertices \(x\) and \(y\) are adjacent in \(L(G)\) if and only if edges \(x\) and \(y\) share a common vertex in \(G\). In this paper, we determine all graphs \(G\) for which \(L(G)\) is a circulant graph. We will prove that if \(L(G)\) is a circulant, then \(G\) must be one of three graphs: the complete graph \(K_4\), the cycle \(C_n\), or the complete bipartite graph \(K_{a,b}\), for some \(a\) and \(b\) with \(\gcd(a,b) = 1\).

Nini Xue1, Wei Wang1
1College of Information Engineering, Tarim University, Alar, Xinjiang, 843300, P.R.China
Abstract:

Let \(G\) be a graph. The point arboricity of \(G\), denoted by \(\rho (G)\), is the minimum number of colors that can be used to color the vertices of \(G\) so that each color class induces an acyclic subgraph of \(G\). The list point arboricity \(\rho_l(G)\) is the minimum \(k\) so that there is an acyclic \(L\)-coloring for any list assignment \(L\) of \(G\) which \(|L(v)| \geq k\). So \(\rho(G) \leq \rho_l(G)\). Zhen and Wu conjectured that if \(|V(G)| \leq 3\rho (G)\), then \(\rho_l(G) = p(G)\). Motivated by this, we investigate the list point arboricity of some complete multi-partite graphs of order slightly larger than \(3p(G)\), and obtain \(\rho(K_{m,(1),2(n-1)}) = \rho_l(K_{m(1),2(n-1)})\) \((m = 2,3,4)\).

Renying Chang1, Yan Zhu2, Guizhen Liu3
1School of Mathematics, Linyi University, Linyi, 276005, China
2 Department of Mathematics, East China University of Science and Technology, Shanghai, 200237, China
3School of Mathematics, Shandong University, Jinan, 250100, China
Abstract:

In this paper, we consider the relationship between toughness and the existence of \([a, b]\)-factors. We obtain that a graph \(G\) has an \([a, b]\)-factor if \(t(G) \geq {a-1} + \frac{a-1}{b}\) with \(b > a > 1\). Furthermore, it is shown that the result is best possible in some sense.

G.L. Chia1, Poh-Hwa Ong2
1Institute of Mathematical Sciences, University Malaya, 50603 Kuala Lumpur, Malaysia
2Department of Mathematical and Actuarial Sciences, Universiti Tunku Abdul Rahman, 46200 Petaling Jaya, Selangor, Malaysia
Abstract:

The clique graph of a graph \(G\) is the graph whose vertex set is the set of cliques of \(G\) and two vertices are adjacent if and only if the corresponding cliques have non-empty intersection. A graph is self-clique if it is isomorphic to its clique graph. In this paper, we present several results on connected self-clique graphs in which each clique has the same size \(k\) for \(k = 2\) and \(k = 3\).

Gabor Korchméaros1, Angelo Sonnino1
1Dipartimento di Matematica e Informatica Universita della Basilicata Campus Macchia Romana Viale dell’Ateneo Lucano, 10 85100 Potenza – Italy
Abstract:

All parabolic ovals in affine planes of even order \(q \leq 64\) which are preserved by a collineation group isomorphic to \(\mathrm{A\Gamma L}(1,q)\) are determined. They are either parabolas or translation ovals.

K. Coolsaet1, P.D. Johnson,Jr.2, K.J. Roblee3, T.D. Smotzer4
1Department of Applied Mathematics and Computer Science Ghent University Krijgslaan 281-$9 B-9000 Gent
2Departinent of Mathematics and Statistics Auburn University, AL 36849, U.S.A.
3 Department of Mathematics and Physics Troy University Troy, AL 36082, U.S.A.
4Department. of Mathematics and Statistics Youngstown State University Youngstown, OH 44555, U.S.A.
Abstract:

We consider the class \({ER}(n, d, \lambda)\) of edge-regular graphs for some \(n > d > \lambda\), i.e., graphs regular of degree \(d\) on \(n\) vertices, with each pair of adjacent vertices having \(\lambda\) common neighbors. It has previously been shown that for such graphs with \(\lambda > 0\) we have \(n \geq 3(d – \lambda)\) and much has been done to characterize such graphs when equality holds.

Here we show that \(n \geq 3(d – \lambda) + 1\) if \(\lambda > 0\) and \(d\) is odd and contribute to the characterization of the graphs in \({ER}(n, d, \lambda)\), \(\lambda > 0\), \(n = 3(d-\lambda)+1\) by proving some lemmas about the structure of such graphs, and by classifying such graphs that satisfy a strong additional requirement, that the number \(t = t(u,v)\) of edges in the subgraph induced by the \(\lambda\) common neighbors of any two adjacent vertices \(u\) and \(v\) is positive, and independent of \(u\) and \(v\). The result is that there are exactly 4 such graphs: \(K_4\) and 3 strongly regular graphs.

Murtaza Ali1, Gohar Ali1, Muhammad Imran2, A.Q. Baig3, Muhammad Kashif Shafiq3
1Department of Mathematics, FAST-NU, Peshawar, Pakistan
2Center for Advanced Mathematics and Physics, National University of Science and Technology, Sector H-12, Islamabad, Pakistan
3Department of Mathematics, GC University Faisalabad, Paisalabad, Pakistan
Abstract:

If \(G\) is a connected graph, the distance \(d(u, v)\) between two vertices \(u,v \in V(G)\) is the length of a shortest path between them. Let \(W = \{w_1, w_2, \ldots, w_k\}\) be an ordered set of vertices of \(G\) and let \(v\) be a vertex of \(G\). The representation \(r(v|W)\) of \(v\) with respect to \(W\) is the \(k\)-tuple \((d(v, w_1), d(v, w_2), \ldots, d(v, w_k))\). If distinct vertices of \(G\) have distinct representations with respect to \(W\), then \(W\) is called a resolving set or locating set for \(G\). A resolving set of minimum cardinality is called a basis for \(G\) and this cardinality is the metric dimension of \(G\), denoted by \(\dim(G)\).

A family \(\mathcal{G}\) of connected graphs is a family with constant metric dimension if \(\dim(G)\) does not depend upon the choice of \(G\) in \(\mathcal{G}\). In this paper, we are dealing with the study of metric dimension of Möbius ladders. We prove that Möbius ladder \(M_n\) constitute a family of cubic graphs with constant metric dimension and only three vertices suffice to resolve all the vertices of Möbius ladder \(M_n\), except when \(n \equiv 2 \pmod{8}\). It is natural to ask for the characterization of regular graphs with constant metric dimension.

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;