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.
- Research article
- Full Text
- Ars Combinatoria
- Volume 109
- Pages: 267-283
- Published: 30/04/2013
Let \(u,v\) be two vertices of a connected graph \(G\). The vertex \(v\) is said to be a boundary vertex of \(u\) if no neighbor of \(v\) is further away from \(u\) than \(v\). The boundary of a graph is the set of all its boundary vertices.In this work, we present a number of properties of the boundary of a graph under different points of view:(1) A realization theorem involving different types of boundary vertex sets: extreme set, periphery, contour, and the whole boundary.(2) The contour is a monophonic set.(3) The cardinality of the boundary is an upper bound for both the metric dimension and the determining number of a graph.
- Research article
- Full Text
- Ars Combinatoria
- Volume 109
- Pages: 257-266
- Published: 30/04/2013
Computing the crossing number of a given graph is, in general, an elusive problem, and only the crossing numbers of a few families of graphs are known. Most of them are the Cartesian products of special graphs. This paper determines the crossing number of the Cartesian product of a 6-vertex graph with the star \(S_n\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 109
- Pages: 247-256
- Published: 30/04/2013
Let \(M = (E, \mathcal{F})\) be a matroid on a set \(E\), \(B\) one of its bases, and \(M_B\) the base matroid associated to \(B\). In this paper, we determine a characterization of simple binary matroids \(M\) which are not isomorphic to \(M_B\), for every base \(B\) of \(M\). We also extend to matroids some graph notions.
- Research article
- Full Text
- Ars Combinatoria
- Volume 109
- Pages: 239-246
- Published: 30/04/2013
Let \(H\) and \(G\) be two graphs (or digraphs), where \(G\) is a subgraph of \(H\). A \(G\)-decomposition of \(H\), denoted by \((H,G)\)-GD, is a partition of all the edges (or arcs) of \(H\) into subgraphs (\(G\)-blocks), each of which is isomorphic to \(G\). A large set of \((H, G)\)-GD, denoted by \((H, G)\)-LGD, is a partition of all subgraphs isomorphic to \(G\) of \(H\) into \((H,G)\)-GDs. In this paper, we obtain the existence spectra of \((ADK_{m,n}, P_3^i)\)-LGD, where \(P_3^i\) (\(i = 1,2,3\)) are the three types of oriented \(P_3\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 109
- Pages: 229-237
- Published: 30/04/2013
Let \(G\) be a graph. The zeroth-order general Randić index of a graph is defined as \(R_\alpha^0(G) = \sum_{v \in V(G)} d(v)^\alpha(v)\), where \(\alpha\) is an arbitrary real number and \(d(v)\) is the degree of the vertex \(v\) in \(G\). In this paper, we give sharp lower and upper bounds for the zeroth-order general Randić index \(R_\alpha^0(G)\) among all unicycle graphs \(G\) with \(n\) vertices and \(k\) pendant vertices.
- Research article
- Full Text
- Ars Combinatoria
- Volume 109
- Pages: 193-227
- Published: 30/04/2013
\(n\)-ary hypergroups are a generalization of Dörnte \(n\)-ary groups and a generalization of hypergroups in the sense of Marty. In this paper, we investigate some properties of \(n\)-ary hypergroups and (commutative) fundamental relations. We determine two families \( {P}(H)\) and \( {P}_\sigma(H)\) of subsets of an \(n\)-ary hypergroup \(H\) such that two geometric spaces \((H, {P}(H))\) and \((H, {P}_\sigma(H))\) are strongly transitive. We prove that in every \(n\)-ary hypergroup, the fundamental relation \(\beta\) and the commutative fundamental relation \(\gamma\) are strongly compatible equivalence relations.
- Research article
- Full Text
- Ars Combinatoria
- Volume 109
- Pages: 171-192
- Published: 30/04/2013
In this paper, we develop a technique that allows us to obtain new effective constructions of \(1\)-resilient Boolean functions with very good nonlinearity and autocorrelation. Our strategy to construct a \(1\)-resilient function is based on modifying a bent function by toggling some of its output bits. Two natural questions that arise in this context are: “At least how many bits and which bits in the output of a bent function need to be changed to construct a \(1\)-resilient Boolean function?” We present an algorithm that determines a minimum number of bits of a bent function that need to be changed to construct a \(1\)-resilient Boolean function. We also present a technique to compute points whose output in the bent function need to be modified to get a \(1\)-resilient function. In particular, the technique is applied up to \(14\)-variable functions, and we show that the construction provides \(1\)-resilient functions reaching currently best known nonlinearity and achieving very low autocorrelation absolute indicator values, which were not known earlier.
- Research article
- Full Text
- Ars Combinatoria
- Volume 109
- Pages: 161-170
- Published: 30/04/2013
The noncrossing matchings with each of their blocks containing a given element are introduced and studied. The enumeration of these matchings is described through a polynomial of several variables, which is proved to satisfy a recursive formula. Results of the enumeration of noncrossing matchings with fixed points are connected with Catalan numbers.
- Research article
- Full Text
- Ars Combinatoria
- Volume 109
- Pages: 143-160
- Published: 30/04/2013
For \(1 \leq s \leq n-3\), let \(C_n(i;i_1, v_2, \ldots, i_s)\) denote an \(n\)-cycle with consecutive vertices \(x_1, x_2, \ldots, x_n\) to which the \(s\) chords \(x_{ i}x_{i_1}, x_{i}x_{i_2}, \ldots, x_{i}x_{i_s}\) have been added. In this paper, we discuss the strongly \(c\)-harmonious problem of the graph \(C_n(i;i_1, i_2, \ldots, i_s)\).
A shell of width \(n\) is a fan \(C_n(1;3,4, \ldots, n-1)\) and a vertex with degree \(n-1\) is called apex. \(MS(n^m)\) is a graph consisting of \(m\) copies of shell of width \(n\) having a common apex. If \(m \geq 1\) is odd, then the multiple shell \(MS(n^ m)\) is harmonious.
- Research article
- Full Text
- Ars Combinatoria
- Volume 109
- Pages: 129-141
- Published: 30/04/2013
The closed neighborhood \(N_G[e]\) of an edge \(e\) in a graph \(G\) is the set consisting of \(ev\) and of all edges having a common end-vertex with \(e\). Let \(f\) be a function on \(E(G)\), the edge set of \(G\), into the set \(\{-1, 1\}\). If \(\sum_{x\in E(G)}f(x \geq 1\) for at least \(k\) edges \(e\) of \(G\), then \(f\) is called a signed edge \(k\)-subdominating function of \(G\). The minimum of the values \(\sum_{e \in E(G)} f(e)\), taken over all signed edge \(k\)-subdominating functions \(f\) of \(G\), is called the signed edge \(k\)-subdomination number of \(G\) and is denoted by \(\gamma_{s,k}(G)\). In this note, we initiate the study of the signed edge \(k\)-subdomination in graphs and present some (sharp) bounds for this parameter.




