자율조립에서 비결정성의 힘: 타일 종류 최소화와 복잡도

초록

본 논문은 DNA 기반 인공 분자 자기조립 모델인 aTAM에서 비결정적 타일 시스템이 결정적 시스템보다 적은 종류의 타일로 형태를 고유하게 조립할 수 있음을 증명한다. 무한 형태와 유한 형태 각각에 대해 비결정성의 이점을 보이고, 최적 타일 수를 찾는 문제는 Σ₂^P‑complete임을, 결정적 경우는 NP‑complete임을 보여준다. 이는 비결정성이 조립 효율을 높이지만, 최적 설계는 더 높은 계산 복잡도를 가진다는 결론을 제시한다.

상세 분석

Winfree의 추상 타일 조립 모델(aTAM)은 DNA 나노구조를 설계하기 위한 이론적 기반으로, 각 타일 종류는 합성해야 할 DNA 스트랜드 집합에 해당한다. 따라서 실제 실험에서 사용되는 자원, 특히 타일 종류의 수를 최소화하는 것이 핵심 목표가 된다. 이 논문은 “비결정성”이라는 개념을 도입해, 동일한 형태를 고유하게 조립하는 데 필요한 타일 종류 수를 감소시킬 수 있음을 체계적으로 분석한다. 먼저, 무한 형태 S에 대해 “유일하게 조립되는” 비결정적 타일 시스템이 존재하지만, 어떠한 결정적 타일 시스템도 같은 형태를 유일하게 조립할 수 없다는 정리를 증명한다. 이는 전통적인 결정적 조립이 갖는 제한을 비결정적 전이 규칙이 극복한다는 점을 보여준다. 이어서 유한 형태에 대해 동일한 현상이 나타남을 구체적인 구성 예시를 통해 제시한다. 저자들은 특정 형태 S를 c개의 타일 종류만으로 비결정적으로 조립할 수 있지만, 동일한 형태를 결정적으로 조립하려면 c보다 많은 타일이 필요함을 보인다. 이때 비결정적 전이 규칙은 동일한 접합면에서 여러 가능한 결합을 허용함으로써, 타일 재사용을 극대화한다.

복잡도 이론적 관점에서는 두 가지 최적화 문제를 정의한다. 첫 번째는 “주어진 형태를 고유하게 조립하는 최소 타일 종류 수”를 찾는 문제이며, 두 번째는 “동일하지만 결정적 타일 시스템에 한정한 최소 타일 종류 수”를 찾는 문제이다. 기존 연구(Adleman 등, STOC 2002)는 두 번째 문제가 NP‑complete임을 보였는데, 본 논문은 첫 번째 문제가 Σ₂^P‑complete임을 증명한다. 이는 비결정적 시스템을 설계하는 최적화가 단순한 NP 수준을 넘어, 존재와 검증을 각각 NP 수준에서 수행해야 하는 Σ₂ 단계의 복잡도를 가진다는 의미다. 논문은 이 복잡도 구분을 위해, 타일 시스템의 구성과 형태의 고유성 검증을 각각 NP‑oracle에 의존하는 형태로 귀결시킨다.

결과적으로, 비결정성은 타일 종류를 절감하는 실질적 이점을 제공하지만, 그 이점을 활용하기 위한 설계 문제는 이론적으로 더 어려워진다. 폴리노미얼 계층이 붕괴되지 않는 한, 비결정적 최적 설계 문제를 효율적으로 해결하는 알고리즘은 존재하지 않을 것으로 예상된다. 이러한 통찰은 DNA 나노공학에서 비용 효율적인 설계와 알고리즘적 한계 사이의 트레이드오프를 명확히 제시한다.