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 083
- Pages: 47-63
- Published: 30/04/2007
Let \(D = (V, E)\) be a primitive, minimally strong digraph. In \(1982\), J. A. Ross studied the exponent of \(D\) and obtained that \(\exp(D) \leq n + s(n – 8)\), where \(s\) is the length of a shortest circuit in \(D\) \([D]\). In this paper, the \(k\)-exponent of \(D\) is studied. Our principle result is that
\[
\exp_D(k) \leq \begin{cases}
k + 1 + s(n – 3), & \text{if } 1 \leq k \leq s, \\\
k + s(n-3), & \text{if } s+1 \leq k \leq n,\\
\end{cases} \\.
\]
with equality if and only if \(D\) isomorphic to the diagraph \(D_{s,n}\) with vertex set \(V(D_{s,n})=\{v_1,v_2,\ldots,v_n\}\) and arc set \(E(D_{s,n})=\{(v_i,v_{i+1}):1\leq i\leq n-1\}\cap \{(v_s,v_1),(v_n,v_2)\}\). If \((s,n-1)\neq 1\),then
\[
\exp_D(k)< \begin{cases}
k + 1 + s(n – 3), & \text{if } 1 \leq k \leq s, \\\
k + s(n-3), & \text{if } s+1 \leq k \leq n,
\end{cases} \\
\]
and if \((s,n-1)=1\), then \(D_{s, n}\) is a primitive, minimally strong digraph on \(n\) vertices with the \(k\)-exponent
\[
\exp_D(k)= \begin{cases}
k + 1 + s(n – 3), & \text{if } 1 \leq k \leq s, \\\
k + s(n-3), & \text{if } s+1 \leq k \leq n,
\end{cases} \\
\]
Moreover, we provide a new proof of Theorem \(1\) in \([6]\) and Theorem \(2\) in \([14]\) by applying this result.
- Research article
- Full Text
- Ars Combinatoria
- Volume 083
- Pages: 65-92
- Published: 30/04/2007
Given a finite projective plane of order \(n\). A quadrangle consists of four points \(A, B, C, D\), no three collinear. If the diagonal points are non-collinear, the quadrangle is called a non-Fano quad. A general sum of squares theorem is proved for the distribution of points in a plane containing a non-Fano quad, whenever \(n \geq 7\). The theorem implies that the number of possible distributions of points in a plane of order \(n\) is bounded for all \(n \geq 7\). This is used to give a simple combinatorial proof of the uniqueness of \(PP(7)\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 083
- Pages: 33-45
- Published: 30/04/2007
Let \(G = (V, E)\) be a graph with \(n\) vertices. The clique graph of \(G\) is the intersection graph \(K(G)\) of the set of all (maximal) cliques of \(G\) and \(K\) is called the clique operator. The iterated clique graphs \(K^*(G)\) are recursively defined by \(K^0(G) = G\) and \(K^i(G) = K(K^{i-1}(G))\), \(i > 0\). A graph is \(K\)-divergent if the sequence \(|V(K^i(G))|\) of all vertex numbers of its iterated clique graphs is unbounded, otherwise it is \(K\)-convergent. The long-run behaviour of \(G\), when we repeatedly apply the clique operator, is called the \(K\)-behaviour of \(G\).
In this paper, we characterize the \(K\)-behaviour of the class of graphs called \(p\)-trees, that has been extensively studied by Babel. Among many other properties, a \(p\)-tree contains exactly \(n – 3\) induced \(4\)-cycles. In this way, we extend some previous results about the \(K\)-behaviour of cographs, i.e., graphs with no induced \(P_4\)s. This characterization leads to a polynomial-time algorithm for deciding the \(K\)-convergence or \(K\)-divergence of any graph in the class.
- Research article
- Full Text
- Ars Combinatoria
- Volume 083
- Pages: 15-32
- Published: 30/04/2007
In this paper, we obtain a general enumerating functional equation about rooted pan-fan maps on nonorientable surfaces. Based on this equation, an explicit expression of rooted pan-fan maps on the Klein bottle is given. Meanwhile, some simple explicit expressions with up to two parameters: the valency of the root face and the size for rooted one-vertexed maps on surfaces (Klein bottle, Torus, \(N_3\)) are provided.
- Research article
- Full Text
- Ars Combinatoria
- Volume 083
- Pages: 3-14
- Published: 30/04/2007
Let us denote by \({EX}(m,n; \{C_4,\ldots,C_{2t}\})\) the family of bipartite graphs \(G\) with \(m\) and \(n\) vertices in its classes that contain no cycles of length less than or equal to \(2t\) and have maximum size. In this paper, the following question is proposed: does always such an extremal graph \(G\) contain a \((2t + 2)\)-cycle? The answer is shown to be affirmative for \(t = 2,3\) or whenever \(m\) and \(n\) are large enough in comparison with \(t\). The latter asymptotical result needs two preliminary theorems. First, we prove that the diameter of an extremal bipartite graph is at most \(2t\), and afterwards we show that its girth is equal to \(2t + 2\) when the minimum degree is at least \(2\) and the maximum degree is at least \(t + 1\).
- Research article
- https://doi.org/10.61091/ojac-206
- Full Text
- Online Journal of Analytic Combinatorics
- Issue 2, 2007
- Pages: 1-10 (paper #6)
- Published: 13/03/2007
Let \( \mathbb{F}_2^n \) be the finite field of cardinality \( 2^n \). For all large \( n \), any subset \( A \subset \mathbb{F}_2^n \times \mathbb{F}_2^n \) of cardinality
\[
|A| \gtrsim \frac{4^n \log \log n}{\log n},
\]
must contain three points \( \{(x, y), (x + d, y), (x, y + d)\} \) for \( x, y, d \in \mathbb{F}_2^n \) and \( d \neq 0 \). Our argument is an elaboration of an argument of Shkredov [14], building upon the finite field analog of Ben Green [10]. The interest in our result is in the exponent on \( \log n \), which is larger than has been obtained previously.
- Research article
- https://doi.org/10.61091/ojac-205
- Full Text
- Online Journal of Analytic Combinatorics
- Issue 2, 2007
- Pages: 1-7 (paper #5)
- Published: 13/03/2007
In 1972, Bender and Knuth established a bijection between certain infinite matrices of non-negative integers and plane partitions and in [2] a bijection between Bender-Knuth matrices and n-color partitions was shown. Here we use this later bijection and translate the recently found n-color partition theoretic interpretations of four mock theta functions of S. Ramanujan in [1] to new combinatorial interpretations of the same mock theta functions involving Bender-Knuth matrices.
- Research article
- https://doi.org/10.61091/ojac-204
- Full Text
- Online Journal of Analytic Combinatorics
- Issue 2, 2007
- Pages: 1-17 (paper #4)
- Published: 13/03/2007
We present analytical properties of a sequence of integers related to the evaluation of a rational integral. We also discuss an algorithm for the evaluation of the 2-adic valuation of these integers that has a combinatorial interpretation.
- Research article
- https://doi.org/10.61091/ojac-203
- Full Text
- Online Journal of Analytic Combinatorics
- Issue 2, 2007
- Pages: 1-4 (paper #3)
- Published: 13/03/2007
It is proposed that finding the recursion relation and generating function for the (colored) Motzkin numbers of higher rank introduced recently is an interesting problem.
- Research article
- https://doi.org/10.61091/ojac-202
- Full Text
- Online Journal of Analytic Combinatorics
- Issue 2, 2007
- Pages: Pages: 1-21 (Paper #2)
- Published: 13/03/2007
Let \( \mathbb{F}_2^n \) be the finite field of cardinality \( 2^n \). For all large \( n \), any subset \( A \subset \mathbb{F}_2^n \times \mathbb{F}_2^n \) of cardinality \[|A| \gtrsim \frac{4^n \log \log n}{\log n}, \] must contain three points \( \{(x, y), (x + d, y), (x, y + d)\} \) for \( x, y, d \in \mathbb{F}_2^n \) and \( d \neq 0 \). Our argument is an elaboration of an argument of Shkredov [14], building upon the finite field analog of Ben Green [10]. The interest in our result is in the exponent on \( \log n \), which is larger than has been obtained previously.




