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.

Wen-Chung Huang1, Fu-Chang Ke1
1Department of Mathematics Soochow University, Taipei, Taiwan, Republic of China.
Abstract:

A twofold extended triple system with two idempotent elements, \(TETS(v)\), is a pair \((V, B)\), where \(V\) is a \(v\)-set and \(B\) is a collection of triples, called blocks, of type \(\{x,y,z\}\), \(\{x,x,y\}\) or \(\{x,x,x\}\) such that every pair of elements of \(V\), not necessarily distinct, belongs to exactly two triples and there are only two triples of the type \(\{x, x, x\}\).
This paper shows that an indecomposable \(TETS(v)\) exists which contains exactly \(k\) pairs of repeated blocks if and only if \(v \not\equiv 0 \mod 3\), \(v \geq 5\) and \(0 \leq k \leq b_v – 2\), where \(b_v = \frac{(v + 2)(v + 1)}{6}\).

Teresa W.Haynes1, Michael A.Henning2
1Department of Mathematics East Tennessee State University Johnson City, TN 37614-0002 USA
2School of Mathematics, Statistics, & Information Technology University of KwaZulu-Natal Pietermaritzburg, 3209 South Africa
Abstract:

For a subset of vertices \(S\) in a graph \(G\), if \(v \in S\) and \(w \in V-S\), then the vertex \(w\) is an \(external\; private\; neighbor\; of \;v\) (with respect to \(S\)) if the only neighbor of \(w\) in \(S\) is \(v\). A dominating set \(S\) is a private dominating set if each \(v \in S\) has an external private neighbor. Bollébas and Cockayne (Graph theoretic parameters concerning domination, independence and irredundance. J. Graph Theory \(3 (1979) 241-250)\) showed that every graph without isolated vertices has a minimum dominating set which is also a private dominating set. We define a graph \(G\) to be a \(private\; domination\; graph\) if every minimum dominating set of \(G\) is a private dominating set. We give a constructive characterization of private domination trees.

Dominic Lanphier1, Christopher Miller2, Jason Rosenhouse3, Amber Russell4
1 DEPT. OF MATHEMATICS, WESTERN KENTUCKY UNIV., BOWLING GREEN, KY 42101, USA,
2DEPT. OF MATHEMATICS, FAIRFIELD UNIVERSITY, FAIRFIELD, CT 06824, USA
3DEPT. OF MATH. AND STAT., JAMES MADISON UNIV., HARRISON- BURG, VA 22801, USA,
4DEPT. OF MATH. AND STAT., MISSISSIPPI STATE UNIV., MISS. ST, MS 39762, USA
Abstract:

The Levi graph of a balanced incomplete block design is the bipartite graph whose vertices are the points and blocks of the design, with each block adjacent to those points it contains. We derive upper and lower bounds on the isoperimetric numbers of such graphs, with particular attention to the special cases of finite projective planes and Hadamard designs.

W.C. Shiu1, P.C.B. Lam1, W.K. Tam1
1 Department of Mathematics, Hong Kong Baptist University, 224 Waterloo Road, Kowloon Tong, Hong Kong.
Abstract:

A strong \( k \)-edge-coloring of a graph \( G \) is an assignment of \( k \) colors to the edges of \( G \) in such a way that any two edges meeting at a common vertex, or being adjacent to the same edge of \( G \), are assigned different colors. The strong chromatic index of \( G \) is the smallest number \( k \) for which \( G \) has a strong \( k \)-edge-coloring. A Halin graph is a planar graph consisting of a tree with no vertex of degree two and a cycle connecting the leaves of the tree. A caterpillar is a tree such that the removal of the leaves becomes a path. In this paper, we show that the strong chromatic index of cubic Halin graph is at most 9. That is, every cubic Halin graph is edge-decomposable into at most 9 induced matchings. Also, we study the strong chromatic index of a cubic Halin graph whose characteristic tree is a caterpillar.

Angelika Hellwig1, Lutz Volkmann1
1Lehrstuhl II fiir Mathematik, RWTH Aachen University, 52056 Aachen, Germany
Abstract:

Let \( G \) be a graph of order \( n(G) \), minimum degree \( \delta(G) \), diameter \( d_m(G) \), and let \( \bar{G} \) be the complement of the graph \( G \). A vertex set \( D \) is called a dominating set of \( G \), if each vertex not in \( D \) has at least one neighbor in \( D \). The domination number \( \gamma(G) \) equals the minimum cardinality of a dominating set of \( G \).
In this article we show the inequalities

  1. \( \gamma(G) \leq \left\lfloor \frac{n(G)}{3} \right\rfloor, \text{ if } \delta(G) \geq 7, \)
  2. \( \gamma(G) + \gamma(\bar{G}) \leq \left\lfloor \frac{n(G)}{3} \right\rfloor + 2, \text{ if } \delta(G), \delta(\bar{G}) \geq 7, \text{ and} \)
  3. \( \gamma(G) \leq \left\lceil \frac{n(G)}{4} \right\rceil + 1, \text{ if } \text{dm}(G) = 2. \)

Using the concept of connectivity, we present some related upper bounds for the domination number of graphs with \( \text{dm}(G) = 2 \) and \( \text{dm}(G) = 3 \).

Dalibor Froncek1
1 University of Minnesota Duluth
Abstract:

We prove in this note that certain caterpillars with diameter 4 or 5 do not factorize complete graphs. This together with results by Kovarova [2,3] and Kubesa [5] gives the complete characterization of the caterpillars with diameter 4 that factorize the complete graph \( K_{2n} \). For diameter 5, we again complement results by Kovarova [4] and Kubesa [6-9] to give the complete characterization for certain class of caterpillars.

G. Young1, B Cong2, P. Ng3
1Computer Science Department California State Polytechnic University Pomona, CA, USA
2Computer Science Department California State University, Fullerton Fullerton, CA, USA
3Computer Science Department The Chinese University of Hong Kong Hong Kong
Abstract:

High-performance computers have been in great demand for applications in different areas. The increase in the processing power of processors cannot solely satisfy our demand. Parallel computers are made to overcome this technology limitation. In the last decade, research topics on parallel computer using network-connected multicomputer have been studied extensively. A cost-efficient high-speed multicomputer system was built using the SCSI bus for the network connection, and it has been shown that it can reduce the communication overheads and hence increase the overall performance [5]. In order to build highly scalable multiple computers based on this design, we have to take into consideration of different network topologies. Since SCSI bus [2,3] possesses some unique properties, it induces some interesting properties on the design of the network topology. In this paper, we evaluate the performance of the large scale SCSI networks with linear and mesh structures.

Tarandeep Singh Ahuja1, Amitabha Tripathi2
129 Public Park, Sri Ganganagar ~ 335 001, Rajasthan, India
2Department of Mathematics, Indian Institute of Technology, Hauz Khas, New Delhi — 110 016, India
Abstract:

The degree set of a finite simple graph \( G \) is the set of distinct degrees of vertices of \( G \). For any given finite set \( \mathcal{D} \) of positive integers, we determine all positive integers \( n \) such that \( \mathcal{D} \) is the degree set of some simple graph with \( n \) vertices. This extends a theorem of Kapoor, Polimeni \(\& Wall (1977)\) which shows that the least such \( n \) is \( 1 + \max(\mathcal{D}) \).

Jerzy Wojciechowski1
1DEPARTMENT OF MATHEMATICS, WEST WIRGINIA UNIVERSITY, MORGANTOWN, WV 26506-6310, USA
Abstract:

Every labeling of the vertices of a graph with distinct natural numbers induces a natural labeling of its edges: the label of an edge \( (x,y) \) is the absolute value of the difference of the labels of \( x \) and \( y \). By analogy with graceful labelings, we say that a labeling of the vertices of a graph of order \( n \) is minimally \( k \)-equitable if the vertices are labelled with \( 1, 2, \ldots, n \) and in the induced labeling of its edges every label either occurs exactly \( k \) times or does not occur at all. For \( m \geq 3 \), let \( C_m’ \) (denoted also in the literature by \( C_m \circ K_1 \) and called a corona graph) be a graph with \( 2m \) vertices such that there is a partition of them into sets \( U \) and \( V \) of cardinality \( m \), with the property that \( U \) spans a cycle, \( V \) is independent and the edges joining \( U \) to \( V \) form a matching. Let \( \mathcal{P} \) be the set of all pairs \( (m, k) \) of positive integers such that \( k \) is a proper divisor of \( 2m \) (i.e., a divisor different from \( 2m \) and \( 1 \)) and \( k \) is odd if \( m \) is odd. We show that \( C_m’ \) is minimally \( k \)-equitable if and only if \( (m,k) \in \mathcal{P} \).

Bart De Bruyn1
1Department of Pure Mathematics and Computer Algebra, Ghent University, Galglaan 2, B-9000 Gent, Belgium
Abstract:

We show that the number of points at distance \( i \) from a given point \( x \) in a dense near polygon only depends on \( i \) and not on the point \( x \). We give a number of easy corollaries of this result. Subsequently, we look to the case of dense near polygons \( S \) with an order in which there are two possibilities for \( t_Q \), where \( Q \) is a quad of \( S \), and three possibilities for \( (t_H, v_H) \), where \( H \) is a hex of \( S \). Using the above-mentioned results, we will show that the number of quads of each type through a point is constant. We will also show that the number of hexes of each type through a point is constant if a certain matrix is nonsingular. If each hex is a regular near hexagon, a glued near hexagon or a product near hexagon, then that matrix turns out to be nonsingular in all but one of the eight possible cases. For the exceptional case, however, we provide an example of a near polygon that does not have a constant number of hexes of each type through each point.

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;