• Kyungpook Mathematical Journal
• /
• 제62권2호
• /
• pp.347-361
• /
• 2022

Two virtual knot diagrams are said to be equivalent, if there is a sequence S of Reidemeister moves and virtual moves relating them. The difference of writhes of the two virtual knot diagrams gives a lower bound for the number of the first Reidemeister moves in S. In previous work, we introduced a polynomial q_K(t) for a virtual knot diagram K which gave a lower bound for the number of the third Reidemeister moves in the sequence S. In this paper we define a new polynomial from a coloring of a virtual knot diagram. Using this polynomial, we give a lower bound for the number of the second Reidemeister moves in S. The polynomial also suggests the design of the sequence S.

• Kyungpook Mathematical Journal
• /
• 제57권1호
• /
• pp.145-161
• /
• 2017

If a virtual knot diagram can be transformed to another virtual one by a finite sequence of crossing changes, Reidemeister moves and virtual moves then the two virtual knot diagrams are said to be homotopic. There are infinitely many homotopy classes of virtual knot diagrams. We give necessary conditions by using polynomial invariants of virtual knots for two virtual knots to be homotopic. For a sequence S of crossing changes, Reidemeister moves and virtual moves between two homotopic virtual knot diagrams, we give a lower bound for the number of crossing changes in S by using the affine index polynomial introduced in [13]. In [10], the first author gave the q-polynomial of a virtual knot diagram to find Reidemeister moves of virtually isotopic virtual knot diagrams. We find how to apply Reidemeister moves by using the q-polynomial to show homotopy of two virtual knot diagrams.

• 한국경영과학회지
• /
• 제23권4호
• /
• pp.87-96
• /
• 1998

Using the concept of cellular manufacturing systems(CMS) in job shop manufacturing system is one of the most innovative approaches to improving plant productivity. However. several constraints in machine duplication cost, machining capability, cell space capacity, intercell moves and exceptional elements(EEs) are main problems that prevent achieving the goal of maintaining an ideal CMS environment. Minimizing intercell part traffics and EEs are the main objective of the cell formation problem because it is a critical point that improving production efficiency. Because the intercell moves could be changed according to the sequence of operation, it should be considered in assigning parts and machines to machine ceil. This paper presents a method that eliminates EEs under the constraints of machine duplication cost and ceil space capacity attaining two goals of minimizing machine duplications and minimizing intercell moves simultaneously. Developing an algorithm that calculates the machine duplications by cell-machine incidence matrix and part-machine Incidence matrix, and calculates the exact intercell moves considering the sequence of operation. Based on the number of machine duplications and exact intercell moves, the goal programming model which satisfying minimum machine duplications and minimum intercell moves is developed. A linear programming model is suggested that could calculates more effectively without damaging optimal solution. A numerical example is provided to illustrate these methods.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 1998년도 추계학술대회 논문집
• /
• pp.263-266
• /
• 1998

Several constraints in machine duplication cost, machining capability, cell space capacity, intercell moves and exceptional elements(EEs) are main problems that prevent achieving the goal of ideal Cellular Manufacturin System (CMS) environment. Minimizing intercell part traffics and EEs are the main objective of the cell formation problem as it's a critical point that improving production efficiency. Because the intercell moves could be changed according to the sequence of operation, it should be considered in assigning parts and machines to machine cells. This paper presents a method that eliminates EEs under the constraints of machine duplication cost and cell space capacity attaining two goals of minimizing machine duplications and minimizing intercell moves simultaneously. Developing an algorithm that calculates the machine duplications by cell-machine incidence matrix and part-machine incidence matrix, and calculates the exact intercell moves considering the sequence of operation. Based on the number of machine duplications and exact intercell moves, the goal programming model which satisfying minimum machine duplications and minimum intercell moves is developed. A linear programming model is suggested that could calculates more effectively without damaging optimal solution. A numerical example is provided to illustrate these methods.

• 한국게임학회 논문지
• /
• 제18권5호
• /
• pp.77-82
• /
• 2018

바둑은 최상의 착점을 찾기 위해 컴퓨터가 완전탐색을 하여 모든 가능한 착점들을 탐색할 수 없는 가장 복잡한 보드게임이다. AlphaGo 이전에 모든 강력한 컴퓨터바둑 프로그램들은 게임트리 내 매우 큰 분기수와 국면평가에서의 어려움을 극복하기 위해 몬테카를로 트리탐색(Monte-Carlo Tree Search)을 사용해 왔다. 본 논문에서는 MCTS를 활용하여 초소형 바둑에서의 최상의 수순과 덤의 크기를 알고자 했다. 2줄바둑에서의 게임결과는 빅이 되었으며 덤의 크기는 0집, 반면에 3줄바둑에서는 흑이 항상 승리하고 덤의 크기는 9집이 되어야 함을 알아냈다.

• Kyungpook Mathematical Journal
• /
• 제55권2호
• /
• pp.485-506
• /
• 2015

Every classical or virtual knot is equivalent to the unknot via a sequence of extended Reidemeister moves and the so-called forbidden moves. The minimum number of forbidden moves necessary to unknot a given knot is an invariant we call the forbidden number. We relate the forbidden number to several known invariants, and calculate bounds for some classes of virtual knots.

• Kyungpook Mathematical Journal
• /
• 제46권3호
• /
• pp.449-461
• /
• 2006

Generalizing twist moves of classical knots, we introduce $t(a_1,{\cdots},a_m)$-moves of virtual knots for an $m$-tuple ($a_1,{\cdots},a_m$) of nonzero integers. In [4], M. Goussarov, M. Polyak and O. Viro introduced finite type invariants of virtual knots and Gauss diagram formulae giving combinatorial presentations of finite type invariants. By using the Gauss diagram formulae for the finite type invariants of degree 2, we give a necessary condition for a virtual long knot K to be transformed to a virtual long knot K' by a finite sequence of $t(a_1,{\cdots},a_m)$-moves for an $m$-tuple ($a_1,{\cdots},a_m$) of nonzero integers with the same sign.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 제13회 신호처리 합동 학술대회 논문집
• /
• pp.619-622
• /
• 2000

In this paper, we propose a method for generating graphic objects having realistic shadows inserted into video sequence for the enhanced augmented reality. Our purpose is to extend the work of [1], which is applicable to the case of a static camera, to video sequence. However, in case of video, there are a few challenging problems, including the camera calibration problem over video sequence, false shadows occurring when the video camera moves and so on. We solve these problems using the convenient calibration technique of [2] and the information from video sequence . We present the experimental results on real video sequences.

• Kyungpook Mathematical Journal
• /
• 제58권1호
• /
• pp.183-202
• /
• 2018

${\Delta}-moves$ are closely related with a Vassiliev invariant of degree 2. For classical knots, M. Okada showed that the second coefficients of the Conway polynomials of two knots differ by 1 if the two knots are related by a single ${\Delta}-move$. The first author extended the Okada's result for virtual knots by using a Vassiliev invariant of virtual knots of type 2 which is induced from the Kauffman polynomial of a virtual knot. The arrow polynomial is a generalization of the Kauffman polynomial. We will generalize this result by using Vassiliev invariants of type 2 induced from the arrow polynomial of a virtual knot and give a lower bound for the number of ${\Delta}-moves$ transforming $K_1$ to $K_2$ if two virtual knots $K_1$ and $K_2$ are related by a finite sequence of ${\Delta}-moves$.

• Kyungpook Mathematical Journal
• /
• 제56권4호
• /
• pp.1247-1257
• /
• 2016

In this paper, we discuss the crossing change operation along exchangeable double curves of a surface-knot diagram. We show that under certain condition, a finite sequence of Roseman moves preserves the property of those exchangeable double curves. As an application for this result, we also define a numerical invariant for a set of surface-knots called du-exchangeable set.