• 한국정보과학회논문지:시스템및이론
• /
• 제30권12호
• /
• pp.691-698
• /
• 2003

이 논문에서는 주어진 두 정점 사이에 다른 모든 정점을 정확히 한번 지나는 k개의 서로소인 경로가 존재하는가 하는 일대일 서로소인 경로 커버 문제를 제안한다. 임의의 k, 임의의 두 정점 사이에 일대일 서로소인 경로 커버를 가지는 그래프는 해밀톤 연결되어 있다는 것보다 강한 해밀톤 성질을 가진다. 재귀원형군에서 이 문제를 고찰하여, 임의의$k(1{\leq}k{\leq}m)$에 대해서 $ G(2^m,4)$, $m{\geq}3$은 임의의 두 정점 사이에 k개의 경로로 이루어진 일대일 서로소인 경로 커버가 존재함을 보인다.

• 한국정보과학회논문지:시스템및이론
• /
• 제28권8호
• /
• pp.399-405
• /
• 2001

이 논문은 재귀원형군 G(2$^{m}$ , 2$^{k}$ )의 강한 해밀톤 성질을 그래프 이론적 관점에서 고찰한다. 재귀원형군은 [9]에서 제안된 다중 컴퓨터의 연결망 구조이다. G(2$^{m}$ , 2$^{k}$ )가 임의의 정점 쌍 ν, $\omega$를 잇는 길이 ι인 경로를 가지는가 하는 문제를 고려하여, (a) G(2$^{m}$ , 2$^{k}$ )는 ι$\geq$d(ν, $\omega$)을 만족하는 모든 ι에 대해서 길이 ι인 경로를 가지며, (b) G(2$^{m}$ , 4)는 ι$\geq$d(ν, $\omega$)+2인 모든 길이의 경로를 가지며, (c)G(2$^{m}$ , 2$^{k}$ ), k$\geq$3은 길이 d(ν, $\omega$)+2$^{k}$ -3인 경로를 가지지 않는 정점 쌍이 있음을 보인다. 여기서, d(ν, $\omega$)는 ν와 $\omega$ 사이의 거리이다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권4호
• /
• pp.387-393
• /
• 2004

DNA 컴퓨팅은 생체 분자들의 막대한 병렬성을 정보 처리 기술에 적용한 기술로, Np-complete문제를 해결하기 위하여 사용되고 있다. 하지만 DNA 컴퓨팅 기술만으로 NP-complete 문제를 해결할 경우에는 해를 찾지 못하거나 많은 시간이 걸리는 문제점이 있다. 본 논문에서는 DNA 코딩 방법을 적용하여 DNA 서열을 효율적으로 표현하고, 반응횟수 만큼 합성과 분리 과정을 거쳐 코드를 생성하는 ACO(Algorithm for Code Optimization)를 제안했다. 그리고 ACO를 NP-complete 문제 중의 하나인 Hamiltonian Path Problem에 적용하였다. 그 결과 ACO는 Adleman의 DNA 컴퓨팅 알고리즘 보다 가변길이의 DNA 코드를 효율적으로 표현할 수 있다는 것을 확인하였다. 또 한 ACO는 Adleman의 DNA 컴퓨팅 알고리즘 보다 탐색 시간과 생물학적 오류율을 50%정도 줄일 수 있었으며, 빠른 시간 내에 정확한 경로를 탐색할 수 있었다.