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.

Michael R.Anderson1
1Department of Computer Science Boise State University Boise, ID 83725
Abstract:

A subset \(S\) of an ordered set \(P\) is called a cutset if each maximal chain of \(P\) has nonempty intersection with \(S\); if, in addition, \(S\) is also an antichain, it is an antichain cutset. We consider new characterizations and generalizations of these and related concepts. The main generalization is to make our definitions in graph theoretic terms. For instance, a cutset is a subset \(S\) of the vertex set \(V\) of graph \(G = (V, E)\) which meets each extremal path of \(G\). Our principal results include (1)a characterization, by means of a closure property, of those antichains which are cutsets;(2) a characterization, by means of “forbidden paths” in the graph, of those graphs which can be expressed as the union of antichain cutsets;(3) a simpler proof of an existing result about \(N\)-free orders; and (4) efficient algorithms for many related problems, such as constructing antichain cutsets containing or excluding specified elements or forming a chain.

We include a brief discussion of the use of antichain cutsets in a parsing problem for \(LR(k)\) languages.

S. Arumugam1, R. Kala1
1 Department of Mathematics Manonmaniam Sundaranar University Tirunelveli-627 009 India
Abstract:

The \(n\)-star graph \(S_n\) is a simple graph whose vertex set is the set of all \(n!\) permutations of \(\{1,2,\ldots,n\}\) and two vertices \(\alpha\) and \(\beta\) are adjacent if and only if \(\alpha(1) \neq \beta(1)\) and \(\alpha(i) \neq \beta(i)\) for exactly one \(i\), \(i \neq 1\). In the paper, we determine the values of the domination number \(\gamma\), the independent domination number \(\gamma_i\), the perfect domination number \(\gamma_p\), and we obtain bounds for the total domination number \(\gamma_t\) and the connected domination number \(\gamma_c\) for \(S_n\).

J.H. Dinitz1, D.K. Garnick 2
1 Department of Mathematics University of Vermont Burlington VT 05405
2Department of Computer Science Bowdoin College Brunswick ME 04011
Abstract:

Holey factorizations of \(K_{v_1,v_2,\ldots,v_n}\) are a basic building block in the construction of Room frames. In this paper we give some necessary conditions for the existence of holey factorizations and give a complete enumeration for nonisomorphic sets of orthogonal holey factorizations of several special types.

Y. Roditty1
1 School of Mathematical Sciences Tel-Aviv University Tel-Aviv, Israel
Abstract:

It is shown that the maximal number of pairwise edge disjoint forests, \(F\), of order six in the complete graph \(K_n\), and the minimum number of forests of order six, whose union is \(K_n\) are \(\lfloor\frac{n(n-1)}{2e(F)}\rfloor\) and \(\lceil\frac{n(n-1)}{2e(F)}\rceil\), \(n\geq 6\), respectively and \(e(F)\) is the number of edges of \(F\). (\(\lfloor x\rfloor\) denotes the largest integer not exceeding \(x\) and \(\lceil x\rceil\) the least integer not less than \(x\)). Some generalizations to multiple copies of these forests and of paths are also given.

A.K. Agarwal1
1 Department of Mathematics Birla Institute of Technology and Science Pilani – 333031 (Rajasthan) India
Abstract:

We study four \(q\)-series. Each of which is interpreted combinatorially in three different ways. This results in four new classes of infinite \(3\)-way partition identities. In some particular cases we get even \(4\)-way partition identities. Our every \(3\)-way identity gives us three Roderick-Ramanujan type identities and \(4\)-way identity gives six. Several partition identities due to Gordon \((1965)\), Hirschhorn \((1979)\), Subbarao \((1985)\), Blecksmith et al. \((1985)\), Agarwal \((1988)\) and Subbarao and Agarwal (1988) are obtained as particular cases of our general theorems.

I.Andrew Affleck1, D.R. Farenick1
1 Department of Mathematics and Statistics University of Regina Regina, Saskatchewan S4S 0A2, Canada
Abstract:

Motivated by the spectral radius of a graph, we introduce the notion of numerical radius for multigraphs and directed multigraphs, and it is proved that, unlike the spectral radius, the numerical radius is invariant under changes in the orientation of a directed multigraph. An analogue of the Perron-Frobenius theorem is given for the numerical radius of a matrix with nonnegative entries.

Steve Kirkland1, Norman J.Pullman2
1 Department of Mathematics and Statistics University of Regina Regina, Saskatchewan, Canada S4S 0A2
2 Department of Mathematics and Statistics Queen’s University Kingston, Ontario, Canada K7L 3N6
Abstract:

We consider the polytope \(\mathcal{P}(s)\) of generalized tournament matrices with score vector \(s\). For the case that \(s\) has integer entries, we find the extreme points of \(\mathcal{P}(s)\) and discuss the graph-theoretic structure of its \(1\)-skeleton.

Jitender S.Deogun1, Suseela T.Sarasamma1
1Department of Computer Science & Engineering University of Nebraska-Lincoln Lincoln, Ne, 68588-0115
Abstract:

In this paper, we study the minimum co-operative guards problem, a variation of the art gallery problem. First, we show that the minimum number of co-operative guards required for a \(k\)-spiral polygon is at most \(N_k\), the total number of reflex vertices in the \(k\)-spiral. Then, we classify \(2\)-spirals into seven different types based on their structure. Finally, we present a minimum co-operative guard placement algorithm for general
\(2\)-spirals.

Kirsten Mackenzie-Fleming1, Ken W.Smith1
1Central Michigan University Mt. Pleasant, MI 48859
Abstract:

In this paper, we construct all symmetric \(27, 13, 6\) designs with a fixed-point-free automorphism of order \(3\). There are \(22\) such designs.

Humberto Cardenas1, Rodolfo San Agustin1
1Departamento de Matematicas Facultad de Ciencias, U.N.A.M. Cd. Universitaria, México, D.F. 045100 MEXICO
Abstract:

In this paper, the Desargues Configuration in \({P}^2(k)\), where \(k\) is a field of characteristic \( \neq 2\), is characterized combinatorially en route to define Desargues Block Designs and associate them with certain families of dihedral subgroups of \(S_6\) through the use of the outer automorphisms of \(S_6\).

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;