[논문 리뷰] Efficient Universal Computation by Greedy Molecular Folding.

Cody Geary, Pierre-Étienne Meunier외 2명|arXiv (Cornell University)|2015. 08. 03.

Advanced biosensing and bioanalysis techniques인용 수 7

한 줄 요약

이 논문은 RNA 전사 중에 발생하는 탐욕적 분자 접힘을 모델링하는 이론적 모델인 Oritatami를 제안하며, 이는 효율적인 보편 계산을 가능하게 한다고 보여준다. 이 모델은 환경에 따라 달라지는 규칙을 사용하여 시퀀스를 결정적으로 선형 시간 내에 접히게 하며, 환경의 수에 대해 NP-완전임에도 불구하고 접힘 문제의 고정 매개변수 복잡도가 있음을 입증한다.

ABSTRACT

We introduce and study the computational power of Oritatami, a theoretical model to explore greedy molecular folding, by which the molecule begins to fold before waiting the end of its production. This model is inspired by our recent experimental work demonstrating the construction of shapes at the nanoscale by folding an RNA molecule during its transcription from an engineered sequence of synthetic DNA. While predicting the most likely conformation is known to be NP-complete in other models, Oritatami sequences fold optimally in linear time. Although our model uses only a small subset of the mechanisms known to be involved in molecular folding, we show that it is capable of efficient universal computation, implying that any extension of this model will have this property as well. We develop several general design techniques for programming these molecules. Our main result in this direction is an algorithm in time linear in the sequence length, that finds a rule for folding the sequence deterministically into a prescribed set of shapes depending of its environment. This shows the corresponding problem is fixed-parameter tractable although we proved it is NP-complete in the number of possible environments. This algorithm was used effectively to design several key steps of our constructions.

연구 동기 및 목표

• 실험적 나노스케일 형태 구축을 영감으로 삼아 RNA 전사 중 탐욕적 분자 접힘의 계산 능력을 모델링하고 분석하는 것.
• 기본 메커니즘에 국한된 최소한의 접힘 모델이 여전히 보편 계산을 달성할 수 있는지 조사하는 것.
• 환경 조건에 따라 분자 시퀀스를 프로그래밍하여 원하는 형태로 접히게 하는 알고리즘 기법을 개발하는 것.
• 다양한 환경 제약 조건 하에서 접힘 문제의 계산 복잡도를 규명하는 것.

제안 방법

• 전사 중 RNA 접힘을 시뮬레이션하는 이론적 모델인 Oritatami를 설계하여, 시퀀스가 완전히 합성되기 이전부터 접힘이 시작됨을 모델링하는 것.
• 에너지 최소화와 국소 기하학적 조건을 기반으로 매 단계에서 국소적 구조를 선택하는 탐욕적 접힘 전략을 사용하는 것.
• 접힘 경로를 결정하는 환경에 따라 달라지는 규칙을 도입하여, 동일한 시퀀스가 다른 환경에서 서로 다른 형태를 형성할 수 있도록 하는 것.
• 환경 입력을 기반으로 주어진 시퀀스와 목표 형태 집합에 대해 접힘 규칙을 계산하는 선형 시간 알고리즘을 개발하는 것.
• 접힘 문제의 복잡도가 환경의 수에 대해 NP-완전임을 증명하지만, 이 수를 매개변수로 삼을 경우 고정 매개변수 복잡도가 됨을 입증하는 것.
• 논리 게이트 및 보편 계산 단위와 같은 모델의 핵심 구성 요소를 설계하기 위해 알고리즘을 적용하는 것.

실험 결과

연구 질문

• RQ1 탐욕적 분자 접힘의 최소 모델이 보편 계산을 달성할 수 있는가?
• RQ2 주어진 시퀀스와 환경 조건에 대해 접힘 경로를 결정하는 데 필요한 계산 복잡도는 무엇인가?
• RQ3 어떻게 하면 환경 입력에 따라 다른 형태로 접히는 시퀀스를 프로그래밍할 수 있는가?
• RQ4 일반적으로 NP-완전임에도 불구하고 환경 수가 적을 경우 접힘 문제가 해결 가능할 수 있는가?
• RQ5 어떤 알고리즘 기법이 목표 형태로 시퀀스를 결정적이고 선형 시간 내에 접히게 하는가?

주요 결과

• Oritatami 모델은 오직 최소한의 접힘 메커니즘만을 사용하여 효율적인 보편 계산을 달성한다.
• 일반적인 접힘 문제의 NP-완전성에도 불구하고 Oritatami 모델의 접힘은 시퀀스 길이에 대해 선형 시간 내에 계산될 수 있다.
• 환경의 수에 대해 접힘 문제가 NP-완전이지만, 이 수가 작을 경우 고정 매개변수 복잡도가 된다.
• 환경에 따라 달라지는 접힘 규칙를 계산하는 선형 시간 알고리즘을 개발하여 분자 형태의 결정적 프로그래밍이 가능해졌다.
• 이 알고리즘은 보편 계산을 위한 필수 구성 요소를 성공적으로 설계하는 데 적용되어 실용적 타당성을 입증했다.
• 모델의 계산 보편성은 이 모델의 모든 확장도 효율적인 보편 계산을 지원할 것임을 시사한다.