[논문 리뷰] The Art of DNA Strings: Sixteen Years of DNA Coding Theory

Dixita Limbachiya, Bansari Rao외 1명|arXiv (Cornell University)|2016. 07. 01.

DNA and Biological Computing참고 문헌 66인용 수 24

한 줄 요약

이 논문은 16년간의 DNA 코딩 이론에 대한 종합적인 서베이를 제공하며, 조합적, 열역학적, 역상보성 조건을 만족하는 DNA 서열의 설계를 통해 신뢰할 수 있는 DNA 계산을 가능하게 한다. 최적의 DNA 코드를 구성하기 위한 대수적, 조합적, 계산적 방법을 검토하고, 다양한 길이와 거리에 대한 코드 크기의 하한을 제시하며, 생물학적 계산을 위한 최적의 실용적 DNA 코드를 확보하는 데 있어 남아 있는 도전 과제를 규명한다.

ABSTRACT

The idea of computing with DNA was given by Tom Head in 1987, however in 1994 in a seminal paper, the actual successful experiment for DNA computing was performed by Adleman. The heart of the DNA computing is the DNA hybridization, however, it is also the source of errors. Thus the success of the DNA computing depends on the error control techniques. The classical coding theory techniques have provided foundation for the current information and communication technology (ICT). Thus it is natural to expect that coding theory will be the foundational subject for the DNA computing paradigm. For the successful experiments with DNA computing usually we design DNA strings which are sufficiently dissimilar. This leads to the construction of a large set of DNA strings which satisfy certain combinatorial and thermodynamic constraints. Over the last 16 years, many approaches such as combinatorial, algebraic, computational have been used to construct such DNA strings. In this work, we survey this interesting area of DNA coding theory by providing key ideas of the area and current known results.

연구 동기 및 목표

• 아드레만의 획기적인 DNA 계산 실험 이후 지난 16년간 DNA 코딩 이론의 발전을 종합적으로 개괄하기 위해.
• 신뢰할 수 있는 DNA 코드 설계를 지배하는 핵심 조건—역상보성, GC 함량, 최소 거리—를 식별하고 분석하기 위해.
• 최대 크기를 갖는 제약 조건 하에서 사용된 대수적, 조합적, 계산적 접근법을 서베이하고 비교하기 위해.
• 길이 n≤36 및 거리 d≤30에 대해 다중 제약 조건을 만족하는 DNA 코드의 크기 하한을 종합하고 제시하기 위해.
• 모든 실용적 제약 조건을 동시에 만족하는 최적의 DNA 코드를 확보하는 데 있어 남아 있는 주요 과제를 부각하고 향후 DNA 코드 설계 및 시뮬레이션 플랫폼 연구 방향을 제안하기 위해.

제안 방법

• 1994–2016년까지의 DNA 코딩 이론 연구 16년 간의 서베이를 수행하며, DNA 코드의 조합적 및 대수적 구성에 중점을 둔다.
• DNA 코드 제약 조건을 세 가지 범주로 분류한다: 역상보성, GC 함량, 최소 거리(Hamming, Lee, 또는 편집 거리).
• 길이 4 ≤ n ≤ 36 및 거리 2 ≤ d ≤ 30에 대해 다양한 제약 조합 하에서 DNA 코드의 최대 크기 M에 대한 하한을 체계적으로 정리한 표를 제시한다.
• 대수적 코딩 이론 기법을 사용하여 역상보성 및 열역학적 제약 조건을 만족하는 DNA 코드를 구성한다.
• 계산적 탐색 방법을 적용하여 특정 n 및 d 값에 대한 코드 크기 하한을 탐색하고 구성의 타당성을 검증한다.
• 실제 실험 조건 하에서 DNA 코드 설계 및 성능 검증을 자동화하기 위한 시뮬레이션 플랫폼 개발을 제안한다.

실험 결과

연구 질문

• RQ1 신뢰할 수 있는 DNA 계산을 보장하기 위해 DNA 서열이 만족해야 할 핵심 조합적 및 열역학적 제약 조건은 무엇인가?
• RQ2 대수적 및 조합적 방법을 어떻게 활용하여 다중 제약 조건 하에서 최대 크기를 갖는 DNA 코드를 구성할 수 있는가?
• RQ3 길이 n=36 이하 및 최소 거리 d=30 이하에 대해 알려진 최고의 DNA 코드 크기 하한은 무엇인가?
• RQ4 모든 실용적 제약 조건을 동시에 만족하는 최적의 DNA 코드를 확보하는 데 있어 주요 열린 과제는 무엇인가?
• RQ5 자동화된 시뮬레이션 플랫폼은 실세계 생물분자 계산을 위한 DNA 코드 설계 및 검증을 어떻게 향상시킬 수 있는가?

주요 결과

• 길이 n=36, 최소 해밍 거리 d=20인 DNA 코드에 대해, 해밍 거리 및 역상보성 제약 조건 하에서 코드 크기 M의 하한은 4,537,543,340이다.
• GC 함량 및 역상보성 제약 조건을 모두 적용할 경우, 길이 n=20, 거리 d=10인 경우 최대 코드 크기의 하한은 27,860,000이다.
• 길이 n=16, 거리 d=16일 때, 해밍 거리 및 역상보성 제약 조건 하에서 코드 크기의 하한은 최소 10^7 이상이며, 이는 매우 큰 코드 집합의 존재를 시사한다.
• 논문은 길이 n=4에서 36까지, 거리 d=10에서 30까지의 역상보성 및 GC 함량 제약 조건을 만족하는 DNA 코드에 대한 하한 표를 완전히 제시한다.
• 다중 제약 조건을 만족하는 DNA 코드의 크기는 길이 n이 증가함에 따라 크게 증가하지만, 거리 d가 클수록 하한은 여전히 흐리며, 이는 근본적인 상충 관계를 시사한다.
• 최적의 코드—이론적 하한에 도달하는 코드—를 확보하는 것은 여전히 열린 과제이며, 특히 길이 n과 거리 d가 클수록 더욱 그러하다.