• Journal of applied mathematics & informatics
• /
• v.34 no.1_2
• /
• pp.9-17
• /
• 2016

In this paper, it has been shown that the hairy cycle C_n ⊙ rK₁, n ≡ 3(mod4), the graph obtained by adding pendant edge to each pendant vertex of hairy cycle C_n ⊙ 1K₁, n ≡ 0(mod4), double graph of path P_n and double graph of comb P_n ⊙ 1K₁ are k-graceful.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.5
• /
• pp.1753-1763
• /
• 2013

In this paper, we show that tree products of certain subgroup separable groups amalgamating normal subgroups are cyclic subgroup separable. We then extend this result to certain graph product of certain subgroup separable groups amalgamating normal subgroups, that is we show that if the graph has exactly one cycle and the cycle is of length at least four, then the graph product is cyclic subgroup separable.

• Journal of applied mathematics & informatics
• /
• v.39 no.1_2
• /
• pp.223-237
• /
• 2021

Let G = (V (G), E(G)) be a graph and let g : V (G) → S3 be a function. For each edge xy assign the label r where r is the remainder when o(g(x)) is divided by o(g(y)) or o(g(y)) is divided by o(g(x)) according as o(g(x)) ≥ o(g(y)) or o(g(y)) ≥ o(g(x)). The function g is called a group S3 cordial remainder labeling of G if |vg(i)-vg(j)| ≤ 1 and |eg(1)-eg(0)| ≤ 1, where vg(j) denotes the number of vertices labeled with j and eg(i) denotes the number of edges labeled with i (i = 0, 1). A graph G which admits a group S3 cordial remainder labeling is called a group S3 cordial remainder graph. In this paper, we prove that square of the path, duplication of a vertex by a new edge in path and cycle graphs, duplication of an edge by a new vertex in path and cycle graphs and total graph of cycle and path graphs admit a group S3 cordial remainder labeling.

• East Asian mathematical journal
• /
• v.29 no.3
• /
• pp.337-347
• /
• 2013

For an even integer m at least 4 and any positive integer $t$, it is shown that the complete equipartite graph $K_{km(2t)}$ can be decomposed into edge-disjoint gregarious m-cycles for any positive integer ${\kappa}$ under the condition satisfying ${\frac{{(m-1)}^2+3}{4m}}$ < ${\kappa}$. Here it will be called a gregarious cycle if the cycle has at most one vertex from each partite set.

• Journal of Applied and Pure Mathematics
• /
• v.4 no.3_4
• /
• pp.85-97
• /
• 2022

Let a graph G = (V, E) be a (p, q) graph. Define $${\rho}\;=\;\{\array{{\frac{p}{2}}&p\text{ is even}\\{\frac{p-1}{2}}\;&p\text{ is odd,}}$$ and M = {±1, ±2, ⋯ ± 𝜌} called the set of labels. Consider a mapping λ : V → M by assigning different labels in M to the different elements of V when p is even and different labels in M to p - 1 elements of V and repeating a label for the remaining one vertex when p is odd. The labeling as defined above is said to be a pair mean cordial labeling if for each edge uv of G, there exists a labeling $\frac{{\lambda}(u)+{\lambda}(v)}{2}$ if λ(u) + λ(v) is even and $\frac{{\lambda}(u)+{\lambda}(v)+1}{2}$ if λ(u) + λ(v) is odd such that ${\mid}\bar{\mathbb{S}}_{{\lambda}_1}-\bar{\mathbb{S}}_{{\lambda}^c_1}{\mid}{\leq}1$ where $\bar{\mathbb{S}}_{{\lambda}_1}$ and $\bar{\mathbb{S}}_{{\lambda}^c_1}$ respectively denote the number of edges labeled with 1 and the number of edges not labeled with 1. A graph G for which there exists a pair mean cordial labeling is called a pair mean cordial graph. In this paper, we investigate the pair mean cordial labeling of graphs which are obtained from path and cycle.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.22 no.6
• /
• pp.91-97
• /
• 2022

There is hare and tortoise racing algorithm(HTA) for single-source(SS) singly linked list(SLL) with O(n) time complexity. But the fast method is unknown for general graph with multi-source, multi-destination, and multi-branch(MSMDMB). This paper suggests linear time cycle detection algorithm for given undirected and digraph with MSMDMB. The proposed method reduced the given graph G contained with unnecessary vertices(or nodes) to cycle into reduced graph G' with only necessary vertices(or nodes) to cycle based on the condition of cycle formation. For the reduced graph G', we can be find the cycle set C and cycle length λ using linear search within linear time. As a result of experiment data, the proposed algorithm can be obtained the cycle for whole data.

• Korean Journal of Mathematics
• /
• v.27 no.2
• /
• pp.525-534
• /
• 2019

Let $P(G,{\lambda})$ denote the number of proper vertex colorings of G with ${\lambda}$ colors. The chromatic polynomial $P(C_n,{\lambda})$ for the cycle graph $C_n$ is well-known as $$P(C_n,{\lambda})=({\lambda}-1)^n+(-1)^n({\lambda}-1)$$ for all positive integers $n{\geq}1$. Also its inductive proof is widely well-known by the deletion-contraction recurrence. In this paper, we give this inductive proof again and three other proofs of this formula of the chromatic polynomial for the cycle graph $C_n$.

• Journal of Nuclear Fuel Cycle and Waste Technology(JNFCWT)
• /
• v.18 no.1
• /
• pp.19-29
• /
• 2020

This paper gives two graph-based algorithms for radioactive decay computation. The first algorithm identifies the connected components of the graph induced from the given radioactive decay dynamics to reduce the size of the problem. The solutions are derived over the precalculated connected components, respectively and independently. The second algorithm utilizes acyclic structure of radioactive decay dynamics. The algorithm evaluates the reachable vertices of the induced system graph from the initially activated vertices and finds the minimal set of starting vertices populating the entire reachable vertices. Then, the decay calculations are performed over the reachable vertices from the identified minimal starting vertices, respectively, with the partitioned initial value over the reachable vertices. Formal arguments are given to show that the proposed graph inspired divide and conquer calculation methods perform the intended radioactive decay calculation. Empirical efforts comparing the proposed radioactive decay calculation algorithms are presented.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.5
• /
• pp.1464-1473
• /
• 2000

In this paper, we analyze the cycle property of the (n,k)-star graph that has an attention as an alternative interconnection network topology in recent years. Based on the graph-theoretic properties in (n,k)-star graphs, we show the pancyclic property of the graph and also present the corresponding algorithm. Based on the recursive structure of the graph, we present such top-down approach that the resulting cycle can be constructed by applying series of "dimension expansion" operations to a kind of cycles consisting of sub-graphs. This processing naturally leads to such property that the resulting cycles tend to be integrated compactly within some minimal subset of sub-graphs, and also means its applicability of another classes of the disjoint-style cycle problems. This result means not only the graph-theoretic contribution of analyzing the pancyclic property in the underlying graph model but also the parallel processing applications such a as message routing or resource allocation and scheduling in the multi-computer system with the corresponding interconnection network.

• Kyungpook Mathematical Journal
• /
• v.45 no.1
• /
• pp.45-53
• /
• 2005

A basis of the cycle space C (G) is d-fold if each edge occurs in at most d cycles of C(G). The basis number, b(G), of a graph G is defined to be the least integer d such that G has a d-fold basis for its cycle space. MacLane proved that a graph G is planar if and only if $b(G)\;{\leq}\;2$. Schmeichel showed that for $n\;{\geq}\;5,\;b(K_{n}\;{\bullet}\;P_{2})\;{\leq}\;1\;+\;b(K_n)$. Ali proved that for n, $m\;{\geq}\;5,\;b(K_n\;{\bullet}\;K_m)\;{\leq}\;3\;+\;b(K_n)\;+\;b(K_m)$. In this paper, we give an upper bound for the basis number of the semi-strong product of a bipartite graph with a cycle.