[논문 리뷰] Perfect Phylogeny Haplotyping is Complete for Logspace

Michael Elberfeld|ArXiv.org|2009. 05. 05.

Genetic Associations and Epidemiology참고 문헌 8인용 수 3

한 줄 요약

이 논문은 완벽한 계통수 haplotyping (PPH)이 결정론적 로그스페이스(L)에 속해 있음을 증명하며 오랫동안 남아있던 열린 문제를 해결한다. 새로운 그래프 기반 특성화를 도입하여 유전체 데이터에서 유도된 해상도 그래프를 사용하며, PPH를 이분 그래프 식별 문제로 감소시킨다. 이는 이미 L에 속해 있음이 알려진 문제이므로, 일阶화 감소와 공간 효율적 계산을 통해 L-완전성을 입증한다.

ABSTRACT

Haplotyping is the bioinformatics problem of predicting likely haplotypes based on given genotypes. It can be approached using Gusfield's perfect phylogeny haplotyping (PPH) method for which polynomial and linear time algorithms exist. These algorithm use sophisticated data structures or do a stepwise transformation of the genotype data into haplotype data and, therefore, need a linear amount of space. We are interested in the exact computational complexity of PPH and show that it can be solved space-efficiently by an algorithm that needs only a logarithmic amount of space. Together with the recently proved L-hardness of PPH, we establish L-completeness. Our algorithm relies on a new characterization for PPH in terms of bipartite graphs, which can be used both to decide and construct perfect phylogenies for genotypes efficiently.

연구 동기 및 목표

• 완벽한 계통수 haplotyping (PPH)이 결정론적 로그스페이스(L)에 속해 있는지 여부를 해결하는 것.
• 기존의 다항식 스페이스 접근 방식보다 개선된 O(log n) 스페이스 내에서 작동하는 공간 효율적 알고리즘을 개발하는 것.
• 유전체의 2-엔트리에 대한 쌍별 해상도 패턴을 인코딩하는 해상도 그래프를 사용한 PPH의 새로운 특성화를 제공하는 것.
• 해상도 그래프의 구조적 성질을 활용하여 PPH에서 이분 그래프 식별 문제로의 일阶화 감소를 수립하는 것.
• 기존의 L-하드성 결과와 결합하여 PPH가 L-완전함을 증명하는 것.

제안 방법

• 각 유전체에 대해 해상도 그래프를 구성하며, 정점은 SNP 사이트를 나타내고, 간선은 2-엔트리 간의 해상도 관계(동일 또는 이질적)를 표현한다.
• 유전체가 2-엔트리를 동일하게 해상도하는지(0) 또는 이질적으로 해상도하는지(1)에 따라 간선에 가중치(0 또는 1)를 할당한다.
• 0-가중치 간선을 길이 2의 경로로 대체하여, 경로 길이의 기하학적 성질을 유지하는 방식으로 가중치 없는 그래프로 변환한다.
• PPH를 이분할 문제로 감소시킨다: 완벽한 계통수가 존재하는 것은 변환된 그래프가 이분 그래프임과 정확히 동치이다.
• 일阶화 논리로 그래프 구성과 이분성 검사를 표현하여 감소가 L에 속함을 보장한다.
• 이미 알려진 바에 따르면 이분성은 L에서 결정 가능하므로, PPH는 L에 속함을 도출한다.

실험 결과

연구 질문

• RQ1 완벽한 계통수 haplotyping (PPH)은 결정론적 로그스페이스(L)에서 해결 가능한가?
• RQ2 추측 없이 사전 계산된 관계를 사용하는, 해상도 관계를 추측하지 않는 그래프 이론적 특성화를 PPH에 구성할 수 있는가?
• RQ3 완벽한 계통수가 존재하는 것과 변환된 해상도 그래프의 이분성 사이에 정확한 대응 관계가 존재하는가?
• RQ4 일阶화 감소를 통해 PPH를 이분 그래프 식별 문제로 감소시킬 수 있는가?
• RQ5 기존의 L-하드성과 새로운 L-소속 결과를 종합하면, PPH는 L-완전한가?

주요 결과

• PPH가 결정론적 로그스페이스(L)에 속함을 증명하여, Elberfeld(2009)에서 제기한 주요 열린 문제를 해결하였다.
• 유전체의 2-엔트리에 대한 쌍별 해상도 패턴을 인코딩하는 해상도 그래프를 사용한 PPH의 새로운 특성화를 제안하였다.
• 문제는 변환된 무방향 그래프가 이분 그래프인지 여부를 확인하는 것으로 감소되며, 이는 이미 L에 속해 있음이 알려진 문제이다.
• 감소는 일阶화이므로 로그스페이스 계산 가능성을 유지하며, 효율적이고 공간 최적화된 계산을 가능하게 한다.
• 기존의 L-하드성 결과와 결합하여, PPH가 L-완전함을 증명하였으며, 이는 로그스페이스에서 해결 가능한 문제들 중 가장 어려운 문제들에 속한다는 의미이다.
• 복잡한 데이터 구조나 단계적 변환을 피하고, 전역적인 그래프 성질과 일阶화 논리를 바탕으로 한다.