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.

MingChu Li1
1Department of Computer Science and Technology School of Electronic Information Engineering Tianjin University Tianjin 300072, P.R. China,
Abstract:

A known result due to Matthews and Sunner is that every \(2\)-connected claw-free graph on \(n\) vertices contains a cycle of length at least \(\min\{2\delta+4,n\}\), and is Hamiltonian if \(n \leq 3\delta+2\). In this paper, we show that every \(2\)-connected claw-free graph on \(n\) vertices which does not belong to one of three classes of exceptional graphs contains a cycle of length at least \(\min\{4\delta-2,n\}\), hereby generalizing several known results. Moreover, the bound \(4\delta-2\) is almost best possible.

Lutz Volkmann1
1Lehrstuhl II fiir Mathematik, RWTH Aachen, 52056 Aachen, Germany
Abstract:

A graph or a digraph \(G\) is called super-edge-connected or super-\(\lambda\), if every minimum edge cut consists of edges adjacent to or from a vertex of minimum degree. Clearly, if \(G\) is super-\(\lambda\), then \(\lambda(G) = \delta(G)\), where \(\delta(G)\) is the minimum degree and \(\lambda(G)\) is the edge-connectivity of \(G\).

In this paper, degree sequence conditions for graphs and digraphs as well as for bipartite graphs and digraphs to be super-\(\lambda\) are presented.

Raphael Yuster1
1Department of Mathematics University of Haifa at Oranim Tivon 36006, Israel.
Abstract:

Given integers \(k \geq 2\) and \(n \geq k\), let \(e(n, k)\) denote the maximum possible number of edges in an \(m\)-vertex graph which has no \(k\)-connected subgraph. It is immediate that \(e(n, 2) = n – 1\). Mader [2] conjectured that for every \(k \leq 2\), if \(n\) is sufficiently large then \(c(n, k) \leq (1.5k-2)(n – k + 1),\) where equality holds whenever \(k – 1\) divides \(n\). In this note we prove that when \(n\) is sufficiently large then \(e(n, k) \leq \frac{193}{120}(k – 1)(n – k + 1) < 1.61(k – 1)(n – k + 1),\) thereby coming rather close to the conjectured bound.

Alan C.H.Ling1
1Department of Mathematical Sciences Michigan Technological University Houghton, MI USA 49931
Abstract:

In this paper, we give a few applications of combinatorial design theory to a few problems in extremal graph theory. Using known results in combinatorial design theory, we have unified, simplified, and extended results on a few problems.

Mahesh Andar1, Samina Boxwala1, N.B. Limaye2
1Department of Mathematics N. Wadia College, Pune Pune, 411001.
2Department of Mathematics University of Mumbai Vidyanagari, Mumbai 400098
Abstract:

Let \(G\) be a simple graph with vertex set \(V\) and edge set \(E\). A vertex labeling \(\overline{f}: V \to \{0,1\}\) induces an edge labeling \(\overline{f}: E \to \{0,1\}\) defined by \(f(uv) = |f(u) – f(v)|\). Let \(v_f(0),v_f(1)\) denote the number of vertices \(v\) with \(f(v) = 0\) and \(f(v) = 1\) respectively. Let \(e_f(0),e_f(1)\) be similarly defined. A graph is said to be cordial if there exists a vertex labeling \(f\) such that \(|v_f(0) – vf(1)| \leq 1\) and \(|e_f(0) – e_f(1)| \leq 1\).

A \(t\)-uniform homeomorph \(P_t(G)\) of \(G\) is the graph obtained by replacing all edges of \(G\) by vertex disjoint paths of length \(t\). In this paper we show that (1)\(P_t(K_{2n})\) is cordial for all \(t \geq 2\).(2) \(P_t(K_{2n+1})\) is cordial if and only iff (a) \(t \equiv 0 \pmod{4}\), or(b) \(t\) is odd and \(n\) is not \(\equiv 2 \pmod{4}\), or (c) \(t \equiv 2 \pmod{4}\) and \(n\) is even.

Sin-Min Lee1, Ebrahim Salehi2
1San Jose State University San Jose, CA 95192
2Department of Mathematical Sciences University of Nevada Las Vegas Las Vegas, NV 89154-2040
Abstract:

For any positive integer \(k\), a graph \(G = (V, E)\) is said to be \(\mathbb{Z}_k\)-magic if there exists a labeling \(l: E(G) \to \mathbb{Z}_k – \{0\}\) such that the induced vertex set labeling \(l^+: V(G) \to \mathbb{Z}_k\) defined by

\[l^+(v) = \sum\{l(uv): uv \in E(G)\}\]

is a constant map. For a given graph \(G\), the set of all \(h \in \mathbb{Z_+}\) for which \(G\) is \(\mathbb{Z}_h\)-magic is called the integer-magic spectrum of \(G\) and is denoted by \(IM(G)\). In this paper, we will determine the integer-magic spectra of the graphs which are formed by the amalgamation of stars and cycles. In particular, we will provide examples of graphs that for a given \(n > 2\), they are not \(h\)-magic for all values of \(2 \leq k \leq n\).

J. Barraud1, A. Panayotopoulos2, P. Tsikouras2
136 Bd. Saint Germain, 75005 Paris, France.
2Dept. of Informatics, University of Pireaus, Karaoli & Dimitriou 80, 18534 Pireaus, Greece.
Abstract:

In this paper, various transformations of the set of closed meanders are introduced. Some of these are used in order to partition the above set and to find a representative of each class. Furthermore, each closed meander is separated into shorter ones.

Thomas Hull1
1Department of Mathematics Merrimack College North Andover, MA 01845
Abstract:

We develop a combinatorial model of paperfolding for the purposes of enumeration. A planar embedding of a graph is called a crease pattern if it represents the crease lines needed to fold a piece of paper into something. A flat fold is a crease pattern which lies flat when folded, i.e., can be pressed in a book without crumpling. Given a crease pattern \(C = (V, E)\), a mountain-valley (MV) assignment is a function \(f : E \to \{M, V\}\) which indicates which crease lines are convex and which are concave, respectively. A MV assignment is valid if it doesn’t force the paper to self-intersect when folded. We examine the problem of counting the number of valid MV assignments for a given crease pattern. In particular, we develop recursive functions that count the number of valid MV assignments for flat vertex folds, crease patterns with only one vertex in the interior of the paper. We also provide examples, especially those of Justin, that illustrate the difficulty of the general multivertex case.

Jou-Ming Chang1,2, Chin-Wen Ho1, Ming-Tat Ko3
1Institute of Computer Science and Information Engineering, National Central University, Chung-Li, Taiwan
2Department of Information Management, National Taipei College of Business, Taipei, Taiwan
3Institute of Information Science, Academia Sinica, Taipei, Taiwan
Abstract:

An asteroidal triple is an independent set of three vertices in a graph such that every two of them are joined by a path avoiding the closed neighborhood of the third. Graphs without asteroidal triples are called AT-free graphs. In this paper, we show that every AT-free graph admits a vertex ordering that we call a \(2\)-cocomparability ordering. The new suggested ordering generalizes the cocomparability ordering achievable for cocomparability graphs. According to the property of this ordering, we show that every proper power \(G^k\) (\(k \geq 2\)) of an AT-free graph \(G\) is a cocomparability graph. Moreover, we demonstrate that our results can be exploited for algorithmic purposes on AT-free graphs.

Florent R.Madelaine1, Iain A.Stewart1
1Department of Mathematics and Computer Science, University of Leicester, Leicester LE1 7RH, U.K.
Abstract:

We exhibit some problems definable in Feder and Vardi’s logic \(MMSNP\) that are not in the class \(CSP\) of constraint satisfaction problems. Whilst some of these problems have previously been shown to be in \(MMSNP\) (that is, definable in \(MMSNP\)) but not in \(CSP\), existing proofs are probabilistic in nature. We provide explicit combinatorial constructions to prove that these problems are not in \(CSP\) and we use these constructions to exhibit yet more problems in \(MMSNP\) that are not in \(CSP\).

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;