DNA 컴퓨팅: 체계적 기초 정리와 학습 가이드

분자 연산으로 계산을 이해하는 기초 체계 안내서

지식이야기 탐구지식팀 지음

지식이야기 2026년 02월 01일 출간

작품소개

책소개

이 책은 DNA 컴퓨팅을 처음 접하는 독자가 분자 수준의 반응을 계산 관점으로 해석하고, 그 해석을 일관된 틀로 정리할 수 있도록 구성된 기초 안내서다. DNA 컴퓨팅은 “DNA로 무엇을 할 수 있는가”보다 “계산을 어떤 방식으로 정의하고, 어떤 조건에서 결과를 신뢰할 수 있는가”를 먼저 묻는 분야다. 따라서 이 책은 화려한 응용이나 특정 실험 노하우보다, 문제 설정에서부터 정보 표현, 연산 해석, 모델 구조, 오류와 복잡도, 측정과 판독에 이르기까지 기초 개념을 체계적으로 연결하는 데 집중한다.

각 장은 독자가 자연스럽게 따라갈 수 있도록 동일한 관점과 용어 체계를 유지하며, 분자 반응을 추상화한 계산 모델이 어떤 가정 위에서 작동하는지, 그 가정이 흔들릴 때 어떤 오류가 생기는지, 그리고 그 오류가 결과 해석에 어떤 영향을 주는지를 단계적으로 설명한다. DNA 컴퓨팅이 가진 병렬성, 확률성, 측정 의존성 같은 특징을 과장하거나 단순화하지 않고, 무엇이 이론적으로 가능한 주장인지와 무엇이 현실적 제약으로 인해 달라지는지를 구분해 제시한다.

이 책의 목적은 독자가 DNA 컴퓨팅을 하나의 일관된 계산 체계로 이해하도록 돕는 데 있다. 읽고 나면, 서열이 단순한 문자열이 아니라 정보 표현의 매체가 되는 방식, 생화학적 조작이 연산으로 해석되는 원리, 모델 간 공통 구조, 그리고 결과의 신뢰성을 좌우하는 오류 구조와 자원 관점을 스스로 정리할 수 있게 된다. DNA 컴퓨팅을 공부하기 위한 언어를 갖추고, 개념을 혼동 없이 설명할 수 있는 기반을 마련하고자 하는 독자에게 이 책은 안정적인 출발점이 될 것이다.


*생성형 인공지능을 활용하여 제작하고 편집 과정을 거쳤습니다. 편집자의 최종 검토를 거쳐 제작되었습니다.

목차

챕터 1 DNA 컴퓨팅의 문제 설정과 계산 관점
DNA 컴퓨팅이 다루는 문제의 형태
계산 과정의 입력과 출력 정의
상태, 연산, 종료 조건의 구성
추상화 수준과 모델링 범위
정확성, 효율성, 재현성의 기준
표현 방식과 표기 규칙의 일관성

챕터 2 분자 수준에서의 정보 표현
염기서열을 통한 정보 인코딩
문자열, 집합, 그래프의 표현 대응
하이브리다이제이션 기반 매칭 의미
서열 설계 제약의 논리적 배경
오프타깃 결합과 모호성의 원인
표현 오류가 계산에 미치는 영향

챕터 3 생화학 연산을 계산 연산으로 해석하기
결합과 분리를 연산으로 보는 관점
선택, 필터링, 증폭의 계산적 의미
복제와 혼합의 상태공간 변화
반응 단계의 순서와 제어 구조
연산의 비가역성과 정보 손실
측정이 결과를 결정하는 방식

챕터 4 계산 모델의 기본 틀
스티커 모델의 구성과 동작
Adleman식 경로 탐색 아이디어의 구조
Lipton식 선택과 검증 패턴
병렬성의 정의와 한계
비결정성의 구현적 해석
모델 간 공통 요소와 차이

챕터 5 알고리즘 구성의 핵심 원리
문제의 제약을 서열 제약으로 변환
후보 생성과 제약 적용의 단계화
검증 절차의 구성과 축적
계산 경로의 폭발과 관리
부분 결과의 유지와 제거
결과 판정의 기준과 안정성

챕터 6 확률적 동작과 오류 구조
반응 확률과 결과 분포의 개념
오류 유형의 분류와 발생 경로
거짓 양성, 거짓 음성의 의미
신호 대 잡음 비율의 해석
오류 누적과 단계 수의 관계
재현성 확보를 위한 조건

챕터 7 복잡도와 자원 관점
시간 개념을 단계 수로 해석하기
공간 개념을 분자 수로 해석하기
병렬 처리의 비용 모델
입력 크기 증가에 따른 스케일링
복잡도 주장에 필요한 가정
현실적 자원 제약의 영향

챕터 8 측정과 판독의 원리
관측 가능한 출력 형태의 종류
측정 과정의 정보 추출 구조
판독 오류와 해석 오류의 구분
임계값과 판정 규칙의 역할
반복 측정과 통계적 신뢰
결과 표현의 표준화 문제

챕터 9 설계 제약과 안전한 구성
서열 간 교차 반응을 줄이는 원리
온도, 농도, 시간의 변수 의미
반응 조건의 민감도와 안정 구간
단계 간 간섭과 누설 경로
실험 변수를 모델에 반영하는 방법
설계 검증의 논리적 점검

챕터 10 사례 중심 개념 적용
경로 탐색 문제의 구성 요소 분석
SAT 형태 제약 문제의 구조 해부
집합 기반 선택 문제의 절차 설계
그래프 특성 검증의 단계적 구성
사례에서 드러나는 일반 원리
사례별 실패 원인의 계산적 해석

인물정보

저자(글) 지식이야기 탐구지식팀