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.

Renying Chang1, Yan Zhu2
1School of Science, Linyi University, Linyi, Shandong, 276005, China
2Department of Mathematics, East China University of Science and Technology, Shanghai, 200237, China
Abstract:

In this paper, we consider the relationship between toughness and the existence of \([a, b]\)-factors with inclusion/exclusion properties. We obtain that if \(t(G) \geq a – 1 + \frac{a – 1}{b}\) with \(b > a > 2\), where \(a, b\) are two integers, then for any two given edges \(e_1\) and \(e_2\), there exist an \([a, b]\)-factor including \(e_1, e_2\); and an \([a, b]\)-factor including \(e_1\) and excluding \(e_2\); as well as an \((a, b)\)-factor excluding \(e_1, e_2\). Furthermore, it is shown that the results are best possible in some sense.

Masaya Tomie1
1Morioka University, Takizawa-mura, Iwate 020-0183, Japan
Abstract:

In this paper, we will determine the NBB bases with respect to a certain standard ordering of atoms of lattices of \(321\)-\(312\)-\(231\)-avoiding permutations and of \(321\)-avoiding permutations with the weak Bruhat order. Using our expressions of NBB bases, we will calculate the Möbius numbers of these lattices. These values are shown to be related to Fibonacci polynomials.

Guang-Jun Zhang1, Dameng Deng2, Jie Zhang3
1 School of Mathematics and Physics, Qingdao University of Science and Technology, Qingdao 266061, P.R. China
2Department of Mathematics, Shanghai Jiao Tong University, Shanghai 200240, P.R. China
3 School of Insurance and Research Institute for FTZ, Shanghai Finance University, Shanghai 201209, P.R. China
Abstract:

Let \(D(G)\) denote the signless Dirichlet spectral radius of the graph \(G\) with at least a pendant vertex, and \(\pi_1\) and \(\pi_2\) be two nonincreasing unicyclic graphic degree sequences with the same frequency of number \(1\). In this paper, the signless Dirichlet spectral radius of connected graphs with a given degree sequence is studied. The results are used to prove a majorization theorem of unicyclic graphs. We prove that if \(\pi_1 \unrhd \pi_2\), then \(D(G_1) \leq D(G_2)\) with equality if and only if \(\pi_1 = \pi_2\), where \(G_1\) and \(G_2\) are the graphs with the largest signless Dirichlet spectral radius among all unicyclic graphs with degree sequences \(\pi_1\) and \(\pi_2\), respectively. Moreover, the graphs with the largest signless Dirichlet spectral radius among all unicyclic graphs with \(k\) pendant vertices are characterized.

G. Sethuraman1, P. Ragukumar1
1Department of Mathematics Anna University Chennai 600 025, India
Abstract:

A function \(f\) is called a graceful labeling of a graph \(G\) with \(m\) edges, if \(f\) is an injective function from \(V(G)\) to \(\{0, 1, 2, \ldots, m\}\) such that when every edge \(uv\) is assigned the edge label \(|f(u) – f(v)|\), then the resulting edge labels are distinct. A graph which admits a graceful labeling is called a graceful graph. A graceful labeling of a graph \(G\) with \(m\) edges is called an \(\alpha\)-labeling if there exists a number \(\alpha\) such that for any edge \(uv\), \(\min\{f(u), f(v)\} \leq \lambda < \max\{f(u), f(v)\}\). The characterization of graceful graphs appears to be a very difficult problem in Graph Theory. In this paper, we prove a basic structural property of graceful graphs, that every tree is a subtree of a graceful graph, an \(\alpha\)-labeled graph, and a graceful tree, and we discuss a related open problem towards settling the popular Graceful Tree Conjecture.

Roberto B.Corcino1,1, Richell O.Celeste2, Ken Joffaniel M.Gonzales2
1NATIONAL RESEARCH COUNCIL OF THE PHILIPPINES – DOST, BicuTan, Tacuic Crry, METRO ManILaA, PHILIPPINES
2INSTITUTE OF MATHEMATICS, UNIVERSITY OF THE PHILIPPINES DILIMAN, 1101 QuE- ZON CITY, PHILIPPINES
Abstract:

We use rook placements to prove Spivey’s Bell number formula and other identities related to it, in particular, some convolution identities involving Stirling numbers and relations involving Bell numbers. To cover as many special cases as possible, we work on the generalized Stirling numbers that arise from the rook model of Goldman and Haglund. An alternative combinatorial interpretation for the Type II generalized \(q\)-Stirling numbers of Remmel and Wachs is also introduced, in which the method used to obtain the earlier identities can be adapted easily.

Qi Wang1, Feixing Gao1, Xianglin Wei1
1College of Science, Hebei University of Science and Technology 050016, China
Abstract:

An \(H\)-triangle is a triangle with corners in the set of vertices of a tiling of \(\mathbb{R}^2\) by regular hexagons of unit edge. Let \(b(\Delta)\) be the number of the boundary \(H\)-points of an \(H\)-triangle \(\Delta\). In [3] we made a conjecture that for any \(H\)-triangle with \(k\) interior \(H\)-points, we have \(b(\Delta) \in \{3, 4, \ldots, 3k+4, 3k+5, 3k+7\}\). In this note, we prove the conjecture is true for \(k = 4\), but not true for \(k = 5\) because \(b(\Delta)\) cannot equal \(15\).

You Gao1, Liyun Zhao1
1College of Science, Civil Aviation University of China, Tianjin 300300, P.R. Chine
Abstract:

In this paper, we study further bounds of constant dimension codes in Grassmannian space \(\mathcal{G}_q(n,k)\). There is increasing interest in subspace codes since they are essential for error-correction in networks. Additionally, there is a connection to the theory over finite fields. By revising the specific construction methods of the constant dimension codes in [1], [2], we improve some bounds on \(q\)-ary constant dimension codes in certain cases.

Joe Chaffee1
1Auburn University 221 Parker Hall Auburn University, Alabama, 36849
Abstract:

In this paper, we use a recent result of Bryant, Horsley, and Pettersson in [1] to provide an alternate and more straightforward proof of results concerning neighborhood graphs in maximum packings of \(2K_n\) with triples, some of which were only recently obtained.

To set the stage, consider any partial triple system \((V,B)\) of \(2K_n\). In this system, the neighborhood of a vertex \(v\) is defined as the subgraph induced by the set \(\{\{x,y\} \mid \{v,x,y\} \in B\}\). This concept plays a crucial role in the results initially obtained by Colbourn and Rosa for \(n \equiv 0,1 \pmod{3}\) and by Chaffee and Rodger for \(n \equiv 2 \pmod{3}\). These results offer a complete characterization of the possible neighborhoods in a maximum packing of \(2K_n\).

In both of these original papers, the authors employed difference methods—a combinatorial technique that often involves selecting pairs of elements from a group and studying their differences—and a pull-up technique, which is used to modify the neighborhood of a vertex. However, despite the effectiveness of these methods, neither approach seems to lend itself easily to deriving the results of the other.

In our paper, we present a more unified and simplified proof that brings both of these results together. By leveraging the recent findings of Bryant, Horsley, and Pettersson, we can bypass the need for the more complex difference methods and pull-up techniques, instead relying on the underlying principles elucidated in their work. This approach not only simplifies the proof process but also provides a clearer and more direct route to understanding the structure of neighborhood graphs in these maximum packings.

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

Compressed sensing (CS) has broken through the traditional Nyquist sampling theory as it is a new technique in signal processing. According to CS theory, compressed sensing makes full use of sparsity so that a sparse signal can be reconstructed from very few measurements. It is well known that the construction of CS matrices is the central problem. In this paper, we provide one kind of deterministic sensing matrix by describing a combinatorial design. Then, we obtain two cases by instantiating the RIP framework with the obtained design, with the latter case being the majorization of the former. Finally, we show that our construction has better properties than DeVore’s construction using polynomials over finite fields.

Su-Dan Wang1, Wuyungaowa 1
1 Department of Mathematics, College of Sciences and Technology, Inner Mongolia University, Hohhot 010021, P. R. China
Abstract:

In this paper, with the help of the residue method, we find some interesting formulas relating residue and ordinary Bell polynomials, \(\hat{B}_{n,k}(x_1,x_2,\ldots)\). Further, we prove identities involving some combinatorial numbers to demonstrate the application of the formulas.

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;