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.

Raylin Tsot1, Ying Miao1, Eiji Okamotolt1
1Graduate School of Systems and Information Engineering University of Tsukuba Tsukuba 305-8573 Japan
Abstract:

In the Shamir \( (k,n) \) threshold scheme, if one or more of the \( n \) shares are fake, then the secret may not be reconstructed correctly by some sets of \( k \) shares. Supposing that at most \( t \) of the \( n \) shares are fake, Rees et al. (1999) described two algorithms to determine consistent sets of shares so that the secret can be reconstructed correctly from \( k \) shares in any of these consistent sets. In their algorithms, no honest participant can be absent and at least \( n – t \) shares should be pooled during the secret reconstruction phase. In this paper, we propose a modified algorithm for this problem so that the number of participants taking part in the secret reconstruction can be reduced to \( k + 2t \) and the shares need to be pooled can be reduced to, in the best case, \( k + t \), and less than or equal to \( k + 2t \) in the others. Its performance is evaluated. A construction for \( t \)-coverings, which play key roles in these algorithms, is also provided.

Chih-Hung Yen1, Hung-Lin Fu1
1Department of Applied Mathematics National Chiao Tung University Hsinchu 30050, Taiwan R.O.C.
Abstract:

A linear \( k \)-forest is a graph whose components are paths with lengths at most \( k \). The minimum number of linear \( k \)-forests needed to decompose a graph \( G \) is the linear \( k \)-arboricity of \( G \) and is denoted by \( la_k(G) \). In this paper, we study the linear \( 3 \)-arboricity of balanced complete multipartite graphs and we obtain some substantial results.

Y. Edel1, L. Storme2, P. Sziklait3
1University of Heidelberg, Mathematisches Institut der Univer- sitdt, Im Neuenheimer Feld 288, 69120 Heidelberg, Germany
2Ghent University, Dept. of Pure Maths and Computer Al- gebra, Krijgslaan 281, 9000 Gent, Belgium
3Eétvés University, Budapest, Pézmdny P. sétdény 1/c, Bu- dapest, Hungary H-1117
Abstract:

Let \( m_2(N, q) \) denote the size of the largest caps in \( PG(N, q) \) and let \( m_2′(N, q) \) denote the size of the second-largest complete caps in \( PG(N, q) \). Presently, it is known that \( m_2(4, 5) \leq 111 \) and that \( m_2(4, 7) \leq 316 \). Via computer searches for caps in \( PG(4, 5) \) using the result of Abatangelo, Larato, and Korchmáros that \( m_2′(3, 5) = 20 \), we improve the first upper bound to \( m_2(4, 5) \leq 88 \). Computer searches in \( PG(3, 7) \) show that \( m_2′(3, 7) = 32 \), and this latter result then improves the upper bound on \( m_2(4, 7) \) to \( m_2(4, 7) \leq 238 \). We also present the known upper bounds on \( m_2(N, 5) \) and \( m_2(N, 7) \) for \( N > 4 \).

Lorenzo Traldi1
1Department of Mathematics, Lafayette College Easton, PA 18042 USA
Abstract:

A sum of disjoint products (SDP) representation of a Boolean function is useful because it provides readily available information about the function; however, a typical SDP contains many more terms than an equivalent ordinary sum of products. We conjecture the existence of certain particular SDP forms of \( x_1 + \cdots + x_t \), which could be used as patterns in creating relatively economical SDP forms of other Boolean functions.

Nancy Celniker1
1Computer Science California State University Channel Islands Camarillo, CA 93012
Abstract:

In Algebraic Graph Theory, Biggs \([2]\) gives a method for finding the chromatic polynomial of any connected graph by computing the Tutte polynomial. It is used by Biggs \([2]\) to compute the chromatic polynomial of Peterson’s graph. In \(1972\) Sands \([4]\) developed a computer algorithm using matrix operations on the incidence matrix to compute the Tutte Polynomial. In \([1]\), Anthony finds the worst-case time-complexity of computing the Tutte Polynomial. This paper shows a method using group-theoretical properties to compute the Tutte polynomial for Cayley graphs which improves the time-complexity.

Wenqing Dou1,2, Jingzhen Gao2
1Department of Mathematics, Zhejiang University, Hangzhou 310027, P.R. China.
2Department of Mathematics, Shandong Normal University, Jinan 250014, P.R. China.
Abstract:

Let \(N({Z})\) denote the set of all positive integers (integers). The sum graph \(G_S\) of a finite subset \(S \subset N({Z})\) is the graph \((S, E)\) with \(uv \in E\) if and only if \(u+v \in S\). A graph \(G\) is said to be an (integral) sum graph if it is isomorphic to the sum graph of some \(S \subset N({Z})\). The (integral) sum number \(\sigma(G)\) of \(G\) is the smallest number of isolated vertices which when added to \(G\) result in an (integral) sum graph. A mod (integral) sum graph is a sum graph with \(S \subset {Z}_m \setminus \{0\}\) (\(S \subset {Z}_m\)) and all arithmetic performed modulo \(m\) where \(m \geq |S|+1\) (\(m \geq |S|\)). The mod (integral) sum number \(\rho(G)\) of \(G\) is the least number \(\rho\) (\(\psi\)) of isolated vertices \(\rho K_1\) (\(\psi K_1\)) such that \(G \cup \rho K_1\) (\(G \cup \psi K_1\)) is a mod (integral) sum graph. In this paper, the mod (integral) sum numbers of \(K_{r,s}\) and \(K_n – E(K_r)\) are investigated and bounded, and \(n\)-spoked wheel \(W_n\) is shown to be a mod integral sum graph.

Joanna Gorska1, Zdzislaw Skupien1
1Faculty of Applied Mathematics, AGH University of Science and Technology, al. Mickiewicza 30, 30-059 Krakéw, Poland
Abdollah Khodkar1, S.M. Sheikholeslami2
1DEPARTMENT OF MATHEMATICS UNIVERSITY OF WEST GEORGIA CARROLLTON, GA 30118
2DEPARTMENT OF MATHEMATICS AZARBAIJAN UNIVERSITY OF TARBIAT MOALLEM TABRIZ, IRAN
Abstract:

In this paper, the forcing domination numbers of the graphs \(P_n \times P_3\) and \(C_n \times P_3\) are completely determined. This improves the previous results on the forcing domination numbers of \(P_n \times P_2\) and \(C_n \times P_2\).

B.G. Rodrigues1
1School of Mathematical and Statistical Sciences University of KwaZulu-Natal Durban 4041 South Africa
Abstract:

The stabilizers of the minimum-weight codewords of the binary codes obtained from the strongly regular graphs \(T(n)\) defined by the primitive rank-\(3\) action of the alternating groups \(A_n\), where \(n \geq 5\), on \(\Omega^{(2)}\), the set of duads of \(\Omega = \{1,2,\ldots,n\}\) are examined. For a codeword \(w\) of minimum-weight in the binary code \(C\) obtained as stated above, from an adjacency matrix of the triangular graph \(T(n)\) defined by the primitive rank-3 action of the alternating groups \(A_n\) where \(n \geq 5\), on \(\Omega^{(2)}\), the set of duads of \(\Omega = \{1,2,\ldots,n\}\), we determine the stabilizer \(Aut(C)_w\) in \(Aut(C)\) and show that \(Aut(C)_w\) is a maximal subgroup of \(Aut(C)\).

R. Lakshmi1, P. Paulraja1
1Department of Mathematics Annamalai University Annamalainagar-608 002 Tamilnadu, India.
Abstract:

For a graph \(G\), let \(\mathcal{D}(G)\) be the set of strong orientations of \(G\). Define \(\overrightarrow{d}(G) = \min\{d(D) \mid D \in \mathcal{D}(G)\}\) and \(\rho(G) = \overrightarrow{d}(G) – d(G)\), where \(d(D)\) (resp. \(d(G)\)) denotes the diameter of the digraph \(D\) (resp. graph \(G\)). In this paper, we determine the exact value of \(\rho(K_r \times K_s)\) for \(r \leq s\) and \((r,s) \not\in \{(3,5), (3,6), (4,4)\}\), where \(K_r \times K_s\) denotes the tensor product of \(K_r\) and \(K_s\). Using the results obtained here, a known result on \(\rho(G)\), where \(G\) is a regular complete multipartite graph is deduced as corollary.

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;