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.

S.M. Hegde1, Lolita Priya Castelino1
1Department of Mathematical and Computational Sciences, National Institute of Technology Karnataka Surathkal, India. Srinivasnagar – 575025, India.
Abstract:

Let \(D\) be a directed graph with \(n\) vertices and \(m\) edges. A function \(f: V(D) \to \{1, 2, 3, \ldots, k\}\), where \(k \leq n\), is said to be a harmonious coloring of \(D\) if for any two edges \(xy\) and \(uv\) of \(D\), the ordered pair \((f(x), f(y)) \neq (f(u), f(v))\). If the pair \((i, i)\) is not assigned, then \(f\) is said to be a proper harmonious coloring of \(D\). The minimum \(k\) is called the proper harmonious coloring number of \(D\). We investigate the proper harmonious coloring number of various graphs, including unidirectional paths, unicycles, inward-spoken (outward-spoken) wheels, \(n\)-ary trees of different levels, and others.

Guoliang Hao1, Jianguo Qian1
1School of Mathematical Sciences, Xiamen University, Xiamen, Fujian 361005, P.R. China
Abstract:

A vertex subset \(S\) of a digraph \(D = (V, A)\) is called an out-dominating (resp.,in-dominating) set of \(D\) if every vertex in \(V – S\) is adjacent from (resp., to) some vertex in \(S\). The out-domination (resp., in-domination) number of \(D\), denoted by \(\gamma^+(D)\) (resp.,\(\gamma^-(D)\)), is the minimum cardinality of an out-dominating (resp., in-dominating) set of \(D\). In 1999, Chartrand et al. proved that \(\gamma^+(D) + \gamma^-(D) \leq \frac{4n}{3}\) for every digraph \(D\) of order \(n\) with no isolated vertices. In this paper, we determine the values of \(\gamma^+(D) + \gamma^-(D)\) for rooted trees and connected contrafunctional digraphs \(D\), based on which we show that \(\gamma^+(D) + \gamma^-(D) \leq \frac{(2k+2)n}{2k+1}\) for every digraph \(D\) of order \(n\) with minimum out-degree or in-degree no less than \(1\), where \(2k + 1\) is the length of a shortest odd directed cycle in \(D\). Our result partially improves the result of Chartrand et al. In particular, if \(D\) contains no odd directed cycles, then \(\gamma^+(D) + \gamma^-(D) \leq n\).

Teresa Sousa1
1CMA and Departamento de Matematica Faculdade de Ciéncias e Tecnologia Universidade Nova de Lisboa 2829-516 Caparica, Portugal
Abstract:

Given graphs \(G\) and \(H\), an \(H\)-decomposition of \(G\) is a partition of the edge set of \(G\) such that each part is either a single edge or forms a graph isomorphic to \(H\). Let \(\gamma_H(n)\) denote the smallest number \(k\) such that any graph \(G\) of order \(n\) admits an \(H\)-decomposition with at most \(k\) parts. Here, we study the case when \(H = C_7\), the cycle of length \(7\), and prove that \(\gamma_{C_7}(n) = \left\lceil \frac{nZ^2}{4} \right\rceil\) for all \(n \geq 10\).

Houmem Belkhechine1, Imed Boudabbous2, Mohamed Baka Elayech3
1 Faculté des Sciences de Gabés Tunisie
2Institut Préparatoire aux Etudes d’Ingénieurs de Sfax Tunisie
3 Institut Préparatoire aux Etudes d’Ingénieurs de Sfax Tunisie
Abstract:

Given a (directed) graph \(G = (V, A)\), a subset \(X\) of \(V\) is an interval of \(G\) provided that for any \(a, b \in X\) and \(x \in V – X\), \((a, x) \in A\) if and only if \((b, x) \in A\) and \((x, a) \in A\)if and only if \((x, b) \in A\). For example, \(\emptyset\), \(\{x\}\) (\(z \in V\)), and \(V\) are intervals of \(G\), called trivial intervals. A graph, all of whose intervals are trivial, is indecomposable; otherwise, it is decomposable. A vertex \(x\) of an indecomposable graph is critical if \(G – x\) is decomposable. In 1998, J.H. Schmerl and W.T. Trotter characterized the indecomposable graphs, all of whose vertices are critical, called critical graphs. In this article, we characterize the indecomposable graphs that admit a single non-critical vertex, which we term (-1)-critical graphs, answering a question posed by Y. Boudabbous and P. Ille in a recent article studying critical vertices in indecomposable graphs.

S. Akbari1,2, M.N. Iramusa3, M. Jamaali1,2
1 Department of Mathematical Sciences, Sharif University of Technology,Tehran, Iran
2School of Mathematics, Institute for Research in Fundamental Sciences,Tehran, Iran
3Department of Mathematics and Computer Science, Shahid Beheshti University, Tehran, Iran
Abstract:

Let \(G\) be a graph with minimum degree \(\delta(G)\). R.P. Gupta proved two interesting results: 1) A bipartite graph \(G\) has a 5-edge-coloring in which all 6 colors appear at each vertex. 2) If \(G\) is a simple graph with \(\delta(G) > 1\), then \(G\) has a \((\delta – 1)\)-edge-coloring in which all \((\delta – 1)\) colors appear at each vertex. Let \(t\) be a positive integer. In this paper, we extend the first result by showing that for every bipartite graph, there exists a \(t\)-edge coloring such that at each vertex \(v\), \(\min\{t, d(v)\}\) colors appear. Additionally, we demonstrate that if \(G\) is a graph, then the edges of \(G\) can be colored using \(t\) colors, where for each vertex \(v\), the number of colors appearing at \(v\) is at least \(\min\{t, d(v) – 1\}\), generalizing the second result.

Janusz Dybizbariski1, Tomasz Dzido1
1Institute of Informatics, University of Gdarisk Wita Stwosza 57, 80-952 Gdarisk, Poland
Abstract:

The Zarankiewicz number \(z(m, n; s, t)\) is the maximum number of edges in a subgraph of \(K_{m,n}\) that does not contain \(K_{s,t}\) as a subgraph. The \emph{bipartite Ramsey number} \(b(n_1, \ldots, n_k)\) is the least positive integer \(b\) such that any coloring of the edges of \(K_{b,b}\) with \(k\) colors will result in a monochromatic copy of \(K_{n_i,n_i}\) in the \(i\)-th color, for some \(i\), \(1 \leq i \leq k\). If \(n_i = m\) for all \(i\), we denote this number by \(b_k(m)\). In this paper, we obtain the exact values of some Zarankiewicz numbers for quadrilaterals (\(s = t = 2\)), and derive new bounds for diagonal multicolor bipartite Ramsey numbers avoiding quadrilaterals. Specifically, we prove that \(b_4(2) = 19\) and establish new general lower and upper bounds on \(b_k(2)\).

Wei Liao1, Mingchu Li1
1School of Software Technology, Dalian University of Technology, Dalian 116620, China
Abstract:

Given non-negative integers \(r\), \(s\), and \(t\), an \({[r, s, t]-coloring}\) of a graph \(G = (V(G), E(G))\) is a function \(c\) from \(V(G) \cup E(G)\) to the color set \(\{0, 1, \ldots, k-1\}\) such that \(|c(v_i) – c(v_j)| \geq r\) for every two adjacent vertices \(v_i\), \(v_j\), \(|c(e_i) – c(e_j)| \geq s\) for every two adjacent edges \(e_i\), \(e_j\), and \(|c(v_i) – c(e_j)| \geq t\) for all pairs of incident vertices \(v_i\) and edges \(e_j\). The [\(r\), \(s\), \(t\)]-chromatic number \(\chi_{r,s,t}(G)\) is the minimum \(k\) such that \(G\) admits an [\(r\), \(s\), \(t\)]-coloring. In this paper, we examine [\(r\), \(s\), \(t\)]-chromatic numbers of fans for every positive integer \(r\), \(s\), and \(t\).

Antonio Cossidente1, Tim Penttila2
1Dipartimento di Matematica Informatica ed Economia Universita della Basilicata I-85100 Potenza — Italy
2Department of Mathematics Colorado State University Fort Collins CO 80523-1874 USA
Abstract:

A new hemisystem of the generalized quadrangle \(\mathcal{H}(3, 49)\) admit-
ting the linear group \(PSL_2(7)\) has been found.

Xueyi Huang1, Qiongxiang Huang1
1College of Mathematics and Systems Science, Xinjiang University, Urumai, Xinjiang 830046, P.R,China
Abstract:

A graph is termed Laplacian integral if its Laplacian spectrum comprises integers. Let \(\theta(n_1, n_2, \ldots, n_k)\) be a generalized \(\theta\)-graph (see Figure 1). Denote by \(\mathcal{G}_{k-1}\) the set of \((k-1)\)-cyclic graphs, each containing some generalized \(\theta\)-graph \(\theta(n_1, n_2, \ldots, n_{k})\) as its induced subgraph. In this paper, we establish an edge subdividing theorem for Laplacian eigenvalues of a graph (Theorem 2.1), from which we identify all Laplacian integral graphs in the class \(\mathcal{G}_{ k-1}\) (Theorem 3.2).

I W. Sudarsana1,2, H. Assiyatun1, S. Uttunggadewa1, E.T. Baskoro1
1Combinatorial Mathematics Research Division Faculty of Mathematics and Natural Sciences Institut Teknologi Bandung (ITB) Jalan Ganesa 10 Bandung 40132, Indonesia
2Combinatorial and Applied Mathematics Research Group Faculty of Mathematics and Natural Sciences Universitas Tadulako (UNTAD) Jalan Sukarno-Hatta Km. 8 Palu 94118, Indonesia
Abstract:

We determine the Ramsey numbers \(R(S_{2,m} K_{2, q})\) for \(m \in \{3, 4, 5\}\) and \(q \geq 2\). Additionally, we obtain \(R(tS_{2, 3}, sK_{2, 2})\) and \(R(S_{2, 3}, sK_{2, 2})\) for \(s \geq 2\) and \(t \geq 1\). Furthermore, we also establish \(R(sK_2, \mathcal{H})\), where \( \mathcal{H}\) is the union of graphs with each component isomorphic to the connected spanning subgraph of \(K_{s} + C_n\), for \(n \geq 3\) and \(s \geq 1\).

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;