DNA 컴퓨팅으로 시골 우편배달 문제 해결

초록

**
본 논문은 Adleman‑Lipton DNA 컴퓨팅 모델을 이용해 NP‑완전 문제인 Rural Postman Problem(RPP)을 다항식 시간 안에 해결하는 알고리즘을 제시한다. 그래프와 필수 간선 집합을 DNA 서열로 인코딩하고, 혼합·분리·증폭·제거 연산을 순차적으로 적용해 모든 가능한 경로를 동시에 생성한 뒤, 비용 제한과 필수 간선 포함 조건을 만족하는 해만을 남긴다. 이 과정을 O(n²) 단계로 수행함을 증명한다.

**

상세 분석

**
논문은 먼저 RPP를 “주어진 무방향 그래프 G=(V,E)와 필수 간선 집합 E′⊆E, 그리고 비용 상한 B가 주어졌을 때, 모든 E′의 간선을 반드시 포함하고 전체 비용이 B 이하인 해밀턴 회로가 존재하는가?”라는 형식으로 정의한다. 이는 전통적인 라우트 인스펙션 문제의 제한된 형태이며, 일반적인 NP‑완전 문제임을 재확인한다.

핵심 기여는 Adleman‑Lipton 모델을 RPP에 적용하기 위한 DNA 인코딩 설계와 연산 흐름이다. 정점 v_i는 고유한 DNA 서열 s_i (길이 l) 로 매핑하고, 간선 (v_i,v_j)는 s_i와 s_j 사이에 짧은 연결 서열 c_{ij}를 삽입해 “s_i‑c_{ij}‑s_j” 형태의 이중 가닥을 만든다. 필수 간선 E′는 별도의 마커 서열 m_k 로 태깅하여, 이후 선택 연산에서 반드시 보존되도록 한다.

알고리즘은 다음과 같이 전개된다.

1. 초기 풀 생성: 모든 정점 서열을 혼합하고, 모든 가능한 간선 서열을 추가해 “정점‑간선‑정점” 트리 구조의 DNA 조각을 만든다. 이 단계에서 자연스럽게 모든 가능한 경로(길이 n)의 후보가 생성된다.
2. 경로 연결 연산: 겹치는 정점 서열을 기준으로 리가제이션을 수행해 조각들을 연쇄시킨다. 이 과정은 물리적으로는 온도 사이클을 이용해 하이브리다이제이션·리프로그래밍을 반복함으로써 구현된다.
3. 필수 간선 마크 보존: 마커 m_k 가 포함된 조각은 선택적 제거 연산(예: 특정 제한 효소에 의한 절단)에서 제외한다. 따라서 최종 풀에는 반드시 모든 E′가 포함된 경로만 남는다.
4. 비용 제한 검증: 각 간선 c_{ij} 에는 비용 w_{ij} 에 비례하는 길이의 “비용 서열” t_{ij} 를 삽입한다. 전체 경로의 총 비용은 해당 서열들의 길이 합으로 측정될 수 있다. 비용 상한 B 를 초과하는 조각은 제한 효소(예: B+1 길이 초과 서열을 절단하는 효소)로 제거한다.
5. 해 선택 및 증폭: 남은 DNA 조각 중에서 길이가 정확히 n·l + Σ_{E′}|m_k| 인 것을 선택하고, PCR을 통해 증폭한다. 최종적으로 전기영동이나 시퀀싱을 통해 존재 여부를 확인한다.

복잡도 분석에서는 각 단계가 O(n) 혹은 O(n²) 의 물리적 연산(혼합·분리·증폭)으로 구현 가능함을 보인다. 특히 비용 검증 단계는 한 번의 효소 처리로 전체 풀을 한 번에 걸러낼 수 있어, 전체 알고리즘이 O(n²) 라는 다항식 시간 한계를 만족한다는 점을 강조한다.

하지만 실제 실험적 구현에서는 DNA 양, 오류율, 효소 특이성 등 물리적 제약이 존재한다. 논문은 이러한 한계를 “이론적 모델”에 국한하고, 실험적 검증은 향후 연구 과제로 남긴다. 또한, “해밀턴 회로” 요구가 RPP의 일반적 정의와 다소 차이가 있어, 실제 응용에서는 회로 대신 경로 형태로 변형이 필요할 수 있다.

전반적으로 논문은 DNA 컴퓨팅이 전통적인 전자식 알고리즘이 불가능한 NP‑완전 문제에 대해 동시 탐색이라는 강력한 패러다임을 제공한다는 점을 설득력 있게 제시한다. 다만, 이론적 다항식 시간 복잡도가 실제 실험에서 동일하게 유지될지는 아직 검증이 필요하다.

**