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.

Chunhui Lai1
1Department of Mathematics, Zhangzhou Teachers College, Zhangzhou, Fujian 363000, P. R. of CHINA
Abstract:

In this paper we consider a variation of the classical Turán-type extremal problems. Let \( S \) be an \( n \)-term graphical sequence, and \( \sigma(S) \) be the sum of the terms in \( S \). Let \( H \) be a graph. The problem is to determine the smallest even \( l \) such that any \( n \)-term graphical sequence \( S \) having \( \sigma(S) \geq l \) has a realization containing \( H \) as a subgraph. Denote this value \( l \) by \( \sigma(H, n) \). We show \(\sigma(C_{2m+1}, n) = m(2n – m – 1) + 2, \quad \text{for } m \geq 3, n \geq 3m;\) \(\sigma(C_{2m+2}, n) = m(2n – m – 1) + 4, \quad \text{for } m \geq 3, n \geq 5m – 2. \)

G. MacGillivray1, K. Seyffarth2
1Department of Mathematics and Statistics University of Victoria Victoria, British Columbia Canada V8W 3P4
2Department of Mathematics and Statistics University of Calgary Calgary, Alberta Canada T2N 1N4
Abstract:

We first prove that if \( G \) is a connected graph with \( n \) vertices and chromatic number \( \chi(G) = k \geq 2 \), then its independent domination number

\[i(G) \leq \left\lceil \frac{(k-1)}{k}n \right\rceil – (k-2).\]

This bound is tight and remains so for planar graphs. We then prove that the independent domination number of a diameter two planar graph on \( n \) vertices is at most \( \left\lceil \frac{n}{3} \right\rceil \).

J. Barat1, Y. Edel2, R. Hill3, L. Storme4
1JANOS BARAT, Bolyai Institute, University of Szeged, Aradi Vértantk tere 1., 6720, Hungary
2Yves EDEL, University of Heidelberg, Mathematisches Institut der Universitit, Im Neuenheimer Feld 288, 69120 Heidelberg, Germany
3Ray HILL, Department of Computer and Mathematical Sciences, University of Salford, Salford M5 4WT, U.K.
4Dept. of Pure Maths and Computer Algebra, Krijgslaan 281, 9000 Gent, Belgium
Abstract:

Hill, Landjev, Jones, Storme, and Barat proved in a previous article on caps in \(PG(5, 3)\) and \(PG(6,3)\) that every 53-cap in \(PG(5, 3)\) is contained in the 56-cap of Hill and that there exist complete 48-caps in \(PG(5,3)\). The first result was used to lower the upper bound on \( m_2(6,3) \) on the size of caps in \(PG(6, 3)\) from 164 to 154. Presently, the known upper bound on \( m_2(6, 3) \) is 148. In this article, using computer searches, we prove that every 49-cap in \(PG(5, 3)\) is contained in a 56-cap, and that every 48-cap, having a 20-hyperplane with at most 8-solids, is also contained in a 56-cap. Computer searches for caps in \(PG(6,3)\) which use the computer results of \(PG(5,3)\) then lower the upper bound on \( m_2(6,3) \) to \( m_2(6,3) \leq 136 \). So now we know that \( 112 \leq m_2(6,3) \leq 136 \).

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

Let \( \delta(G) \) and \( \lambda(G) \) be the minimum degree and edge-connectivity of a graph \( G \), respectively. A graph \( G \) is maximally edge-connected if \( \lambda(G) = \delta(G) \) and super-edge-connected if every minimum edge cut consists of edges adjacent to a vertex of minimum degree.

In this paper, sufficient conditions for super-edge-connected graphs depending on the clique number and the minimum degree are presented. These results show that some known sufficient conditions for maximally edge-connected graphs even lead to super-edge-connected graphs.

Varaporn Saenpholphat1, Ping Zhang1
1Department of Mathematics Western Michigan University Kalamazoo, MI 49008, USA
Abstract:

For a vertex \(v\) of a connected graph \(G\) and a subset \(S\) of \(V(G)\), the distance between \(v\) and \(S\) is \(d(v, S) = \min\{d(v,x) : x \in S\}\), where \(d(v,x)\) is the distance between \(v\) and \(x\). For an ordered \(k\)-partition \(\Pi = \{S_1, S_2, \ldots, S_k\}\) of \(V(G)\), the code of \(v\) with respect to \(\Pi\) is the \(k\)-vector \(c_\Pi(v) = (d(v,S_1), d(v,S_2), \ldots, d(v, S_k))\). The \(k\)-partition \(\Pi\) is a resolving partition if the codes \(c_\Pi(v)\), \(v \in V(G)\), are distinct. A resolving partition \(\Pi = \{S_1, S_2, \ldots, S_k\}\) is acyclic if each subgraph \(\langle S_i \rangle\) induced by \(S_i\) (\(1 \leq i \leq k\)) is acyclic in \(G\). The minimum \(k\) for which there is a resolving acyclic \(k\)-partition of \(V(G)\) is the resolving acyclic number \(a_r(G)\) of \(G\). We study connected graphs with prescribed order, diameter, vertex-arboricity, and resolving acyclic number. It is shown that, for each triple \(d,k,n\) of integers with \(2 \leq d \leq n-2\) and \(3 \leq (n-d+1)/2 \leq k \leq n-d+1\), there exists a connected graph of order \(n\) having diameter \(d\) and resolving acyclic number \(k\). Also, for each pair \(a, b\) of integers with \(2 \leq a \leq b-1\), there exists a connected graph with resolving acyclic number \(a\) and vertex-arboricity \(b\). We present a sharp lower bound for the resolving acyclic number of a connected graph in terms of its clique number. The resolving acyclic number of the Cartesian product \(H \times K_2\) of nontrivial connected graph \(H\) and \(K_2\) is studied.

Hung-Lin Fu1, Ming-Hway Huang1
1Department of Applied Mathematics National Chiao Tung University Hsinchu, Taiwan, R.O.C.
Abstract:

In this paper, we completely solve the problem of finding a maximum packing of any balanced complete multipartite graph \(K_{m}(n)\) with edge-disjoint \(6\)-cycles, and minimum leaves are explicitly given.

Subsequently, we also find a minimum covering of \(K_{m}(n)\).

S. Georgiou1, C. Koukouvinos1, Jennifer Seberry2
1Department of Mathematics National Technical University of Athens Zografou 15773, Athens, Greece
2School of IT and Computer Science University of Wollongong Wollongong, NSW, 2522, Australia
Abstract:

Orthogonal designs and their special cases, such as weighing matrices and Hadamard matrices, have many applications in combinatorics, statistics, and coding theory, as well as in signal processing. In this paper, we generalize the definition of orthogonal designs, give many constructions for these designs, and prove some multiplication theorems that, most of them, can also be applied in the special case of orthogonal designs. Some necessary conditions for the existence of generalized orthogonal designs are also given.

Vasanti N.Bhat-Nayak1, Shanta Telang1
1Department of Mathematics University of Mumbai Vidyanagari, Mumbai-400 098(INDIA).
Abstract:

We prove that the corona graphs \(C_n \circ K_1\) are \(k\)-equitable, as per Cahit’s definition of \(k\)-equitability, for \(k = 2, 3, 4, 5, 6\).

Michael A.Henning 1
1School of Mathematics, Statistics, & Information Technology University of Natal Private Bag X01 Scottsville, 3209 South Africa
Abstract:

For a vertex \(v\) of a graph \(G = (V, E)\), the domination number \(\gamma(G)\) of \(G\) relative to \(v\) is the minimum cardinality of a dominating set in \(G\) that contains \(v\). The average domination number of \(G\) is \(\gamma_{av}(G) = \frac{1}{|V|} \sum_{v\in V} \gamma_v(G)\). The independent domination number \(i_v(G)\) of \(G\) relative to \(v\) is the minimum cardinality of a maximal independent set in \(G\) that contains \(v\). The average independent domination number of \(G\) is \(\gamma_{av}^i(G) = \frac{1}{|V|} \sum_{v\in V} i_v(G)\). In this paper, we show that a tree \(T\) satisfies \(\gamma_{av}(T) = i_{av}(T)\) if and only if \(A(T) = \vartheta\) or each vertex of \(A(T)\) has degree \(2\) in \(T\), where \(A(T)\) is the set of vertices of \(T\) that are contained in all its minimum dominating sets.

E.J. Cockayne1, O. Favaron2, C.M. Mynhardt3
1Department of Mathematics, University of Victoria, PO Box 3045, Victoria, BC, Canada V8W 3P4
2LRI, Bat. 480, Université Paris-Sud, 91405 Orsay Cedex, France
3Department of Mathematics, University of South Africa, PO Box 392, UNISA, 0003 South Africa
Abstract:

A graph \(G\) is \(K_r\)-covered if each vertex of \(G\) is contained in a clique \(K_r\). Let \(\gamma(G)\) and \(\gamma_t(G)\) respectively denote the domination and the total domination number of \(G\). We prove the following results for any graph \(G\) of order \(n\):

If \(G\) is \(K_6\)-covered, then \(\gamma_t(G) \leq \frac{n}{3}\),

If \(G\) is \(K_r\)-covered with \(r = 3\) or \(4\) and has no component isomorphic to \(K_r\), then \(\gamma_t(G) \leq \frac{2n}{r+1}\),

If \(G\) is \(K_3\)-covered and has no component isomorphic to \(K_3\), then \(\gamma(G) + \gamma_t(G) \leq \frac{7n}{9}\).

Corollaries of the last two results are that every claw-free graph of order \(n\) and minimum degree at least \(3\) satisfies \(\gamma_t(G) \leq \frac{n}{2}\) and \(\gamma(G) + \gamma(G) \leq \frac{7n}{9}\). For general values of \(r\), we give conjectures which would generalise the previous results. They are inspired by conjectures of Henning and Swart related to less classical parameters \(\gamma_{K_r}\) and \(\gamma^t_{K_r}\).

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;