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.

Kathrin Klamroth 1, Ingrid Mengersen1
1 Technische Universitat Braunschweig Germany
Abstract:

In this note we complete the table of Ramsey numbers for \(K_s\) versus the family of all \((p,q)\)-graphs for \(p \leq 8\).
Moreover, some results are obtained for the general case.

Zeng Min Song1, Ke Min Zhang 2
1 Department of Mathematics, Southeast University Nanjing, 210018, P. R. China
2Department of Mathematics, Nanjing University Nanjing, 210008, P. R. China
Abstract:

Let \(G\) be a \(2\)-connected graph of order \(n\) with connectivity \(\kappa\) and independence number \(\alpha\). In this paper, we show that if for each independent set \(S\) with \(|S| = k+1\), there are \(u,v \in S\) such that satisfying one of the following conditions:

  1. \(d(u) + d(v) \geq n\); or \(|N(u) \cap N(v)| \geq \alpha\); or \(|N(u) \cup N(v)| \geq n-k\);
  2. for any \(x \in \{u,v\}\), \(y \in V(G)\) and \(d(x,y) = 2\), it implies that \(\max\{d(x), d(y)\} \geq n/2\),

then \(G\) is hamiltonian. This result reveals the internal relations among several well-known sufficient conditions: \((1)\) it shows that it does not need to consider all pairs of nonadjacent or distance two vertices in \(G\); \((2)\) it makes known that for different pairs of vertices in \(G\), it permits to satisfy different conditions.

S. Arumugam1, A. Thuraiswamy2
1Department of Mathematics Manonmaniam Sundaranar University Tirunelveli – 627 009 INDIA
2 Department of Mathematics Ayya Nadar Janaki Ammal College (Autonomous) Sivakasi – 626 123 INDIA.
Abstract:

Let \(G\) be a graph of order \(p\) such that both \(G\) and \(\overline{G}\) have no isolated vertices. Let \(\Upsilon_t\) and \(\overline{\Upsilon}_t\) denote respectively the total domination number of \(G\) and \(\overline{G}\). In this paper we obtain a characterization of all graphs \(G\) for which \\(i) \(\Upsilon_t +\overline{\Upsilon}_t= p+1\) and (ii) \(\Upsilon_t + \overline{\Upsilon}_t = p\).

Ulrich Teschner1
1Lehrstuhl II fir Mathematik RWTH Aachen
Abstract:

The bondage number \(b(G)\) of a nonempty graph \(G\) was first introduced by Fink, Jacobson, Kinch, and Roberts [3]. In their paper they conjectured that \(b(G) \leq \Delta(G)+1\) for a nonempty graph \(G\). A counterexample for this conjecture was shown in [5]. Beyond it, we show now that there doesn’t exist an upper bound of the following form: \(b(G) \leq \Delta(G)+c\) for any \(c\in\mathbb{N}\).

Chen Kejun1, Zhu Lie1
1 Department of Mathematics Suzhou University Suzhou, 215006, P. R. China
Abstract:

It is shown that if \(t > 1\) and \(u \geq 5\), then the known necessary condition for the existence of a skew Room frame of type \(t^u\), is also sufficient with the possible exception of \((u, f)\) where \(u = 5\) and \(t \in \{11, 13, 17, 19, 23, 29, 31, 41, 43\}\).

T. Gangopadhyay1
1XLRI Jamshedpur Post Box 222 Jamshedpur 831 001 India
Abstract:

The class of \(t-sc\) graphs constitutes a new generalization of self-complementary graphs. Many \(t-sc\) graphs exhibit a stable complementing permutation. In this paper, we prove a sufficient condition for the existence of a stable complementing permutation in a \(t-sc\) graph. We also construct several infinite classes of \(t-sc\) graphs to show the stringency of our sufficient condition.

Lin Ke-rong1, Chen Rong-si 2
1Department of Mathematics Fuzhou University Fujian, 350002 P. R. China
2College of Finance and Economics Fuzhou University Fujian, 350002 P. R. China
Abstract:

A polyhex graph is either a hexagonal system or a coronoid system. A polyhex graph \(G\) is said to be \(k\)-coverable if for any \(k\) mutually disjoint hexagons the subgraph obtained from \(G\) by deleting all these \(k\) hexagons together with their incident edges has at least one perfect matching. In this paper, a constructive criterion is given to determine whether or not a given polyhex graph is \(k\)-coverable. Furthermore, a simple method is developed which allows us to determine whether or not there exists a \(k\)-coverable polyhex graph with exactly \(h\) hexagons.

Sanpei Kageyama1, Ying Miao1
1Department of Mathematics Hiroshima University Higashi-Hiroshima 739 Japan
Abstract:

A \((k, \lambda)\)-semiframe of type \(g^u\) is a group divisible design of type \(g^u\) \((\chi, \mathcal{G}, \mathcal{B})\), in which \(\mathcal{B}\) is written as a disjoint union \(\mathcal{B} = \mathcal{P} \cup \mathcal{Q} \) where \(\mathcal{P} \) is partitioned into partial parallel classes of \(\chi\) (with respect to some \(G \in \mathcal{G}\)) and \(\mathcal{Q} \) is partitioned into parallel classes of \(\chi\). In this paper, new constructions for these designs are provided with some series of designs with \(k = 3\). Cyclic semiframes are discussed. Finally, an application of semiframes is also mentioned.

Katherine Heinrich1, Midori Kobayashi2, Gisaku Nakamura 2
1Department of Mathematics and Statistics Simon Fraser University Burnaby, BC, V5A 186 Canada
2School of Administration and Informatics University of Shizuoka Shizuoka, 422 Japan
Abstract:

A solution of Dudeney’s round table problem is given when \(n\) is as follows:

  1. \(n = pq + 1\), where \(p\) and \(q\) are odd primes.
  2. \(n = p^e + 1\), where \(p\) is an odd prime.
  3. \(n = p^e q^f + 1\), where \(p\) and \(q\) are distinct odd primes satisfying \(p \geq 5\) and \(q \geq 11\), and \(e\) and \(f\) are natural numbers.
Jerzy Wojciechowski1
1Department of Mathematics West Virginia University P.O. Box 6310 Morgantown, WV USA 26506-6310
Abstract:

We prove a very natural generalization of the Borsuk-Ulam antipodal theorem and deduce from it, in a very straightforward way, the celebrated result of Alon [1] on splitting necklaces. Alon’s result states that \(t(k-1)\) is an upper bound on the number of cutpoints of an opened \(t\)-colored necklace such that the segments obtained can be used to partition the set of vertices of the necklace into $k$ subsets with the property that every color is represented by the same number of vertices in any element of the partition. The proof of our generalization of the Borsuk-Ulam theorem uses a result from algebraic topology as a starting point and is otherwise purely combinatorial.

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;