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.

Yanling Shao1, Yubin Gao1
1Department of Mathematics, North University of China Taiyuan, Shanxi 030051, P.R. China
Abstract:

Let \(S\) be a primitive non-powerful signed digraph of order \(n\). The base of a vertex \(u\), denoted by \(l_S(u)\), is the smallest positive integer \(l\) such that there is a pair of SSSD walks of length \(i\) from \(u\) to each vertex \(v \in V(S)\) for any integer \(t \geq l\). We choose to order the vertices of \(S\) in such a way that \(l_S(1) \leq l_S(2) \leq \ldots \leq l_S(n)\), and call \(l_S(k)\) the \(k\)th local base of \(S\) for \(1 \leq k \leq n\). In this work, we use PNSSD to denote the class of all primitive non-powerful signed symmetric digraphs of order \(n\) with at least one loop. Let \(l(k)\) be the largest value of \(l_S(k)\) for \(S \in\) PNSSD, and \(L(k) = \{l_S(k) | S \in PNSSD\}\). For \(n \geq 3\) and \(1 \leq k \leq n-1\), we show \(I(k) = 2n – 1\) and \(L(k) = \{2, 3, \ldots, 2n-1\}\). Further, we characterize all primitive non-powerful signed symmetric digraphs whose \(k\)th local bases attain \(I(k)\).

Xiaoling Zhang1, Heping Zhang1
1School of Mathematics and Statistics, Lanzhou University, Lanzhou, Gansu 730000, P. R. China.
Abstract:

Let \(\mathcal{U}_n(k)\) denote the set of all unicyclic graphs on \(n\) vertices with \(k\) (\(k \geq 1\)) pendant vertices. Let \(\diamondsuit_4^k\) be the graph on \(n\) vertices obtained from \(C_4\) by attaching \(k\) paths of almost equal lengths at the same vertex. In this paper, we prove that \(\diamondsuit_4^k\) is the unique graph with the largest Laplacian spectral radius among all the graphs in \(\mathcal{U}_n(k)\), when \(n \geq k + 4\).

Xiaodong Xu1, Zehui Shao2, Stanistaw P.Radziszowski3
1Guangxi Academy of Sciences Nanning,Guangxi 530007, China
2Department of Control Science and Engineering Huazhong University of Science and Technology Wuhan 430074, China
3Department of Computer Science Rochester Institute of Technology Rochester, NY 14623, USA
Abstract:

For graphs \(G_1, G_2, \ldots, G_m\), the Ramsey number \(R(G_1, G_2, \ldots, G_m)\) is defined to be the smallest integer \(n\) such that any \(m\)-coloring of the edges of the complete graph \(K_n\) must include a monochromatic \(G_i\) in color \(i\), for some \(i\). In this note, we establish several lower and upper bounds for some Ramsey numbers involving quadrilateral \(C_4\), including:\(R(C_4, K_9) \leq 32,
19 \leq R(C_4, C_4, K_4)\leq 22, 31 \leq R(C_4, C_4, C_4, K_4) \leq 50, 52 \leq R(C_4, K_4, K_4) \leq 72, 42 \leq R(C_4, C_4, K_3, K_5) \leq 76, 87\leq R(C_4, C_4, K_4, K_4) \leq 179.\)

Zoran Stanic1
1Faculty of Mathematics University of Belgrade 11 000 Belgrade, Serbia
Abstract:

We consider the problem of determining the \(Q\)-integral graphs, i.e., the graphs with integral signless Laplacian spectrum. First, we determine some infinite series of such graphs having the other two spectra (the usual one and the Laplacian) integral. We also completely determine all \((2, s)\)-semiregular bipartite graphs with integral signless Laplacian spectrum. Finally, we give some results concerning \((3, 4)\) and \((3, 5)\)-semiregular bipartite graphs with the same property.

Daphne Der-Fen Liu 1, Melanie Xie2
1Department of Mathematics California State University, Los Angeles Los Angeles, CA 90032
2Department of Mathematics East Los Angeles College Monterey Park, CA 91754
Abstract:

Let \(G\) be a connected graph. For any two vertices \(u\) and \(v\), let \(d(u, v)\) denote the distance between \(u\) and \(v\) in \(G\). The maximum distance between any pair of vertices is called the diameter of \(G\) and denoted by \(diam(G)\). A radio-labeling (or multi-level distance labeling) with span \(k\) for \(G\) is a function \(f\) that assigns to each vertex a label from the set \(\{0, 1, 2, \ldots, k\}\) such that the following holds for any vertices \(u\) and \(v\): \(|f(u) – f(v)| \geq diam(G) – d(u, v) + 1\). The radio number of \(G\) is the minimum span over all radio-labelings of \(G\). The square of \(G\) is a graph constructed from \(G\) by adding edges between vertices of distance two apart in \(G\). In this article, we completely determine the radio number for the square of any path.

Xiumei Wang1, Zhenkun Zhang2, Yixun Lin1
1Department of Mathematics, Zhengzhou University, Zhengzhou 450052, China
2Office of Academic Affairs, Huanghuai University, Zhumeadian 463000, China
Abstract:

Let \(G\) be a simple connected graph containing a perfect matching. \(G\) is said to be BM-extendable if every matching \(M\) whose induced subgraph is a bipartite graph extends to a perfect matching of \(G\). In this paper, for recognizing BM-extendable graphs, we present some conditions in terms of vertex degrees, including the degree sum conditions, the minimum degree conditions, and the Fan-type condition. Furthermore, we show that all these conditions are best possible in some sense.

Guoping Wang1, Qiongxiang Huang1
1The College of Mathematics and Systems Sciences, Xinjiang University, Urumqi, Xinjiang 830046, P.R.China
Abstract:

Let \(u\) be an odd vertex of a bipartite graph \(B\) and suppose that \(f : V(B) \to \mathbb{N}\) is a function such that \(f(u) = \left\lceil d_B(u)/2 \right\rceil\) and \(f(v) = \left\lceil d_B(v)/2 \right\rceil + 1\) for \(v \in V(B) \setminus u\), where \(d_B(v)\) is the degree of \(v\) in \(B\). In this paper, we prove that \(B\) is \(f\)-choosable.

P. Delgado-Escalante1, H. Galeana-Sanchez1
1INSTITUTO DE MATEMATICAS, U.N.A.M. AREA DE LA INVESTIGACION CIENTIFICA. CIRCUITO EXTERIOR, CIUDAD UNIVERSITARIA. CovoacAN 04510. MExico, D.F. MExico
Abstract:

An arc-colored digraph \(D\) is called alternating whenever \(\{(u, v), (v, w)\} \subseteq A(D)\) implies that the color assigned to \((u, v)\) is different from the color of \((v, w)\). In arc-colored digraphs, a set of vertices \(N\) is said to be a kernel by alternating paths whenever it is an independent and dominating set by alternating directed paths (there is no alternating directed path between every pair of its vertices and for every vertex not in \(N\), there exists an alternating path from it to some vertex in \(N\)). With this new concept, we generalize the concept of kernel in digraphs. In this paper, we prove the existence of alternating kernels in possibly infinite arc-colored digraphs with some coloration properties. We also state a bilateral relation between the property of every induced subdigraph of an arc-colored digraph \(D\) of having a kernel by alternating paths and the property of every induced subdigraph of the non-colored digraph \(D\) of having a kernel, with this we enounce several sufficient conditions for \(D\) to have an alternating kernel. Previous results on kernels are generalized.

Stavros D.Nikolopoulos1, Charis Papadopoulos2
1Department of Computer Science, University of loannina, GR-45110 loannina, Greece;
2Department of Informatics, University of Bergen, N-5020 Bergen, Norway
Abstract:

In this paper, we present a new simple linear-time algorithm for determining the number of spanning trees in the class of complement reducible graphs, also known as cographs. For a cograph \(G\) on \(n\) vertices and \(m\) edges, our algorithm computes the number of spanning trees of \(G\) in \(O(n + m)\) time and space, where the complexity of arithmetic operations is measured under the uniform cost criterion. The algorithm takes advantage of the cotree of the input cograph \(G\) and works by contracting it in a bottom-up fashion until it becomes a single node. Then, the number of spanning trees of \(G\) is computed as the product of a collection of values which are associated with the vertices of \(G\) and are updated during the contraction process. The correctness of our algorithm is established through the Kirchhoff matrix tree theorem, and also relies on structural and algorithmic properties of the class of cographs. We also extend our results to a proper superclass of cographs, namely the \(P_4\)-reducible graphs, and show that the problem of finding the number of spanning trees of a \(P_4\)-reducible graph has a linear-time solution.

Hua Mao1,2,3
1Department of Mathematics, Hebei University, Baoding 071002, China)
2Mathematical Research Center of Hebei Province, Shijiazhuang 050016, China
3Key Lab. in Mach. Learn. and Comp. oney Hebei Prov., Baoding 071002,
Abstract:

This paper extends the concept of paving from finite matroids to matroids of arbitrary cardinality. Afterwards, a paving matroid of arbitrary cardinality is characterized in terms of its collection of closed sets, independent sets, and circuits, respectively.

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;