• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.661-663
• /
• 1998

합병 문제는 크기가 각각 l, m(l+m=n)인 두 개의 정렬된 리스트를 하나의 정렬된 리스트로 만드는 문제로 정렬 문제와 그래프 문제 등과 같은 여러 가지 문제를 해결하는데 필요한 중요한 문제이다. p($\theta${{{{ LEFT ( {λlogp} over {log(λ+1)} RIGHT ) }}}}).

• 한국정보과학회논문지:시스템및이론
• /
• 제35권9_10호
• /
• pp.476-484
• /
• 2008

대부분의 문자열 문제들과 이들에 대한 알고리즘들은 패턴 매칭, 데이타 압축, 생물정보학 등의 분야에 응용되어 왔다. 그러나 문자열 문제와 암호화 문제의 관련성에 대한 연구는 거의 진행되지 않았다. 본 논문에서는 다음과 같은 문자열 재구성 문제들에 대해 연구하고 이 결과들이 암호학에 응용될 수 있음을 보인다. 유한 알파벳으로 구성된 길이 n인 문자열 x와, 길이 $k({\leq}n)$ 이내의 문자열의 집합 W가 주어졌을 때, 첫 번째 문제는 내의 문자열들 중 일부 문자열들을 최소의 회수로 연결하여 x를 재구성할 수 있는 연결 순서를 찾는 문제이다. 이 문제에 대해 O(kn+L)-시간 알고리즘을 제시한다. 이때, L은 W 내의 모든 문자열들의 길이의 합을 표시한다. 두 번째 문제는 첫 번째 문제의 동적 버전이며 이에 대해 $O(k^3n+L)$시간 알고리즘을 제시한다. 마지막으로 암호학과 관련된 멱승문제와 위에 제시된 재구성 문제들과의 관련성을 보이고 멱승문제를 해결하는 새로운 알고리즘을 제시한다.

• 한국정보과학회논문지:시스템및이론
• /
• 제29권12호
• /
• pp.640-647
• /
• 2002

본 논문에서는 에지 가시성에 관련된 문제를 재구성 가능한 메쉬(RMESH)에서 상수 시간에 해결하는 것을 고려한다. 에지 가시성에 관련된 기본적인 문제들로 다음의 세 가지 문제를 살펴볼 수 있다. 첫째, 주어진 다각형이 어떤 에지로부터 가시적인가를 판별하라. 둘째, 주어진 다각형을 볼 수 있는 모든 에지를 구하라. 셋째, 주어진 다각형에서 어떤 에지로부터의 가시적인 영역, 즉, 가시성 다각형을 구하라. 이들 문제를 상수 시간에 해결하기 위하여 본 논문에서는 두 에지 사이의 가시성에 관한 다음의 문제를 고려한다: 단순 다각형 P의 두 에지 e와 f가 주어져 있을 때 e로부터 가시적인 f의 영역을 구하라. 본 논문에서는 이 문제를 N-N RMESH에서 상수 시간에 해결하는 알고리즘을 제시한다. 여기서 N은 P의 정점의 개수이다. 이 알고리즘을 이용하면 에지 가시성에 관련된 기본적인 문제들을 모두 RMESH에서 상수시간에 해결할 수 있다. 특히, 세 번째 문제를 N-$N_2$ RMESH에서 상수 시간에 해결하는 것이 가능하다.

• 산업융합연구
• /
• 제19권4호
• /
• pp.23-28
• /
• 2021

본 논문은 미해결 문제로 알려진 36 장교문제(n = 6)와 관련된 오일러 방진 퍼즐 게임 문제에 대해 n = [3, ∞]의 문제를 풀 수 있는 일정한 패턴 규칙을 찾고자 시도하였다. 이 문제의 해는 현재까지 [3, 10]에 대해 n = 6만 존재하지 않고 나머지 모든 숫자에 대한 해는 존재하는 것으로 알려져 있다. 또한, 기존 연구는 특정 숫자 n에 대해 컴퓨터 프로그램으로 랜덤한 배정 결과를 찾고자 하여 n = [11, ∞]에 대해서는 해를 찾기가 쉽지 않아 미해결 과제로 남아있다. 기존 연구는 n = [3, 10]으로 한정시킨 반면에, 본 논문은 n = [3, ∞]영역에서 어떠한 n의 값에 대해서도 해를 찾을 수 있는 일반화된 패턴을 찾고자 시도하였다. 본 논문에서는 n = odd, 4k even, 4k+2 even의 세 부분으로 분할하여 n = odd와 4k even(n/2 = even)에 대한 간단하면서도 일정한 패턴을 찾는데 성공하였다. 그러나 4k+2 even(n/2 = odd)에 대해서는 패턴을 찾지 못하였다.

• 정보처리학회논문지A
• /
• 제9A권2호
• /
• pp.225-230
• /
• 2002

제한된 경쟁삭제 문제는 집합연산 문제의 간단한 형태의 하나로서, 경쟁삭제 문제에서 삽입연산을 제외한 것이다. 현재 경쟁삭제 문제에 대해서는 최적의 순차 알고리즘이 개발되어 있으며, 병렬 알고리즘의 경우 O(n/loglogn)개의 처리기를 사용하여 $O(log^2nloglogn)$에 수행되는 알고리즘이 개발되어 있다. 본 논문에서는 제한된 경우의 경쟁삭제 문제를 해결하기 위한 재구성 가능 메쉬 알고리즘을 제시한다. 제안된 알고리즘은 $n{\times}n$ 재구성 가능 메쉬에서 상수시간에 수행되며, 이 결과는 $AT^2$ 퇴적이다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2013년도 추계학술대회
• /
• pp.773-775
• /
• 2013

본 논문에서는 재구성가능한 메쉬에서 유향 사이클 그래프의 각 정점별 이웃 정보만 가지고 유향 사이클을 구성하는 정점들의 순서를 찾는 문제를 고려한다. 이 문제는 순차 알고리즘으로는 선형 시간에 해결되는 문제이지만 선형 시간보다 낮은 차수의 병렬 알고리즘을 고안하는 것은 어려운 문제이다. 모든 종류의 다각형은 유향 사이클 그래프에 해당하므로, 이 문제에 대한 해는 다각형의 정점별 이웃 정보로부터 다각형을 구성해야 하는 문제의 해결에 활용될 수 있다. 본 논문에서는 정점의 수가 n인 유향 사이클 그래프의 정점 순서를 구하는 문제를 $n{\times}n^2$ 크기의 재구성가능한 메쉬에서 상수 시간에 해결하는 병렬 알고리즘을 제시한다.

• 한국정보과학회논문지:시스템및이론
• /
• 제36권1호
• /
• pp.21-25
• /
• 2009

본 논문에서 우리는 평면상에 점들이 주어지는 경우에, 조각적 이차 다항식 곡선으로 맞추는 문제를 다룬다. 곡선은 이차 다항식 선분들로 이루어지고, 하나의 선분은 두 점 사이를 연결한다. 하지만 이 곡선은 점들의 부분집합만을 지나고, 지나지 못하는 점들에 대해서는 $L^{\infty}$거리로 에러를 측정한다. 이 문제에 대해서 우리는 두 가지 최적화 문제를 생각한다. 첫째로 허용 가능한 에러의 범위가 주어지고, 곡선 선분의 개수를 줄이는 문제이고, 둘째로 선분의 개수가 주어지고, 에러를 줄이는 문제이다. 주어진 점들의 개수 n에 대해서, 우리는 첫번째 문제에 대한 $O(n^2)$ 알고리즘과 두번째 문제에 대한 $O(n^3)$ 알고리즘을 제안한다.

• 한국컴퓨터정보학회논문지
• /
• 제26권3호
• /
• pp.111-117
• /
• 2021

그래프에서의 배달문제는 m개의 정점으로 구성된 그래프에서 n개의 서로 다른 속도를 갖는 로봇 에이전트들을 이용하여 배달물을 그래프의 한 노드에서 다른 노드로 배달하는 최소 배달순서를 구하는 문제이다. 본 논문에서는 그래프에서의 배달문제에 대하여 최적해를 계산하는 O(㎥n)과 O(㎥)시간복잡도를 갖는 두 개의 알고리즘을 제안한다. 알고리즘은 그래프의 모든 쌍에 대한 최단경로를 구하는 전처리를 한 후, 최소배달시간이 작은 정점의 순으로 최단배달경로를 구하는 방법으로 개발하였다. 이 문제에서 그래프가 문제를 해결하고자 하는 지형을 반영하고 있다고 하면, 다양한 로봇 에이전트의 배치에 대하여 전처리를 1회만 실행되면 되므로 O(㎥) 알고리즘은 실제로 O(㎡n)의 시간복잡도를 갖는다고 할 수 있다.

• 한국정보과학회논문지:시스템및이론
• /
• 제31권3_4호
• /
• pp.145-151
• /
• 2004

본 논문에서는 배열에서 구간 최소값 위치를 상수 시간에 찾기 위한 효율적인 자료구조를 제시한다. 최근의 생물 정보학 분야에서 빠른 DNA 서열의 검색을 위해 접미사 배열이 많이 사용되고 있는데 이 접미사 배열을 생성하는 문제는 구간 최소값 위치 문제를 포함하고 있다. 이 접미사 배열을 생성할 때는 구간 최소값 위치 문제를 빠르게 푸는 것뿐만 아니라 공간 효율적으로 해결하는 것도 중요하다. 그 이유는 DNA 서열이 수백만 개에서 수십 억 개의 염기를 가진 굉장히 큰 데이타이기 때문이다. 배열의 구간 최소간 위치를 상수 시간에 찾기 위해 지금까지 알려진 가장 효율적인 자료구조는 배열의 구간 최소값 문제를 Cartesian 트리에서의 LCA(Lowest Common Ancestor) 문제로 바꾸고 이 트리에서의 LCA 문제를 다시 특수한 배열에서의 구간 최소값 문제로 바꾸어 푸는 방법을 이용한 자료구조이다. 이 자료구조는 이론적으로 O(n) 공간을 사용하여 O(n) 시간에 생성된다. 하지만 이 자료구조는 배열의 구간 최소값 문제를 두 번에 걸쳐 다른 문제로 변환하는 과정을 포함하고 있기 때문에 실제로 사용되는 공간은 상당히 큰 13n이며 또한 많은 시간이 요구된다. 본 논문에서 제시하는 자료구조는 배열의 구간 최소값 문제를 다른 문제로 변환하지 않고 직접 구하는 자료구조이다. 따라서 이론적으로 O(n) 공간을 차지하며 O(n) 시간에 생성될 뿐만 아니라 실제적으로도 5n의 적은 공간을 사용하며 빠른 시간에 생성된다.

• 한국컴퓨터산업학회논문지
• /
• 제2권10호
• /
• pp.1301-1308
• /
• 2001

이 논문에서는 기존의 number-theoretic 순환함수와 연계된 word-theoretic 순환함수 및 술어(predicates)들의 Grzegorzyk 클래스를 논한다. 특히 small 클래스 $\xi\sum{n}$($n\leq2$)에서의 특성은 그에 대응하는 number-theoretic small 클래스 $\xi\sum{n}$과는 매우 틀린 특성을 보인다 [2]. 흥미 있는 문제 중의 하나인 $\xi\sum{0}$ 등급에서의 동치문제는 undecidable 임을 증명한다.