[論文レビュー] Perfect Phylogeny Haplotyping is Complete for Logspace

Michael Elberfeld|ArXiv.org|May 5, 2009

Genetic Associations and Epidemiology参考文献 8被引用数 3

ひとこと要約

この論文は、完全系統発生ハプロタイプ解析（PPH）が決定的対数空間（L）に完全であることを確立し、長年の未解決問題を解決した。本論文は、ゲノタイプデータから導かれる解像度グラフを用いた画期的なグラフ的特徴付けを提案し、PPHを二部グラフ認識問題に還元する。二部グラフ認識問題は既知のLに属することから、一階論理還元と空間効率的な計算を用いて、PPHが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.

研究の動機と目的

• 完全系統発生ハプロタイプ解析（PPH）が決定的対数空間（L）に属するかどうかという未解決問題を解明すること。
• O(log n)空間内で動作する空間効率的なPPHアルゴリズムを開発すること。これにより、従来の多項式空間アプローチを改善する。
• ゲノタイプ内の2-エントリの対ごとの解像度パターンを符号化する解像度グラフを用いた、PPHの新しい特徴付けを提供すること。
• 解像度グラフの構造的性質を活用して、PPHを二部グラフ認識問題への一階還元すること。
• PPHがL完全であることを証明すること。これには、新規に得られたL属性と既存のL困難性結果を統合する。

提案手法

• 各ゲノタイプに対して解像度グラフを構築する。頂点はSNP部位を表し、辺は2-エントリ間の解像度関係（等しいか、等しくないか）を符号化する。
• 2-エントリが等しく解像される場合（0）、または等しくない場合（1）に応じて、辺に重み（0または1）を割り当てる。
• 0重みの辺を長さ2のパスに置き換えることで、重みなしグラフに変換する。これにより、パス長の偶奇が保存される。
• PPHを二部分割問題に還元する：変換されたグラフが二部グラフである場合かつその場合に限り、完全系統発生が存在する。
• 一階論理を用いてグラフ構築と二部グラフ性のチェックを表現し、還元がLに属することを保証する。
• 二部グラフ性が既知のLで決定可能であるという事実を活用することで、PPHがLに属することを示した。

実験結果

リサーチクエスチョン

• RQ1 完全系統発生ハプロタイプ解析（PPH）は決定的対数空間（L）で解けるか？
• RQ2 推測による解像度関係を避けて、事前に計算された関係を用いるPPHのグラフ理論的特徴付けは構築可能か？
• RQ3 完全系統発生の存在が、変換された解像度グラフの二部グラフ性に正確に対応するか？
• RQ4 一階還元を用いて、PPHを二部グラフ認識問題に還元可能か？
• RQ5 既存のL困難性と新規のL属性を組み合わせると、PPHがL完全であると言えるか？

主な発見

• PPHが決定的対数空間（L）に属することを証明した。これは、Elberfeld（2009）が提起した主な未解決問題を解決した。
• ゲノタイプ内の2-エントリの対ごとの解像度パターンを符号化する解像度グラフを用いた、PPHの新しい特徴付けを導入した。
• 問題は、変換された無向グラフが二部グラフであるかどうかをチェックすることに還元され、これは既知のLに属する問題である。
• 還元は一階論理的であり、対数空間計算を保ち、効率的かつ空間最適な計算を可能にした。
• 既存のL困難性と組み合わせることで、PPHがL完全であることが示された。これは、対数空間で解ける問題の中で最も困難な問題の一つであることを意味する。
• 複雑なデータ構造や段階的変換を避けて、グローバルなグラフ的性質と一階論理に依存した手法を採用した。