Graph embedding problems have gained importance in the field of interconnection networks for parallel computer architectures. In this paper, we prove that grid and cylinder are the subgraphs of certain circulant networks. Further, we present an algorithm to embed tori into certain circulant networks with dilation\(2\) and vice-versa.

Broadcasting is a fundamental information dissemination problem in a connected graph, in which one vertex called the originator disseminates one or more messages to all other vertices in the graph. \(A\)-broadcasting is a variant of broadcasting in which an informed vertex can disseminate a message to at most \(k\) uninformed vertices in one unit of time. In general, solving the broadcast problem in an arbitrary graph is NP-complete. In this paper, we obtain the \(k\)-broadcast time of the Sierpiński gasket graphs for all \(k \geq 1\).

Let \( G = (V, E) \) be a graph with vertex set \( V \) and edge set \( E \). Let \( \text{diam}(G) \) denote the diameter of \( G \) and \( d(u, v) \) denote the distance between the vertices \( u \) and \( v \) in \( G \). An antipodal labeling of \( G \) with diameter \( d \) is a function \( f \) that assigns to each vertex \( u \), a positive integer \( f(u) \), such that \( d(u, v) + |f(u) – f(v)| \geq d \), for all \( u, v \in V \). The span of an antipodal labeling \( f \) is \( \max \{|f(u) – f(v)| : u, v \in V(G)\} \). The antipodal number for \( G \), denoted by \( \text{an}(G) \), is the minimum span of all antipodal labelings of \( G \). Determining the antipodal number of a graph \( G \) is an NP-complete problem. In this paper, we determine the antipodal number of certain graphs.

The concept of fuzzy local \(\omega\)-language and Büchi fuzzy local \(\omega\)-language are defined in \([1,2]\). In this paper, we define Landweber fuzzy local \(\omega\)-language and study their closure properties and also give an automata characterization for it. Finally, we conclude the hierarchy among the subclasses of fuzzy regular \(\omega\)-languages.

In this paper, we have calculated the combinatorial counting relations varying over the \(3\)-vertex paths of a simple graph \(G\), by restricting our attention to \(C_3\), \(C_4\)-free graphs.

A kernel in a directed graph \(D(V, E)\) is a set \(S\) of vertices of \(D\) such that no two vertices in \(S\) are adjacent and for every vertex \(u\) in \(V \setminus S\) there is a vertex \(v\) in \(S\) such that \((u, v)\) is an arc of \(D\). The problem of existence of a kernel itself is NP-complete for a general digraph. But in this paper, we solve the strong kernel problem of certain oriented networks in polynomial time.

A double shell is defined to be two edge-disjoint shells with a common apex. In this paper, we prove that double shells (where the shell orders are \(m\) and \(2m+1\)) with exactly two pendant edges at the apex are \(k\)-graceful when \(k=2\). We extend this result to double shells of any order \(m\) and \(\ell\) (where \(m \geq 3\) and \(\ell \geq 3\)) with exactly two pendant edges at the apex.

A book consists of a line in the 3-dimensional space, called the spine, and a number of pages, each a half-plane with the spine as boundary. A book embedding \((\pi, p)\) of a graph consists of a linear ordering \(\pi\) of vertices, called the spine ordering, along the spine of a book and an assignment \(p\) of edges to pages so that edges assigned to the same page can be drawn on that page without crossing. That is, we cannot find vertices \(u, v, x, y\) with \(\pi(u) < \pi(x) < \pi(v) 2\) and \(C_n\) are given. If \(G\) is any graph, an upper bound for the page number of the Mycielski of \(G\) is given. When \(G\) and \(H\) are any two graphs with page number \(k\) and \(l\), it is proved that the amalgamation of \(G\) and \(H\) can be embedded in a \max(k, l)\) pages. Further, we remark that the amalgamation of \(G\) with itself requires the same number of pages as \(G\), irrespective of the vertices identified in the two copies of \(G\), to form an amalgamation.

In 2004, Blinco et al [1] introduced \(\gamma\)-labeling. A function \(h\) defined on the vertex set of a graph \(G\) with \(n\) edges is called a \(\gamma\)-labeling if:

1. \(h\) is a \(p\)-labeling of \(G\),
2. \(G\) admits a tripartition \((A, B, C)\) with \(C = \{c\}\) and there exists \(\overline{b} \in B\) such that \((\overline{b}, c)\) is the unique edge with the property that \(h(c) – h(\overline{b}) = n\),
3. for every edge \(\{a, v\} \in E(G)\) with \(a \in A\), \(h(a) < h(v)\).

In [1] they have also proved a significant result on graph decomposition that if a graph \(G\) with \(n\) edges admits a \(\gamma\)-labeling then the complete graph \(K_{2cn+1}\) can be cyclically decomposed into \(2cn + 1\) copies of the graph \(G\), where \(c\) is any positive integer.

Motivated by the result of Blinco et al [1], in this paper, we prove that the well-known almost-bipartite graph, the grid with an additional edge, \((P_m \Box P_n) + \hat{e}\), admits \(\gamma\)-labeling. Further, we discuss a related open problem.

A set \( S \) of vertices of a graph \( G(V,E) \) is a \({dominating \;set}\) if every vertex of \( V \setminus S \) is adjacent to some vertex in \( S \). A dominating set is said to be \({efficient}\) if every vertex of \( V \setminus S \) is dominated by exactly one vertex of \( S \). A paired-dominating set is a dominating set whose induced subgraph contains at least one perfect matching. A set \( S \) of vertices in \( G \) is a total dominating set of \( G \) if every vertex of \( V \) is adjacent to some vertex in \( S \). In this paper, we construct a minimum paired dominating set and a minimum total dominating set for the infinite diamond lattice. The total domatic number of \( G \) is the size of a maximum cardinality partition of \( V \) into total dominating sets. We also demonstrate that the total domatic number of the infinite diamond lattice is 4.