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.

Abstract:

In this work we construct many new examples of maximal partial line spreads in \(PG(3, q), q\) even. We do this by giving a suitable representation of \(PG(3, q)\) in the non-singular quadric \(Q(4, q)\) of \(PG(4, q)\). We prove the existence of maximal partial line spreads of sizes \(q^2- q + 1 – \bar{t}\bar{z}\), for every pair \((\bar{t},\bar{z}) \in P_1 \cup P_2\), where \(P_1\) and \(P_2\) are the pair sets \(P_1=\{(t,z)\in\mathbb{Z}\times\mathbb{Z}:\frac{q}{2}-2\leq t\leq q-3,0\leq z\leq\frac{q}{2}-2\}\) and \(P_2=\{(t,z)\in\mathbb{Z}\times\mathbb{Z}:0\leq t\leq \frac{q}{2}-3,0\leq z\leq{q}-1\}\), for \(q \geq 8\).

Xuemei Liu1, Qianyu Fan1,
1College of Science, Civil Aviation University of China, Tianjin, 300300, P.R. China
Abstract:

Low-Density Parity-Check (LDPC) codes have low linear decoding complexity, which is a kind of good codes with excellent performance. Therefore, LDPC codes have great research value. This article is based on vector space over finite field as a theoretical tool by the inclusive relation of vector subspaces to construct protograph, and then constructs the LDPC codes with larger girth based on protograph by the modified progressive edge growth(M-PEG) algorithm, and utilize the related knowledge, such as Anzahl theorem in vector space, determines the code length, code rate and code word number of the LDPC codes. Moreover, the LDPC codes constructed are compared with the existing codes, and the constructed codes are better than some existing ones.

Aleksandar Bikov1, Nedyalko Nenov1
1Faculty of Mathematics and Informatics Sofia University “St. Kliment Ohridski” 5, James Bourchier Blvd. 1164 Sofia, Bulgaria
Abstract:

Let G be a graph and a1,…, as be positive integers. The expression \(G\, \underrightarrow{v}(a_1,…,a_s)\) means that for every coloring of the vertices of G in s colors there exists \(i \in {1,…, s}\) such that there is a monochromatic \(a_i\)-clique of color i. The vertex Folkman numbers \(F_v(a_1, …, a_s; q)\) are defined by the equality:
\[F_v(a_1, …, a_s; q) = min\{|V(G)| : G\, \underrightarrow{v}(a_1,…,a_s)\,\, and K_q \nsubseteq G\}\].
Let \(m = \sum^s_{i=1} (a_i – 1) + 1\). It is easy to see that \(F_v(a_1,…, a_s; q) = m\) if \(q \geq m + 1\). In [11] it is proved that \(F_v(a_1, …, a_s;m) = m +max {a_1,…, a_s}\). We know all the numbers \(F_v(a_1,…, a_s; m – 1)\) when \(max {a_1,..,a_s} ≤ 5\) and none of these numbers is known if \(max{a_1, …, a_s} ≥ 6\). In this paper we present computer algorithms, with the help of which we compute all Folkman numbers \(F_v (a_1, .., a_s;m – 1)\) when \(max{a_1,.., a_s} = 6\). We also prove that \(F_v (2,2,7;8) = 20\) and obtain new bounds on the numbers \(F_v(a_1, …, a_s;m – 1)\) when \(max(a_1, …, a_s) = 7\).

Elliot Laforge1, Ping Zhang1
1Department of Mathematics Western Michigan University Kalamazoo, MI 49008, USA
Abstract:

Let G be an edge-colored connected graph. For vertices u and v of G, a shortest u – v path P in G is a u – u geodesic and P is a proper u – u geodesic if no two adjacent edges in P are colored the same. An edge coloring of a connected graph G is called a proper k-geodesic coloring of G for some positive integer k if for every two nonadjacent vertices u and v of G, there exist at least k internally disjoint proper u – u geodesics in G. The minimum number of the colors required in a proper k-geodesic coloring of G is the strong proper k-connectivity \(spc_k(G)\) of G. Sharp lower bounds are established for the strong proper k-connectivity of complete bipartite graphs \(K_{r,s}\) for all integers k, r, s with 2 ≤ k ≤ r ≤ s and it is shown that the strong proper 2-connectivity of \(K_{r,s}\) is \(spc_2(K_{r,s}) = \left\lceil ^{r-1}\sqrt{s} \right\rceil\) for 2 ≤ r ≤ s.

Yun Feng1, Wensong Lin2
1School of Mathematics and Computer Science, Wuhan Polytechnic University, Wuhan 430023, PR China
2Department of Mathematics, Southeast University, Nanjing 210096, PR China
Abstract:

Suppose \(G = (V, E)\) is a simple graph and \(f: (V\cup E) → {1,2,…, k}\) is a proper total k-coloring of G. Let \(C(u) = {f(u)} \cup {f(uv): uv \in E(G)}\) for each vertex u of G. The coloring f is said to be an adjacent vertex-distinguishing total coloring of G if \(C(u) \neq C(v)\) for every \(uv \in E(G)\). The minimum k for which such a chromatic number of G, and is denoted by \(X_at (G)\). This paper considers three types of cubic graphs: a specific family of cubic hasmiltonian graphs, snares and Generalized Petersen graphs. We prove that these cubic graphs have the same adjacent vertex-distinguishing total chromatic number 5. This is a step towards a problem that whether the bound \(X_at (G) ≤ 6\) is sharp for a graph G with maximum degree three.

Maryam Hajibaba1, Nader Jafari Rad1
1Department of Mathematic, Shahrood University of Technology Shahrood, Iran
Abstract:

An Italian dominating function (IDF) on a graph G = (V,E) is a function f: V → {0,1,2} satisfying the property that for every vertex \(v \in V\), with f(v) = 0, \(\sum_{u \in N_{(v)}}f(u)\geq2\). The weight of an IDF f is the value \(w(f) = f(V) = \sum_{u \in V}f(u)\). The minimum weight of an IDF on a graph G is called the Italian domination number of G, denoted by \(\gamma_I(G)\). For a graph G = (V,E), a double Roman dominating function (or just DRDF) is a function f: V → {0, 1, 2,3} having the property that if \(f(v) = O\) for a vertex \(u\), then \(u\) has at least two neighbors assigned 2 under for one neighbor assigned 3 under f, and if \(f(v) = 1\), then u has at least one neighbor with f(w) ≥ 2. The weight of a DRDF f is the sum \(f(V) = \sum_{u \in V}f(v)\), and the minimum weight of a DRDF on G is the double Roman domination number oi G, denoted by \(\gamma_{dR}(G)\). In this paper we show that \(\gamma_dR(G)/2 ≤ \gamma_I(G) ≤ 2\gamma_dR(G)/3\), and characterize all trees T with \(\gamma_I(T) = 2\gamma_dR (T)/3\).

Shangdi Chen1, Junying Liang1
1College of Science, Civil Aviation University of China, Tianjin, 300300, China
Abstract:

This paper mainly presents a construction of LDPC codes based on symplectic spaces. By two subspaces of type (m, r) to produce a subspace of type (m + 1,r) or (m + 1,r + 1) in \(\mathbb{F}^{2v}\) , we use all subspaces of type (m,r) to mark rows and all subspaces of type (m + 1, r) and (m + 1, r + 1) to mark columns of check matrix H. A construction of LDPC codes has been given based on symplectic spaces. As a special case, we use all subspaces of type (1,0) to mark rows and all subspaces of type (2,0) and (2,1) to mark columns of check matrix \(H_1\), in \(\mathbb{F}^4_q\), the cycles of length 6 of \(H_1\), is further discussed.

Roland Bacher1
1Univ. Grenoble Alpes, Institute Fourier (CNRS UMR 5582), 38000 Grenoble France
Abstract:

We introduce and study a subring SC of \(\mathbb{Z}SL_2 (\mathbb{F}_q)\) obtained by summing elements of \(SL_2 (\mathbb{F}_q)\) according to their support. The ring SC can be used for the construction of several association schemes.

Nan Jial1, Zhao Wang1, Yuzhi Xiao2, Jun Yin2
1School of Mathematics, Beijing Normal University, Xining, Qinghai 810008, China
2School of Computer, Qinghai Normal University, Xining, Qinghai, 810008, China
Abstract:

Randic index and geometric-arithmetic index are two important chemical indices. In this paper, we give the generalized Nordhaus-Gaddum-type inequalities for the two kinds of chemical indices.

Jay Bagga 1, Laure Pauline Fotso 2, Max Junior Pambe Biatch3
1Department of Computer Science Ball State University, Muncie, IN 47306, USA
2Department of Computer Science Faculty of Science, University of Yaounde I, Cameroon
3Department of Computer Science Higher Teachers’ Training College, University of Maroua, Cameroon Faculty of Science, University of Yaounde I, Cameroon
Abstract:

Graceful graphs were first studied by Rosa [17]. A graceful labeling \(f\) of a graph G is a one-to-one map from the set of vertices of \(G\) to the set {0.1,., |E(G)|}. where for edges \(xy\), the induced edge labels |f(x) – f (y)| form the set {1,2,., |E(G)|, with no label repeated. In this paper, we investigate the set of labels taken by the central vertex of the star in the graph \(K_{1.m-1} \oplus C_n\), for each graceful labeling. We also study gracefulness of certain unicyclic graphs where paths \(P_3, P_2\) are pendant at vertices of the cycle. For these unicyclic graphs, the deletion of any edge of the cycle does not result in a caterpillar.

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;