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.

O.B. Özbakır1, E.D. Yıldırım2
1Ece UNIversiry, FACULTY OF SCIENCE, DEPARTMENT OF MATHEMATICS, 35100-IzmiR, TURKEY
2YaSar UNIversiTy, Facutty oF SciENCE AND LETTER, DEPARTMENT OF MATHEMATICS, 35100- Izmir, TURKEY
Abstract:

The aim of our paper is to introduce generalized neighborhood bases and \(gn-T_2\)-spaces. \((\psi, \psi’)\)-continuity, sequentially \((\psi, \psi’)\)-continuity, and \(\psi\)-convergency are investigated on strong generalized first countable spaces, and also two results about \(\psi\)-convergency on \((\psi, \psi’)\)-\(T_2\)-spaces are given.

Mikio Kano1, Aung Kyaw2, Haruhide Matsuda3, Kenta Ozeki4, Akira Saito5, Tomoki Yamashita6
1Department of Computer and Information Sciences Ibaraki University, Hitachi, Ibaraki, 316-8511, Japan
2Department of Mathematics East Yangon University, Yangon, Myanmar
3 Department of Mathematics, Shibaura Institute of Technology, Fukasaku, Minuma-ku, Saitama 337-8570, Japan
4National Institute of Informatics, Hitotsubashi, Chiyoda-ku, Tokyo 101-8430, Japan
5Department of Computer Science and System Analysis Nihon University, Sakurajosui, Setagaya-Ku, Tokyo, 156-8550, Japan
6College of Liberal Arts and Sciences, Kitasato University, Kitasato, Minami-ku, Sagamihara 252-0373, Japan
Abstract:

For a graph \(H\) and an integer \(k \geq 2\), let \(\sigma_k(H)\) denote the minimum degree sum of \(k\) independent vertices of \(H\). We prove that if a connected claw-free graph \(G\) satisfies \(\sigma_{k+1}(G) \geq |G| – k\), then \(G\) has a spanning tree with at most \(k\) leaves. We also show that the bound \(|G| – k\) is sharp and discuss the maximum degree of the required spanning trees.

Murat Sahin1, William Webb2
1DEPARTMENT OF MATHEMATICS, ANKARA UNIVERSITY, FACULTY OF ScIENCcE, 06100, ANKARA, TURKEY.
2DEPARTMENT OF MATHEMATICS, WASHINGTON STATE UNIVERSITY, USA
Abstract:

Define the conditional recurrence sequence \(q_n = aq_{n-1} + bq_{n-2}\) if \(n\) is even, \(q_n = bq_{n-1} + cq_{n-2}\) if \(n\) is odd, where \(q_0 = 0, q_1 = 1\). Then \(q_n\) satisfies a fourth-order recurrence while both \(q_{2n}\) and \(q_{2n+1}\) satisfy a second-order recurrence.

Analogously to a Lucas pseudoprime, we define a composite number \(n\) to be a conditional Lucas pseudoprime (clpsp) if \(n\) divides \(q_{n – (\frac{\Delta}{n})}\), where \(\Delta = a^2 + b^2 + 4ab\) and \((\frac{\Delta}{n})\) denotes the Jacobi symbol. We prove that if \((n, 2ab\Delta) = 1\), then there are infinitely many conditional Lucas pseudoprimes. We also address the question, given an odd composite integer \(n\), for how many pairs \((a, b)\) is \(n\) a conditional Lucas pseudoprime?

Yarong Wu1,2, Jinlong Shu1,3, Yuan Hong1
1Department of Mathematics, East China Normal University, shanghai, 200241, China
2Department of Mathematics, Shanghai Maritime University, Shanghai, 200135, China
3Key Laboratory of Geographic Information Science Ministry of Education, East China Normal University, Shanghai, 200241, China
Abstract:

Let \(G\) be a simple connected graph with \(n\) vertices. Denoted by \(L(G)\) the Laplacian matrix of G. In this paper, we present a sequence of graphs \({G_n}\) with \(\lim\limits_{n\to \infty} \mu_3(G_n) = 1.5550\) by investigating the eigenvalues of the line graphs of \({G_n}\). Moreover, we prove that the limit is the minimal limit point of the third largest Laplacian eigenvalues of graphs.

Rui Li1,2, Baogang Xu1
1School of Mathematical Sciences, Nanjing Normal University 1 Wenyuan Road, Yadong New District, Nanjing, 210046, China
2Normal College, Shihezi University Shihezi, Xinjiang, 832003, China
Abstract:

Two cycles are said to be intersecting if they share at least one common vertex. Let \(\chi'(G)\) and \(\chi”(G)\) denote the list edge chromatic number and list total chromatic number of a graph \(G\), respectively.In this paper, we proved that for any toroidal graph G without intersecting triangles, \(\chi'(G) \leq \Delta(G) +1\) and \(\chi”(G) \leq \Delta(G)+2\) if \(\Delta(G) \geq 6\), and \(\chi'(G) = \Delta(G)\) if \(\Delta(G) \geq 8\).

S. Catada-Ghimire1, H. Roslan1
1School of Mathematical Sciences Universiti Sains Malaysia, 11800 Penang, Malaysia
Abstract:

Graphs which are derived from the same graph are called homeomorphic graphs or simply homeomorphs. A \(K_4\)-homeomorph denoted by
\(K_4(a,,c,d,e, f)\) is obtained by subdividing the six paths of a complete graph with four vertices into \(a, b, c,d, e, f\) number of segments, respectively.In this paper, we shall study the chromaticity of \(K_4(a, b,c,d,e, f)\) with exactly two non-adjacent paths of length two. We also give a sufficient and necessary condition for all the graphs in this family to be chromatically
unique.

Justie Su-Tzu Juan1, Daphne Der-Fen Liu2
1Department of Computer Science and Information Engineering, National Chi Nan University, Nantou 54561, Taiwan.
2Department of Mathematics, California State University, Los Angeles, CA 90032.
Abstract:

Let G be a graph with diameter d. An antipodal labeling of G is a function f that assigns to each vertex a
non-negative integer (label) such that for any two vertices \(u\) and \(v\), \(|f(u) — f(v)| \geq d — d(u,v)\), where \(d(u, v)\)
is the distance between \(u\) and \(v\). The span of an antipodal labeling f is \(\max{f(u) — f(v) : u,v \in V(G)}\). The
antipodal number for G, denoted by an\((G)\), is the minimum span of an antipodal labeling for \(G\). Let \(C_n\) denote
the cycle on n vertices. Chartrand \(et al\). \([4]\) determined the value of an\((C_n)\) for \(n \equiv 2 \pmod 4\). In this article we
obtain the value of an\((C_n)\) for \(n \equiv 1 \pmod 4\), confirming a conjecture in \([4]\). Moreover, we settle the case \(n \equiv 3 \pmod 4\), and improve the known lower bound and give an upper bound for the case \(n \equiv 0 \pmod 4\).

Z. Akca1, A. Bayar1, S. Ekmekci 1, R. Kaya1, J.A. Thas2, H.Van Maldeghem2
1Eskisehir Osmangazi University, Department of Mathematics and Computer Science, 26480, Eskisehir TURKEY
2Department of Mathematics, Ghent University, Krijgslaan 281-S22, 9000 Ghent, BELGIUM
Abstract:

We classify all embeddings \(\theta\) : \(PG(n,\mathbb{K}) \rightarrow PG(d,\mathbb{F})\), with \(d \geq \frac{n(n+1)}{2}\)
and \(\mathbb{K},\mathbb{F}\) skew fields with \(|\mathbb{K}| > 2\), such that \(\theta\) maps the set of points of each line of \(PG(n, \mathbb{K})\) to a set of coplanar points of \(PG(n, \mathbb{F})\), and such that the image of \(\theta\) generates \(PG(d, \mathbb{F})\). It turns out that \(d = \frac{1}{2}n(n + 3)\) and all examples “essentially” arise from a similar “full” embedding \(\theta’\) : \(PG(n, \mathbb{K}) \rightarrow PG(d, \mathbb{K})\) by identifying \(\mathbb{K}\) with subfields of F and embedding \(PG(d, \mathbb{K})\) into \(PG(d, \mathbb{F})\) by several ordinary field extensions. These “full” embeddings satisfy one more property and are classified in \([5]\). They relate to the quadric Verone-sean of \(PG(n, \mathbb{K})\) in \(PG(d, \mathbb{K})\) and its projections from subspaces of \(PG(n, \mathbb{K})\) generated by sub-Veroneseans (the point sets corresponding to subspaces of \(PG(n, \mathbb{K})\), if \(\mathbb{K}\) is commutative, and to a degenerate analogue of this, if \(\mathbb{K}\) is noncommutative.

Chin-Mei Fu1, Nan-Hua Jhuang 1, Yuan-Lung Lin1
1 Department of Mathematics, Tamkang University, Tamsui, Taipei County 25137, Taiwan, R.O.C.
Abstract:

Let \(\mathbb{N}\) be the set of all positive integers, and \(\mathbb{Z}_n = \{0, 1, 2, \ldots, n-1\}\). For any \(h \in \mathbb{N}\), a graph \(G = (V, E)\) is said to be \(\mathbb{Z}_h\)-magic if there exists a labeling \(f: E \rightarrow \mathbb{Z}_h \setminus \{0\}\) such that the induced vertex labeling \(f^+: V \rightarrow \mathbb{Z}_h\), defined by \(f^+(v) = \sum_{uv \in E(v)} f(uv)\), is a constant map. The integer-magic spectrum of \(G\) is the set \(\text{JM}(G) = \{h \in \mathbb{N} \mid G \text{ is } \mathbb{Z}_h\text{-magic}\}\). A sun graph is obtained from attaching a path to each pair of adjacent vertices in an \(n\)-cycle. In this paper, we show that the integer-magic spectra of sun graphs are completely determined.

Bart De Bruyn1
1Ghent University, Department of Pure Mathematics and Computer Algebra, Krijgslaan 281 ($22), B-9000 Gent, Belgium,
Abstract:

Let \(e: \mathcal{S} \rightarrow \Sigma\) be a full polarized projective embedding of a dense near polygon \(\mathcal{S}\), i.e., for every point \(p\) of \(\mathcal{S}\), the set \(H_p\) of points at non-maximal distance from \(p\) is mapped by \(e\) into a hyperplane \(\Pi_p\) of \(\Sigma\). We show that if every line of \(S\) is incident with precisely three points or if \(\mathcal{S}\) satisfies a certain property (P\(_y\)) then the map \(p \mapsto \Pi_p\) defines a full polarized embedding \(e^*\) (the so-called dual embedding of \(e\)) of \(\mathcal{S}\) into a subspace of the dual \(\Sigma^*\) of \(\Sigma\). This generalizes a result of \([6]\) where it was shown that every embedding of a thick dual polar space has a dual embedding. We determine which known dense near polygons satisfy property (P\(_y\)). This allows us to conclude that every full polarized embedding of a known dense near polygon has a dual embedding.

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;