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.

Alain C.Vandal1, Marston D.E.Conder2, Robert Gentleman3
1Department of Mathematics and Statistics, McGill University Centre for Clinical Epidemiology & Community Studies SMBD-Jewish General Hospital, Montréal
2Department of Mathematics, University of Auckland
3Fred Hutchison Cancer Research Center
Abstract:

We address the problem of determining all sets which form minimal covers of maximal cliques for interval graphs. We produce an algorithm enumerating all minimal covers using the C-minimal elements of the interval order, as well as an independence Metropolis sampler. We characterize maximal removable sets, which are the complements of minimal covers, and produce a distinct algorithm to enumerate them. We use this last characterization to provide bounds on the maximum number of minimal covers for an interval order with a given number of maximal cliques, and present some simulation results on the number of minimal covers in different settings.

Zihong Tian1
1Institute of Math., Hebei Normal University, Shijiazhuang 050016, P.R.China
Abstract:

A directed triple system of order \(v\), denoted by DTS\((v)\), is a pair \((X,\mathcal{B})\) where \(X\) is a \(v\)-set and \(\mathcal{B}\) is a collection of transitive triples on \(X\) such that every ordered pair of \(X\) belongs to exactly one triple of \(\mathcal{B}\). A DTS\((v)\) is called pure and denoted by PDTS\((v)\) if \((x,y,z) \in \mathcal{B}\) implies \((z,y,x) \notin \mathcal{B}\). A large set of disjoint PDTS\((v)\) is denoted by LPDTS\((v)\). In this paper, we establish the existence of LPDTS\((v)\) for \(v \equiv 0,4 \pmod{6}\), \(v\geq 4\).

Bratislav Iricanin1, Stevo Stevic2
1Faculty of Electrical Engineering, Bulevar Kralja Aleksandra 733. 1 L000 Beograd, Serbia
2 Mathematical Institute of the Serbian Academy of Science, Knez Mihailova 36/H11, 1L000 Beograd. Serbia,
Abstract:

We extend and give short proofs of some recent results regarding some classes of rational difference equations.

C.F.X.de Mendonca Neto1, A.A. Constantino2, E.F. Xavier3, J. Stolfi3, L. Faria4, C.M.H.de Figueiredo5
1Escola de Artes, Ciéncias e Humanidades, USP, Sao Paulo, SP, Brazil
2Depto. de Informatica, UEM, Maringd, PR, Brazil
3Instituto de Computacéo, Unicamp, Campinas, SP, Brazil
4Faculdade de Formagao de Professores, UERJ, Sao Goncalo, RJ, Brazil
5UInstituto de Matemdtica, UFRJ, and COPPE Sistemas e Computagao, UFRJ , Rio de Janeiro, RJ, Brazil
Abstract:

The skewness \(sk(G)\) of a graph \(G = (V, E)\) is the smallest integer \(sk(G) \geq 0\) such that a planar graph can be obtained from \(G\) by the removal of \(sk(G)\) edges. The splitting number \(sp(G)\) of \(G\) is the smallest integer \(sp(G) \geq 0\) such that a planar graph can be obtained from \(G\) by \(sp(G)\) vertex splitting operations. The vertex deletion \(vd(G)\) of \(G\) is the smallest integer \(vd(G) \geq 0\) such that a planar graph can be obtained from \(G\) by the removal of \(vd(G)\) vertices. Regular toroidal meshes are popular topologies for the connection networks of SIMD parallel machines. The best known of these meshes is the rectangular toroidal mesh \(C_m \times C_n\), for which is known the skewness, the splitting number and the vertex deletion. In this work we consider two related families: a triangulation \(T_{m,n}\) of \(C_m \times C_n\) in the torus, and an hexagonal mesh \(H_{m,n}\), the dual of \(\mathcal{T}_{C_m\times C_n}\) in the torus. It is established that \(sp(T_{m,n}) = vd(T_{m,n}) = sk(H_{C_m\times C_n}) = sp(\mathcal{H}_{C_m\times C_n}) = vd(\mathcal{H}_{m,n}) = \min\{m,n\}\) and that \(sk(\mathcal{T}_{C_m\times C_n}) = 2\min\{m, n\}\).

Konstantinos Drakakis1
1UCD CASL University College Dublin Ireland
Abstract:

Exploiting the empirical observation that the probability of \(k\) fixed points in a Welch-Costas permutation is approximately the same as in a random permutation of the same order, we propose a stochastic model for the most probable maximal number of fixed points in a Welch-Costas permutation.

Zhao Chengye1,2, Yang Yuansheng2, Shi Lei2, Sun Linlin2
1College of Science, China Jiliang University Hangzhou , 310018, P. R. China
2Department of Computer Science, Dalian University of Technology Dalian, 116024, P. R. China
Abstract:

Let \(\gamma_c(G)\)be the connected domination number of \(G\) and \(\gamma_t(G)\) be the tree domination number of \(G\). In this paper, we study the connected domination number and tree domination of \(P(n,k)\), and show that \(\gamma_{tr}(P(n, 4)) = \gamma_c(P(n, 4)) = n-1\) for \(n \geq 17\), \(\gamma_{tr}(P(n, 6)) = \gamma_c(P(n, 6)) = n-1\) for \(n \geq 25\), and \(\gamma_{tr}(P(n,8)) = \gamma_c(P(n,8)) = n-1\) for \(n \geq 33\).

L.Sunil Chandran1, N.S. Narayanaswamy2
1Computer Science and Automation Department, Indian In- stitute of Science, Bangalore-560012, India.
2Department of Computer Science and Engineering, Indian Institute of Technology, Chennai-600 036, India.
Abstract:

A cut \((A, B)\) (where \(B = V – A\)) in a graph \(G = (V, E)\) is called internal if and only if there exists a vertex \(x \in A\) that is not adjacent to any vertex in \(B\) and there exists a vertex \(y \in B\) such that it is not adjacent to any vertex in \(A\). In this paper, we present a theorem regarding the arrangement of cliques in a chordal graph with respect to its internal cuts. Our main result is that given any internal cut \((A, B)\) in a chordal graph \(G\), there exists a clique with \(\kappa(G) + 1\) vertices (where \(\kappa(G)\) is the vertex connectivity of \(G\)) such that it is (approximately) bisected by the cut \((A, B)\). In fact, we give a stronger result: For any internal cut \((A, B)\) of a chordal graph, and for each \(i\), \(0 \leq i \leq \kappa(G) + 1\), there exists a clique \(K_i\) such that \(|A \cap K_i| = \kappa(G) + 1\), \(|A \cap K_i| = i\), and \(|B \cap K_i| = \kappa(G) + 1- i\).

An immediate corollary of the above result is that the number of edges in any internal cut (of a chordal graph) should be \(\Omega(k^2)\) where \(\kappa(G)\). Prompted by this observation, we investigate the size of internal cuts in terms of the vertex connectivity of the chordal graphs. As a corollary, we show that in chordal graphs, if the edge connectivity is strictly less than the minimum degree, then the size of the mincut is at least \(\frac{\kappa(G)(\kappa(G) + 1)}{2}\), where \(\kappa(G)\) denotes the vertex connectivity. In contrast, in a general graph the size of the mincut can be equal to \(\kappa(G)\). This result is tight.

Ying Xu1, Jixiang Meng1
1College of Mathematics and Systems Science, Xinjiang University, Urumai, Xinjiang 830046, P, R. China
Abstract:

We determine the automorphism group and the spectrum of the folded hypercube. In addition, we define the Bi-folded hypercube and determine its spectrum.

G. R. Vijayakumar1
1School of Mathematics Tata Institute of Fundamental Research Homi Bhabha Road, Colaba Mumbai 400 005, India
Abstract:

The main result: If the vertices of a connected graph are labelled by positive real numbers such that the number assigned to any vertex is half of the sum of the numbers assigned to the vertices of its neighbourhood, then each label is an integral multiple of the minimum of all labels. Using this, a result proved earlier in [7] is derived: If \(V\) is a linearly dependent subset of a root system in which all roots have the same norm, then one of the roots in \(V\) is an integral combination of the other roots in \(V\).

N. Sridharan1, K. Subramanian2
1Department of Mathematics Alagappa University Karaikudi – 630, 003, India.
2Department of Mathematics Alagappa Government Arts College Karaikudi – 630 003, India
Abstract:

A subset \(D\) of the vertex set \(V(G)\) of a graph \(G\) is said to be a dominating set of \(G\) if each \(v \in V – D\) is adjacent to at least one vertex of \(D\). The minimum cardinality of a dominating set of \(G\) is called the domination number of \(G\) and is denoted by \(\gamma(G)\). A dominating set \(D\) with cardinality \(\gamma(G)\) is called a \(\gamma\)-set of \(G\). Given a graph \(G\), a new graph, denoted by \(\gamma.G\) and called the \(\gamma\)-graph of \(G\), is defined as follows: \(V(\gamma.G)\) is the set of all \(\gamma\)-sets of \(G\) and two sets \(D\) and \(S\) of \(V(\gamma.G)\) are adjacent in \(\gamma.G\) if and only if \(|D \cap S| = \gamma(G) – 1\). A graph \(G\) is said to be \(\gamma\)-connected if \(\gamma.G\) is connected. A graph \(G\) is said to be a \(\gamma\)-graph if there exists a graph \(H\) such that \(\gamma-H\) is isomorphic to \(G\). In this paper, we show that trees and unicyclic graphs are \(\gamma\)-graphs. Also, we obtain a family of graphs which are not \(\gamma\)-graphs.

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;