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.

Flavia Bonomo1, Guillermo Duran2, Marina Groshaus3, Jayme L Szwarcfiter4
1Dep. de Computacién, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Buenos Atres, Argentina.
2Dep. de Ingenieria Industrial, Facultad de Ciencias Fisicas y Matemdticas, Universidad de Chile, Santiago, Chile.
3Dep, de Computacién, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Buenos Aires, Argentina.
4 Institulo de Matemdtica, NCE and COPPE, Universidade Federal do Rio de Janeiro, Caira Postal 2324, 20001-970 Rio de Janeiro, RJ, Brasil.
Abstract:

A graph \(G\) is clique-perfect if the cardinality of a maximum clique-independent set of \(H\) is equal to the cardinality of a minimum clique-transversal of \(H\), for every induced subgraph \(H\) of \(G\). When equality holds for every clique subgraph of \(G\), the graph is \(c\)-clique-perfect. A graph \(G\) is \(K\)-perfect when its clique graph \(K(G)\) is perfect. In this work, relations are described among the classes of perfect, \(K\)-perfect, clique-perfect and \(c\)-clique-perfect graphs. Besides, partial characterizations of \(K\)-perfect graphs using polyhedral theory and clique subgraphs are formulated.

Florian Luca1
1Mathematical Institute, UNAM Ap. Postal 61-3 (Xangari) C.P. 58 089 Morelia, Michoacin, MEXICO
Abstract:

In this note, we investigate arithmetic properties of the Motzkin numbers. We prove that for large \(n\), the product of the first \(n\) Motzkin numbers is divisible by a large prime. The proofs use the Deep Subspace Theorem.

Mirko Hornak1, Norma Zagaglia Salvi2
1 INSTITUTE OF MATHEMaTICS, P. J. SAFARIK UNIVERSITY, JESENNA 5, 041 54 KoSIce, SLOVAKIA
2DEPARTMENT OF MATHEMATICS, POLITECNICO DI MILANO, P.ZaA L. DA VINCI 32, 20133 MILANO, ITALY
Abstract:

The point-distinguishing chromatic index of a graph \(G\), denoted by \(\chi_o(G)\), is the smallest number of colours in a (not necessarily proper) edge colouring of \(G\) such that any two distinct vertices of \(G\) are distinguished by sets of colours of their adjacent edges. The exact value of \(\chi_o(K_{m,n})\) is found if either \(m \leq 10\) or \(n \geq 8m^2 – 2m + 1\).

Eddie Cheng1, Laszlo Liptak2
1DEPARTMENT OF MATHEMATICS AND STATISTICS, OAKLAND UNIVER- SITY, ROCHESTER, MI 48309.
2DEPARTMENT OF MATHEMATICS AND STATISTICS, OAKLAND UNIVER- sITY, ROCHESTER, MI 48309.
Abstract:

Star graphs were introduced by \([1]\) as a competitive model to the \(n\)-cubes. Then hyper-stars were introduced in \([9]\) to be a competitive model to both \(n\)-cubes and star graphs. In this paper, we discuss strong connectivity properties and orientability of the hyper-stars.

Hui-Chuan Lu1, Dung-Ming Lee1
1National United University Miaoli, Taiwan, R.O.C
Abstract:

In this paper, three methods for constructing larger harmonious graphs from one or a set of harmonious graphs are provided.

(Ben) Pak Ching Li1, Michel Toulouse1
1Department of Computer Science University of Manitoba Winnipeg, Manitoba R3T 2N2, Canada
Abstract:

The complexity of determining if a Steiner triple system on \(v = 6n + 3\) points contains a parallel class is currently unknown. In this paper, we show that the problem of determining if a partial Steiner triple system on \(v = 6n + 3\) points contains a parallel class is NP-complete. We also consider the problem of determining the chromatic index of a partial Steiner triple system and show that this problem is NP-hard.

R.S. Manikandan1, P. Paulraja1
1Department of Mathematics Annamalai University Annamalainagar 608 002 India
Abstract:

In this paper, it has been proved that \(K_{r,r} \times K_{m}\), \(m \geq 3\), is hamiltonian decomposable.

Wen-Chung Huang1, Fu-Chang Ke1
1Department of Mathematics Soochow University, Taipei, Taiwan, Republic of China.
Abstract:

A twofold extended triple system with two idempotent elements, \(TETS(v)\), is a pair \((V, B)\), where \(V\) is a \(v\)-set and \(B\) is a collection of triples, called blocks, of type \(\{x,y,z\}\), \(\{x,x,y\}\) or \(\{x,x,x\}\) such that every pair of elements of \(V\), not necessarily distinct, belongs to exactly two triples and there are only two triples of the type \(\{x, x, x\}\).
This paper shows that an indecomposable \(TETS(v)\) exists which contains exactly \(k\) pairs of repeated blocks if and only if \(v \not\equiv 0 \mod 3\), \(v \geq 5\) and \(0 \leq k \leq b_v – 2\), where \(b_v = \frac{(v + 2)(v + 1)}{6}\).

Teresa W.Haynes1, Michael A.Henning2
1Department of Mathematics East Tennessee State University Johnson City, TN 37614-0002 USA
2School of Mathematics, Statistics, & Information Technology University of KwaZulu-Natal Pietermaritzburg, 3209 South Africa
Abstract:

For a subset of vertices \(S\) in a graph \(G\), if \(v \in S\) and \(w \in V-S\), then the vertex \(w\) is an \(external\; private\; neighbor\; of \;v\) (with respect to \(S\)) if the only neighbor of \(w\) in \(S\) is \(v\). A dominating set \(S\) is a private dominating set if each \(v \in S\) has an external private neighbor. Bollébas and Cockayne (Graph theoretic parameters concerning domination, independence and irredundance. J. Graph Theory \(3 (1979) 241-250)\) showed that every graph without isolated vertices has a minimum dominating set which is also a private dominating set. We define a graph \(G\) to be a \(private\; domination\; graph\) if every minimum dominating set of \(G\) is a private dominating set. We give a constructive characterization of private domination trees.

Dominic Lanphier1, Christopher Miller2, Jason Rosenhouse3, Amber Russell4
1 DEPT. OF MATHEMATICS, WESTERN KENTUCKY UNIV., BOWLING GREEN, KY 42101, USA,
2DEPT. OF MATHEMATICS, FAIRFIELD UNIVERSITY, FAIRFIELD, CT 06824, USA
3DEPT. OF MATH. AND STAT., JAMES MADISON UNIV., HARRISON- BURG, VA 22801, USA,
4DEPT. OF MATH. AND STAT., MISSISSIPPI STATE UNIV., MISS. ST, MS 39762, USA
Abstract:

The Levi graph of a balanced incomplete block design is the bipartite graph whose vertices are the points and blocks of the design, with each block adjacent to those points it contains. We derive upper and lower bounds on the isoperimetric numbers of such graphs, with particular attention to the special cases of finite projective planes and Hadamard designs.

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;