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.

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}\).

M. Aslam1, Q. Mushtaq1
1Department of Mathematics Quaid-i-Azam University Islamabad 44000 Pakistan
Abstract:

We are interested in linear-fractional transformations \(y,t\) satisfying the relations \(y^6=t^6 = 1\), with a view to studying an action of the subgroup \(H = \) on \({Q}(\sqrt{n}) \cup \{\infty\}\) by using coset diagrams.

For a fixed non-square positive integer \(n\), if an element \(\alpha = \frac{a+\sqrt {n}}{c}\) and its algebraic conjugate have different signs, then \(\alpha\) is called an ambiguous number. They play an important role in the study of action of the group \(H\) on \({Q}(\sqrt{n}) \cup \{\infty\}\). In the action of \(H\) on \({Q}(\sqrt{n}) \cup \{\infty\}\), \(\mathrm{Stab}_\alpha{(H)}\) are the only non-trivial stabilizers and in the orbit \(\alpha H\); there is only one (up to isomorphism). We classify all the ambiguous numbers in the orbit and use this information to see whether the action is transitive or not.

Liliana Alcon1, Marisa Gutierrez1
1Departamento de Matematica. Universidad Nacional de La Plata. C. C. 172, (1900) La Plata, Argentina.
Abstract:

We are studying clique graphs of planar graphs, \(K(\text{Planar})\), this means the graphs which are the intersection of the clique family of some planar graph. In this paper, we characterize the \(K_3\) – free and \(K_4\) – free graphs which are in \(K(\text{Planar})\).

Edward Dobson1
1DEPARTMENT OF MATHEMATICS AND STATISTICS, PO DrRaweR MA, MISSISSIPPI STATE, MS 39762
Abstract:

We show that a self-complementary vertex-transitive graph of order \(pq\), where \(p\) and \(q\) are distinct primes, is isomorphic to a circulant graph of order \(pq\). We will also show that if \(\Gamma\) is a self-complementary Cayley graph of the nonabelian group \(G\) of order \(pq\), then \(\Gamma\) and the complement of \(\Gamma\) are not isomorphic by a group automorphism of \(G\).

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;