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.

Yasuhiro Fukuchi1
1Department of Applied Mathematics Science University of Tokyo Shinjuku-ku, Tokyo 162-8601, JAPAN
Abstract:

A graph \(G\) is called super-edge-magic if there exists a bijection \(f\) from \(V(G) \cup E(G)\) to \(\{1, 2, \ldots, |V(G)| + |E(G)|\}\) such that \(f(u) + f(v) + f(uv) = C\) is a constant for any \(uv \in E(G)\) and \(f(V(G)) = \{1, 2, \ldots, |V(G)|\}\). In this paper, we show that the generalized Petersen graph \(P(n, k)\) is super-edge-magic if \(n \geq 3\) is odd and \(k = 2\).

Klaus Dohmen1
1Institut fiir Informatik Humboldt-Universitat zu Berlin Unter den Linden 6 D-10099 Berlin, Germany
Abstract:

We reprove an important case of a recent topological result on improved Bonferroni inequalities due to Naiman and Wynn in a purely combinatorial manner. Our statement and proof involves the combinatorial concept of non-evasiveness instead of the topological concept of contractibility. In contradistinction to the proof of Naiman and Wynn, our proof does not require knowledge of simplicial homology theory.

M. H. Armanious1
1Mathematics Department, Faculty of Science, Mansoura University Mansoura, Egypt
Abstract:

Quackenbush [5] has studied the properties of squags or “Steiner quasigroups”, that is, the corresponding algebra of Steiner triple systems. He has proved that if a finite squag \((P; \cdot)\) contains two disjoint subsquags \((P_1; \cdot)\) and \((P_2; \cdot)\) with cardinality \(|P_1| = |P_2| = \frac{1}{3} |P|\), then the complement \(P_3 = P – (P_1 \cup P_2)\) is also a subsquag and the three subsquags \(P_1, P_2\) and \(P_3\) are normal. Quackenbush then asks for an example of a finite squag of cardinality \(3n\) with a subsquag of cardinality \(n\), but not normal. In this paper, we construct an example of a squag of cardinality \(3n\) with a subsquag of cardinality \(n\), but it is not normal; for any positive integer \(n \geq 7\) and \(n \equiv 1\) or \(3\) (mod \(6\)).

Hideo Komuro1, Kiyoshi Ando1
1University of Electro-Communications 1-5-1, Cofu, Tokyo, JAPAN
Abstract:

A plane graph is an embedding of a planar graph into the sphere which may have multiple edges and loops. A face of a plane graph is said to be a pseudo triangle if either the boundary of it has three distinct edges or the boundary of it consists of a loop and a pendant edge. A plane pseudo triangulation is a connected plane graph of which each face is a pseudo triangle. If a plane pseudo triangulation has neither a multiple edge nor a loop, then it is a plane triangulation. As a generalization of the diagonal flip of a plane triangulation, the diagonal flip of a plane pseudo triangulation is naturally defined. In this paper we show that any two plane pseudo triangulations of order \(n\) can be transformed into each other, up to ambient isotopy, by at most \(14n – 64\) diagonal flips if \(n \geq 7\). We also show that for a positive integer \(n \geq 5\), there are two plane pseudo triangulations with \(n\) vertices such that at least \(4n – 15\) diagonal flips are needed to transform into each other.

Zhang Cheng-heng1
1Hebei Langfang Teachers’ College Hebei Langfang 065000, China
Kuo-Bing Huang1, Wen-Chung Huang1, Chia-Chin Hung1, Guei-Hua Wang1
1Department of Mathematics Soochow University Taipei, Taiwan, Republic of China.
Abstract:

An extended Mendelsohn triple system of order \(v\) with a idempotent element (EMTS(\(v, a\))) is a collection of cyclically ordered triples of the type \(\{x, y, z\}\), \(\{x, x, y\}\) or \(\{x, x, x\}\) chosen from a \(v\)-set, such that every ordered pair (not necessarily distinct) belongs to only one triple and there are \(a\) triples of the type \(\{x, x, x\}\). If such a design with parameters \(v\) and \(a\) exist, then they will have \(b_{v,a}\) blocks, where \(b_{v,a} = (v^2 + 2a)/3\). A necessary and sufficient condition for the existence of EMTS(\(v, 0\)) and EMTS(\(v, 1\)) are \(v \equiv 0\) (mod \(3\)) and \(v \not\equiv 0\) (mod \(3\)), respectively. In this paper, we have constructed two EMTS(\(v, 0\))’s such that the number of common triples is in the set \(\{0, 1, 2, \ldots, b_{v, 0} – 3, b_{v, 0}\}\), for \(v \equiv 0\) (mod \(3\)). Secondly, we have constructed two EMTS(\(v, 1\))’s such that the number of common triples is in the set \(\{0, 1, 2, \ldots, b_{v, 1} – 2, b_{v, 1}\}\), for \(v \not\equiv 0\) (mod \(3\)).

Jian-Liang Wu1
1 Department of Economics Shandong University of Science and Technology Jinan, 250031 P.R. China
Abstract:

An edge-colouring of a graph \(G\) is \({equitable}\) if, for each vertex \(v\) of \(G\), the number of edges of any one colour incident with \(v\) differs from the number of edges of any other colour incident with \(v\) by at most one. In the paper, we prove that any outerplanar graph has an equitable edge-colouring with \(k\) colours for any integer \(k \geq 3\).

H.P. Yap1, Z.X. Song1
1 Department of Mathematics National University of Singapore 10 Kent Ridge Crescent Singapore, 119260
Abstract:

In this paper we give alternative and shorter proofs of three theorems of Chetwynd and Hilton. All these three theorems have been widely used in many research papers.

Martin Baca1, Mirka Miller2
1 Department of Applied Mathematics Technical University Letné 9 042 00 KoSice Slovak Republic
2Department of Computer Science & Software Engineering University of Newcastle NSW 2308 Australia
Abstract:

The paper defines \((a, d)\)-face antimagic labeling of a certain class of convex polytopes. The possible values of \(d\) are determined as \(d = 2, 4\) or \(6\). For \(d = 2\) and \(4\) we produce \((9n + 3, 2)\) and \((6n + 4, 4)\)-face antimagic labelings for the polytopes.

Joél Puech1
1Mathématique, Bat. 425, Université Paris-Sud, 91405 Orsay cedex, France
Abstract:

The domination number \(\gamma(G)\) and the irredundance number \(ir(G)\) of a graph \(G\) have been considered by many authors. It is well known that \(ir(G) \leq \gamma(G)\) holds for all graphs \(G\). In this paper we determine all pairs of connected graphs \((X, Y)\) such that every graph \(G\) containing neither \(X\) nor \(Y\) as an induced subgraph satisfies \(ir(G) = \gamma(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;