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.

Robert J.Cimikowski1
1Computer Science Department Montana State University Bozeman, Montana 59717-0388 U.S.A.
Abstract:

We examine the problem of finding longest cycles in inner triangulations, that is, \(2\)-connected planar graphs in which all interior faces are triangles. These include the important family of geometric graphs called Delaunay triangulations In particular, we present two efficient heuristics for finding a longest cycle in an inner triangulation. The heuristics operate by considering at each step a local set of faces adjacent to the current cycle as candidates for inclusion in the cycle.

Julie Carrington1, Frank Harary2, Teresa W.Haynes3
1Department of Computer Science University of Central Florida Orlando, FL 32816
2Department of Computer Science New Mexico State University Las Cruces, NM 88003
3Department of Computer Science East Tennessee State University Johnson City, TN 37601
Abstract:

A dominating set in a graph \(G\) is a set \(D\) of nodes such that every node of \(G\) is either in \(D\) or is adjacent to some node in \(D\). The domination number \(\alpha(G)\) is the minimum size of a dominating set. The purpose of this paper is to explore the changing or unchanging of \(\alpha(G)\) when either a node is deleted, or an edge is added or deleted.

William E.Cherowitzo1
1Department of Mathematics University of Colorado at Denver 1200 Larimer Street Denver, CO 80217-3364 (USA)
Abstract:

The translation planes of order 16 have been classified by Dempwolff and Reifart \([4]\). Using this classification, and in particular the spreads given in that paper, we have conducted a complete computer search for the hyperovals (18-arcs) in each of these planes. With few exceptions, the hyperovals obtained are hyperbolic (having two points on the special line at infinity) and are of a type we call translation hyperovals. The only exceptions occur in the plane over the semifield with kernel \({GF}(2)\). In this plane there also appear a class of elliptic (having no points on the special line at infinity) hyperovals and two classes of hyperbolic hyperovals which are not translation hyperovals. The automorphism groups of the hyperovals are also determined.

Kathie Cameron1
1Department of Mathematics Wilfrid Laurier University Waterloo, Ontario N2L 3C5 Canada
Abstract:

The problem we consider is: Given a complete multipartite graph \(G\) with integral weights on the edges, and given an integer \(m\), find a clique \(C\) in \(G\) such that the weight-sum of the edges of \(C\) is greater than or equal to \(m\). We prove that where \(G\) has \(k\) parts, each with at most two nodes, the edge-weights are \(0-1\), and \(m = \binom{k}{2}\), this problem is equivalent to \(2\)-conjunctive normal form satisfiability, and hence is polynomially solvable. However, if either each part has at most three nodes or \(m\) is arbitrary, the problem is NP-complete. We also show that a related problem which is equivalent to a \(0-1\) weighted version of \(2\)-CNF satisfiability is NP-complete.

The maximum edge-weighted clique problem in complete multipartite graphs arises in transit scheduling, where it is called the schedule synchronization problem.

R. Wei1
1Department of Mathematics Suzhou University Suzhou 215006, China (P.R.C.)
Geoffrey Exoo1
1Indiana State University Terre Haute, IN U.S.A.
Abstract:

We describe an algorithm which combines a discrete optimization heuristic with the construction due to Ringel and Sachs (independently) for self-complementary graphs. The algorithm is applied to some problems from Generalized Ramsey Theory.

Marko Razpet 1
1Institute of Mathematics, Physics and Mechanics University of Ljubljana Jadranska 19 61000 Ljubljana, YUGOSLAVIA
Abstract:

For all nonnegative integers \(i,j\), let \(q(i, j)\) denote the number of all lattice paths in the plane from \((0,0)\) to \((i, j)\) with steps \((1,0)\), \((0,1)\), and \((1,1)\). In this paper, it is proved that

\[q(i_{n}p^{n}+…+i_0,j_np^n+…+j_0)\equiv(i_n,j_n)…q(i_0,j_0) \pmod{p}\]

where \(p\) is an odd prime and \(0 \leq i_k < p\), \(0 \leq j_k < p\). This relation implies a remarkable pattern to the divisibility of the array of numbers \(q(i, j)\).

P.D. Chawathe1, N.A. Joshi2
1Center of Advanced Study in Mathematics University of Bombay Vidyanagari, Bombay
2Department of Mathematics D.G. Ruparel College Mahim, Bombay INDIA
Abstract:

Bauer and Tindell defined the graph invariant \(\wedge(G)\), for graphs \(G\) other than paths and the star \(K_{1,3}\), to be the least \(n\) for which \(G\) embeds in the \(n\)th iterated line graph of \(G\). They also proposed the problem of determining \(\wedge(T)\) for all trees \(T\). In this note, we completely solve this problem by showing that \(\wedge(T) = 3\) for any proper homeomorph \(T\) of \(K_{1,3}\) and that \(\wedge(T) = 2\) for all trees \(T\) which are neither paths nor homeomorphs of \(K_{1,3}\).

D.R. Breach 1, A.R. Thompson2
1Department of Mathematics University of Canterbury Christchurch, New Zealand
2 Computer Services Centre University of Canterbury Christchurch, New Zealand
Abstract:

In a previous paper, all non-isomorphic decomposable \(3-(12,6,4)\) designs without repeated blocks were determined. These results are extended here by allowing repeated blocks. Under this condition, there are \(26\) non-isomorphic decomposable \(3-(12,6,4)\) designs, of which \(14\) have repeated blocks. Key blocks and point permutations for models of these designs are given, along with descriptions of their automorphism groups.

Karen L. Collins1, Mark Hovey 2
1Department of Mathematics Wesleyan University Middletown,CT 06457
2Department of Mathematics MIT Cambridge,MA 02139
Abstract:

We extend the definition of edge-cordial graphs due to Ng and Lee for graphs on \(4k\), \(4k+1\), and \(4k+3\) vertices to include graphs on \(4k+2\) vertices, and show that, in fact, all graphs without isolated vertices are edge-cordial. Ng and Lee conjectured that all graphs on \(4k\), \(4k+1\), or \(4k+3\) vertices are edge-cordial.

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;