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.

Ji- Yun Guot1
1Department of Mathematics, College of Information Science and Technology, Hainan University, Haikou 570228, P.R. China.
Abstract:

Let \( A_n = (a_1, a_2, \ldots, a_n) \) and \( B_n = (b_1, b_2, \ldots, b_n) \) be two sequences of nonnegative integers satisfying \( a_1 \geq a_2 \geq \cdots \geq a_n \), \( a_i \leq b_i \) for \( i = 1,2,\ldots,n \), and \( a_i = a_{i+1} \) implies that \( b_i \geq b_{i+1} \) for \( i = 1,2,\ldots,n-1 \). Let \( I \) be a subset of \( \{1,2,\ldots,n\} \) and \( a_i \equiv b_i \pmod{2} \) for each \( i \in I \). \( (A_n; B_n) \) is said to be partial parity graphic with respect to \( I \) if there exists a simple graph \( G \) with vertices \( v_1, v_2, \ldots, v_n \), such that \( a_i \leq d_G(v_i) \leq b_i \) for \( i = 1,2,\ldots,n \) and \( d_G(v_i) \equiv b_i \pmod{2} \) for each \( i \in I \). In this paper, we give a characterization for \( (A_n; B_n) \) to be partial parity graphic. This is a variation of the partial parity \( (g, f) \)-factor theorem due to Kano and Matsuda in degree sequences.

Haixia Guol1,2, Jizhu Nan2
1College of Science, Tianjin University of Technology and Education,Tianjin,300222, P. R. China
2School of Mathematical Sciences, Dalian University of Technology, Dalian,116024, P. R. China
Abstract:

It’s well known that all of the pooling designs constructed are based on a finite set or a finite vector space. In this paper, we construct two families of pooling designs not only based on finite sets (resp. finite vector spaces) but also on partial mappings (resp. partial linear mappings), and discuss their error-tolerance properties.

Matthias Bohm1
1Universitat Rostock Institut fiir Mathematik D-18051 Rostock, Germany
Abstract:

Let \( 2^{[m]} \) be ordered by set inclusion, and let \( \mathcal{B} \subseteq 2^{[m]} \) be an antichain. An antichain \( \mathcal{B} \) is called \( k \)-regular (\( k \in \mathbb{N} \)) if for each \( i \in [m] \) there are exactly \( k \) blocks \( B_1, B_2, \ldots, B_k \in \mathcal{B} \) containing \( i \). An antichain is called flat if there exists a positive integer \( l \) such that \( l \leq |B| \leq l+1 \) for all \( B \in \mathcal{B} \), and we call an antichain maximal if the collection of sets \( \mathcal{B} \cup \{B\} \) is not an antichain for all \( B \notin \mathcal{B} \). We call a maximal \( k \)-regular antichain \( \mathcal{B} \subseteq \binom{[m]}{2} \cup \binom{[m]}{3} \) a \( (k,m) \)-MFRAC. In this paper we analyze \( (k,m) \)-MFRACs in the cases \( m \leq 7 \), \( k = m \), \( k = m-1 \), and \( k = m-2 \). We provide some constructions, give necessary conditions for existence, and mention some open problems.

M. Dziemiaticzuk1
1Institute of Informatics, University of Gdazisk, PL-80-952 Gdarisk, Wita Stwosza 57, Poland
Abstract:

Generalized binomial coefficients are considered. The aim of this paper is to provide a new general combinatorial interpretation of the Lucas-nomial and \( (p,q) \)-nomial coefficients in terms of tiling of \( d \)-dimensional rectangular boxes. The recurrence relation of these numbers is proved in a combinatorial way. To this end, our results are extended to the case of corresponding multi-nomial coefficients.

Shanhai Li 1, Jun Ma2
1School of Mathematics and Quantitative Economics , Shandong University of Finance and Economics, Jinan Shandong 250014 China
2Department of Mathematics, Shanghai JiaoTong University Shanghai 200240 China
Abstract:

In this paper, we determine the necessary and sufficient conditions for the existence of simple incomplete triple systems for all \( \lambda \leq 6 \).

Midori Kobayashi1, Nobuaki Mutoh1, Gisaku Nakamura1
1University of Shizuoka, Shizuoka, 422-8526 Japan
Abstract:

Dudeney’s round table problem asks for a set of Hamilton cycles in \( K_n \), having the property that each \( 2 \)-path in \( K_n \) lies in exactly one of the cycles. In this paper, we show how to construct a solution of Dudeney’s round table problem for even \( n \) from a semi-antipodal Hamilton decomposition of \( K_{n-1} \).

Rao Li1
1Dept. of mathematical sciences University of South Carolina Aiken Aiken, SC 29801
Abstract:

Using the spectral invariants of graphs, we present sufficient conditions for some stable properties of graphs.

Indriati Nurul Hidayah1, Purwanto 1
1Department of Mathematics University of Malang Jalan Semarang 5, Malang, 65145, indonesia
Abstract:

A matching \( M \) in a graph \( G \) is a subset of \( E(G) \) in which no two edges have a vertex in common. A vertex \( V \) is unsaturated by \( M \) if there is no edge of \( M \) incident with \( V \). A matching \( M \) is called a perfect matching if there is no vertex of the graph that is unsaturated by \( M \). Let \( G \) be a \( k \)-edge-connected graph, \( k \geq 1 \), on even \( n \) vertices, with minimum degree \( r \) and maximum degree \( r + e \), \( e \geq 1 \). In this paper, we find a lower bound for \( n \) when \( G \) has no perfect matchings.

Shangdi Chen1, Minjuan Song1
1College of Science, Civil Aviation University of China , Tianjin, 300300
Abstract:

Two kinds of authentication schemes are constructed using singular symplectic geometry over finite fields in this paper. One is an authentication code with arbitration, another is a multi-receiver authentication code. The parameters of two kinds of codes have been computed. Under the assumption that the encoding rules of the transmitter and the receiver are chosen according to a uniform probability distribution, the maximum probabilities of success of different types of deception attacks are also computed.

Zeling Shao1, Yanpei Liu2, Zhiguo Li1
1Department of Mathematics, Hebei University of Technology, Tianjin 300401, China
2Department of Mathematics, Beijing Jiaotong University, Beijing 100044, China
Abstract:

If \( G_1 \) and \( G_2 \) are two graphs, then the edge amalgamation \( G_1 *_e G_2 \) is defined to be the graph obtained by identifying some given edge of \( G_1 \) with some given edge of \( G_2 \). In this paper, it is shown that \( \gamma(G_1 *_e G_2 *_e \ldots *_e G_n) = \lceil \frac{n}{2} \rceil \) where \( G_i \) (\( 1 \leq i \leq n \)) is a critical graph of minimum genus \( 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;