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.

Hikoe Enomoto1, Kayo Masuda2, Tomoki Nakamigawa3
1Department of Mathematics, Faculty of Science and Technology Keio University Hiyoshi 3-14-1, Kohoku-ku, Yokohama, 223-8522, Japan
2Infrastructure Information Systems Division Oki Electric Industry Co.,Ltd. Shibaura 4-10-3, Minato-ku, Tokyo 108-8551, Japan
3Department of Mathematics, Faculty of Science and Technology Keio University Hiyoshi 3-14-1, Kohoku-ku, Yokohama 223-8522, Japan
Abstract:

Let \(G\) be a graph. A bijection \(f\) from \(V(G) \cup E(G)\) to \(\{1,2,\ldots,|V(G)| + |E(G)|\}\) is called a magic valuation if \(f(u)+f(v)+f(uv)\) is constant for any edge \(uv\) in \(G\). A magic valuation \(f\) of \(G\) is called a supermagic valuation if \(f(V(G)) = \{1,2,\ldots,|V(G)|\}\). The following theorem is proved.For any graph \(H\), there exists a connected graph \(G\) so that \(G\) contains \(H\) as an induced subgraph and \(G\) has a supermagic valuation.

Pranava K. Jha1
1Faculty of Information Sci. & Tech. Multimedia University 75450 Melaka MALAYSIA
Abstract:

For a graph \(G\), let \(\alpha(G)\) and \(\tau(G)\) denote the independence number of \(G\) and the matching number of \(G\), respectively. Further, let \(G \times H\) denote the direct product (also known as Kronecker product, cardinal product, tensor product, categorical product, and graph conjunction) of graphs \(G\) and \(H\). It is known that \(\alpha(G \times H) \geq \max\{\alpha(G)-|H|, \alpha(H)-|G|\} =: \underline{\alpha}(G \times H)\) and that \(\tau(G \times H) \geq 2.\tau(G).\tau(H) =: \underline{\tau}(G \times H)\). It is shown that an equality/inequality between \(\alpha\) and \(\underline{\alpha}\) is independent of an equality/inequality between \(\tau\) and \(\underline{\tau}\). Further, several results are presented on the existence of a complete matching in each of the two connected components of the direct product of two bipartite graphs. Additional results include an upper bound on \(\alpha(G \times H)\) that is achievable in certain cases.

T. Aaron Gulliver1, Masaaki Harada2
1Department of Electrical and Electronic Engineering, University of Canterbury, Christchurch, New Zealand
2Masaaki Harada is with the Department of Mathematical Sciences, Yamagata University, Yamagata 990, Japan
Abstract:

All distinct double circulant self-dual codes over \(\text{GF}(5)\), with a minimum weight which is highest among all double circulant self-dual codes, have been found for each length \(n \leq 24\). For lengths \(14\), \(16\), and \(20\), these codes are extremal. In this paper, we characterize these extremal double circulant self-dual codes. In particular, a classification of extremal double circulant self-dual codes of length \(14\) is given. We present other double circulant codes which improve the lower bounds on the highest possible minimum weight. A classification of double circulant self-dual codes with parameters \([18, 9, 7]\) and \([24, 12, 9]\) is also given.

Timothy R.Walsh1
1Department of Computer Science, UQAM Post Box 8888, Station A, Montreal, Quebec, Canada, H3C-3P8
Abstract:

We modify the Knuth-Klingsberg Gray code for unrestricted integer compositions to obtain a Gray code for integer compositions each of whose parts is bounded between zero and some positive integer. We also generalize Ehrlich’s method for loop-free sequencing to implement this Gray code in \(O(1)\) worst-case time per composition. The \((n-1)\)-part compositions of \(r\) whose \(i\)th part is bounded by \(n-i\) are the inversion vectors of the permutations of \(\{1,\ldots,n\}\) with \(r\) inversions; we thus obtain a Gray code and a loop-free sequencing algorithm for this set of permutations.

S. Finbow1, B. Hartnell1, Q Li1, K. Schmeisser1
1Saint Mary’s University, Halifax, Canada
Abstract:

The following problem was introduced at a conference in 1995. Fires start at \(F\) nodes of a graph and \(D\) defenders (firefighters) then protect \(D\) nodes not yet on fire. Then the fires spread to any neighbouring unprotected nodes. The fires and the firefighters take turns until the fires can no longer spread. We examine two cases: when the fires erupt at random and when they start at a set of nodes which allows the fires to maximize the damage. In the random situation, for a given number of nodes, we characterize the graphs which minimize the damage when \(D = F = 1\) and we show that the Star is an optimal graph for \(D = 1\) regardless of the value of \(F\). In the latter case, optimal graphs are given whenever \(D\) is at least as large as \(F\).

David Bedford1, Roger M.Whitaker1
1Department of Mathematics Keele University Keele, Staffordshire, ST5 5BG, U.K.
Abstract:

In this paper, we are concerned with the existence of sets of mutually quasi-orthogonal Latin squares (MQOLS). We establish a correspondence between equidistant permutation arrays and MQOLS, which has facilitated a computer search to identify all sets of MQOLS of order \(\leq 6\). In particular, we report that the maximum number of Latin squares of order 6 in a mutually quasi-orthogonal set is 3, and give an example of such a set. We also report on a non-exhaustive computer search for sets of 3 MQOLS of order 10, which, whilst not identifying such a set, has led to the identification of all the resolutions of each \((10, 3, 2)\)-balanced incomplete block design. Improvements are given on the existence results for MQOLS based on groups, and a new construction is given for sets of MQOLS based on groups from sets of mutually orthogonal Latin squares based on groups. We show that this construction yields sets of \(2^n – 1\) MQOLS of order \(2^n\), based on two infinite classes of groups. Finally, we give a new construction for difference matrices from mutually quasi-orthogonal quasi-orthomorphisms, and use this to construct a \((2^n, 2^n; 2)\)-difference matrix over \({C}_2^{n-2} \times {C}_4\).

L.M. PRETORIUS1, C.J. SWANEPOEL2
1Department of Mathematics and Applied Mathematics, University of Pretoria, South Africa
2Department of Quantitative Management, University of South A frica, South Africa
Abstract:

For a countable bounded principal ideal poset \(P\) and a natural number \(r\), there exists a countable bounded principal ideal poset \(P’\) such that for an arbitrary \(r\)-colouring of the points (resp. two-chains) of \(P’\), a monochromatically embedded copy of \(P\) can be found in \(P’\). Moreover, a best possible upper bound for the height of \(P’\) in terms of \(r\) and the height of \(P\) is given.

James B.Phillips1, Peter J.Slater1
1Department of Mathematical Sciences The University of Alabama in Huntsville Huntsville, AL 35899 USA
Abstract:

A vertex set \(S \subseteq V(G)\) is a perfect code or efficient dominating set for a graph \(G\) if each vertex of \(G\) is dominated by \(S\) exactly once. Not every graph has an efficient dominating set, and the efficient domination number \(F(G)\) is the maximum number of vertices one can dominate given that no vertex is dominated more than once. That is, \(F(G)\) is the maximum influence of a packing \(S \subseteq V(G)\). In this paper, we begin the study of \(LF(G)\), the lower efficient domination number of \(G\), which is the minimum number of vertices dominated by a maximal packing. We show that the decision problem associated with deciding if \(LF(G) \leq K\) is an NP-complete problem. The principal result is a characterization of trees \(T\) where \(LF(T) = F(T)\).

J. E. Dunbar1, S. M. Hedetniemi2, S. T. Hedetniemi2, D. P. Jacobs 2, J. Knisely3, R. C. Laskar4, D. F. Rall5
1Dept. Mathematics, Converse College, Spartanburg, SC 29302-0006
2Dept. Computer Science, Clemson University, Clemson, SC 29634-1906
3Dept. Mathematics, Bob Jones University, Greenville, SC 29614
4Dept. Mathematical Sciences, Clemson University, Clemson, SC 29634-1906
5Dept. Mathematics, Furman University, Greenville, SC 29613
Abstract:

We introduce a new class of colorings of graphs and define and study two new graph coloring parameters. A \({coloring}\) of a graph \(G = (V,E)\) is a partition \(\Pi = \{V_1, V_2, \ldots, V_k\}\) of the vertices of \(G\) into independent sets \(V_i\), or \({color\; classes}\). A vertex \(v_i \in V_i\) is called \({colorful}\) if it is adjacent to at least one vertex in every color class \(V_j\), \(i \neq j\). A \({fall \;coloring}\) is a coloring in which every vertex is colorful. If a graph \(G\) has a fall coloring, we define the \({fall\; chromatic\; number}\) (\({fall \;achromatic\; number}\)) of \(G\), denoted \(\chi_f(G)\), (\(\psi_f(G)\)) to equal the minimum (maximum) order of a fall coloring of \(G\), respectively. In this paper, we relate fall colorings to other colorings of graphs and to independent dominating sets in graphs.

Honghui Wan1,2
1National Center for Biotechnology Information Building 38A, 8th Floor National Library of Medicine, National Institutes of Health Bethesda, Maryland 20894, USA
2Department of Mathematics and Computer Science Huazhong (Central China) University of Science and Technology Wuhan, Hubei 430072, China
Abstract:

This paper revises Park’s proof of Shannon inequality and also gives a new simple proof.

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;