• Journal of applied mathematics & informatics
• /
• 제27권5_6호
• /
• pp.1307-1318
• /
• 2009

An infinite locally finite plane graph is an LV-graph if it is 3-connected and VAP-free. In this paper, as a preparatory work for solving the problem concerning the existence of a spanning 3-tree in an LV-graph, we investigate the existence of a spanning 3-forest in a bridge of type 0,1 or 2 of a tight semi ring in an LV-graph satisfying certain conditions.

• 대한의용생체공학회:의공학회지
• /
• 제38권2호
• /
• pp.82-88
• /
• 2017

Enlargement of the lateral ventricles have been identified as a surrogate marker of neurological disorders. Quantitative measure of the lateral ventricle from MRI would enable earlier and more accurate clinical diagnosis in monitoring disease progression. Even though it requires an automated or semi-automated segmentation method for objective quantification, it is difficult to define lateral ventricles due to insufficient contrast and brightness of structural imaging. In this study, we proposed a fully automated lateral ventricle segmentation method based on a graph cuts algorithm combined with atlas-based segmentation and connected component labeling. Initially, initial seeds for graph cuts were defined by atlas-based segmentation (ATS). They were adjusted by partial volume images in order to provide accurate a priori information on graph cuts. A graph cuts algorithm is to finds a global minimum of energy with minimum cut/maximum flow algorithm function on graph. In addition, connected component labeling used to remove false ventricle regions. The proposed method was validated with the well-known tools using the dice similarity index, recall and precision values. The proposed method was significantly higher dice similarity index ($0.860{\pm}0.036$, p < 0.001) and recall ($0.833{\pm}0.037$, p < 0.001) compared with other tools. Therefore, the proposed method yielded a robust and reliable segmentation result.

• 한국정보처리학회논문지
• /
• 제4권5호
• /
• pp.1327-1336
• /
• 1997

I/O FSM 모델로 표현된 프로토콜들로부터의 시험 계열 생성은 I/OFSM 명세 자체가 강하게 접속되어야 하며 (strongly connected) 상태(state) 수가 최소(minimal)하여야 하며, 그리고 또 결정형(determinstic) 이어야 한다는 가정에서 출발한다. 본 논문에서는 프로토콜을 나타내는 명세 I/OFSM(또는 Graph)이 이러한 가정으로 출발 되는 이유를 객관화 시키고, 또 그래프 재표기 시스템(Graph Rewriting System)을 정의하고, 이를 명세 그래프(명세 I/OFSM)에 적용시켜 기존의 알고리즘보다 훨씬 빨리 강한 접속 여부를 판단하는 알고리즘을 제시한다.

• Journal of applied mathematics & informatics
• /
• 제22권1_2호
• /
• pp.83-93
• /
• 2006

A graph is k-cyclable if given k vertices there is a cycle that contains the k vertices. Sallee showed that every finite 3-connected planar graph is 5-cyclable. In this paper, by characterizing the circuit graphs and investigating the structure of LV-graphs, we extend his result to 3-connected infinite locally finite VAP-free plane graphs.

• Journal of applied mathematics & informatics
• /
• 제30권1_2호
• /
• pp.245-252
• /
• 2012

In this paper we present a necessary and sufficient conditions for an infinite VAP-free plane graph to be a 3LV-graph as well as an LV-graph. We also introduce and investigate the concept of the order and the kernel of an infinite connected graph containing no one-way infinite path.

• 호남수학학술지
• /
• 제32권4호
• /
• pp.769-776
• /
• 2010

A pebbling move on a connected graph G is taking two pebbles off of one vertex and placing one of them on an adjacent vertex. For a connected graph G, $G^p$ (p > 1) is the graph obtained from G by adding the edges (u, v) to G whenever 2 $\leq$ dist(u, v) $\leq$ p in G. And the pebbling exponent of a graph G to be the least power of p such that the pebbling number of $G^p$ is equal to the number of vertices of G. We compute the pebbling number of fourth power of paths so that the pebbling exponents of some paths are calculated.

• 한국산업정보학회논문지
• /
• 제5권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 applied mathematics & informatics
• /
• 제31권5_6호
• /
• pp.595-608
• /
• 2013

Let G = (V, E) be a simple connected graph. The sets of vertices and edges of G are denoted by V = V (G) and E = E(G), respectively. In such a simple molecular graph, vertices represent atoms and edges represent bonds. The distance between the vertices $u$ and $v$ in V (G) of graph G is the number of edges in a shortest path connecting them, we denote by $d(u,v)$. In graph theory, we have many invariant polynomials for a graph G. In this paper, we focus on the Schultz polynomial, Modified Schultz polynomial, Hosoya polynomial and their topological indices of a molecular graph circumcoronene series of benzenoid $H_k$ and specially third member from this family. $H_3$ is a basic member from the circumcoronene series of benzenoid and its conclusions are base calculations for the Schultz polynomial and Hosoya polynomial of the circumcoronene series of benzenoid $H_k$ ($k{\geq}3$).

• Journal of applied mathematics & informatics
• /
• 제24권1_2호
• /
• pp.141-154
• /
• 2007

The connectivity problem is a fundamental problem in graph theory. The best known algorithm to solve the connectivity problem on general graphs with n vertices and m edges takes $O(K(G)mn^{1.5})$ time, where K(G) is the vertex connectivity of G. In this paper, an efficient algorithm is designed to solve vertex connectivity problem, which takes $O(n^2)$ time and O(n) space for a trapezoid graph.

• Journal of applied mathematics & informatics
• /
• 제34권3_4호
• /
• pp.341-354
• /
• 2016

In this paper, the exact formulae for the generalized product degree distance, reciprocal product degree distance and product degree distance of tensor product of a connected graph and the complete multipartite graph with partite sets of sizes m₀, m₁, ⋯ , m_r−1 are obtained.