• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.21 no.2
• /
• pp.429-434
• /
• 2017

In a graph G=(V, E) with n vertices, there is an unique box which is finally laid on each vertex. Thus each vertex and box is both numbered from 1 to n and the box i should be laid on the vertex i. But, the box ${\pi}$(i) is initially located on the vertex i according to a permutation ${\pi}$. In each step, the robot can walk along an edge of G and can carry at most one box at a time. Also when arriving at a vertex, the robot can swap the box placed there with the box it is carrying. The problem is to minimize the total step so that every vertex has its own box, that is, the shuffled boxes are sorted. In this paper, we shall find an upper bound of the minimum number of steps and show that the movement of the robot is found in $O(n^2)$ time when G is a cycle.

• Annual Conference of KIPS
• /
• 2012.04a
• /
• pp.1198-1199
• /
• 2012

본 논문에서는 안드로이드 어플리케이션의 화이트박스 테스트를 위해 안드로이드의 특성인 액티비티의 라이프사이클을 고려하여 상태도를 생성하는 기법에 대한 연구이다. 상태도를 생성 하기 위해 소스코드에서 역공학을 통해 생성된 호출그래프에 어플리케이션내의 여러 액티비티의 라이프 사이클정보를 추가하여 액티비티 상태도를 생성한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.680-682
• /
• 2000

이 논문은 에지와 정점에 고장이 있는 이중 루프 네트워크의 해밀톤 성질을 고려한다. 이중 루프 네트워크 G(mn;1,m)은 m$\times$n 그리드 그래프에 에지를 추가한 4-정규 그래프이다 m과 n이 모두 짝수인 이중 루프 네트워크G(mn;1,m)은 고장난 요소(에지와 정점)의 수가 1이하인 경우에 해밀톤 연결되어 있고, 고장난 요소의 수가 2이하인 경우에 항상 해밀톤 사이클을 가짐을 보인다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.913-915
• /
• 2004

크로스워드 자동 생성 시스템은 대량의 한글 낱말을 대상으로 하여 가로 세로 10 정도의 크기를 지닌 크로스워드 퍼즐을 자동으로 만들어주는 시스템이다. 크로스워드 퍼즐은 신문이나 잡지 등에서 많이 볼 수 있으며 이물 자동화해서 생성해주는 프로그램들이 많이 개발되어있다. 그러나 지금까지 개발된 자동 시스템들은 영어를 대상으로 하는 프로그램들이 대부분이며, 한글을 대상으로 하는 시스템은 거의 없는 실정이다. 본 논문에서는 한글 기반의 크로스워드 퍼즐을 자동으로 생성하기 위해 한글 사전의 특성을 조사하여 보고 크로스워드 퍼즐 자동 생성 시 노드들의 연결을 그래프 구조로 변환하여 생각을 해보았다. 그리하여 그래프에서의 사이클 허용여부와 노드가 가지는 connectivity를 크로스워드 퍼즐 자동 생성 시스템에 적용을 하여 보았다.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.13 no.4
• /
• pp.107-116
• /
• 2013

This algorithm suggests a method in which a minimum spanning tree can be obtained fast by reducing the number of an algorithm execution. The suggested algorithm performs a select-and-delete process. In the select process, firstly, it performs Borůvka's first stage for all the vertices of a graph. Then it re-performs Borůvka's first stage for specific vertices and reduces the population of the edges. In the delete process, it deletes the maximum weight edge if any cycle occurs between the 3 edges of the edges with the reduced population. After, among the remaining edges, applying the valency concept, it gets rid of maximum weight edges. Finally, it eliminates the maximum weight edges if a cycle happens among the vertices with a big valency. The select-and-delete algorithm was applied to 9 various graphs and was evaluated its applicability. The suggested select process is believed to be the vest way to choose the edges, since it showed that it chose less number of big edges from 6 graphs, and only from 3 graphs, comparing to the number of edges that is to be performed when using MST algorithm. When applied the delete process to Kruskal algorithm, the number of performances by Kruskal was less in 6 graphs, but 1 more in each 3 graph. Also, when using the suggested delete process, 1 graph performed only the 1st stage, 5 graphs till 2nd stage, and the remaining till 3rd stage. Finally, the select-and-delete algorithm showed its least number of performances among the MST algorithms.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10a
• /
• pp.703-705
• /
• 1998

본 논문에서는 MPI를 이용하여 분산 공유 메모리 시스템을 구현한다. 또한 사이클이 없는 방향성 그래프를 기반으로 한 분산 락 알고리즘을 기반으로 네트윅 환경에 적당한 알고리즘을 제안하고 구현하다. 사용된 MPI 는 분산 메모리 시스템의 메시지교환의 표준이므로 MPI 가 구현되어 있는 대부분의 분산 메모리 시스템에서 활용이 가능하여 높은 이식성을 가진다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• pp.492-495
• /
• 2011

그래프 G의 쌍형 다대다 k-서로소민 경로 커버 (k-DPC)는 k개의 서로 다른 소스 정점과 싱크 정점 쌍을 연결하며 그래프에 있는 모든 정점을 지나는 k개의 서로소인 경로 집합을 말한다. 2-차원 $m{\times}n$ 토러스는 길이가 각각 m과 n인 두 사이클 $C_m$과 $C_n$의 곱으로 정의되는 그래프이다. 이 논문에서는 고장 정접이나 에지가 하나인 $m{\times}n$ 이분 토러스(짝수 m,n ${\geq}$4)에는, 정점 고장이 있고 소스나 싱크 중에 고장 정점과 같은 색을 가진 정점이 오직 하나 존재하거나 혹은 정점 고장이 없고 에지 고장이 하나 존재하면서 둘은 흰색 정점이고 둘은 검정색 정점이면 항상 두 소스-싱크 쌍을 잇는 쌍형 다대다 2-DPC가 존재 힘을 보인다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.30 no.7_8
• /
• pp.434-444
• /
• 2003

In this paper, we consider the hamiltonian properties of m$\times$n (m$\geq$2, n$\geq$3) mesh networks with two wraparound edges on the first row and last row, called M$_2$(m, n), in the presence of a faulty node or link. We prove that M$_2$(m, n) with odd n is hamiltonian-connected and 1-fault hamiltonian. In addition, we prove that M$_2$(m, n) with even n is strongly hamiltonian laceable and 1-vertex fault tolerant strongly hamiltonian laceable.

• Annual Conference of KIPS
• /
• 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) 과제에서 개발되었다.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.12 no.6
• /
• pp.165-173
• /
• 2012

Given a connected, weighted, and undirected graph, the Minimum Spanning Tree (MST) should have minimum sum of weights, connected all vertices, and without any cycle taking place. Borůvka Algorithm is firstly suggested as an algorithm to evaluate the MST, but it is not widely used rather than Prim and Kruskal algorithms. Borůvka algorithm selects the Minimum Weight Edge (MWE) from each vertex with distinct weights in $1^{st}$ stage, and selects the MWE from each MSF (Minimum Spanning Forest) in $2^{nd}$ stage. But the cycle check and the number of MSF in $1^{st}$ stage and $2^{nd}$ stage are difficult to implication by computer program even if it is easy to verify visually. This paper suggests the generalized Borůvka Algorithm, This algorithm selects all of the same MWEs for each vertex, then checks the cycle and constructs MSF for ascending sorted MWEs. Kruskal method bring into this process. if the number of MSF greats then 1, this algorithm selects MWE from ascending sorted inter-MSF edges. The generalized Borůvka algorithm is verified its application by being applied to the 7 graphs with the many minimum weights or distinct weight edges for any vertex. As a result, the generalized Borůvka algorithm is less required for cycle verification then the Kruskal algorithm. Therefore, the generalized Borůvka algorithm is more fast to obtain MST then Kruskal algorithm.