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

A map is a connected topological graph $\Gamma$ cellularly embedded in a surface. For any connected graph $\Gamma$, by introducing the concertion of semi-arc automorphism group Aut$\_$$\frac{1}{2}$/$\Gamma$ and classifying all embedding of $\Gamma$ undo. the action of this group, the numbers r$\^$O/ ($\Gamma$) and r$\^$N/($\Gamma$) of rooted maps on orientable and non-orientable surfaces with underlying graph $\Gamma$ are found. Many closed formulas without sum ∑ for the number of rooted maps on surfaces (orientable or non-orientable) with given underlying graphs, such as, complete graph K$\_$n/, complete bipartite graph K$\_$m, n/ bouquets B$\_$n/, dipole Dp$\_$n/ and generalized dipole (equation omitted) are refound in this paper.

• Journal of Korea Society of Industrial Information Systems
• /
• v.5 no.1
• /
• pp.1-15
• /
• 2000

In this paper, an efficient system for finding answers to a given path algebra expression in a directed acylic graph is discussed more particulary, in a multimedia presentration graph. Path algebra expressions are formulated using revised versions of operators next and until of temporal logic, and the connected operator. To evaluate queries with path algebra expressions, the node code system is proposed. In the node code system, the nodes of a presentation graph are assigned binary codes (node codes) that are used to represent nodes and paths in a presentation graph. Using node codes makes it easy to find parent-child predecessor-sucessor relationships between nodes. A pair of node codes for connected nodes uniquely identifies a path, and allows efficient set-at-a-time evaluations of path algebra expressions. In this paper, the node code representation of nodes and paths in multimedia presentation graphs are provided. The efficient algorithms for the evaluation of queries with path algebra expressions are also provided.

• Journal of KIISE:Databases
• /
• v.27 no.2
• /
• pp.185-198
• /
• 2000

Recently the technological advance in the hardware dealing with multimedia data as well as the explosive increase of the volume of multimedia data bring about new interest in the use of multimedia presentations in many application domains. To use multimedia presentations efficiently, the integration of multimedia presentations into DBMS is necessary. This paper presents a multimedia presentatation query language based on contents and query processing techniques. Presently, multimedia presentation authoring tools denote a multimedia presentation using a presentation graph which is a DAG. A Node in the graph is a same type of media stream and edges denote a play-out order and a synchronization way among nodes. The contents of presentations graphs are the information of each stream, the sequential order of the information inside each stream and the play-out order among the streams. GCalculus/S is a calculus-based query language and can deal with the contents of a presentation graph and physical characteristics of multimedia data. It expresses the sequential order of information inside each stream and the play-out order of streams of a presentation graph using temporal operators Next, Connected and Until. O-Algebra, which is object algebra, is extended to process GCalculus/S queries.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.22 no.11
• /
• pp.1538-1543
• /
• 2018

For n pairs of points (a,b) on a circle, the line segment to connect two points is called a chord. These chords define a new graph G. Each chord corresponds to a vertex of G, and if two chords intersect, the two vertices corresponding to them are connected by an edge. This makes a graph, called by a circle graph. In this paper, we deal with the problem to find the connected components of a circle graph. The connected component of a graph G is a maximal subgraph H such that any two vertices in H can be connected by a path. When the adjacent matrix of G is given, the problem to find them can be solved by either the depth-first search or the breadth-first search. But when only the information for the chords is given as an input, it takes ${\Omega}(n^2)$ time to obtain the adjacent matrix. In this paper, we do not make the adjacent matrix and develop an $O(n{\log}^2n)$ algorithm for the problem.

• Journal of the Korean Mathematical Society
• /
• v.49 no.5
• /
• pp.1031-1051
• /
• 2012

In this paper, we will investigate the concept of the torsion-graph of an R-module M, in which the set $T(M)^*$ makes up the vertices of the corresponding torsion graph, ${\Gamma}(M)$, with any two distinct vertices forming an edge if $[x:M][y:M]M=0$. We prove that, if ${\Gamma}(M)$ contains a cycle, then $gr({\Gamma}(M)){\leq}4$ and ${\Gamma}(M)$ has a connected induced subgraph ${\overline{\Gamma}}(M)$ with vertex set $\{m{\in}T(M)^*{\mid}Ann(m)M{\neq}0\}$ and diam$({\overline{\Gamma}}(M)){\leq}3$. Moreover, if M is a multiplication R-module, then ${\overline{\Gamma}}(M)$ is a maximal connected subgraph of ${\Gamma}(M)$. Also ${\overline{\Gamma}}(M)$ and ${\overline{\Gamma}}(S^{-1}M)$ are isomorphic graphs, where $S=R{\backslash}Z(M)$. Furthermore, we show that, if ${\overline{\Gamma}}(M)$ is uniquely complemented, then $S^{-1}M$ is a von Neumann regular module or ${\overline{\Gamma}}(M)$ is a star graph.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.21 no.3
• /
• pp.215-225
• /
• 1996

For an undirected stochastic network G, the 2-terminal reliability of G, R(G) is the probability that the specific two nodes (called as terminal nodes) are connected in G. A. typical network reliability problem is to compute R(G). It has been shown that the computation problem of R(G) is NP-hard. So, any algorithm to compute R(G) has a runngin time which is exponential in the size of G. If by some means, the problem size, G is reduced, it can result in immense savings. The means to reduce the size of the problem are the reliability preserving reductions and graph decompositions. We introduce a net set of reliability preserving reductions : the $K^{4}$ (complete graph of 4-nodes)-chain reductions. The total number of the different $K^{4}$ types in R(G), is 6. We present the reduction formula for each $K^{4}$ type. But in computing R(G), it is possible that homeomorphic graphs from $K^{4}$ occur. We devide the homemorphic graphs from $K^{4}$ into 3 types. We develop the reliability preserving reductions for s types, and show that the remaining one is divided into two subgraphs which can be reduced by $K^{4}$-chain reductions 7 polygon-to-chain reductions.

• Journal of the Korean Mathematical Society
• /
• v.47 no.5
• /
• pp.967-983
• /
• 2010

Let M be an n-dimensional complete simply connected Riemannian manifold with sectional curvature bounded above by a nonpositive constant $-{\kappa}^2$. Using the cone total curvature TC($\Gamma$) of a graph $\Gamma$ which was introduced by Gulliver and Yamada [8], we prove that the density at any point of a soap film-like surface $\Sigma$ spanning a graph $\Gamma\;\subset\;M$ is less than or equal to $\frac{1}{2\pi}\{TC(\Gamma)-{\kappa}^2Area(p{\times}\Gamma)\}$. From this density estimate we obtain the regularity theorems for soap film-like surfaces spanning graphs with small total curvature. In particular, when n = 3, this density estimate implies that if $TC(\Gamma)$ < $3.649{\pi}\;+\;{\kappa}^2\inf\limits_{p{\in}F}Area(p{\times}{\Gamma})$, then the only possible singularities of a piecewise smooth (M, 0, $\delta$)-minimizing set $\Sigma$ are the Y-singularity cone. In a manifold with sectional curvature bounded above by $b^2$ and diameter bounded by $\pi$/b, we obtain similar results for any soap film-like surfaces spanning a graph with the corresponding bound on cone total curvature.

• Kyungpook Mathematical Journal
• /
• v.63 no.1
• /
• pp.123-129
• /
• 2023

For an ordered set W = {w₁, w₂, . . . , w_k} of vertices and a vertex v in a connected graph G, the k-vector r(v|W) = (d(v, w₁), d(v, w₂), . . . , d(v, w_k)) is called the metric representation of v with respect to W, where d(x, y) is the distance between the vertices x and y. A set W is called a resolving set for G if distinct vertices of G have distinct metric representations with respect to W. The minimum cardinality of a resolving set for G is its metric dimension dim(G), and a resolving set of minimum cardinality is a basis of G. The corona product, G ⊙ H of graphs G and H is obtained by taking one copy of G and n(G) copies of H, and by joining each vertex of the ith copy of H to the ith vertex of G. In this paper, we obtain bounds for dim(G ⊙ K₁), characterize all graphs G with dim(G ⊙ K₁) = dim(G), and prove that dim(G ⊙ K₁) = n - 1 if and only if G is the complete graph K_n or the star graph K_1,n-1.

• Journal of Educational Research in Mathematics
• /
• v.15 no.1
• /
• pp.75-105
• /
• 2005

This study explored a mathematical modeling flow and the effect of interactions among students and between a student and Excel on modeling in a small group modeling environment with Excel. This is a case study of three 8th graders' modeling activity using Excel during their extra lessons. The conclusions drawn from this study are as follows: First, small group modeling using Excel was formed by formulating 4∼10 modeling cycles in each task. Students mainly formed tables and graphs and refined and simplified these models. Second, students mainly formed tables, algebraic formulas and graphs and refined tables considering each variable in detail by obtaining new data with inserting rows. In tables, students mainly explored many expected cases by changing the values of the parameters. In Graphs, students mainly identified a solution or confirmed the solution founded in a table. Meanwhile, students sometimes constructed graphs without a purpose and explored the problem situations by graphs mainly as related with searching a solution, identifying solutions that are found in the tables. Thus, the teacher's intervention is needed to help students use diverse representations properly in problem situations and explore floatingly and interactively using multi-representations that are connected numerically, symbolically and graphically. Sometimes students also perform unnecessary activities in producing data by dragging, searching a solution by 'trial and error' and exploring 'what if' modeling. It is considered that these unnecessary activities were caused by over-reliance on the Excel environment. Thus, the teacher's intervention is needed to complement the Excel environment and the paper-and-pencil environment properly.

• Journal of KIISE:Computer Systems and Theory
• /
• v.31 no.1_2
• /
• pp.86-94
• /
• 2004

In this paper, we show that $ G(2^m, 4), m{\geq}3$with at most m-2 faulty elements has a fault-free cycle of length 1 for every ${\leq}1{\leq}2^m-f_v$ is the number of faulty vertices. To achieve our purpose, we define a graph G to be k-fault hypohamiltonian-connected if for any set F of faulty elements, G- F has a fault-free path joining every pair of fault-free vertices whose length is shorter than a hamiltonian path by one, and then show that$ G(2^m, 4), m{\geq}3$ is m-3-fault hypohamiltonian-connected.