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.

Wen Song Lin1, Zeng Min Song1
1 Department of Mathematics Southeast University Nanjing, 210096 P.R. China
Abstract:

Let \(G\) be a \(2\)-connected simple graph with order \(n\) (\(n \geq 5\)) and minimum degree 6. This paper proves that if \(|N(u) \cup N(v)| \geq n – \delta + 2\) for any two nonadjacent vertices \(u, v \in V(G)\), then \(G\) is edge-pancyclic, with a few exceptions. Under the same condition, we prove that if \(u, v \in V(G)\) and \(\{u, v\}\) is not a cut set and \(N(u) \cap N(v) \neq \phi\) when \(uv \in E(G)\), then there exist \(u\)–\(v\) paths of length from \(d(u, v)\) to \(n – 1\).

Jaromir Abrham1, Jean M.Turgeon2
1Department of Industrial Engineering University of Toronto Toronto, Ontario Canada M5S 1A4
2 Dép. de mathématiques et de statistique Université de Montréal Case postale 6128, Succursale Centre-ville Montréal, Québec Canada H3C 337
Abstract:

The purpose of this paper is to extend the well-known concepts of additive permutations and bases of additive permutations to the case when repeated elements are permitted; that means that the basis (an ordered set) can become an ordered multiset. Certain special cases are studied in detail and all bases with repeated elements up to cardinality six are enumerated, together with their additive permutations.

Bruce E.Sagan1
1 Department of Mathematics Michigan State University East Lansing, MI 48824-1027
Abstract:

We show how lattice paths and the reflection principle can be used to give easy proofs of unimodality results. In particular, we give a “one-line” combinatorial proof of the unimodality of the binomial coefficients. Other examples include products of binomial coefficients, polynomials related to the Legendre polynomials, and a result connected to a conjecture of Simion.

GS. Yovanof1, S.W. Golomb2
1Hewlett-Packard Laboratories Palo Alto, CA 94304
2 Department of Electrical Engineering University of Southern California Los Angeles, CA 90089-0272
Abstract:

The search for homometric structures, i.e., non-congruent structures sharing the same autocorrelation function, is shown to be of a combinatorial nature and can be studied using purely algebraic techniques. Several results on the existence of certain homometric structures which contradict a theorem by S. Piccard are proved based on a polynomial representation model and the factorization of polynomials over the rationals. Combinatorial arguments show that certain factorizations do not lead to counterexamples to S. Piccard’s theorem.

Johannes H.Hattingh1, Elna Ungerer1, Michael A.Henning2
1 Department of Mathematics Rand Afrikaans University Auckland Park, South Africa
2Department of Mathematics University of Natal Pietermaritzburg, South Africa
Abstract:

Let \(G = (V, E)\) be a graph. For any real valued function \(f: V \to \mathbb{R}\) and \(S \subseteq V\), let \(f(S) = \sum_{u \in S} f(u)\). Let \(c, d\) be positive integers such that \(\gcd(c, d) = 1\) and \(0 < \frac{c}{d} \leq 1\). A \(\frac{c}{d}\)-dominating function \(f\) is a function \(f: V \to \{-1, 1\}\) such that \(f[v] \geq 1\) for at least \(\frac{c}{d}\) of the vertices \(v \in V\). The \(\frac{c}{d}\)-domination number of \(G\), denoted by \(\gamma_{\frac{c}{d}}(G)\), is defined as \(\min\{f(V) | f\) is a \(\frac{c}{d}\)-dominating function on \(G\}\). We determine a sharp lower bound on \(\gamma_{\frac{c}{d}}(G)\) for regular graphs \(G\), determine the value of \(\gamma_{\frac{c}{d}}(G)\) for an arbitrary cycle \(C_n\), and show that the decision problem PARTIAL SIGNED DOMINATING FUNCTION is \(NP\)-complete.

Wilfried Imrich1, Sandi Klavzar2, Aleksander Vesel2
1 Department of Mathematics and Applied Geometry Montanuniversitat Leoben A-8700 Leoben, Austria
2Department of Mathematics, PEF University of Maribor Koroska cesta 160 62000 Maribor, Slovenia
Abstract:

The vertex set of a halved cube \(Q’_d\) consists of a bipartition vertex set of a cube \(Q_d\) and two vertices are adjacent if they have a common neighbour in the cube. Let \(d \geq 5\). Then it is proved that \(Q’_d\) is the only connected, \(\binom{d}{3}\)-regular graph on \(2^d\) vertices in which every edge lies in two \(d\)-cliques and two \(d\)-cliques do not intersect in a vertex.

Ehler Lange1, Heinz-Otto Peitgen1, Guentcho Skordev1
1 Center for Complex Systems and Visualisation University of Bremen Postfach 330 440 28334 Bremen Germany
Abstract:

Geometrical representations of certain classical number tables modulo a given prime power (binomials, Gaussian \(g\)-binomials and Stirling numbers of \(1st\) and \(2nd\) kind) generate patterns with self-similarity features. Moreover, these patterns appear to be strongly related for all number tables under consideration, when a prime power is fixed.

These experimental observations are made precise by interpreting the recursively defined number tables as the output of certain cellular automata \((CA)\). For a broad class of \(CA\) it has been proven \([11]\) that the long time evolution can generate fractal sets, whose properties can be understood by means of hierarchical iterated function systems. We use these results to show that the mentioned number tables (mod \(p^v\)) induce fractal sets which are homeomorphic to a universal fractal set denoted by \(\mathcal{S}_{p^v}\) which we call Sierpinski triangle (mod \(p^v\)).

Béla Bajnok1, Gunnar Brinkmann2
1Department of Mathematics and Computer Science Gettysburg College Gettysburg, PA 17325 USA
2 Fakultat fiir Mathematik Universitit Bielefeld D 33501 Bielefeld Germany
Abstract:

In this paper, we look at triangle-free graphs with maximum degree three. By an inequality proved by K. Fraughnaugh\(^*\) in 1990, the number of vertices \(v\), edges \(e\), and independence \(i\) of such a graph satisfy \(e \geq \frac{13v}{2} – 14i\). We prove that there is a unique non-cubic, connected graph for which this inequality is sharp. For the cubic case, we describe a computer algorithm that established that two such extremal cubic graphs exist with \(v = 14\), and none for \(v = 28\) or \(42\). We give a complete list of cubic, and provide some new examples of non-cubic, triangle-free graphs with \(v \leq 36\) and independence ratio \(\frac{i}{v}\) less than \(\frac{3}{8}\).

Costas S.Iliopoulos1,2, Dennis Mocre3, W.F. Smyth4,5
1Department of Computer Science King’s College London, University of London
2School of Computing Curtin University of Technology
3 School of Computing Curtin University of Technology
4Department of Computer Science & Systems McMaster University
5 School of Computing Curtin University of Technology
Abstract:

Fibonacci strings turn out to constitute worst cases for a number of computer algorithms which find generic patterns in strings. Examples of such patterns are repetitions, Abelian squares, and “covers”. In particular, we characterize in this paper the covers of a circular Fibonacci string \(\mathcal{C}(F_k)\) and show that they are \(\Theta(|F_k|^2)\) in number. We show also that, by making use of an appropriate encoding, these covers can be reported in \(\Theta(|F_k|)\) time. By contrast, the fastest known algorithm for computing the covers of an arbitrary circular string of length \(n\) requires time \(O(n \log n)\).

Katja Valentin1
1 Mathematisches Institut Arndtstr. 2 D-35392 Giefen
Abstract:

A polychrome labeling of a simple and connected graph \(G = (V, E)\) by an abelian group \(A\) is a bijective map from \(V\) onto \(A\) such that the induced edge labeling \(f^*(vw) = f(v) + f(w)\), \(vw \in E\), is injective. The paper completes the characterization of polychrome paths and cycles begun in [3].

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;