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.

Jian-Liang Wu1, Ping Wang2, Anthony Hilton3
1School of Mathematics, Shandong University Jinan, Shandong, 250100, P. R. China
2Department of Mathematics, Statistics and Computer Science St. Francis Xavier University, Antigonish, Nova Scotia, Canada
3Department of Mathematics, University of Reading, Whiteknights, P.O. Box 220, Reading, RG6 2AX, Great Britain
Abstract:

In this paper, we give two sufficient conditions for a graph to be type \(1\) with respect to the total chromatic number and prove the following results:

(i) If \(G\) and \(H\) are of type \(1\), then \(G \times H\) is of type \(1\);

(ii) If \(\varepsilon(G) \leq v(G) + \frac{3}{2}\Delta(G) – 4\), then \(G\) is of type \(1\).

Michael D.Hirschhorn1, James A.Sellers2
1 School of Mathematics UNSW Sydney 2052 Australia
2Department of Mathematics Penn State University 107 Whitmore Laboratory University Park, PA 16802 USA
Abstract:

We prove several results dealing with various counting functions for partitions of an integer into four squares of equal parity. Some are easy consequences of earlier work, but two are new and surprising. That is, we show that the number of partitions of \(72n+ 60\) into four odd squares (distinct or not) is even.

Jill R.Faudree1, Ronald J.Gould2
1University of Alaska Fairbanks airbanks AK 99775
2Emory University Atlanta GA 30322
Abstract:

We prove that if \(G\) is a simple graph of order \(n \geq 3k\) such that \(|N(x) \cup N(y)| \geq 3k\) for all nonadjacent pairs of vertices \(x\) and \(y\), then \(G\) contains \(k\) vertex-independent cycles.

C.F. X.de Mendonca1, E.F. Xavier2, J. Stolfi3, L. Faria4, C.M. H.de Figueiredo5
1Departamento de Informatica, UEM, Maring4, PR, Brazil.
2Instituto de Computagao, Unicamp, Campinas, SP, Brazil.
3Instituto de Computagao, Unicamp, Campinas, SP, Brazil.
4Departamento de Matematica, FFP-UERJ, So Gongalo, RJ, Brazil.
5Instituto de Matemética and COPPE Sistemas e Computacio, UFRJ, Rio de Janeiro, RJ, Brazil.
Abstract:

The non-planar vertex deletion or vertex deletion \(vd(G)\) of a graph \(G = (V, E)\) is the smallest non-negative integer \(k\) such that the removal of \(k\) vertices from \(G\) produces a planar graph. Hence, the maximum planar induced subgraph of \(G\) has precisely \(|V| – vd(G)\) vertices. The problem of computing vertex deletion is in general very hard; it is NP-complete. In this paper, we compute the non-planar vertex deletion for the family of toroidal graphs \(C_n \times C_m\).

H.B. Walikar1, Fred Buckley2, MLK. Itagi1
1Department of Mathematics K.R.C.P.G. Centre Belgaum -590001, INDIA
2Department of Mathematics Baruch College (CUNY) New York, NY 10010, USA
Abstract:

The graph resulting from contracting edge \( e \) is denoted \( G/e \). An edge \( e \) is radius-essential if \( rad(G/e) < rad(G) \). Let \( c_r(G) \) denote the number of radius-essential edges in graph \( G \). In this paper, we study realizability questions relating to the number of radius-essential edges, give bounds on \( c_r(G) \) in terms of radius and order, and we characterize various classes of graphs achieving extreme values of \( c_r(G) \).

Jitender Deogun1, Zsolt Tuza2, Stephen D. Scott1, Lin Li1
1Department of Computer Science and Engineering University of Nebraska, Lincoln, NE 68588-0115, USA
2Computer and Automation Institute, Hungarian Academy of Sci., Dept. of Computer Science, University of Veszprém, Hungary
Abstract:

We prove tight estimates on the minimum weight of an edge decomposition of the complete graph into subgraphs of 3 or 4 edges, where the weight of a subgraph is the number of its vertices. We conjecture that the weighted edge decomposition problem on general graphs is NP-complete for every \( k > 2 \). This conjecture is shown to be true for every \( k \leq 11 \) except \( k = 8 \). The problem is motivated by the traffic grooming problem for optical networks.

Mary Waterhouse1
1Department of Mathematics The University of Queensland Qld 4072 Australia
Abstract:

There are six distinct ways in which the vertices of a 4-cycle may be coloured with two colours, called \(\text{colouring types}\). Let \( C \) be the set of these colouring types and let \( S \) be a non-empty subset of \( C \). Suppose we colour the vertices of \( K_v \) with two colours. If \( D \) is a 4-cycle decomposition of \( K_v \) such that the colouring type of each 4-cycle is in \( S \), then \( D \) is said to have a \({colouring\; of\; type}\) \( S \). Furthermore, the colouring is said to be \({proper}\) if every colouring type in \( S \) is represented in \( D \). For all possible \( S \) of size one, two or three, excluding three cases already settled, we completely settle the existence question for 4-cycle decompositions of \( K_v \) with a colouring of type \( S \).

Terry A.Carter1, William D.Weakley1
1Department of Mathematical Sciences Indiana – Purdue University at Fort Wayne Fort Wayne, IN 46805-1499
Abstract:

For a solution \( S \) of the \( n \)-queens problem, let \( M(S) \) denote the maximum of the absolute values of the diagonal numbers of \( S \), and let \( m(S) \) denote the minimum of those absolute values. For \( n \geq 4 \), let \( F(n) \) denote the minimum value of \( M(S) \), and let \( f(n) \) denote the maximum value of \( m(S) \), as \( S \) ranges over all solutions of the \( n \)-queens problem. Say that a solution \( S \) is an \( n \)-\({champion}\) if \( M(S) = F(n) \) and \( m(S) = f(n) \).

Approximately linear bounds are given for \( F(n) \) and \( f(n) \), along with computational results and several constructions together providing evidence that the bounds are excellent. It is shown that, in the range \( 4 \leq n \leq 24 \), \( n \)-champions exist except for \( n = 11, 16, 21, 22 \).

Inessa I.Zverovich1, Igor Zverovich1
1RUTCOR — Rutgers Center for Opera- tions Research, Rutgers, The State University of New Jersey, 640 Bartholomew Road, Piscataway, NJ 08854-8003, USA
Abstract:

Let \( S \) be a stable set in a graph \( G \), possibly \( S = \emptyset \). The subgraph \( G – N[S] \), where \( N[S] \) is the closed neighborhood of \( S \), is called a \({co-stable \;subgraph}\) of \( G \). We denote by \( \text{CSub}(G) \) the set of all co-stable subgraphs of \( G \). A class of graphs \( \mathcal{P} \) is called \({co-hereditary}\) if \( G \in \mathcal{P} \) implies \( \text{CSub}(G) \subseteq \mathcal{P} \). Our result: If the set of all minimal forbidden co-stable subgraphs for a non-empty co-hereditary class \( \mathcal{P} \) is finite, then Stable Set is an NP-complete problem within \( \mathcal{P} \). Also, we prove that the decision problem of recognizing whether a graph has a fixed graph \( H \) as a co-stable subgraph is NP-complete for each non-trivial graph \( H \).

M.M. Andar1, Samina Boxwala1, N.B. Limaye2
1Department of Mathematics, N. Wadia College, Pune Pune, 411001.
2Department of Mathematics, University of Mumbai Vidyanagari, Mumbai 400098
Abstract:

In this paper, we show the cordiality of the following families of graphs: (1) Pyramid graphs, (2) One point unions of plys,(3) One point unions of wheel related graphs, (4) Path unions of shells of different sizes, (5) Path unions of flags of different sizes.

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;