John Neumeier 의 안무성향에 관한 연구 - “The Lady of the Camellias"를 중심으로 -

김복선 한국무용학회 2004 한국무용학회지 Vol.4 No.1

SymMerge 알고리즘의 새로운 복잡도 분석

김복선 한국지능시스템학회 2015 한국지능시스템학회논문지 Vol.25 No.5

The SymMerge algorithm is an efficient merging algorithm for input sequences υ and ν of sizes |υ|=m and |ν|=n, m ≤ n. We consider complexity analysis for SymMerge algorithm regarding to the required number of comparisons. The focus of the previous complexity analysis was on finding the values of upper bounds, i.e. showing the asymptotical optimality. In this paper, in a different way from the previous complexity analysis, we show that the overall required number of comparisons for two representative special cases “symmetric case” and “maximum spanning case” can be calculated exactly i.e. the least upper bounds regarding to the required number of comparisons are calculated. Symmerge requires exactly m logn/m+4m-logm-3 comparisons for symmetric case of sizes m=2κ, n-2ι, ι≥κ of input sequences and exactly 1/2m²+(m+1)logm-3/2m+2 comparisons for maximum spanning case of sizes m=2κ, n=2m-m of input sequences. Additionally we show that the complexity of the Symmerge algorithm regarding to the overall required number of comparisons for these special cases can be defined by recurrence relations. SymMerge 알고리즘은 두 입력수열 υ와 ν (|υ|=m, |ν|=n, m ≤ n)에 대한 효율적 병합 알고리즘이다. SymMerge 알고리즘의 비교횟수와 관련한 복잡도 분석을 하고자 하며 지금까지의 복잡도 분석은 복잡도의 상계값을 찾으므로 점근적 계산방법을 통해 이루어졌다. 이 논문에서는 지금까지의 분석방법과는 달리 SymMerge 알고리즘의 대표적 두 special case에 해당하는 “Symmetric case”와 “Maximum spanning case”에 있어서 병합을 위해 요구되는 정확한 비교횟수를 즉 비교횟수의 최소상계 값을 계산해 보이고자 한다. “Symmetric case”의 경우 사이즈 m=2κ, n-2ι, ι≥κ인 임의의 입력수열에 대해 SymMerge 알고리즘이 필요로 하는 비교횟수는 정확하게 m log n/m+4m-logm-3이고 “Maximum spanning case”의 경우 사이즈 m=2κ, n=2m-m인 임의의 입력수열에 대해 SymMerge 알고리즘이 필요로 하는 비교횟수는 정확하게 1/2m²+(m+1)log m-3/2m+2임을 계산해 보인다. 추가로 이들 두 special case에 있어서 요구되는 비교횟수가 재귀적 함수에 의해 정의될 수 있음을 보인다.

Solution of the Resource Constrained Project Scheduling Problem on the Foundation of a Term-Based Approach

김복선 한국지능시스템학회 2014 한국지능시스템학회논문지 Vol.24 No.2

The logic-based scheduling language RCPSV may be used to model resource-constrained project scheduling problems with variants for minimizing the project completion time. A diagram-based, nonredundant enumeration algorithm for the RCPSV-problem is proposed and the correctness of the algorithm is proved.

Complexity of the Symmerge Algorithm

김복선 한국지능시스템학회 2008 한국지능시스템학회논문지 Vol.18 No.2

Symmerge is a stable minimum storage merging algorithm that needs (수식) element comparisons, where and are the sizes of the input sequences with m≤n. Hence, according to the lower bound for merging, the algorithm is asymptotically optimal regarding the number of comparisons. The Symmerge algorithm is based on the standard recursive technique of "divide and conquer". The objective of this paper is to consider the relationship between m and n for the degenerated case where the recursion depth reaches . m≤n을 만족하는 m과 n을 두 입력수열이라고 했을 때 Symmerge는 비교횟수와 관련해 복잡도 (수식)를 필요로 하는 stable minimum storage 머징 알고리즘이다. 그러므로 비교횟수와 관련된 머징의 점근적 하계 (수식)에 의해 Symmerge 알고리즘은 최적 알고리즘에 해당함을 알 수 있다. Symmerge는 두 입력수열의 분할 (partition)과 로테이션 (rotation)을 통해 얻어지는 수열들에 알고리즘의 재귀적 콜 (recursive call)이 적용되는 divide 와 conquer 기술을 이용한다. 이로 인해 수열들이 반복해서 분할과 로테이션 되는데 특히 재귀의 깊이가 m-1가 되는 경우에 있어서 두 입력수열의 길이의 관계를 알아보고자 한다.

니진스카의 「결혼」에 관한 연구

김복선 東亞大學校附設스포츠科學硏究所 1998 스포츠科學硏究論文集 Vol.16 No.-

This study is to examine Bronislava Nijinska's view of art through analysis of「Les Noces」, one of the masterpieces of modernistic ballet and further to inquire the new tendency of ballet shown in works of art of the 20th century. In this context, it begins with examination of the life of Nijinska, background of dance formation through her choreographical activities, and general propensity of her dances. The analysis of「Les Noces」which is the keynote in this paper consists of two parts, form aspect and content aspect. The movement, and element that makes up dancing in form aspect, seeks purity, removing the descriptive aspect and emphasizes the abstractness with moderate and neat gestures. In a whole characteristic form, it is analyzed that the dynamic form of movement itself gives liveliness to dancing with showing the form of architectural choreography which maximizes the visual effectiveness of ensemble ballet, deviating from leading role-centered form. In the aspect of content, it raises the symbolism of wedding, describing contradictoriness of traditional wedding and deep mentality of and inside of leading role through the analysis of the folk matter in Russian rural community with a view of female choreographer. And this represents the abstraction, primitive characteristics, and similarities of modern visual arts. As seen in the result of analysis, Nijinska tried to choreograph the structural and abstract dance with pure movement, emerging from the dramatic ballet, in expressing the work and transmitting the subject through「Les Noces」. 「Les Noces」in the meaning of dance history has been like a milestone which provided a new view of modern ballet in the context of modern artistic thought, with breaking from Classical Ballet form which was continued for centuries. The tradition of academic ballet that Nijinska received provided a fundamental basis for her own experimental choreography and the attitude putting much value on movement implied the early inclination for coming Neo-Classicism. The art of Nijinska has been regarded as an opportunity which was used to recognize new possibility and direction point of ballet art against the quickening of modern dances in the 20th century. It clearly shows that it has been a monumental activity which enabled to cope with the coming era through extension of the expression sphere of dance language.

Complexity of Stable Minimum Storage Merging by Symmetric Comparisons

김복선 한국지능시스템학회 2007 한국지능시스템학회 학술발표 논문집 Vol.17 No.2

Symmerge is a stable minimum storage algorithm for merging that needs O(mlog n/m) element comparisons, where m and n are the sizes of the input sequences with (m≤n). According to the lower bound for merging, the algorithm is asymptotically optimal regarding the number of comparisons. The objective of this paper is to consider the relationship between m and n for the spanning case with the recursion level m-1.

Decomposition Tree를 이용한 SymMerge 알고리즘의 복잡도 분석

김복선 한국지능시스템학회 2018 한국지능시스템학회논문지 Vol.28 No.6

The SymMerge algorithm is based on a simple strategy of symmetric comparisons and has the significant property that each pair of sequences with size i s merged on t he foundation of two recursive calls with size each. The computational process of the SymMerge algorithm can be represented by a binary tree, where each node of the binary tree corresponds to the sizes of two merged sequences. We call such a binary tree a decomposition tree. Using the novel “one-level-up shifting and nodes maximizing”technique based on these decomposition trees, we will do an analysis of the computational complexity for special cases of inputs. SymMerge 알고리즘은 단순한 대칭비교 전술을 이용해서 사이즈가 인 수열 를 사이즈가각각 인 두 수열을 생성하고 이 두 수열을 다시 재귀적으로 병합을 하는 의미 있는 특성을 갖는다. 그리고SymMerge 알고리즘의 계산과정은 각각의 정점이 병합하는 두 수열의 사이즈를 나타내는 이진트리에 의해 묘사될 수 있는데우리는 이 이진트리를 분할 트리라고 명명한다. 이 분할 트리를 기초로 특별한 입력 수열에 대해 새로운 “one-level-up shifting and nodes maximizing”기술을 적용한 계산 복잡도 분석을 소개한다.

SymMerge 알고리즘이 갖는 성질들에 관한 연구

김복선 한국지능시스템학회 2020 한국지능시스템학회논문지 Vol.30 No.4

SymMerge is a recursive algorithm that uses a symmetric comparison strategy and rotations for merging two sorted sequences of sizes  and  into one sequence of size  . The computational process of the SymMerge algorithm can be described by a binary tree called decomposition tree, where every node of this tree denotes a tuple comprising the sizes of two merged sequences. In this paper, we consider two special cases regarding the merging of sequences of sizes            : First, the case with maximum recursion depth    and, second, the symmetric case with recursion depth . For both cases, we show that the sizes of the two merged sequences of each node of the decomposition tree can be calculated by exact mathematical expressions. Further, we inspect several properties satisfied by SymMerge as e.g. that in both cases the number of nodes of the decomposition tree is   . SymMerge는 사이즈가 각각 과 인 배열된 두 입력수열을 대칭적 분할 및 로테이션 그리고 재귀적 계산과정을 거쳐 사이즈가 인 배열된 수열을 출력하는 병합알고리즘이다. 두 입력수열이SymMerge에 의해 병합이 되는 과정이 이진트리인 분할트리에 의해 묘사될 수 있는데 분할트리의각각의 정점은 SymMerge가 재귀적으로 적용이 될 때의 두 입력수열의 사이즈를 나타낸다. 우리는본 논문에서 사이즈가   인 두 입력수열에 대한 SymMerge의 분할트리가 재귀깊이  을 갖는 경우와 재귀깊이 를 갖는 대칭적 경우에 대해 분할트리의 각각의 정점의 두 입력수열의 사이즈가 정확한 수식에 의해 묘사 될 수 있음을 증명해 보이고자 한다. 뿐만아니라 이 두 경우에 대한 분할트리의 정점의 개수가  개에 해당한다는 사실을 비롯해SymMerge가 만족시키는 다양한 성질들을 보이고자 한다.

논리를 기반으로 한 스케줄링 언어 RSV와 RCPSV의 동등한 표현력

김복선 한국지능시스템학회 2023 한국지능시스템학회논문지 Vol.33 No.5

논리를 기반으로 한 스케줄링 언어인 RSV와 RCPSV는 변형을 허용하는 자원 제약 프로젝트 스케줄링 문제를 묘사하고 해결하는데 사용될 수 있다. RSV 와 RCPSV에서 스케줄링문제는 구문적으로 액티비티 용어(activity term)로 묘사되는데 이것은 KL-ONE과 같은 용어적 지식 표현 시스템(knowledge representation systems)으로부터 유래한 묘사 논리(descriptionlogic)의 컨셉트(concepts)와 유사하다. RSV에서는 연산자 pll, seq, 그리고 xor를 사용하여 중첩된 액티비티 용어를 묘사가능 하고RCPSV에서는 연산자 hnet와 xor를 사용하여 중첩된 액티비티 용어를 묘사가능하다. 비록 RSV와 RCPSV가 각각 서로 다른 구문과 연산자에 의해 정의됨에도 불구하고 임의의RCPSV-용어가 RSV-용어로 묘사가능하고 또한 그 역도 성립함을 증명해 보이고자 한다. 이러한 표현력에 있어서의 동등성 증명으로부터 RSV와 RCPSV가 같은 표현력을 갖는 스케줄링언어임을 보이고자 한다. The logic-based scheduling languages RSV and RCPSV can be utilized to representand solve a broad range of resource-constrained project scheduling problems andtheir variants. In both RSV and RCPSV, scheduling problems are syntacticallyexpressed as activity terms. These terms bear resemblance to concepts indescription logic, which have originated from terminological knowledge representationsystems like KL-ONE. In RSV, it is possible to describe nested activity terms by utilizing the operators pll,seq, and xor. Similarly, in RCPSV, nested activity terms can be described using theoperators hnet and xor. We demonstrate that every RSV-term can be expressed as a RCPSV-term and viceversa, despite the distinct syntax and operators employed by both languages. Thismutual representation equivalence indicates that RSV and RCPSV possessequivalent expressive power.

Mansfield Park의 주제의 평면성

김복선 한국영어교육학회 1979 ENGLISH TEACHING(영어교육) Vol.- No.18