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.

Dae San Kim1, Taekyun Kim2
1DEPARTMENT OF MATHEMATICS, SOGANG UNIVERSITY, SEOUL 121-742, REPUBLIC OF KOREA
2DEPARTMENT OF MATHEMATICS, KWANGWOON UNIVERSITY, SEOUL 139-701, REPUB- Lic OF KoREA
Abstract:

In this paper, we give some new identities of symmetry for \(q\)-Bernoulli polynomials under the symmetric group of degree \(n\) arising from \(p\)-adic \(q\)-integrals on \(\mathbb{Z}_p\).

Chunxia Shen1, Zhanjun Su1, Liping Yuan1
1College of Mathematics and Information Science, Hebei Normal University, Shijiazhuang, 050024, China.
Abstract:

The covering and packing of a unit square (resp. cube) with squares (resp. cubes) are considered. In \(d\)-dimensional Euclidean space \(\mathbb{E}^d\), the size of a \(d\)-hypercube is given by its side length and the size of a covering is the total size of the \(d\)-hypercubes used to cover the unit hypercube. Denote by \(g_d(n)\) the smallest size of a minimal covering (consisting of \(n\) hypercubes) of a \(d\)-dimensional unit hypercube. In this paper, we consider the problem of covering a unit hypercube with hypercubes in \(\mathbb{E}^d\) for \(d \geq 4\) and determine the tight upper bound and lower bound for \(g_d(n)\).

Khristo N.Boyadzhiev1
1 Department of Mathematics and Statistics, Ohio Northern University, Ada, OH 45810 USA
Abstract:

Given the binomial transforms \(\{b_n\}\) and \(\{c_n\}\) of the sequences \(\{a_n\}\) and \(\{d_n\}\) correspondingly, we compute the binomial transform of the sequence \(\{a_nc_n\}\) in terms of \(\{b_n\}\) and \(\{d_n\}\). In particular, we compute the binomial transform of the sequences \(\{n{n-1}\ldots (n-1-m)a_n\}\) and \(\{a_k x^k\}\) in terms of \(\{b_n\}\). Further applications include new binomial identities with the binomial transforms of the products \(H_n B_n\), \(H_n F_n\), \(H_n L_n(X)\), and \(B_n F_n\), where \(H_n\), \(B_n\), \(F_n\), and \(L_n(X)\) are correspondingly the harmonic numbers, the Bernoulli numbers, the Fibonacci numbers, and the Laguerre polynomials.

Aijun Yu1, Lingye Wang2, Su Wang2, Jinhua Wang2
1Department II, Sugian College Suqian 223800, P. R. China
2School of Sciences, Nantong University Nantong 226007, P. R. China
Abstract:

A kite graph is a graph obtained from a \(3\)-cycle (or triple) by adding a pendent edge to a vertex of the \(3\)-cycle. A kite system of order \(v\) is a pair \((X, \mathcal{B})\), where \(\mathcal{B}\) is an edge-disjoint collection of kite graphs which partitions the edge set of \(K_v\). A kite system of order \(v\) is cyclic if it admits an automorphism of order \(v\), and 1-rotational if it admits an automorphism containing one fixed point and a cycle of length \(v – 1\). In this paper, we show that there exists a cyclic kite system of order \(v\) if and only if \(v \equiv 1 \pmod{8}\), and there exists a \(1\)-rotational kite system of order \(v\) if and only if \(v \equiv 0 \pmod{8}\).

J. Amjadi1, A. Parnian1
1Department of Mathematics Azarbaijan Shahid Madani University Tabriz, I.R. Iran
Abstract:

A \(2\)-rainbow dominating function (2RDF) on a graph \(G = (V, E)\) is a function \(f\) from the vertex set \(V\) to the set of all subsets of the set \(\{1,2\}\) such that for any vertex \(v \in V\) with \(f(v) = \emptyset\) the condition \(\cup_{u \in N(v)} f(u) = \{1, 2\}\) is fulfilled. The weight of a 2RDF \(f\) is the value \(w(f) = \sum_{v \in V(G)} |f(v)|\). The \(2\)-rainbow domination number, denoted by \(\gamma_{r2}(G)\), is the minimum weight of a 2RDF on \(G\). The rainbow bondage number \(b_{r2}(G)\) of a graph \(G\) with maximum degree at least two, is the minimum cardinality of all sets \(E’ \subseteq E(G)\) for which \(\gamma_{r2}(G – E’) > \gamma_{r2}(G)\). Dehgardi, Sheikholeslami, and Volkmann [Discrete Appl. Math. \(174 (2014), 133-139]\) proved that the rainbow bondage number of a planar graph does not exceed 15. In this paper, we improve this result.

Junging Cai1, Yuzhong Zhang1
1School of Management, Qufu Normal University, Rizhao 276826, P.R. China
Abstract:

Let \(id(v)\) denote the implicit degree of a vertex \(v\) in a graph \(G\). We define \(G\) to be implicit claw-heavy if every induced claw of \(G\) has a pair of nonadjacent vertices such that their implicit degree sum is more than or equal to \(|V(G)|\). In this paper, we show that an implicit claw-heavy graph \(G\) is hamiltonian if we impose certain additional conditions on \(G\) involving numbers of common neighbors of some specific pair of nonadjacent vertices, or forbidden induced subgraphs. Our results extend two previous theorems of Chen et al. [B. Chen, 8. Zhang and S. Qiao, Hamilton cycles in claw-heavy graphs, Discrete Math., \(309 (2009) 2015-2019.]\) on the existence of Hamilton cycles in claw-heavy graphs.

Shu-Guang Guo1, Guanglong Yu1
1Department of Mathematics, Yancheng Teachers University, Yancheng, 224002, Jiangsu, P.R. China
Abstract:

A connected graph \(G\) is called a quasi-tree graph, if there exists \(v_0 \in V(G)\) such that \(G – v_0\) is a tree. In this paper, among all triangle-free quasi-tree graphs of order \(n\) with \(G – v_0\) being a tree and \(d(v_0) = d(v_0)\), we determine the maximal and the second maximal signless Laplacian spectral radii together with the corresponding extremal graphs. By an analogous manner, we obtain similar results on the spectral radius of triangle-free quasi-tree graphs.

Wayan Sudarsana1
1 Combinatorial and Applied Mathematics Research Group, Tadulako University Jalan Sukarno-Hatta Km. 9 Tondo, Palu 94118, Indonesia.
Abstract:

The notation \(tK_3\) represents a graph with \(t\) copies of the complete graph \(K_3\). In this note, we discuss the goodness of path \(P_n\) or cycle \(C_n\) with respect to \(tK_3\). Furthermore, this result provides the computation of Ramsey number \(R(G, tK_3)\) when \(G\) is a set of disjoint paths or cycles.

Ruixia Wang1, Shiying Wang1
1School of Mathematical Sciences, Shanxi University, Taiyuan, Shanxi, 030006, China
Abstract:

A \(k\)-king in a digraph \(D\) is a vertex which can reach every other vertex by a directed path of length at most \(k\). Every tournament with no vertex of in-degree zero has at least three \(2\)-kings. In this paper, we present the structure of tournaments which have exactly three \(2\)-kings and prove that every strong tournament, containing at least \(k+2\) vertices with \(k \geq 3\), has at least \(k+1\) \(k\)-kings.

Indra Rajasingh1, Bharati Rajan1, Joice Punitha2, Paul Manuel3
1Department of Mathematics, Loyola college, Chennai 600 034, India
2Department of Mathematics, L. N. Government College, Ponneri, India
3Department of Information Science, Kuwait University, Kuwait 13060
Abstract:

A kernel in a directed graph \(D(V, E)\) is a set \(S\) of vertices of \(D\) such that no two vertices in \(S\) are adjacent and for every vertex \(u\) in \(V \setminus S\) there is a vertex \(v\) in \(S\), such that \((u,v)\) is an arc of \(D\). The definition of kernel implies that the vertices in the kernel form an independent set. If the vertices of the kernel induce an independent set of edges, we obtain a variation of the definition of the kernel, namely a total-kernel. The problem of existence of a kernel is itself an NP-complete problem for a general digraph. But in this paper, we solve the strong total-kernel problem of an oriented Circular Ladder and Möbius Ladder in polynomial time.

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;