Let \(G = (V, E)\) be a simple graph. A subset \(D \subseteq V\) is called a dominating set of \(G\) if every vertex in \(V\) is either in \(D\) or has a neighbour in \(D\). A subset \(D \subseteq V\) is called an equitable dominating set of \(G\) if for every vertex \(v \in V \setminus D\), there exists a vertex \(u \in D\) such that \(uv \in E(G)\) and \(\lvert d_G(u) – d_G(v) \rvert \leq 1\). The minimum cardinality of an equitable dominating set of \(G\), denoted by \(\gamma^{e}(G)\), is called the equitable domination number of \(G\). In this paper, we study the equitable domination number of certain graph operators such as the double graph, the Mycielskian, and the subdivision of a graph.

This paper studies the Pell-Narayana sequence modulo \(m\). It starts by defining the Pell-Narayana numbers and examining their combinatorial relationships with well-known sequences and functions, including Eulerian, Catalan, and Delannoy numbers. Building on this, the concept of a Pell-Narayana orbit is introduced for a 2-generator group with generating pair \((x, y) \in G\), which allows the analysis of the periods of these orbits. The results include explicit calculations of the Pell-Narayana periods for polyhedral and binary polyhedral groups, depending on the choice of generating pair \((x, y)\), along with a discussion of their properties. Furthermore, the paper determines the periodic lengths of Pell-Narayana orbits for the groups \(Q_8, Q_8 \times \mathbb{Z}_{2m},\) and \(Q_8 \times_\varphi \mathbb{Z}_{2m}\) for all \(m \geq 3\).

A graph \(G=(V,E)\) is \(H\)-supermagic if there exists a bijection \(f\) from the set \(V\cup E\) to the set of integers \(\{1,2,3,\dots,|V|+|E|\}\), called \(H\)-supermagic labeling such that the sum of labels of all elements of every induced subgraph of \(G\) isomorphic to \(H\) is equal to the same integer and all vertex labels are in \(\{1,2,3,\dots,|V|\}\). We present a \((K_4-e)\)-supermagic labeling of the triangular ladder \(TL_{2n}\) for any \(n\geq2\).

Slilaty and Zaslavsky (2024) characterized all single-element extensions of graphic matroids in terms of a graphical structure called a cobiased graph. In this paper we characterize all orientations of a single-element extension of a graphic matroid in terms of graphically defined orientations of its associated cobiased graph. We also explain how these orientations can be canonically understood as dual to orientations of biased graphs if and only if the underlying graph is planar.

We consider a combinatorial question about searching for an unknown ideal \(\mu\) within a known pointed poset \(\lambda\). Elements of \(\lambda\) may be queried for membership in \(\mu\), but at most \(k\) positive queries are permitted. We provide a general search strategy for this problem, and establish new bounds (based on \(k\) and the degree and height of \(\lambda\)) for the total number of queries required to identify \(\mu\). We show that this strategy performs asymptotically optimally on the family of complete \(\ell\)-ary trees as the height grows.

Graph theory serves as a central and dynamic framework for the design and analysis of networks. Convex polytopes, as fundamental geometric entities, encompass a rich variety of mathematical structures and problems. The basic theory of convex polytopes involves the study of faces, normal cones, duality—particularly polarity—along with separation and other elementary concepts. A convex polytope can be described as a convex set of points within the \(n\)-dimensional Euclidean space \(\Re^{n}\). Among the various dimensions, the partition dimension is the most challenging, and determining its exact value is an NP-hard problem. In this work, we establish bounds for the partition dimension of convex polytopes \(T_\nu\), \(R_\nu\), and \(U_\nu\).

In \(1941\) Dushnik and Miller introduced the concept of dimension of a poset. In \(2020\) Bhavale and Waphare introduced the concept of an RC-lattice as a lattice in which all the reducible elements are lying on a chain. In this paper, we introduce the concept of a complete fundamental basic block and prove that its dimension is at the most three. Consequently, we prove that the dimension of an RC-lattice on \(n\) elements is at the most three. Further, we prove that an RC-lattice is non-planar if and only if its dimension is three.

For a graph, a smallest-last (SL) ordering is formed by iteratively deleting a vertex with smallest degree, then reversing the resulting list. The SL algorithm applies greedy coloring to a SL ordering. For a given vertex coloring algorithm, a graph is hard-to-color (HC) if every implementation of the algorithm results in a nonoptimal coloring. In 1997, Kubale et al. showed that \(C_{8}^{2}\) is the unique smallest HC graph for the SL algorithm. Extending this, we show that for \(k\geq4\), \(k+4\) is the smallest order of a HC graph for the SL algorithm with \(\chi\left(G\right)=k\). We also present a HC graph for the SL algorithm with \(\chi\left(G\right)=3\) that has order 10.

Cut vertices are often used as a measure of nodes’ importance within a network. These are nodes whose failure disconnects a connected graph. Let \(N(G)\) be the number of connected induced subgraphs of a graph \(G\). In this work, we investigate the maximum of \(N(G)\) where \(G\) is a unicyclic graph with \(n\) nodes of which \(c\) are cut vertices. For all valid \(n,c\), we give a full description of those maximal (that maximise \(N(.)\)) unicyclic graphs. It is found that there are generally two maximal unicyclic graphs. For infinitely many values of \(n,c\), however, there is a unique maximal unicyclic graph with \(n\) nodes and \(c\) cut vertices. In particular, the well-known negative correlation between the number of connected induced subgraphs of trees and the Wiener index (sum of distances) fails for unicyclic graphs with \(n\) nodes and \(c\) cut vertices: for instance, the maximal unicyclic graph with \(n=3,4\mod 5\) nodes and \(c=n-5>3\) cut vertices is different from the unique graph that was shown by Tan et al. [The Wiener index of unicyclic graphs given number of pendant vertices or cut vertices. J. Appl. Math. Comput., 55:1–24, 2017] to minimise the Wiener index. Our main characterisation of maximal unicyclic graphs with respect to the number of connected induced subgraphs also applies to unicyclic graphs with \(n\) nodes, \(c\) cut vertices and girth at most \(g>3\), since it is shown that the girth of every maximal graph with \(n\) nodes and \(c\) cut vertices cannot exceed \(4\).

The honeymoon Oberwolfach problem HOP\((2m_1,2m_2,\ldots,2m_t)\) asks the following question. Given \(n=m_1+m_2+\ldots +m_t\) newlywed couples at a conference and \(t\) round tables of sizes \(2m_1,2m_2,\ldots,2m_t\), is it possible to arrange the \(2n\) participants at these tables for \(2n-2\) meals so that each participant sits next to their spouse at every meal, and sits next to every other participant exactly once? A solution to HOP\((2m_1,2m_2,\ldots,2m_t)\) is a decomposition of \(K_{2n}+(2n-3)I\), the complete graph \(K_{2n}\) with \(2n-3\) additional copies of a fixed 1-factor \(I\), into 2-factors, each consisting of disjoint \(I\)-alternating cycles of lengths \(2m_1,2m_2,\ldots,2m_t\). The honeymoon Oberwolfach problem was introduced in a 2019 paper by Lepine and Šajna. The authors conjectured that HOP\((2m_1,2m_2,\ldots,\) \(2m_t)\) has a solution whenever the obvious necessary conditions are satisfied, and proved the conjecture for several large cases, including the uniform cycle length case \(m_1=\ldots=m_t\), and the small cases with \(n \le 9\). In the present paper, we extend the latter result to all cases with \(n \le 20\) using a computer-assisted search.