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.

N. Ananchuen1, W. Ananchuen2
1Department of Mathematics, Faculty of Science, Silpakorn University, Nakorn Pathom 73000, Thailand Centre of Excellence in Mathematics, CHE, Si Ayutthaya Rd., Bangkok 10400, Thailand
2School of Liberal Arts, Sukhothai Thammathirat Open University, Pakkred, Nonthaburi 11120, Thailand
Abstract:

Let \( i(G) \) denote the minimum cardinality of an independent dominating set for \( G \). A graph \( G \) is \( k \)-\( i \)-critical if \( i(G) = k \), but \( i(G + uv) < k \) for any pair of non-adjacent vertices \( u \) and \( v \) of \( G \). In this paper, we show that if \( G \) is a connected \( k \)-\( i \)-critical graph, for \( k \geq 3 \), with a cutvertex \( u \), then the number of components of \( G – u \), \( \omega(G – u) \), is at most \( k – 1 \) and there are at most two non-singleton components. Further, if \( \omega(G – u) = k – 1 \), then a characterization of such graphs is given.

Eric Andrews1, Chira Lumduanhom1, Ping Zhang1
1Department of Mathematics Western Michigan University Kalamazoo, MI 49008-5248, USA
Abstract:

For a nontrivial connected graph \( G \), let \( c: V(G) \to \mathbb{Z}_2 \) be a vertex coloring of \( G \) where \( c(v) \neq 0 \) for at least one vertex \( v \) of \( G \). Then the coloring \( c \) induces a new coloring \( \sigma: V(G) \to \mathbb{Z}_2 \) defined by \( \sigma(v) = \sum_{u \in N[v]} c(u) \), where \( N[v] \) is the closed neighborhood of \( v \) and addition is performed in \( \mathbb{Z}_2 \). If \( \sigma(v) = 0 \in \mathbb{Z}_2 \) for every vertex \( v \) in \( G \), then the coloring \( c \) is called a modular monochromatic \( (2, 0) \)-coloring of \( G \). A graph \( G \) having a modular monochromatic \( (2, 0) \)-coloring is a monochromatic \( (2, 0) \)-colorable graph. The minimum number of vertices colored 1 in a modular monochromatic \( (2, 0) \)-coloring of \( G \) is the \( (2, 0) \)-chromatic number \( \chi_{(2,0)}(G) \) of \( G \). A monochromatic \( (2, 0) \)-colorable graph \( G \) of order \( n \) is \( (2, 0) \)-extremal if \( \chi_{(2,0)}(G) = n \). It is known that a tree \( T \) is \( (2,0) \)-extremal if and only if every vertex of \( T \) has odd degree. In this work, we characterize all trees of order \( n \) having \( (2,0) \)-chromatic number \( n-1 \), \( n-2 \), or \( n-3 \), and investigate the structures of connected graphs having large \( (2, 0) \)-chromatic numbers.

Manolis Christodoulakis1, Michalis Christou2, Maxime Crochemore3, Costas S.Illopoulos4
1Department of Electrical and Computer Engineering, University of Cyprus, P.O. Box 20537, 1678 Nicosia, Cyprus
2Department of Informatics, King’s College London, Strand, London WC2R 2LS, UK
3Department of Informatics, King’s College London, Strand, London WC2R 2LS, UK Université Paris-Est, France
4Department of Informatics, King’s College London, Strand, London WC2R 2LS, UK Curtin University, Digital Ecosystems & Business Intelligence Institute, Center for stringology & Applications, Australia
Abstract:

A seed of a word \( x \) is a cover of a superword of \( x \). In this paper, we study the frequency of appearance of seeds in words. We give bounds for the average number of seeds in a word and we investigate the maximum number of distinct seeds that can appear in a word. More precisely, we prove that a word has \( O(n) \) seeds on average and that the maximum number of distinct seeds in a word is between \( \frac{1}{6}(n^2) + o(n^2) \) and \( \frac{1}{4}(n^2) + o(n^2) \), and we reveal some properties of an extremal word for the last case.

Italo J. Dejter1
1University of Puerto Rico Rio Piedras, PR 00936-8377
Abstract:

Self-dual \( 1 \)-configurations \( (n_d)_1 \) have the most \( K_d \)-separated Menger graph \( \mathcal{Y} \) for connected self-dual configurations \( (n_d) \). Such \( \mathcal{Y} \) is most symmetric if it is \( K_d \)-ultrahomogeneous. In this work, such a graph \( \mathcal{Y} \) is presented for \( (n, d) = (102, 4) \) and shown to relate \( n \) copies of the cuboctahedral graph \( L(Q_3) \) to the \( n \) copies of \( K_4 \). These are shown to share each copy of \( K_3 \) with two copies of \( L(Q_3) \). Vertices and copies of \( L(Q_3) \) in \( \mathcal{Y} \) are the points and lines of a self-dual \( (104_{12})_1 \).

Nader Jafari Rad1
1Department of Mathematics Shahrood University of Technology Shahrood, Iran
Abstract:

A Roman dominating function (RDF) on a graph \( G \) is a function \( f: V(G) \to \{0,1,2\} \) satisfying the condition that every vertex \( u \) with \( f(u) = 0 \) is adjacent to at least one vertex \( v \) for which \( f(v) = 2 \). The weight of a Roman dominating function is the value \( f(V(G)) = \sum_{u \in V(G)} f(u) \). The Roman domination number, \( \gamma_{R}(G) \), of \( G \) is the minimum weight of a Roman dominating function on \( G \). An RDF \( f \) is called an independent Roman dominating function if the set of vertices assigned non-zero values is independent. The independent Roman domination number, \( i_R(G) \), of \( G \) is the minimum weight of an independent RDF on \( G \). In this paper, we improve previous bounds on the independent Roman domination number of a graph.

William F. Klostermeyer1, Anders Yeo2
1School of Computing University of North Florida Jacksonville, FL 32224-2669
2Singapore University of Technology and Design Singapore
Abstract:

It has been conjectured that the edge domination number of the \( m \times n \) grid graph, denoted by \( \gamma'(P_m \Box P_n) \), is \( \lceil mn/3 \rceil \) when \( m, n \geq 2 \). Our main result gives support for this conjecture by proving that \( \lceil mn/3 \rceil \leq \gamma'(P_m \Box P_n) \leq mn/3 + n/12 + 1 \), when \( m, n \geq 2 \). We furthermore show that the conjecture holds when \( mn \) is a multiple of three and also when \( m \leq 13 \). Despite this support for the conjecture, our proofs lead us to believe that the conjecture may be false when \( m \) and \( n \) are large enough and \( mn \) is not a multiple of three. We state a new conjecture for the values of \( \gamma'(P_m \Box P_n) \).

Abstract:

In this paper, we present some patterns related to derangements. We find the distribution of the \( \delta’ \)-transformation applied to all unicyclic derangements of order \( n \), and the distribution of the \( \delta’ \)-transformation applied to all derangements of order \( n \), considered in one-line notation. We introduce the notion of a matrix of forbidden pairs that helps us in solving our problems. We also give and prove a theorem related to derangements.

David R.Berman1, Ian N.Wakeling2
1Department of Computer Science University of North Carolina Wilmington Wilmington, NC 28403
2Qi Statistics Ltd. Penhales House, Ruscombe Berkshire RG10 9JN, UK ianQqistatistics.co.uk
Abstract:

We present a new type of tournament design that we call a complete mixed doubles round robin tournament, \( \text{CMDRR}(n, k) \), that generalizes spouse-avoiding mixed doubles round robin tournaments and strict Mitchell mixed doubles round robin tournaments. We show that \( \text{CMDRR}(n, k) \) exist for all allowed values of \( n \) and \( k \) apart from 4 exceptions and 31 possible exceptions. We show that a fully resolvable \( \text{CMDRR}(2n, 0) \) exists for all \( n \geq 5 \) and a fully resolvable \( \text{CMDRR}(3n, n) \) exists for all \( n \geq 5 \) and \( n \) odd. We prove a product theorem for constructing \( \text{CMDRR}(n, k) \).

Iztok Peterin1
1 University of Maribor, FEECS, Smetanova 17, 2000 Maribor, Slovenia
Abstract:

Recently introduced invariants, copoint pre-hull number and convex pre-hull number, are both numerical measures of nonconvexity of a graph \( G \) that is a convex space. We consider in this work both the Cartesian and the strong product of graphs. Exact values in terms of invariants of the factors are presented for the first mentioned product. For the strong product, it is shown that such a result does not exist, but an exact result for trees is proved.

Mark Shattuck1
1Mathematics Department University of Tennessee Knoxville, TN 37996-1320
Abstract:

In this note, we provide bijective proofs of some identities involving the Bell number, as previously requested. Our arguments may be extended to yield a generalization in terms of complete Bell polynomials. We also provide a further interpretation for a related difference of Catalan numbers in terms of the inclusion-exclusion principle.

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;