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.

Hiroaki Yamamoto1
1Department of Information Engineering, Shinshu University, 4-17-1 Wakasato, Nagano-shi, 380-8553 Japan.
Abstract:

This paper introduces an automaton model called a dual position automaton (a dual PA), and then gives a bit-parallel algorithm for generating a dual PA from a regular expression (RE). For any RE \( r \) over an alphabet \( \Sigma \), our translation algorithm generates a dual PA consisting of \( \tilde{m}(\tilde{m} + 1) \) bits in \( O(\tilde{m}\lceil \tilde{m}/w \rceil) \) time and space, where \( w \) is the length of a computer word, \( \tilde{m} = \sum_{a \in \Sigma} m_a \), and \( m_a \) is the number of occurrences of an alphabet symbol \( a \) in \( r \). Furthermore, we give a method to construct a compact DFA representation from a dual PA. This DFA representation requires only \( (\tilde{m} + 1) \sum_{a \in \Sigma} 2^{m_a} \) bits. Finally, we show RE matching algorithms using such a DFA representation.

Wojciech Fraczak1, Wojciech Rytter2,3, Mohammadreza Yazdani4
1Dépt d’informatique, Université du Québec en Outaouais Gatineau PQ, Canada
2Inst. of Informatics, Warsaw University Warsaw, Poland
3Department of Mathematics and Informatics Copernicus University, Torun, Poland
4Systems and Computer Engineering, Carleton University Ottawa ON, Canada
Abstract:

We investigate the problem of efficient representations of intervals of positive integers in TCAM (Ternary Content Addressable Memory). The integers are encoded by binary strings of the same length \( n \) and a TCAM of width \( n \) is a string-oriented representation of arbitrary sets of \( n \)-bit strings in terms of a collection of simple sets, called rules. Each rule is a concatenation (of length \( m \)) of singleton sets (i.e., single digits \( 0 \) and \( 1 \)) or the set \(\{0,1\}\) denoted by \( * \). We consider a family of \( n \)-bit encodings for integers, called dense-tree encodings, which includes the lexicographic encoding (i.e., standard unsigned binary encoding) and the binary reflected Gray encoding. We provide exact bounds (with respect to \( n \)) on the minimal sizes of TCAMs representing a subset of \( n \)-bit strings corresponding to an interval. Some other issues related to the minimal sizes and number of essential rules of TCAMs are also investigated.

Andrei Kelarev1, Joe Ryan2, John Yearwood1
1 P.O. Box 663, Ballarat, Victoria 3353, Australia
2School of Electrical Engineering and Computer Science, University of Newcastle, Callaghan, NSW 2308, Australia
Abstract:

This article develops an efficient combinatorial algorithm based on labeled directed graphs and motivated by applications in data mining for designing multiple classifiers. Our method originates from the standard approach described in [37]. It defines a representation of a multiclass classifier in terms of several binary classifiers. We are using labeled graphs to introduce additional structure on the classifier. Representations of this sort are known to have serious advantages. An important property of these representations is their ability to correct errors of individual binary classifiers and produce correct combined output. For every representation like this we develop a combinatorial algorithm with quadratic running time to compute the largest number of errors of individual binary classifiers which can be corrected by the combined multiple classifier. In addition, we consider the question of optimizing the classifiers of this type and find all optimal representations for these multiple classifiers.

Jaroslav Ivanéo1, Petr Kovai2, Andrea Semanitéova-Feiiovéikova3
1Institute of Mathematics, P. J. Safdrik University, Jesennd 5, 041 54 Koiice, Slovakia,
2Department of Appl. Mathematics, VSB – Technical University of Ostrava, 17. listopadu 15, 708 33 Ostrava-Poruba, Czech Republic,
3Department of Appl. Mathematics, Technical University, Letnd 9, 042 00 Koiice, Slovakia
Abstract:

A graph is called supermagic if it admits a labeling of its edges by consecutive integers such that the sum of the labels of the edges incident with a vertex is independent of the particular vertex. In this paper, we prove that the necessary conditions for an \( r \)-regular supermagic graph of order \( n \) to exist are also sufficient. All proofs are constructive and they are based on finding supermagic labelings of circulant graphs.

K.A. Sugeng1, D. Fronéek2, M. Miller3,4, J. Ryan3, J. Walker2
1Department of Mathematics Faculty of Mathematics and Sciences, University of Indonesia Depok 16424, Indonesia
2Department of Mathematics and Statistics University of Minnesota Duluth Duluth, MN 55812-3000, USA
3School of Electrical Engineering and Computer Science The University of Newcastle NSW 2308, Australia
4Department of Mathematics University of West Bohemia Plzen, Czech Republic
Abstract:

A distance magic labeling of a graph of order \( n \) is a bijection \( f: V \to \{1, 2, \dots, n\} \) with the property that there is a positive integer constant \( k \) such that for any vertex \( x \), \( \sum_{y \in N(x)} f(y) = k \), where \( N(x) \) is the set of vertices adjacent to \( x \). In this paper, we prove new results about the distance magicness of graphs that have minimum degree one or two. Moreover, we construct distance magic labeling for an infinite family of non-regular graphs.

Dafik 1, Mirka Miller2,3, Costas Iliopoulos4, Zdenek Ryjacek3
1Department of Mathematics Education University of Jember, Indonesia
2School of Electrical Engineering and Computer Sciences The University of Newcastle, Australia
3Department of Mathematics University of West Bohemia, Plzei, Czech Republic
4Department of Computer Science Kings College, London, UK
Abstract:

Since Moore digraphs do not exist for \( k \neq 1 \) and \( d \neq 1 \), the problem of finding digraphs of out-degree \( d \geq 2 \), diameter \( k \geq 2 \) and order close to the Moore bound becomes an interesting problem. To prove the non-existence of such digraphs or to assist in their construction (if they exist), we first may wish to establish some properties that such digraphs must possess. In this paper, we consider the diregularity of such digraphs. It is easy to show that any digraph with out-degree at most \( d \geq 2 \), diameter \( k \geq 2 \) and order one or two less than the Moore bound must have all vertices of out-degree \( d \). However, establishing the regularity or otherwise of the in-degree of such a digraph is not easy. In this paper, we prove that all digraphs of defect two are either diregular or almost diregular. Additionally, in the case of defect one, we present a new, simpler, and shorter proof that a digraph of defect one must be diregular, and in the case of defect two and for \( d = 2 \) and \( k \geq 3 \), we present an alternative proof that a digraph of defect two must be diregular.

Mirka Miller1,2, Minh Hoang Nguyen3, Guillermo Pineda-Villavicencio4,5
1Department of Mathematics University of West Bohemia Univerzitni 22, 306 14 Pilsen, Czech Republic
2School of Electrical Engineering and Computer Science The University of Newcastle Callaghan, New South Wales 2308, Australia
3Bricsson Managed Service Global Service Delivery Centre – Ericsson 112-118 Talavera Road, North Ryde New South Wales 2113, Australia
4School of Information Technology and Mathematical Sciences University of Ballarat Mount Helen, Victoria 3353, Australia
5Department of Computer Science University of Oriente Ave. Patricio Lumumba S/N, Santiago de Cuba 90500 Cuba
Abstract:

In 1960, Hoffman and Singleton investigated the existence of Moore graphs of diameter 2 (graphs of maximum degree \(d\) and \(d^2 + 1\) vertices), and found that such graphs exist only for \(d = 2, 3, 7\) and possibly \(57\). In 1980, Erdős et al., using eigenvalue analysis, showed that, with the exception of \(C_4\), there are no graphs of diameter 2, maximum degree \(d\) and \(d^2\) vertices. In this paper, we show that graphs of diameter 2, maximum degree \(d\) and \(d^2 – 1\) vertices do not exist for most values of \(d\) with \(d \geq 6\), and conjecture that they do not exist for any \(d \geq 6\).

Fengying Huang1, Bolian Liu1
1 School of Mathematics, South China Normal University, Guangzhou, 510631, PR. China
Abstract:

In \([5]\), a product summation of ordered partition \(f(n,m,r) = \sum{c_1^r + c_2^r + \cdots + c_m^r }\) was defined, where for two given positive integers \(m,r\), the sum is over all positive integers \(c_1, c_2, \ldots, c_m\) with \(c_1 + c_2 + \cdots + c_m = n\). \(f(n,r) = \sum_{i=1}^n f(n,m,r)\) was also defined. Many results on \(f(n,m,r)\) were found. However, few things have been known about \(f(n,r)\). In this paper, we give more details for \(f(n,r)\), including its two recurrences, its explicit formula via an entry of a matrix and its generating function. Unexpectedly, we obtain some interesting combinatorial identities, too.

Emrah Kilic1, Elif Tan1
1TOBB Universiry oF EcoNoMICS AND TECHNOLOGY MATHEMATICS DEPARTMENT 06560 ANKARA TURKEY
Abstract:

In this paper, we obtain new general results containing sums of binomial and multinomial with coefficients satisfying a general third order linear recursive relations with indices in arithmetic progression.

H. Karami1, Abdollah Khodkar2, S.M. Sheikholeslami3
1DEPARTMENT OF MATHEMATICS SHARIF UNIVERSITY OF TECHNOLOGY P.O. BOX 11365-9415 TEHRAN, IR. IRAN
2DEPARTMENT OF MATHEMATICS UNIVERSITY OF WEST GEORGIA CARROLLTON, GA 30118
3DEPARTMENT OF MATHEMATICS AZARBAIJAN UNIVERSITY OF TARBIAT MOALLEM TABRIZ, IR. IRAN
Abstract:

The closed neighborhood \(N[e]\) of an edge \(e\) in a graph \(G\) is the set consisting of \(e\) and of all edges having a common end-vertex with \(e\). Let \(f\) be a function on \(E(G)\), the edge set of \(G\), into the set \(\{-1,1\}\). If \(\sum_{e \in N[e]} f(x) \geq 1\) for each \(e \in E(G)\), then \(f\) is called a signed edge dominating function of \(G\). The minimum of the values \(\sum_{e \in E(G)} f(e)\), taken over all signed edge dominating functions \(f\) of \(G\), is called the signed edge domination number of \(G\) and is denoted by \(\gamma’_s(G)\). It has been conjectured that \(\gamma’_s(T) \geq 1\) for every tree \(T\). In this paper we prove that this conjecture is true and then classify all trees \(T\) with \(\gamma’_s(T) = 1,2\) and \(3\).

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;