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.

Z. Grodzki1, A. Wrotiski1
1 Department of Applied Mathematics Technical University of Lublin 20-022 Lublin Okopowa 8 Poland
Abstract:

New class \(\mathcal{GBG}_{\overrightarrow{k}}\), of generalized de Bruijn multigraphs of rank \({\overrightarrow{k}}\in{N}^m\), is introduced and briefly characterized. It is shown, among the others, that every multigraph of \(\mathcal{GBG}_{\overrightarrow{k}}\) is connected, Eulerian and Hamiltonian. Moreover, it consists of the subgraphs which are isomorphic with the de Bruijn graphs of rank \(r=\sum_{i=1}^{m} (d_1,\dots,d_m)\in\{0.1\}^m\). Then, the subgraphs of every multigraph of \(\mathcal{GBG}_{\overrightarrow{k}}\), called the \({\overrightarrow{k}}\)-factors, are distinguished.

An algorithm, with small time and space complexities, for the construction of the \({\overrightarrow{k}}\)-factors, in particular the Hamiltonian circuits, is given. At the very end, a few open problems are put forward.

Zhi-Hong Chen1
1 Department of Mathematics/Computer Science Butler University, Indianapolis, IN 46208
Abstract:

A graph \(G\) is collapsible if for every even subset \(R \subseteq V(G)\), there is a spanning connected subgraph of \(G\) whose set of odd degree vertices is \(R\). A graph is supereulerian if it contains a spanning closed trail. It is known that every collapsible graph is supereulerian. A graph \(G\) of order \(n\) is said to satisfy a Fan-type condition if \(\max\{d(u),d(v)\} \geq \frac{n}{(g-2)p} – \epsilon\) for each pair of vertices \(u,v\) at distance two, where \(g \in \{3,4\}\) is the girth of \(G\), and \(p \geq 2\) and \(\epsilon \geq 0\) are fixed numbers. In this paper, we study the Fan-type conditions for collapsible graphs and supereulerian graphs.

Johannes H.Hattingh1, Michael A.Henning2, Jacobus. L.Walters3
1 Department of Mathematics Rand Afrikaans University P. O. Box 524 Auckland Park 2006 South Africa
2Department of Mathematics and Applied Mathematics University of Natal P. O. Box 375 Pietermaritzburg 3200 South Africa.
3Department of Mathematics Rand Afrikaans University P. QO. Box 524 Auckland Park 2006 South Africa
Abstract:

Let \(n \geq 1\) be an integer. The closed \(n\)-neighborhood \(N_n[u]\) of a vertex \(u\) in a graph \(G = (V, E)\) is the set of vertices \(\{v | d(u,v) \leq n\}\). The closed \(n\)-neighborhood of a set \(X\) of vertices, denoted by \(N_n[X]\), is the union of the closed \(n\)-neighborhoods \(N_n[v]\) of vertices \(u \in X\). For \(X \subseteq V(G)\), if \(N_n[x] – N_n[X – \{u\}] = \emptyset\), then \(u\) is said to be \(n\)-redundant in \(X\). A set \(X\) containing no \(n\)-redundant vertex is called \(n\)-irredundant. The \(n\)-irredundance number of \(G\), denoted by \(ir_n(G)\), is the minimum cardinality taken over all maximal \(n\)-irredundant sets of vertices of \(G\). The upper \(n\)-irredundance number of \(G\), denoted by \(IR_n(G)\), is the maximum cardinality taken over all maximal \(n\)-irredundant sets of vertices of \(G\). In this paper we show that the decision problem corresponding to the computation of \(ir_n(G)\) for bipartite graphs \(G\) is NP-complete. We then prove that this also holds for augmented split graphs. These results extend those of Hedetniemi, Laskar, and Pfaff (see [7]) and Laskar and Pfaff (see [8]) for the case \(n = 1\). Lastly, applying the general method described by Bern, Lawler, and Wong (see [1]), we present linear algorithms to compute the \(2\)-irredundance and upper \(2\)-irredundance numbers for trees.

Alan C.H.Ling1, Charles J.Colbourn1
1Combinatorics and Optimization University of Waterloo Waterloo, Ontario
Abstract:

Some properties of finite projective planes are used to obtain some new pairwise balanced designs with consecutive block sizes, by deleting configurations spanned by lines.

liro Honkala1
1 Department of Mathematics University of Turku 20500 Turku 50, Finland
Abstract:

We give a short survey of the best known lower bounds on \(K(n, 1)\), the minimum cardinality of a binary code of length \(n\) and covering radius \(1\). Then we prove new lower bounds on \(K(n, 1)\), e.g.
\[K(n,1)\geq \frac{(5n^2-13n+66)2^n}{(5n^2-13n+46)(n+1)}\] when \(n \equiv 5 \pmod{6}\)
which lead to several numerical improvements.

Sho Ishizuka1
1Department of Mathematics Keio University Yokohama 223-8522 JAPAN
Abstract:

In this paper, we study path-factors and path coverings of a claw-free graph and those of its closure. For a claw-free graph \(G\) and its closure \( cl(G)\), we prove:(1) \(G\) has a path-factor with \(r\) components if and only if \( cl(G)\) has a path-factor with \(r\) components,(2) \(V(G)\) is covered by \(k\) paths in \(G\) if and only if \(V( cl(G))\) is covered by \(k\) paths in \( cl(G)\).

Honequan Yu1, TIANMING Wanc1
1 Institute of Mathematical Sciences Dalian University of Technology Dalian 116024, P.R. CHINA
Abstract:

Let \(G = (V,E)\) be a connected graph. Let \(\gamma_c(G), d_c(G)\) denote the connected domination number, connected domatic number of \(G\), respectively. We prove that \(\gamma_c(G) \leq 3d_c(G^c)\) if the complement of \(G\) is also connected. This confirms a conjecture of Hedetniemi and Laskar (1984), and Sun (1992). Examples are given to show that equality may occur.

Kishore Sinha1, Byron Jones2, Sanpei Kageyama3
1 Department of Statistics Birsa Agricultural University Ranchi – 834006, India
2Department of Medical Statistics De Montfort. University Leicester LE1 9BH, UK
3Department of Mathematics Hiroshima University Higashi-Hiroshima 739-8524, Japan
Abstract:

A method of construction of quasi-multiple balanced incomplete block \((BIB)\) designs from certain group divisible designs is described. This leads to a series of quasi-multiple designs of symmetric BIB designs and new non-isomorphic solutions of designs listed as unknown in the tables of Mathon and Rosa \([{3,4}]\). In the process a series of semi-regular group divisible designs is also obtained.

Huang Yi Ru1, Zhang Ke Mint2
1Department of Mathematics Shanghai University Shanghai 201800 P.R. of China
2 Department of Mathematics Nanjing University Nanjing 210008 P.R. of China
Abstract:

The two-color Ramsey number \(R(k, l)\) is the smallest integer \(p\) such that for any graph \(G\) on \(p\) vertices either \(G\) contains a \(K_k\) or \(\overline{G}\) contains a \(K_l\), where \(\overline{G}\) denotes the complement of \(G\). A new upper bound formula is given for two-color Ramsey numbers. For example, we get \(R(7,9) \leq 1713\),
\(R(8,10) \leq 6090\) etc.

R.G. Stanton1
1Department of Computer Science University of Manitoba Winnipeg, Canada, R3T 2N2

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;