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
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 090
- Pages: 249-253
- Published: 31/08/2014
The degree sequence of a finite graph \( G \) is its list \( D = (d_1, \ldots, d_n) \) of vertex degrees in non-increasing order. The graph \( G \) is called a realization of \( D \). In this paper, we characterize the graphic degree sequences \( D \) such that no realization of \( D \) contains an induced four-cycle. Our characterization is stated in terms of the class of forcibly chordal graphs.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 090
- Pages: 241-248
- Published: 31/08/2014
A dice family \( D(n, a, b, s) \) includes all lists \( (x_1, \ldots, x_n) \) of integers with \( n \geq 1 \), \( a \leq x_1 \leq \ldots \leq x_n \leq b \), and \( \sum x_i = s \). Given two dice \( X \) and \( Y \), we compare the number of pairs \( (i, j) \) with \( x_i y_j \). If the second number is larger, then \( X \) is \({stronger}\) than \( Y \), and if the two numbers are equal, then \( X \) and \( Y \) are \({tied}\). In previous work, it has been observed that the density of ties in \( D(n, a, b, s) \) is generally lower than one might expect. In this note, we provide more information about this observation by calculating the asymptotic proportion of ties in certain kinds of dice families. Many other properties of dice families remain to be determined.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 090
- Pages: 223-239
- Published: 31/08/2014
After introducing and discussing the notion of length two path centered surface area for general graphs, particularly for bipartite graphs, we derive a closed-form expression and an explicit expression for the length two path centered surface areas of the hypercube and the star graph, respectively.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 090
- Pages: 197-222
- Published: 31/08/2014
The Ramsey numbers \( r(F, G) \) are investigated, where \( F \) is a non-tree graph of order \( 5 \) and minimum degree \( 1 \), and \( G \) is a connected graph of order \( 6 \). For all pairs \( (F, G) \) where \( F \neq K_5 – K_{1,3} \), the exact value of \( r(F, G) \) is determined. In order to settle \( F = K_5 – K_{1,3} \), we prove \( r(K_5 – K_{1,3}, G) = r(K_4, G) \).
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 090
- Pages: 185-195
- Published: 31/08/2014
A Stanton-type graph \( S(n, m) \) is a connected multigraph on \( n \) vertices such that for a fixed \( m \) with \( n-1 \leq m \leq \binom{n}{2} \), there is exactly one edge of multiplicity \( i \) (and no others) for each \( i = 1, 2, \ldots, m \). In this note, we show how to decompose \( \lambda K_n \) (for the appropriate minimal values of \( \lambda \)) into Stanton-type graphs \( S(4, 3) \) of the LOE and OLE types.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 090
- Pages: 167-184
- Published: 31/08/2014
For a nontrivial connected graph \(G\), an Eulerian walk in \(G\) is a closed walk that contains every edge of \(G\) at least once. An Eulerian walk is irregular if it encounters no two edges of \(G\) the same number of times and the minimum length of an irregular Eulerian walk in \(G\) is the Eulerian irregularity of \(G\). In this work, we determine the Eulerian irregularities of all prisms, grids and powers of cycles.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 090
- Pages: 159-165
- Published: 31/08/2014
In this paper, we consider the use of balanced arrays (B-arrays) in constructing discrete fractional factorial designs (FFD) of resolution \((2u+1)\), with \(u=2\) and \(3\), in which each of the \(m\) factors is at two levels (say, \(0\) and \(1\)), denoted by factorial designs of \(2^m\) series. We make use of the well-known fact that such designs can be realized under certain conditions, by using balanced arrays of strength four and six (with two symbols), respectively. Here, we consider the existence of B-arrays of strength \(t=4\) and \(t=6\), and discuss how the results presented can be used to obtain the maximum value of \(m\) for a given set of treatment-combinations. Also, we provide some illustrative examples in which the currently available \(\max(m)\) values have been improved upon.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 090
- Pages: 145-158
- Published: 31/08/2014
For integers \( k \geq 1 \), a \((p,q)\)-graph \( G = (V, E) \) is said to admit an AL(\(k\))-traversal if there exists a sequence of vertices \((v_1, v_2, \ldots, v_p)\) such that for each \( i = 1, 2, \ldots, p-1 \), the distance between \( v_i \) and \( v_{i+1} \) is \( k \). We call a graph \( k \)-step Hamiltonian (or say it admits a \( k \)-step Hamiltonian tour) if it has an AL(\(k\))-traversal and \( d(v_1, v_p) = k \). In this paper, we investigate the \( k \)-step Hamiltonicity of graphs. In particular, we show that every graph is an induced subgraph of a \( k \)-step Hamiltonian graph for all \( k \geq 2 \).
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 090
- Pages: 139-143
- Published: 31/08/2014
A difference system of sets (DSS) is any collection of subsets of \(\mathbb{Z}_n\) with the property that the differences from distinct sets cover \(\mathbb{Z}_n\). That is, every non-zero class in \(\mathbb{Z}_n\) can be written as a difference of classes in at least one way. DSS were introduced by Levenstein in 1971 only for finite fields but the case for just 2 subsets had been previously considered by Clauge. Their work emphasized an application to synchronizable codes. A DSS is triangular if its sets contain only triangular numbers mod \(n\). We show that a triangular DSS cannot exist in \(\mathbb{Z}_{2^k}\) for \(k > 3\).
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 090
- Pages: 123-137
- Published: 31/08/2014
In testing web applications, details of user visits may be recorded in a web log and converted to test cases. This is called user-session-based testing and studies have shown that such tests may be effective at revealing faults. However, for popular web applications with a larger user base, many user-sessions may build up and test suite management techniques are needed. In this paper, we focus on the problem of test suite prioritization. That is, given a large test suite, reorder the test cases according to a criterion that is hypothesized to increase the rate of fault detection. Previous work shows that 2-way combinatorial-based prioritization is an effective prioritization criterion. We develop a greedy algorithm where we consider memory usage and the time that it takes to prioritize test suites. We represent software tests in a graph by storing unique parameters as vertices and \( n \)-way sets as edges or series of edges. Our experiments demonstrate the efficiency of this approach.




