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.

AP Burger1, EJ Cockayne1, WR. Griindlingh2, CM Mynhardt1, JH van Vuuren2, W Winterbach2
1Department of Mathematics and Statistics, University of Victoria, Box 3045, Victo- ria, BC, Canada, V8W 3P4
2epartment of Applied Mathematics, Stellenbosch University, Private Bag X1, Maticland, 7602, Republic of South Africa
Abstract:

The (previously studied) notions of secure domination and of weak Roman domination involve the construction of protection strategies in a simple graph \( G = (V, E) \), by utilizing the minimum number of guards needed at vertices in \( V \) to protect \( G \) in different scenarios (these minimum numbers are called the secure [weak Roman] domination parameters for the graph). In this paper, these notions are generalized in the sense that safe configurations in \( G \) are not merely sought after one move, but rather after each of \( k \geq 1 \) moves. Some general properties of these generalized domination parameters are established, after which the parameter values are found for certain simple graph structures (such as paths, cycles, multipartite graphs, and products of complete graphs, cycles, and paths).

David A. Pike1, Robin J. Swain1
1Department of Mathematics and Statistics Memorial University of Newfoundland St. John’s, Newfoundland, A1C 5S7
Abstract:

We establish necessary and sufficient conditions on \( m \) and \( n \) for \( K_m \times K_n \), the Cartesian product of two complete graphs, to be decomposable into cycles of length \( 8 \). We also provide a complete classification of the leaves that are possible with maximum packings of complete graphs with \( 8 \)-cycles.

George J.Davis1, Gayla S.Domke1, Charles R.Garner ,Jr.1
1Department of Mathematics and Statistics Georgia State University, Atlanta, GA 30303
Abstract:

We consider the rank of the adjacency matrix of the line graph for some classes of regular graphs. In particular, we study the line graphs of cycles, paths, complete graphs, complete bipartite and multipartite graphs, circulant graphs of degrees three and four, and some Cartesian graph products.

Robert C.Brigham1, Gary Chartrand2, Ronald D.Dutton3, Ping Zhang2
1Department of Mathematics University of Central Florida, Orlando, FL 32816
2Department of Mathematics Western Michigan University, Kalamazoo, MI 49008
3Program of Computer Science University of Central Florida, Orlando, FL 32816
Abstract:

For each vertex \( v \) in a graph \( G \), let there be associated a particular type of a subgraph \( F_v \) of \( G \). In this context, the vertex \( v \) is said to dominate \( F_v \). A set \( S \) of vertices of \( G \) is called a full dominating set if every vertex of \( G \) belongs to a subgraph \( F_v \) of \( G \) for some \( v \in S \) and every edge of \( G \) belongs to a subgraph \( F_w \) of \( G \) for some \( w \in S \). The minimum cardinality of a full dominating set of \( G \) is its full domination number \( \gamma_F(G) \). A full dominating set of \( G \) of cardinality \( \gamma_F(G) \) is called a \( \gamma_F \)-set of \( G \).

We study three types of full domination in graphs: full star domination, where \( F_v \) is the maximum star centered at \( v \); full closed domination, where \( F_v \) is the subgraph induced by the closed neighborhood of \( v \); and full open domination, where \( F_v \) is the subgraph induced by the open neighborhood of \( v \).

A subset \( T \) of a \( \gamma_F \)-set \( S \) in a graph \( G \) is a forcing subset for \( S \) if \( S \) is the unique \( \gamma_F \)-set containing \( T \). The forcing full domination number of \( S \) in \( G \) is the minimum cardinality of a forcing subset for \( S \), and the forcing full domination number \( f_{\gamma_F}(G) \) of the graph \( G \) is the minimum forcing full domination number among all \( \gamma_F \)-sets of \( G \).

We present several realization results concerning forcing parameters in full domination.

Darren A.Narayan1
1Department of Mathematics and Statistics Rochester Institute of Technology, Rochester, NY 14623 USA
Abstract:

A minimum feedback arc set of a digraph is a smallest sized set of arcs whose reversal makes the resulting digraph acyclic. Given an acyclic digraph \( D \), we seek a smallest sized tournament \( T \) having \( A(D) \) as a minimum feedback arc set. The reversing number of a digraph \( D \) equals \( |V(T)| – |V(D)| \). We investigate the reversing number of the \( k \)th power of directed Hamiltonian path \( P_n^k \), when \( k \) is fixed and \( n \) tends to infinity. We show that even for small values of \( k \), where \( |A(P_n^k)| \) is much closer to \( |A(P_n)| \) than \( |A(T_n)| \), the opposite relationship holds for the reversing number.

Theresa P.Vaughan1
1Department of Mathematics University of North Carolina at Greensboro Greensboro, NC 27412
Abstract:

A union closed (UC) family \( \mathcal{A} \) is a finite family of sets such that the union of any two sets in \( \mathcal{A} \) is also in \( \mathcal{A} \). Peter Frankl conjectured in 1979 that for every union closed family \( \mathcal{A} \), there exists some \( x \) contained in at least half the members of \( \mathcal{A} \). In this paper, we show that if a UC family \( \mathcal{A} \) fails the conjecture, then no element can appear in more than two of its \( 3 \)-sets, and so the number of \( 3 \)-sets in \( \mathcal{A} \) can be no more than \( \frac{2n}{3} \).

Andrea Hackmann1, Arnfried Kemnitz2
1Diskrete Mathematik Technische Universitat Braunschweig Pockesusstr. 14 D-38106 Braunschweig Germany
2Diskrete Mathematik Technische Universitat Braunschweig Pockelsstr. 14 D-38106 Braunschweig Germany
Abstract:

A \( (k,d) \)-total coloring (\( k,d \in \mathbb{N}, k \geq 2d \)) of a graph \( G \) is an assignment \( c \) of colors \( \{0,1,\ldots,k-1\} \) to the vertices and edges of \( G \) such that \( d \leq |c(x_i) – c(x_j)| \leq k – d \) whenever \( x_i \) and \( x_j \) are two adjacent edges, two adjacent vertices, or an edge incident to a vertex. The circular total chromatic number \( \chi_c”(G) \) is defined by \(\chi_c”(G) = \inf\{k/d : G \text{ has a } (k, d)\text{-total coloring}\}.\) It was proved that \( \chi”(G) – 1 < \chi_c''(G) \leq \chi''(G) \) — where \( \chi''(G) \) is the total chromatic number of \( G \) — with equality for all type-1 graphs and most of the so far considered type-2 graphs. We determine an infinite class of graphs \( G \) such that \( \chi_c''(G) < \chi''(G) \) and we list all graphs of order \( <7 \) with this property.

Chunhui Lai1
1Department of Mathematics, Zhangzhou Teachers College, Zhangzhou, Fujian 363000, P. R. of CHINA
Abstract:

In this paper we consider a variation of the classical Turán-type extremal problems. Let \( S \) be an \( n \)-term graphical sequence, and \( \sigma(S) \) be the sum of the terms in \( S \). Let \( H \) be a graph. The problem is to determine the smallest even \( l \) such that any \( n \)-term graphical sequence \( S \) having \( \sigma(S) \geq l \) has a realization containing \( H \) as a subgraph. Denote this value \( l \) by \( \sigma(H, n) \). We show \(\sigma(C_{2m+1}, n) = m(2n – m – 1) + 2, \quad \text{for } m \geq 3, n \geq 3m;\) \(\sigma(C_{2m+2}, n) = m(2n – m – 1) + 4, \quad \text{for } m \geq 3, n \geq 5m – 2. \)

G. MacGillivray1, K. Seyffarth2
1Department of Mathematics and Statistics University of Victoria Victoria, British Columbia Canada V8W 3P4
2Department of Mathematics and Statistics University of Calgary Calgary, Alberta Canada T2N 1N4
Abstract:

We first prove that if \( G \) is a connected graph with \( n \) vertices and chromatic number \( \chi(G) = k \geq 2 \), then its independent domination number

\[i(G) \leq \left\lceil \frac{(k-1)}{k}n \right\rceil – (k-2).\]

This bound is tight and remains so for planar graphs. We then prove that the independent domination number of a diameter two planar graph on \( n \) vertices is at most \( \left\lceil \frac{n}{3} \right\rceil \).

J. Barat1, Y. Edel2, R. Hill3, L. Storme4
1JANOS BARAT, Bolyai Institute, University of Szeged, Aradi Vértantk tere 1., 6720, Hungary
2Yves EDEL, University of Heidelberg, Mathematisches Institut der Universitit, Im Neuenheimer Feld 288, 69120 Heidelberg, Germany
3Ray HILL, Department of Computer and Mathematical Sciences, University of Salford, Salford M5 4WT, U.K.
4Dept. of Pure Maths and Computer Algebra, Krijgslaan 281, 9000 Gent, Belgium
Abstract:

Hill, Landjev, Jones, Storme, and Barat proved in a previous article on caps in \(PG(5, 3)\) and \(PG(6,3)\) that every 53-cap in \(PG(5, 3)\) is contained in the 56-cap of Hill and that there exist complete 48-caps in \(PG(5,3)\). The first result was used to lower the upper bound on \( m_2(6,3) \) on the size of caps in \(PG(6, 3)\) from 164 to 154. Presently, the known upper bound on \( m_2(6, 3) \) is 148. In this article, using computer searches, we prove that every 49-cap in \(PG(5, 3)\) is contained in a 56-cap, and that every 48-cap, having a 20-hyperplane with at most 8-solids, is also contained in a 56-cap. Computer searches for caps in \(PG(6,3)\) which use the computer results of \(PG(5,3)\) then lower the upper bound on \( m_2(6,3) \) to \( m_2(6,3) \leq 136 \). So now we know that \( 112 \leq m_2(6,3) \leq 136 \).

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;