• Communications of the Korean Mathematical Society
• /
• v.15 no.3
• /
• pp.521-531
• /
• 2000

Graph C*-algebras C*(E) are the universal C*-algebras generated by partial isometries satisfying the Cuntz-Krieger relations determined by directed graphs E, and it is known that a simple graph C*-algebra is extremally rich in sense that it contains enough extreme consider a sufficient condition on a graph for which the associated graph algebra(possibly nonsimple) is extremally rich. We also present examples of nonextremally rich prime graph C*-algebras with finitely many ideals and with real rank zero.

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

A simple graph is called semi-symmetric if it is regular and edge transitive but not vertex transitive. In this paper we prove that there is no connected cubic semi-symmetric graph of order 12p³ for any prime number p.

• Communications of the Korean Mathematical Society
• /
• v.38 no.3
• /
• pp.937-941
• /
• 2023

For each positive integer n, a square congruence graph S(n) is the graph with vertex set H = {1, 2, 3,...., n} and two vertices a, b are adjacent if they are distinct and a² ≡ b² (mod n). In this paper we investigate some structural properties of square congruence graph and we obtain the relationship between clique number, chromatic number and maximum degree of square congruence graph. Also we study square congruence graph with p vertices or 2p vertices for any prime number p.

• Journal of applied mathematics & informatics
• /
• v.42 no.1
• /
• pp.159-167
• /
• 2024

The Topological indices are known as Mathematical characterization of molecules. In this paper, we have studied line graph of subdivision and semi-total point graph of triangular benzenoid, polynomino chains of 8-cycles and graphene sheet through forgotten and first Zagreb indices.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.40 no.5
• /
• pp.429-437
• /
• 2022

Recently, the demand for a QA (Question Answering) system for human-machine communication has increased. Among the QA systems, a closed domain QA system that can handle spatial-related questions is called GeoQA. In this study, a new type of graph database, LPG (Labeled Property Graph) was used to overcome the limitations of the RDF (Resource Description Framework) based database, which was mainly used in the GeoQA field. In addition, GraphQL (Graph Query Language), an API-type query language, is introduced to address the fact that the LPG query language is not standardized and the GeoQA system may depend on specific products. In this study, database was built so that answers could be retrieved when spatial-related questions were entered. Each data was obtained from the national spatial information portal and local data open service. The spatial relationships between each spatial objects were calculated in advance and stored in edge form. The user's questions were first converted to GraphQL through FOL (First Order Logic) format and delivered to the database through the GraphQL server. The LPG used in the experiment is Neo4j, the graph database that currently has the highest market share, and some of the built-in functions and QGIS were used for spatial calculations. As a result of building the system, it was confirmed that the user's question could be transformed, processed through the Apollo GraphQL server, and an appropriate answer could be obtained from the database.

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.1
• /
• pp.175-184
• /
• 2002

A Cellular embedding of a graph G into an orientable surface S can be considered as a cellular decomposition of S into 0-cells, 1-cells and 2-cells and vise versa, in which 0-cells and 1-cells form a graph G and this decomposition of S is called a map in S with underlying graph G. For a map M with underlying graph G, we define a natural rotation on the line graph of the graph G and we introduce the line map for M. we find that genus of the supporting surface of the line map for a map and we give a characterization for the line map to be embedded in the sphere. Moreover we show that the line map for any life of a map M is map-isomorphic to a lift of the line map for M.

• Journal of Korea Multimedia Society
• /
• v.6 no.4
• /
• pp.736-745
• /
• 2003

Traditional slicing techniques make slices through dependence graphs. They also improve the accuracy of slices. However, traditional slicing techniques require many vertices and edges in order to express a data communication link because they are based on static slicing techniques. Therefore the graph becomes very complicated, and size of the slices is larger. We propose the representation of a dynamic object-oriented program dependence graph so as to process the slicing of object-oriented programs that is composed of related programs in order to process certain jobs. We also propose an efficient slicing algorithm using the relations of relative tables in order to compute dynamic slices of object-oriented programs. Consequently, the efficiency of the proposed efficient dynamic object-oriented program dependence graph technique is also compared with the dependence graph techniques discussed previously As a result, this is certifying that an efficient dynamic object-oriented program dependence graph is more efficient in comparison with the traditional object-oriented dependence graphs and dynamic object-oriented program dependence graph.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.1
• /
• pp.331-342
• /
• 2017

Let R be a commutative ring with nonzero identity and G be a nontrivial finite group. Also, let Z(R) be the set of zero-divisors of R and, for $a{\in}Z(R)$, let $ann(a)=\{r{\in}R{\mid}ra=0\}$. The annihilator graph of the group ring RG is defined as the graph AG(RG), whose vertex set consists of the set of nonzero zero-divisors, and two distinct vertices x and y are adjacent if and only if $ann(xy){\neq}ann(x){\cup}ann(y)$. In this paper, we study the annihilator graph associated to a group ring RG.

• Journal of applied mathematics & informatics
• /
• v.13 no.1_2
• /
• pp.105-115
• /
• 2003

An infinite locally finite plane graph is called an LV-graph if it is 3-connected and VAP-free. If an LV-graph G contains no unbounded faces, then we say that G is a 3LV-graph. In this paper, a structure theorem for an LV-graph concerning the existence of a sequence of systems of paths exhausting the whole graph is presented. Combining this theorem with the early result of the author, we obtain a necessary and sufficient conditions for an infinite VAP-free planar graph to be a 3LV-graph as well as an LV-graph. These theorems generalize the characterization theorem of Thomassen for infinite triangulations.

• The Mathematical Education
• /
• v.13 no.2
• /
• pp.6-10
• /
• 1974

We consider 'ordinary' graphs: that is, finite undirected graphs with no loops or multiple edges. An intersection representation of a graph G is a function r from V(G), the set of vertices of G, into a family of sets S such that distinct points $\chi$$_{\alpha}$ and $\chi$$_{\beta}$/ of V(G) are. neighbors in G precisely when ${\gamma}$($\chi$$_{\alpha}$)∩${\gamma}$($\chi$$_{\beta}$/)$\neq$ø, A graph G is a rigid circuit grouph if every cycle in G has at least one triangular chord in G. In this paper we consider the main theorem; A graph G has an intersection representation by arcs on an acyclic graph if and only if is a normal rigid circuit graph.uit graph.d circuit graph.uit graph.