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.

Gary Chartrand1, Frank Harary2, Ping Zhang3
1Department of Mathematics and Statistics Western Michigan University Kalamazoo, MI 49008, USA
2Department of Computer Science New Mexico State University Las Cruces, NM 88003, USA
3Department of Mathematics and Statistics Western Michigan University Kalamazoo, MI 49008, USA
Abstract:

For two vertices \(u\) and \(v\) of a connected graph \(G\), the set \(H(u, v)\) consists of all those vertices lying on a \(u-v\) geodesic in \(G\). Given a set \(S\) of vertices of \(G\), the union of all sets \(H(u,v)\) for \(u,v \in S\) is denoted by \(H(S)\). A convex set \(S\) satisfies \(H(S) = S\). The convex hull \([S]\) is the smallest convex set containing \(S\). The hull number \(h(G)\) is the minimum cardinality among the subsets \(S\) of \(V(G)\) with \([S] = V(G)\). When \(H(S) = V(G)\), we call \(S\) a geodetic set. The minimum cardinality of a geodetic set is the geodetic number \(g(G)\). It is shown that every two integers \(a\) and \(b\) with \(2 \leq a \leq b\) are realizable as the hull and geodetic numbers, respectively, of some graph. For every nontrivial connected graph \(G\), we find that \(h(G) = h(G \times K_2)\). A graph \(F\) is a minimum hull subgraph if there exists a graph \(G\) containing \(F\) as induced subgraph such that \(V(F)\) is a minimum hull set for \(G\). Minimum hull subgraphs are characterized.

Daniel S. Studer1, Teresa W. Haynes1, Linda M. Lawson1
1Departinent of Mathematics East, Tennessee State University Johnson City, TN 37614
Abstract:

For a graph \(G = (V, E)\), a set \(S \subseteq V\) is a dominating set if every vertex in \(V – S\) is adjacent to at least one vertex in \(S\). A dominating set \(S \subseteq V\) is a paired-dominating set if the induced subgraph \(\langle S\rangle\) has a perfect matching. We introduce a variant of paired-domination where an additional restriction is placed on the induced subgraph \(\langle S\rangle \). A paired-dominating set \(S\) is an induced-paired dominating set if the edges of the matching are the induced edges of \(\langle S\rangle\), that is, \(\langle S\rangle\) is a set of independent edges. The minimum cardinality of an induced-paired dominating set of \(G\) is the induced-paired domination number \(\gamma_{ip}(G)\). Every graph without isolates has a paired-dominating set, but not all these graphs have an induced-paired dominating set. We show that the decision problem associated with induced-paired domination is NP-complete even when restricted to bipartite graphs and give bounds on \(\gamma_{ip}(G)\). A characterization of those triples \((a, b, c)\) of positive integers \(a \leq b \leq c\) for which a graph has domination number \(a\), paired-domination number \(b\), and induced-paired domination \(c\) is given. In addition, we characterize the cycles and trees that have induced-paired dominating sets.

Hegang Chen1
1Department of Statistics Virginia Polytechnic Institute and State University Blacksburg, VA 24061-0439
Abstract:

Let \(M\) be an \(m\)-subset of \(\mathrm{PG}(k, 2)\), the finite projective geometry of dimension \(k\) over \(\mathrm{GF}(2)\). We would like to know the maximum number of lines that can be contained in \(M\). In this paper, we will not only give the maximum number of lines contained in \(m\)-subsets of \(\mathrm{PG}(k,2)\), but also construct an \(m\)-subset of \(\mathrm{PG}(k,2)\) containing the maximum number of lines.

Olof Heden1
1Department of Mathematics KTH S-10044 Stockholm Sweden
Abstract:

Maximal partial spreads of the sizes \(13, 14, 15, \ldots, 22\) and \(26\) are described. They were found by using a computer. The computer also made a complete search for maximal partial spreads of size less than or equal to \(12\). No such maximal partial spreads were found.

John Ginsburg1, Bill Sands2
1Department of Mathematics and Statistics University of Winnipeg Winnipeg, MB R3B 2E9
2 Department of Mathematics and Statistics University of Calgary Calgary, AB T2N 1N4
Abstract:

Suppose we are given a set of sticks of various integer lengths, and that we have a knife that can cut as many as \(w\) sticks at a time. We wish to cut all the sticks up into pieces of unit length. By what procedure should the sticks be cut so that the total number of steps required is minimum? In this paper we show that the following natural algorithm is optimal: at each stage, choose the \(w\) longest sticks (or all sticks of length \(> 1\) if there are fewer than \(w\) of them) and cut them all in half (or as nearly in half as possible).

A. Raychaudhuri1
1The College of Staten Island Department of Mathematics 2800 Victory Boulevard Staten Island, New York 10314
Abstract:

In this paper, we study intersection assignments of graphs using multiple intervals for each vertex, where each interval is of identical length or in which no interval is properly contained in another. The resulting parameters unit interval number, \(i_u(G)\) and proper interval number, \(i_p(G)\) are shown to be equal for any graph \(G\). Also, \(i_u(G)\) of a triangle-free graph \(G\) with maximum degree \(D\) is \(\left\lceil\frac{D+1}{2}\right\rceil\) if \(G\) is regular and \(\left\lceil\frac{D}{2}\right\rceil\) otherwise.

John Krussel1, Susan Marshall2, Helen Verrall3
1Department of Mathematical Sciences Lewis and Clark College Portland, Oregon 97219
2Equipe Combinatoire, Université de Paris VI 4, Place Jussieu 75252 Paris Cedex
3Department of Mathematics and Statistics Simon Fraser University Burnaby, British Columbia V5A 1S6
Abstract:

In [3] Brualdi and Hollingsworth conjectured that for any one-factorization \(\mathcal{F}\) of \(K_n\), there exists a decomposition of \(K_{2n}\) into spanning trees orthogonal to \(\mathcal{F}\). They also showed that two such spanning trees always existed. We construct three such trees and exhibit an infinite class of complete graphs with an orthogonal decomposition into spanning trees with respect to the one-factorization \(GK_{2n}\).

A.K. Agarwal1
1Centre for Advanced Study in Mathematics Panjab University Chandigarh— 160 014 (india)
Abstract:

Four generalized theorems involving partitions and \((n+1)\)-color partitions are proved combinatorially. Each of these theorems gives us infinitely many partition identities. We obtain new generating functions for \(F\)-partitions and discuss some particular cases which provide elegant Rogers-Ramanujan type identities for \(F\)-partitions.

Jin Ho Kwak1, Sungpyo Hong1, Jaeun Lee2, Moo Young Sohn3
1Combinatorial and Computational Mathematics Center Pohang University of Science and Technology, Pohang 790-784, Korea
2Mathematics, Yeungnam University, Kyongsan 712-749, Korea
3 Mathematics, Changwon National University, Changwon 641-240, Korea
Abstract:

The aim of this paper is to study the isoperimetric numbers of double coverings of a complete graph. It turns out that these numbers are very closely related to the bisection widths of the double coverings and the degrees of unbalance of the signed graphs which derive the double coverings. For example, the bisection width of a double covering of a complete graph \(K_m\) is equal to \(m\) times its isoperimetric number. We determine which numbers can be the isoperimetric numbers of double coverings of a complete graph.

Gary MacGillivray1, Kathryn L.B. Wood1
1Department of Mathematics and Statistics University of Victoria Victoria, British Columbia Canada V8W 3P4
Abstract:

A digraph operation called pushing a set of vertices is studied with respect to tournaments. When a set \(X\) of vertices is pushed, the orientation of every arc with exactly one end in \(X\) is reversed. We discuss the problems of which tournaments can be made transitive and which can be made isomorphic to their converse using this operation.

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;