• Bulletin of the Korean Mathematical Society
• /
• v.59 no.1
• /
• pp.27-43
• /
• 2022

The one-sided fattenings (called semi-ribbon graph in this paper) of the graph embedded in the real projective plane ℝℙ² are completely classified up to topological equivalence. A planar graph (i.e., embedded in the plane), admitting the one-sided fattening, is known to be a cactus boundary. For the graphs embedded in ℝℙ² admitting the one-sided fattening, unlike the planar graphs, a new building block appears: a bracelet along the Möbius band, which is not a connected summand of the oriented surfaces.

• Journal of the Korea Society of Computer and Information
• /
• v.12 no.2 s.46
• /
• pp.181-188
• /
• 2007

Undirected Rural Postman Problem(URPP) is a problem that finds a shortest tour traversing the given arcs at least once in a given network. The URPP is one of the basic network problems used in solving the various real-world problems. And it is known as NP-Complete. URPP is an arc-oriented problem that the direction of a tour in an arc has to be considered. Hence, In URPP, it is difficult to use the algorithm for Traveling Salesman Problem (TSP), which is a node-oriented problem, directly. This paper proposes the decoding algorithm using graph transformation in the genetic algorithm for URPP. That is, you can find the entire tour traversing without considering the direction of arcs by transforming the arc-oriented graph into the node-oriented graph. This paper compares the performances of the proposed algorithm with an existing algorithm. In the simulation results, the proposed algorithm obtained better than the existing algorithm

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.11 no.3
• /
• pp.65-75
• /
• 2007

A graph G is self-complementary (sc) if it is isomorphic to its complement. G is perfect if for all induced subgraphs H of G, the chromatic number of H (denoted ${\chi}$(H)) equals the number of vertices in the largest clique in H (denoted ${\omega}$(H)). An sc graph which is also perfect is known as sc perfect graph. A comparability graph is an undirected graph if it can be oriented into transitive directed graph. An sc comparability (scc) is clearly a subclass of sc perfect graph. In this paper we show that no two non-isomorphic scc graphs with n vertices each, (n<13) have same spectrum, and that the smallest positive integer for which there exists hyper-energetic scc graph is 13.

• Journal of Korea Game Society
• /
• v.17 no.1
• /
• pp.89-98
• /
• 2017

This paper presents a novel ARAP (as-rigid-as-possible) approach to real-time simulation of physics-based deformation. To cope with one, two and three dimensional deformable bodies in an efficient, robust and uniform manner, we introduce a deformation graph of oriented particles and formulate the corresponding ARAP deformation energy. For stable time integration of the oriented particles, we develop an implicit integration scheme formulated in a variational form. Our method seeks the optimal positions and rotations of the oriented particles by iteratively applying an alternating local/global optimization scheme. The proposed method is easy to implement and computationally efficient to simulate complex deformable models in real time.

• Journal of applied mathematics & informatics
• /
• v.17 no.1_2_3
• /
• pp.25-38
• /
• 2005

Oriented 2-factorable graphs are reduced to bouquets by permutation voltage assignment in this paper. Introducing the concept of k-class index of a permutation group, various oriented 2-factorable graphs are enumerated in this paper.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.04a
• /
• pp.815-820
• /
• 2000

Variable Reference Graph 는 C 언어로 작성된 프로그램으로부터 상호 절차적인 자료 흐름 분석 정보를 수평적 방향 그래프(directed graph)로 자동 생성해주는 역공학(reverse engineering) 도구들 중 하나이다. 본 논문에서는 판독성 있는 구조적 정보를 제공하기위한 그래픽 표현의 전략을 바탕으로 JAVA 로 구현된 그래픽 사용자 인터페이스(graphic user interface) 및 그래프 레이아웃 알고리즘(graph layout algorithm)을 기술한다. 이 알고리즘은 4 단계로 구성되어 있다: 정보 모형, 레벨 알고리즘, 순서 알고리즘, 위치 알고리즘. 각 단계별에서 수행되는 주요 알고리즘을 살펴 본다. 특히, 이 알고리즘들은 사이클(cycle) 및 비사이클(acyclic) 방향 그래프, 그리고 트리(tree)를 수평적 계층 구조를 생성하는데 사용될 수 있다. 본 논문에서 구현된 Variable Reference Graph 는 소프트웨어 재공학 도구를 개발하는 RESORT(RESearch on object-oriented SOftware Reengineering Technology) 과제에서 개발되었다.

• ETRI Journal
• /
• v.44 no.5
• /
• pp.780-793
• /
• 2022

Large-scale ontology management is one of the main issues when using ontology data practically. Although many approaches have been proposed in relational database management systems (RDBMSs) or object-oriented DBMSs (OODBMSs) to develop large-scale ontology management systems, they have several limitations because ontology data structures are intrinsically different from traditional data structures in RDBMSs or OODBMSs. In addition, users have difficulty using ontology data because many terminologies (ontology nodes) in large-scale ontology data match with a given string keyword. Therefore, in this study, we propose a (graph database-based ontology management system (GOMS) to efficiently manage large-scale ontology data. GOMS uses a graph DBMS and provides new query templates to help users find key concepts or instances. Furthermore, to run queries with multiple joins and path conditions efficiently, we propose GOMS encoding as a filtering tool and develop hash-based join processing algorithms in the graph DBMS. Finally, we experimentally show that GOMS can process various types of queries efficiently.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.7
• /
• pp.1805-1816
• /
• 1999

This paper presents the Module Class Dependency Graph for expressing the dependency relations between classes effectively. The object-oriented language is developed independently at design time, and consists of relationship between classes. Therefore we need to consider these characteristics of independence, and to express effectively the relation of classes which is existed in class hierarchy. In the System Dependence Graph and Class Dependence Graph, the relationship of classes is not expressed. To express the class relationship, we propose the Module Class Dependence Graph, and we verify the effectiveness of this method applying to object constructor, inheritance relationship and dynamic binding. Also, we presents the expressing method of parameter to identify the member data of classes. Using this Module Class Dependency Graph, we can analyze the relationship of module class correctly at design time. This method can be applied to reverse engineering, testing, visualization and other various fields to analyze system.

• Journal of the Korea Society of Computer and Information
• /
• v.3 no.1
• /
• pp.63-80
• /
• 1998

In object-oriented software development, reuse has been studied for the enhancement of software quality and software developer's productivity. But improper modeling in design phase and uncontrolled change during maintenance activities have a problem to reuse a class. In this paper we analyze a semantic cohesion of classes using C++ Program dependency graph, and slice a class with cohesion, so that this method supports the re-estimate of class quality and the extensibility of class. Therefore this proposed method in this paper increases the easibility of the restructuring in the reusable systems, when the developer selects a requested component for a object-oriented program development.

• Honam Mathematical Journal
• /
• v.36 no.2
• /
• pp.399-415
• /
• 2014

We study the Seifert surfaces of a link by relating the embeddings of graphs with induced graphs. As applications, we prove that every link L is the boundary of an oriented surface which is obtained from a graph embedding of a complete bipartite graph $K_{2,n}$, where all voltage assignments on the edges of $K_{2,n}$ are 0. We also provide an algorithm to construct such a graph diagram of a given link and demonstrate the algorithm by dealing with the links $4^2_1$ and $5_2$.