• Journal of applied mathematics & informatics
• /
• v.42 no.4
• /
• pp.761-775
• /
• 2024

A cycle in a graph G that contains all of its vertices is said to be the Hamiltonian cycle of that graph. A Hamiltonian graph is one that has a Hamiltonian cycle. This article discusses how to create a new network from an existing one, such as the Enhanced Honeycomb Network EHC(n), which is created by adding six new edges to each layer of the Honeycomb Network HC(n). Enhanced honeycomb networks have 9n² + 3n - 6 edges and 6n² vertices. For every perfect sub-Honeycombe topology, this new network features six edge disjoint Hamiltonian cycles, which is an advantage over Honeycomb. Its diameter is (2n + 1), which is nearly 50% lesser than that of the Honeycomb network. Using 3-bit grey code, we demonstrated that the Enhanced Honeycomb Network EHC(n) is Hamiltonian.

• Journal of Korea Society of Industrial Information Systems
• /
• v.9 no.2
• /
• pp.9-16
• /
• 2004

Recently, lattice conditional independence models(LCIMs) have been introduced for the analysis of non-monotone missing data patterns and of non-nested dependent regression models. This approach has been successfully applied to solve various problems in data pattern analysis, however, it suffers from computational burden to search LCIMs. In order to cope with this drawback, we propose a new scheme for finding LCIMs based on the essential graph. Also, we show that the class of LCIMs coincides with the class of all transitive acyclic directed graph(TADG) models which are Markov equivalent to a specific acyclic directed graph(ADG) models.

• Journal of applied mathematics & informatics
• /
• v.28 no.5_6
• /
• pp.1347-1358
• /
• 2010

An upright drawing of a planar graph G on k layers is a planar straight-line drawing of G, where the vertices of G are placed on a set of k horizontal lines, called layers and no two adjacent vertices are placed on the same layer. There is a previously known algorithm that decides in linear time whether a planar graph admits an upright drawing on k layers for a fixed value of k. However, the constant factor in the running time of the algorithm increases exponentially with k and makes it impractical even for k = 3. In this paper, we give a linear-time algorithm to examine whether a biconnected planar graph G admits an upright drawing on three layers and to obtain such a drawing if it exists. We also give a necessary and sufficient condition for a tree to have an upright drawing on three layers. Our algorithms in both the cases are much simpler and easier to implement than the previously known algorithms.

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

For a graph G = (V, E), a vertex coloring (or, simply, a coloring) of G is a function C : V (G) → {1, 2, …, k} (using the non-negative integers {1, 2, …, k} as colors). We say that a coloring of a graph G is injective if for every vertex v ∈ V (G), all the neighbors of v are assigned with distinct colors. The injective chromatic number χi(G) of a graph G is the least k such that there is an injective k-coloring [6]. In this paper, we study a natural variation of the injective coloring problem: coloring the edges of a graph under the same constraints (alternatively, to investigate the injective chromatic number of line graphs), we define the k- injective edge coloring of a graph G as a mapping C : E(G) → {1, 2, …, k}, such that for every edge e ∈ E(G), all the neighbors edges of e are assigned with distinct colors. The injective chromatic index χ′in(G) of G is the least positive integer k such that G has k- injective edge coloring, exact values of the injective chromatic index of different families of graphs are obtained, some related results and bounds are established. Finally, we define the injective clique number ωin and state a conjecture, that, for any graph G, ωin ≤ χ′in(G) ≤ ωin + 2.

• Journal of applied mathematics & informatics
• /
• v.42 no.3
• /
• pp.567-582
• /
• 2024

A total coloring of a graph G is an assignment of colors to the elements of a graphs G such that no adjacent vertices and edges receive the same color. The total chromatic number of a graph G , denoted by χ''(G), is the minimum number of colors that suffice in a total coloring. In this paper, we proved the Behzad and Vizing conjecture for certain convex polytope graphs D^p_n, Q^p_n, R^p_n, E_n, S_n, G_n, T_n, U_n, C_n,respectively. This significant result in a graph G contributes to the advancement of graph theory and combinatorics by further confirming the conjecture's applicability to specific classes of graphs. The presented proof of the Behzad and Vizing conjecture for certain convex polytope graphs not only provides theoretical insights into the structural properties of graphs but also has practical implications. Overall, this paper contributes to the advancement of graph theory and combinatorics by confirming the validity of the Behzad and Vizing conjecture in a graph G and establishing its relevance to applied problems in sciences and engineering.

• Journal of Applied and Pure Mathematics
• /
• v.6 no.1_2
• /
• pp.55-69
• /
• 2024

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 with a pair mean cordial labeling is called a pair mean cordial graph. In this paper, we investigate the pair mean cordial labeling behavior of some union of graphs.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.39 no.2
• /
• pp.131-140
• /
• 2014

Customer networks go through constant changes. They may expand or shrink once they are formed. In dynamic environments, it is a critical corporate challenge to identify and manage influential customer groups in a cost effective way. In this context, we apply inverse optimization theory to suggest an efficient method to manage customer networks. In this paper, we assume that there exists a subset of nodes that might have a large effect on the network and that the network can be modified via some strategic actions. Rather than making efforts to find influential nodes whenever the network changes, we focus on a subset of selective nodes and perturb as little as possible the interaction between nodes in order to make the selected nodes influential in the given network. We define the following problem based on the inverse optimization. Given a graph and a prescribed node subset, the objective is to modify the structure of the given graph so that the fixed subset of nodes becomes a minimum dominating set in the modified graph and the cost for modification is minimum under a fixed norm. We call this problem the inverse dominating set problem and investigate its computational complexity.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.04a
• /
• pp.242-250
• /
• 1999

The objective of this paper is to propose an Extended AND-OR Graph (EAOG)-driven inferential simulation mechanism with which decision makers engaged in electronic commerce (EC) can effectively deal with complicated decision making problem. In the field of traditional expect systems research, AND-OR Graph approach cannot be effectively used in the EC problems in which real-time problem-solving property should be highly required. In this sense, we propose the EAOG inference mechanism for EC problem-solving in which heurisric knowledge necessary for intelligent EC problem-solving can be represented in a form of matrix. The EAOG method possesses the following three characteristics. 1. Realtime inference: The EAOG inference mechanism is suitable for the real-time inference because its computational mechanism is based on matrix computation.2. Matrix operation: All the subjective knowledge is delineated in a matrix form, so that inference process can proceed based on the matrix operation which is computationally efficient.3. Bi-directional inference: Traditional inference method of expert systems is based on either forward chaining or based on either and computational efficiency. However, the proposed EAOG inference mechanism is generically bi-directional without loss of both speed and efficiency.We have proved the validity of our approach with several propositions and an illustrative EC example.

• Genomics & Informatics
• /
• v.6 no.4
• /
• pp.223-226
• /
• 2008

We introduce a computational approach for analysis of glycosylation in Post-PKS tailoring steps. It is a computational method to predict the deoxysugar biosynthesis unit pathway and the substrate specificity of glycosyltransferases involved in the glycosylation of polyketides. In this work, a directed and weighted graph is introduced to represent and predict the deoxysugar biosynthesis unit pathway. In addition, a homology based gene clustering method is used to predict the substrate specificity of glycosyltransferases. It is useful for the rational design of polyketide natural products, which leads to in silico drug discovery.

• Korean Journal of Computational Design and Engineering
• /
• v.18 no.1
• /
• pp.1-9
• /
• 2013

Nowadays in order to perform assembly process planning by using CAPP (Computer Aided Process Planning), researches to generate the assembly sequence automatically have come under constant interest by many researchers and they are devoted to optimize the assembly sequence. In this paper, the product on analyzing the relationship between assembled parts via contacting information such as common area, automatically based on the liaison graph of the product. To verify the validness and efficiency of the approach, the simple product is tested in the experimental way.