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 049
- Pages: 57-64
- Published: 31/05/2004
In this paper we consider a variation of the classical Turán-type extremal problems. Let \( S \) be an \( n \)-term graphical sequence, and \( \sigma(S) \) be the sum of the terms in \( S \). Let \( H \) be a graph. The problem is to determine the smallest even \( l \) such that any \( n \)-term graphical sequence \( S \) having \( \sigma(S) \geq l \) has a realization containing \( H \) as a subgraph. Denote this value \( l \) by \( \sigma(H, n) \). We show \(\sigma(C_{2m+1}, n) = m(2n – m – 1) + 2, \quad \text{for } m \geq 3, n \geq 3m;\) \(\sigma(C_{2m+2}, n) = m(2n – m – 1) + 4, \quad \text{for } m \geq 3, n \geq 5m – 2. \)
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 049
- Pages: 33-55
- Published: 31/05/2004
We first prove that if \( G \) is a connected graph with \( n \) vertices and chromatic number \( \chi(G) = k \geq 2 \), then its independent domination number
\[i(G) \leq \left\lceil \frac{(k-1)}{k}n \right\rceil – (k-2).\]
This bound is tight and remains so for planar graphs. We then prove that the independent domination number of a diameter two planar graph on \( n \) vertices is at most \( \left\lceil \frac{n}{3} \right\rceil \).
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 049
- Pages: 9-31
- Published: 31/05/2004
Hill, Landjev, Jones, Storme, and Barat proved in a previous article on caps in \(PG(5, 3)\) and \(PG(6,3)\) that every 53-cap in \(PG(5, 3)\) is contained in the 56-cap of Hill and that there exist complete 48-caps in \(PG(5,3)\). The first result was used to lower the upper bound on \( m_2(6,3) \) on the size of caps in \(PG(6, 3)\) from 164 to 154. Presently, the known upper bound on \( m_2(6, 3) \) is 148. In this article, using computer searches, we prove that every 49-cap in \(PG(5, 3)\) is contained in a 56-cap, and that every 48-cap, having a 20-hyperplane with at most 8-solids, is also contained in a 56-cap. Computer searches for caps in \(PG(6,3)\) which use the computer results of \(PG(5,3)\) then lower the upper bound on \( m_2(6,3) \) to \( m_2(6,3) \leq 136 \). So now we know that \( 112 \leq m_2(6,3) \leq 136 \).
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 049
- Pages: 3-8
- Published: 31/05/2004
Let \( \delta(G) \) and \( \lambda(G) \) be the minimum degree and edge-connectivity of a graph \( G \), respectively. A graph \( G \) is maximally edge-connected if \( \lambda(G) = \delta(G) \) and super-edge-connected if every minimum edge cut consists of edges adjacent to a vertex of minimum degree.
In this paper, sufficient conditions for super-edge-connected graphs depending on the clique number and the minimum degree are presented. These results show that some known sufficient conditions for maximally edge-connected graphs even lead to super-edge-connected graphs.
- Research article
- Full Text
- Ars Combinatoria
- Volume 071
- Pages: 65-78
- Published: 30/04/2004
For a vertex \(v\) of a connected graph \(G\) and a subset \(S\) of \(V(G)\), the distance between \(v\) and \(S\) is \(d(v, S) = \min\{d(v,x) : x \in S\}\), where \(d(v,x)\) is the distance between \(v\) and \(x\). For an ordered \(k\)-partition \(\Pi = \{S_1, S_2, \ldots, S_k\}\) of \(V(G)\), the code of \(v\) with respect to \(\Pi\) is the \(k\)-vector \(c_\Pi(v) = (d(v,S_1), d(v,S_2), \ldots, d(v, S_k))\). The \(k\)-partition \(\Pi\) is a resolving partition if the codes \(c_\Pi(v)\), \(v \in V(G)\), are distinct. A resolving partition \(\Pi = \{S_1, S_2, \ldots, S_k\}\) is acyclic if each subgraph \(\langle S_i \rangle\) induced by \(S_i\) (\(1 \leq i \leq k\)) is acyclic in \(G\). The minimum \(k\) for which there is a resolving acyclic \(k\)-partition of \(V(G)\) is the resolving acyclic number \(a_r(G)\) of \(G\). We study connected graphs with prescribed order, diameter, vertex-arboricity, and resolving acyclic number. It is shown that, for each triple \(d,k,n\) of integers with \(2 \leq d \leq n-2\) and \(3 \leq (n-d+1)/2 \leq k \leq n-d+1\), there exists a connected graph of order \(n\) having diameter \(d\) and resolving acyclic number \(k\). Also, for each pair \(a, b\) of integers with \(2 \leq a \leq b-1\), there exists a connected graph with resolving acyclic number \(a\) and vertex-arboricity \(b\). We present a sharp lower bound for the resolving acyclic number of a connected graph in terms of its clique number. The resolving acyclic number of the Cartesian product \(H \times K_2\) of nontrivial connected graph \(H\) and \(K_2\) is studied.
- Research article
- Full Text
- Ars Combinatoria
- Volume 071
- Pages: 49-64
- Published: 30/04/2004
In this paper, we completely solve the problem of finding a maximum packing of any balanced complete multipartite graph \(K_{m}(n)\) with edge-disjoint \(6\)-cycles, and minimum leaves are explicitly given.
Subsequently, we also find a minimum covering of \(K_{m}(n)\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 071
- Pages: 33-47
- Published: 30/04/2004
Orthogonal designs and their special cases, such as weighing matrices and Hadamard matrices, have many applications in combinatorics, statistics, and coding theory, as well as in signal processing. In this paper, we generalize the definition of orthogonal designs, give many constructions for these designs, and prove some multiplication theorems that, most of them, can also be applied in the special case of orthogonal designs. Some necessary conditions for the existence of generalized orthogonal designs are also given.
- Research article
- Full Text
- Ars Combinatoria
- Volume 071
- Pages: 3-32
- Published: 30/04/2004
We prove that the corona graphs \(C_n \circ K_1\) are \(k\)-equitable, as per Cahit’s definition of \(k\)-equitability, for \(k = 2, 3, 4, 5, 6\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 071
- Pages: 305-318
- Published: 30/04/2004
For a vertex \(v\) of a graph \(G = (V, E)\), the domination number \(\gamma(G)\) of \(G\) relative to \(v\) is the minimum cardinality of a dominating set in \(G\) that contains \(v\). The average domination number of \(G\) is \(\gamma_{av}(G) = \frac{1}{|V|} \sum_{v\in V} \gamma_v(G)\). The independent domination number \(i_v(G)\) of \(G\) relative to \(v\) is the minimum cardinality of a maximal independent set in \(G\) that contains \(v\). The average independent domination number of \(G\) is \(\gamma_{av}^i(G) = \frac{1}{|V|} \sum_{v\in V} i_v(G)\). In this paper, we show that a tree \(T\) satisfies \(\gamma_{av}(T) = i_{av}(T)\) if and only if \(A(T) = \vartheta\) or each vertex of \(A(T)\) has degree \(2\) in \(T\), where \(A(T)\) is the set of vertices of \(T\) that are contained in all its minimum dominating sets.
- Research article
- Full Text
- Ars Combinatoria
- Volume 071
- Pages: 289-303
- Published: 30/04/2004
A graph \(G\) is \(K_r\)-covered if each vertex of \(G\) is contained in a clique \(K_r\). Let \(\gamma(G)\) and \(\gamma_t(G)\) respectively denote the domination and the total domination number of \(G\). We prove the following results for any graph \(G\) of order \(n\):
If \(G\) is \(K_6\)-covered, then \(\gamma_t(G) \leq \frac{n}{3}\),
If \(G\) is \(K_r\)-covered with \(r = 3\) or \(4\) and has no component isomorphic to \(K_r\), then \(\gamma_t(G) \leq \frac{2n}{r+1}\),
If \(G\) is \(K_3\)-covered and has no component isomorphic to \(K_3\), then \(\gamma(G) + \gamma_t(G) \leq \frac{7n}{9}\).
Corollaries of the last two results are that every claw-free graph of order \(n\) and minimum degree at least \(3\) satisfies \(\gamma_t(G) \leq \frac{n}{2}\) and \(\gamma(G) + \gamma(G) \leq \frac{7n}{9}\). For general values of \(r\), we give conjectures which would generalise the previous results. They are inspired by conjectures of Henning and Swart related to less classical parameters \(\gamma_{K_r}\) and \(\gamma^t_{K_r}\).




