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.

Jenq-Jong Lin1, Min-Jen Jou 1
1Ling Tung University, Taichung 40852, Taiwan
Abstract:

Let \(G = (V, E)\) be a simple undirected graph. An independent set is a subset \(S \subseteq V\) such that no two vertices in \(S\) are adjacent. A maximal independent set is an independent set that is not a proper subset of any other independent set.
In this paper, we study the problem of determining the fourth largest number of maximal independent sets among all trees and forests. Extremal graphs achieving these values are also given.

K.-W. Hwang1, D.V. Dolgy2, D.S. Kim3, T. Kim4, S.H. Lee5
1DEPARTMENT OF MATHEMATICS, DonG-A UNIVERSITY, BUSAN 604-714, REPUBLIC OF KoREA,
2HANRIMWON, KWANGWOON UNIVERSITY, SEOUL 139-701, Re- PUBLIC OF KoREA,
3 DEPARTMENT OF MaTHEMATICS, SOGANG UNIVERSITY, SEOUL 121- 741, REPUBLIC oF KOREA,
4DEPARTMENT OF MATHEMATICS, KWANGWOON UNIVERSITY, SEOUL 139-701, REPUBLIC OF Korea,
5DIVISION oF GENERAL EDUCATION, KwANGWOON UNIVERSITY, SEOUL 139-701, REPUBLIC oF Korea,
Abstract:

From differential operators and the generating functions of Bernoulli and Euler polynomials, we derive some new theorems on Bernoulli and Euler numbers. By using integral formulae and arithmetical properties relating to the Bernoulli and Euler polynomials, we obtain new identities on Bernoulli and Euler numbers. Finally, we give some new properties on Bernoulli and Euler numbers arising from the \(p\)-adic integrals on \(\mathbb{Z}_p\).

Carmen Hernando1, Mercé Mora2, Ignacio M.Pelayo3, Carlos Seara4
1Departament de Matematica Aplicada I, Universitat Politécnica de Catalunya, Di- agonal 647, 08028 Barcelona, Spain, carmen.
2Departament de Matematica Aplicada II, Universitat Politécnica de Catalunya, Jordi Girona 1, 08034 Barcelona, Spain,
3Departament de Matematica Aplicada III, Universitat Politécnica de Catalunya, Avda del Canal Olimpic s/n, 08860 Castelldefels, Spain,
4Departament de Matematica Aplicada II, Universitat Polittenica de Catalunya, Jordi Girona 1, 08034 Barcelona, Spain,
Abstract:

Let \(u,v\) be two vertices of a connected graph \(G\). The vertex \(v\) is said to be a boundary vertex of \(u\) if no neighbor of \(v\) is further away from \(u\) than \(v\). The boundary of a graph is the set of all its boundary vertices.In this work, we present a number of properties of the boundary of a graph under different points of view:(1) A realization theorem involving different types of boundary vertex sets: extreme set, periphery, contour, and the whole boundary.(2) The contour is a monophonic set.(3) The cardinality of the boundary is an upper bound for both the metric dimension and the determining number of a graph.

Jing Wang1, Lixi Zhang2, Yuanqiu Huang2
1Department of Mathematics and Information Sciences, Changsha University, Changsha 410003, P.R.China,
2College of Mathematics and Computer Science, Hunan Normal University, Changsha, Hunan 410081, P. R. China
Abstract:

Computing the crossing number of a given graph is, in general, an elusive problem, and only the crossing numbers of a few families of graphs are known. Most of them are the Cartesian products of special graphs. This paper determines the crossing number of the Cartesian product of a 6-vertex graph with the star \(S_n\).

F. Maffioli1, N.Zagaglia Salvi2
1Dip. di Elettronica ed Informazione Politecnico di Milano P.zza L. da Vinci, 32 20133 Milano, Italy
2Dip. di Matematica Politecnico di Milano P.zza L. da Vinci 32 20133 Milano, Italy
Abstract:

Let \(M = (E, \mathcal{F})\) be a matroid on a set \(E\), \(B\) one of its bases, and \(M_B\) the base matroid associated to \(B\). In this paper, we determine a characterization of simple binary matroids \(M\) which are not isomorphic to \(M_B\), for every base \(B\) of \(M\). We also extend to matroids some graph notions.

Yanfang Zhang1, Qi Wang2, Feifei Fan3
1College of Mathematics and Statistics Hebei University of Economics and Business Shijiazhuang 050061, P.R, China
2 Graduate School Hebei University of Economics and Business Shijiazhuang 050061, P.R. China
3School of Mathematics and Physics North China Electric Power University Beijing 102206, P.R. China
Abstract:

Let \(H\) and \(G\) be two graphs (or digraphs), where \(G\) is a subgraph of \(H\). A \(G\)-decomposition of \(H\), denoted by \((H,G)\)-GD, is a partition of all the edges (or arcs) of \(H\) into subgraphs (\(G\)-blocks), each of which is isomorphic to \(G\). A large set of \((H, G)\)-GD, denoted by \((H, G)\)-LGD, is a partition of all subgraphs isomorphic to \(G\) of \(H\) into \((H,G)\)-GDs. In this paper, we obtain the existence spectra of \((ADK_{m,n}, P_3^i)\)-LGD, where \(P_3^i\) (\(i = 1,2,3\)) are the three types of oriented \(P_3\).

Fan Li1, Mei Lu1
1 Department of Mathematical Sciences, Tsinghua University, Beijing 100084, China.
Abstract:

Let \(G\) be a graph. The zeroth-order general Randić index of a graph is defined as \(R_\alpha^0(G) = \sum_{v \in V(G)} d(v)^\alpha(v)\), where \(\alpha\) is an arbitrary real number and \(d(v)\) is the degree of the vertex \(v\) in \(G\). In this paper, we give sharp lower and upper bounds for the zeroth-order general Randić index \(R_\alpha^0(G)\) among all unicycle graphs \(G\) with \(n\) vertices and \(k\) pendant vertices.

S. Mirvakili1, B. Davvaz1
1Department of Mathematics, Yazd University, Yazd, Iran
Abstract:

\(n\)-ary hypergroups are a generalization of Dörnte \(n\)-ary groups and a generalization of hypergroups in the sense of Marty. In this paper, we investigate some properties of \(n\)-ary hypergroups and (commutative) fundamental relations. We determine two families \( {P}(H)\) and \( {P}_\sigma(H)\) of subsets of an \(n\)-ary hypergroup \(H\) such that two geometric spaces \((H, {P}(H))\) and \((H, {P}_\sigma(H))\) are strongly transitive. We prove that in every \(n\)-ary hypergroup, the fundamental relation \(\beta\) and the commutative fundamental relation \(\gamma\) are strongly compatible equivalence relations.

Soumen Maity1, Chrisil Arackaparambil2, Kezhasono Meyase3
1Indian Institute of Science Education and Research Pashan, Pune 411021, INDIA
2 Department of Computer Science 6211 Sudikoff Laboratory Dartmouth College Hanover.
3Tata Consultancy Services Limited, Whitefield Bangalore – 560066, Karnataka, India
Abstract:

In this paper, we develop a technique that allows us to obtain new effective constructions of \(1\)-resilient Boolean functions with very good nonlinearity and autocorrelation. Our strategy to construct a \(1\)-resilient function is based on modifying a bent function by toggling some of its output bits. Two natural questions that arise in this context are: “At least how many bits and which bits in the output of a bent function need to be changed to construct a \(1\)-resilient Boolean function?” We present an algorithm that determines a minimum number of bits of a bent function that need to be changed to construct a \(1\)-resilient Boolean function. We also present a technique to compute points whose output in the bent function need to be modified to get a \(1\)-resilient function. In particular, the technique is applied up to \(14\)-variable functions, and we show that the construction provides \(1\)-resilient functions reaching currently best known nonlinearity and achieving very low autocorrelation absolute indicator values, which were not known earlier.

Weiming Weng1, Bolian Liu2
1Department of Computer Science, Guangdong Polytechnic Normal University Guangzhou 510665, P. R. China,
2School of Mathematical Sciences, South China Normal University Guangzhou 510631, P. R. China
Abstract:

The noncrossing matchings with each of their blocks containing a given element are introduced and studied. The enumeration of these matchings is described through a polynomial of several variables, which is proved to satisfy a recursive formula. Results of the enumeration of noncrossing matchings with fixed points are connected with Catalan numbers.

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;