文字列の類似構造発見問題と 複数分類アルゴリズム

Slides:



Advertisements
Similar presentations
HBSP モデル上での 行列積を求めるアルゴリ ム 情報論理工学 吉岡健太.
Advertisements

『わかりやすいパターン認 識』 第 5 章 特徴の評価とベイズ誤り確率 5.4 ベイズ誤り確率と最近傍決定則 発表日: 5 月 23 日(金) 発表者:時田 陽一.
A Simple Constant Time Enumeration Algorithm for Free Trees 中野 眞一 宇野 毅明 群馬大学 情報学研究所 2003 年 9 月 19 日 アルゴリズム研究会.
電子書籍の検索機能の改善 木下研究室 201002713 鴫原 善寿. 背景 スマートフォンなどの携帯端末の普及と ともに電子書籍に注目が浴びた。中でも amazon の kindle など電子書籍の専用端末も 現れた。 電子書籍はデータなので本棚もいらず、 持ち運びも容易になるなど様々な恩恵を もたらした。
J: Magical Switches JAG 模擬地区予選 2013 原案:保坂 解答:保坂・楠本 解説:保坂.
ゲノムアルゴリズム ゲノムの仕組み 応用問題 アラインメントアルゴリズム ミスマッチトレランス 遺伝子発見問題.
到着時刻と燃料消費量を同時に最適化する船速・航路計画
区間グラフにおける区間表現からMPQ-treeを効率よく構成するアルゴリズム
計算理工学基礎 「ハイパフォーマンスコンピューティングの基礎」
パネル型クエリ生成インタフェース画像検索システムの改良
「わかりやすいパターン認識」 第1章:パターン認識とは
XHTML構文検証手法における スクリプト要素の静的解析アルゴリズム
極小集合被覆を列挙する 実用的高速アルゴリズム
近似アルゴリズム 第10章 終了時刻最小化スケジューリング
On the Enumeration of Colored Trees
An Algorithm for Enumerating Maximal Matchings of a Graph
分子生物情報学 動的計画法に基づく配列比較法 (ペアワイズアライメント法)
AllReduce アルゴリズムによる QR 分解の精度について
「データ学習アルゴリズム」 第3章 複雑な学習モデル 3.1 関数近似モデル ….. … 3層パーセプトロン
遺伝アルゴリズムによる NQueen解法 ~遺伝補修飾を用いた解探索の性能評価~
データ構造と アルゴリズム 第二回 知能情報学部 新田直也.
 Combinations(2)        古川 勇輔.
第6章 2重ループ&配列 2重ループと配列をやります.
宇野 毅明 (国立情報学研究所 &総合研究大学院大学)
「データ学習アルゴリズム」 第2章 学習と統計的推測 報告者 佐々木 稔 2003年5月21日 2.1 データと学習
第7章 データベース管理システム 7.1 データベース管理システムの概要 7.2 データベースの格納方式 7.3 問合せ処理.
疑似頻出アイテム集合の 多項式遅延列挙アルゴリズム
最短路問題のための LMS(Levelwise Mesh Sparsification)
高山建志 五十嵐健夫 テクスチャ合成の新たな応用と展開 k 情報処理 vol.53 No.6 June 2012 pp
データ構造と アルゴリズム 第十一回 理工学部 情報システム工学科 新田直也.
プログラミング基礎a 第8回 プログラムの設計 アルゴリズムとデータ構造
モデリングシミュレーション入門(井庭崇)
線形フィルタと畳み込み積分 マスクによる画像のフィルタリング 1.入力画像中の関心の画素のまわりの画素値
シミュレーション論 Ⅱ 第15回 まとめ.
宇野 毅明 (国立情報学研究所 &総合研究大学院大学)
ゲノムアルゴリズム ゲノムの仕組み 応用問題 アラインメントアルゴリズム ミスマッチトレランス 遺伝子発見問題.
決定木とランダムフォレスト 和田 俊和.
定兼邦彦 今井浩 東京大学理学系研究科 情報科学専攻
人工知能特論 9.パーセプトロン 北陸先端科学技術大学院大学 鶴岡 慶雅.
利用関係に基づく類似度を用いたJavaコンポーネント分類ツールの作成
植物系統分類学・第15回 比較ゲノミクスの基礎と実践
6. ラプラス変換.
コードクローン検出ツールを用いた ソースコード分析システムの試作と プログラミング演習への適用
A Simple Algorithm for Generating Unordered Rooted Trees
アルゴリズムとプログラミング (Algorithms and Programming)
変換されても変換されない頑固ベクトル どうしたら頑固になれるか 頑固なベクトルは何に使える?
Data Clustering: A Review
Webコミュニティ概念を用いた Webマイニングについての研究 A study on Web Mining Based on Web Communities 清水 洋志.
数独の解生成と 解に対する番号付け 理学部 情報科学科 渡辺研究室 戸神星也.
プログラミング基礎a 第8回 プログラムの設計 アルゴリズムとデータ構造
新しい高速相同検索アルゴリズムを用いたゲノム解析ツールの開発
生物情報ソフトウェア特論 (2)たたみ込みとハッシュに 基づくマッチング
第4章 識別部の設計 4-5 識別部の最適化 発表日:2003年5月16日 発表者:時田 陽一
コーディングパターンの あいまい検索の提案と実装
わかりやすいパターン認識 第7章:部分空間法  7.1 部分空間法の基本  7.2 CLAFIC法                  6月13日(金)                  大城 亜里沙.
宇野 毅明 (国立情報学研究所 &総合研究大学院大学)
データ構造とアルゴリズム (第5回) 静岡大学工学部 安藤和敏
第16章 動的計画法 アルゴリズムイントロダクション.
短い部分文字列の ミスマッチトレランスを 高速計算するアルゴリズム
大規模ネットワークに対する 実用的クラスタ発見アルゴリズムの開発
構造的類似性を持つ半構造化文書における頻度分析
クローン検出ツールを用いた ソフトウェアシステムの類似度調査
大規模データ処理に対する アルゴリズム理論からのアプローチ
4.プッシュダウンオートマトンと 文脈自由文法の等価性
「データ学習アルゴリズム」 第3章 複雑な学習モデル 報告者 佐々木 稔 2003年8月1日 3.2 競合学習
参考:大きい要素の処理.
情報生命科学特別講義III (3)たたみ込みとハッシュに 基づくマッチング
Q q 情報セキュリティ 第7回:2005年5月27日(金) q q.
プログラミング論 バイナリーサーチ 1.
Presentation transcript:

文字列の類似構造発見問題と 複数分類アルゴリズム 宇野 毅明 国立情報学研究所          & 総合研究大学院大学    (修士・博士課程学生募集中) 2010 年 2 月 15 日 東京大学コンピュータ科学専攻講演

簡単に自己紹介 名前: 宇野 毅明 年齢・職種:国立情報学研究所・准教授・39歳 研究分野: アルゴリズム理論とその応用   - グラフアルゴリズムを中心とした離散アルゴリズム   - 組合せ最適化とそれにまつわる数理   - 列挙アルゴリズムと、頻出パターンマイニングへの応用 最近の研究: ゲノム情報学やデータマイングで出てくる巨大なデータベースの基礎的(とはいっても非常に時間のかかる)な解析を超高速で行うアルゴリズムの開発 もっとー: 速い安い(単純)うまい 日課: 子供の世話と遊ぶこと

河原林さんと比較すると • グラフアルゴリズムは研究範囲、異なるところは、 - バックグラウンドはアルゴリズム・計算  - バックグラウンドはアルゴリズム・計算  - (残念ながら)最高峰の会議には通らず  -落としどころが数理でない (簡単な結果を求める) • 同じ所は、共同研究のオファーが多いところ  マーケッティング(経済)、カーナビ、ソーシャルネットワーク分析、ロジック・・・  データベース、デーマイニング、分子生物学、情報化学 も • 今日は大量データに対する計算の話をします。

大量の文字列データ • 近年、大量の文字列データが簡単に蓄積されるようになりました。 - 電子化された書籍、新聞、雑誌  - 電子化された書籍、新聞、雑誌  - Webなどの多数の人間が書いたテキストデータ  - 特許文書や論文の文書  - OCRなどで読み取った過去の社内文書  - ヒトゲノムを始めとするゲノム情報 • データが大きすぎて、線形時間程度の処理しかできない  + 索引付けと(キーワード)検索  + 圧縮・展開  + 文字数・文字種・n-gram のカウント、分布  + 文単位の、単語切り出し、構文理解・・・ • 複雑な、組合せ的な処理はほとんど出来ていない

部分的な類似構造を検出できたら、一気にできることが増えそう IT系(?)のアプローチ • それでも、情報学の研究者やIT企業は、大規模テキストデータを使っていろいろなことをしている  + Web検索、データベースの構築  + 自動文書分類、文書ランキング、評判分析、話題抽出、  + 類似文書の検出、おすすめの表示 (リコメンデーション) • どれも、小さいデータにある種の処理を行ない、それをデータベースに登録するタイプ (グーグルランクを除く)  • 逆に、全体を眺めるような処理は行なわれていない  - 話題の伝搬、引用関係  - (部分的に)似た文書の検出、固有な文書の検出  - 頻出するフレーズの発見 部分的な類似構造を検出できたら、一気にできることが増えそう

文書以外のデータでも • ゲノム情報学の分野では、ゲノム情報(実際は文字列データ)をを解析している • やはりできていることは単純なことで、複雑な解析は難しい  + 完全一致をベースとした検索・比較  + 遺伝子の推定・・・ • 類似性の解析ができることで、効率化が進むものは多い - 機能が未知の遺伝子と類似する遺伝子を探す - 異なる種のゲノムの比較 (類似部分には意味がある) - ゲノム読み取り時に、断片配列をつなげる - 固有な部分配列の同定をして、マーカーとして使う - 同じく、プライマーとしてPCR増幅に使う

ゲノムの読み取り ゲノムを読み取る方法 1. DNAを薬で溶かして、ひも状にする 2.放射線などを当てて、短い切片にぶつぶつ切る 3.機械で読む。1回で500文字程度読める  ただし、精度は99.9%程度。1000文字に1文字くらいミスる 4.読んだ結果をつなぎ合わせて、もとのゲノムを構築する

類似性のモデル • ゲノムの変化(変異、あるいは実験での読み取りエラー)は、局所的には、1文字単位で起きる • 既存研究では、文字列の尺度で類似度を判定している   (コスト付き)編集距離   (ときどき)ハミング距離 • 両者ともに、数理的に美しい尺度であり、計算も容易  - 長さ n の文字列の比較    ハミング距離: O(n) 時間、 編集距離 O(n2) 時間 • 実際には、大域的な入れ替わり構造がある

もし、相同領域を短時間で行えるようになるなら、 相同検索(類似文字列検索)の困難さ • 相同検索は、ゲノム解析における中心的な道具   計算のうち半分以上は相同検索とも… • しかし、類似検索なので計算資源が必要   現在は並列計算にたよっている • 類似検索なので、基本的に2分探索のような手法は使えない   ソフトにより性能は異なるが、100万文字の配列(文字列)2つを比較するのにもかなり(数分から数時間)かかる   染色体のような、数億文字ある配列の比較には多大な計算資源が必要 (あるいはヒューリスティックでやる) もし、相同領域を短時間で行えるようになるなら、 それがゲノム研究に与える影響は大きい

類似構造発見の研究(アルゴリズム的) • フィンガープリントを使った類似検索 (特徴量が一致するものを検索)   (ざっくり言って)文章単位しか狙っていない   類似するからと言ってフィンガープリントが一致するとは限らない • BLASTを始めとする相同発見アルゴリズム (例えば11文字の)短い完全一致領域を見つけ、そこを種として検索   文字列が長いと、大量の完全一致がある   11文字を長くすると精度が落ちる   良く現れる単語は候補から除外、遺伝子部分だけ注目     といった処理をしているようだ • 類似検索   大量のクエリを実行しなければならない     類似検索は通常、完全一致検索より大幅に時間がかかる

アルゴリズム理論から、類似構造発見に取り組んでみる  アルゴリズム理論からのアプローチ • 計算の高速化において、並列計算は強力であるが、コストがかかるのが欠点 (プログラミングの複雑さも含め) • アルゴリズム理論による高速化は、問題の大きさに対する計算時間の増加を、計算手法の設計変更により、抑える  (もとから線形時間のタスクは取り組む意味がない) 100項目 2-3倍 100万項目 10000倍 アルゴリズム理論から、類似構造発見に取り組んでみる

問題のモデル化とアルゴリズム

何がほんとに似ているか • 生物系の研究者に聞くと、編集距離は(距離が大きいと)研究者の直感に対応していないようだ (テキストでもそのようだ)   同じ編集距離(ハミング距離)でも、似てる感が大きく違う ATGCATGCATATATATATGCATGC ATGCATGCATATATATATGCATGC ATGCATGCGCGCGCGCATGCATGC AAGGAAGGAAAAAAAAAAGGAAGG • どうも、部分的に集中して似てるところが効いているようだ • あまり短い部分だけが似ていても、意味がないようだ • さらに、実用上は「似ている部分が見つかればいい」ので、解の中に「似ていない部分が混ざっていてもいい」 (見つけ損ないはダメだが、偽者を見つけても大きな被害はない) • まずは、短い類似構造を全部見つけることを考えよう

短い文字列の比較 • ゲノム全体から各ポジションを先頭とする長さ l の部分文字列を全て集めてこの問題を解くと、似ている部分列が全て見つかる 問題: 各項目が同じ長さ l の短い文字列(50文字程度)であるデータベースを入力したときに、文字列のペアで異なり数(ハミング距離)が d 文字以下である組を全て見つけよ • ゲノム全体から各ポジションを先頭とする長さ l の部分文字列を全て集めてこの問題を解くと、似ている部分列が全て見つかる • 新しいアルゴリズムを提案 (Sachica : Scalable Algorithm for Characteristic/Homologenous Interval CAlculation) ATGCCGCG GCGTGTAC GCCTCTAT TGCGTTTC TGTAATGA   ... • ATGCCGCG と AAGCCGCC • GCCTCTAT と GCTTCTAA • TGTAATGA と GGTAATGG      ...

問題の難しさ • 全ての項目が同じだと、O(項目数2) 個の出力がある  l を定数だと思えば、単純な全対比較のアルゴリズムが      計算量の意味では最適になる    計算量理論的には面白くない問題 • 現実には、やたらと似ているものを比較しても意味が無い    出力は少ないと仮定する ATGCCGCG GCGTGTAC GCCTCTAT TGCGTTTC TGTAATGA   ... • ATGCCGCG と AAGCCGCC • GCCTCTAT と GCTTCTAA • TGTAATGA と GGTAATGG      ...

基本のアイディア:文字列の分割 • 各文字列を、k(>d) 個のブロックに分割する • k-d 個のブロックの場所を指定したときに、そこがまったく等しくて、かつハミング距離がd 以下となるようなペアを全て見つけよ、という部分問題を考える  各文字列の k-d 個のブロックをつなげてキーにし、ソートをする。同じものはグループになる。それを総当りで比較すればよい • k-d 個のグループ数が大きければ、平均的にグループのメンバー数は小さくなるので、総当りで比較してもたいしたことない

全ての場合を尽くす • 先の部分問題を、全ての場所の組合せについて解く  2つの文字列が似てれば、必ずどこか k-d 個のブロックが同じ  必ずどれかの組合せで見つかる • 部分問題は、バケツソートやRadixソートで速く解ける • 組合せの数は kCd 。のk=5 で d=2 なら10通り    ソート10回 +α で解ける。全対比較よりもかなり高速 • 各文字の数から、1文字比較した場合に等しくなる確率を求め、適切な分割数 k を使用する

• ABC、ABD、ACC、EFG、FFG、AFG、GAB のペアでハミング距離が1以下のものを求めよ 例題 • ABC、ABD、ACC、EFG、FFG、AFG、GAB のペアでハミング距離が1以下のものを求めよ ABCDE ABDDE ADCDE CDEFG CDEFF CDEGG AAGAB A BCDE A BDDE A DCDE C DEFG C DEFF C DEGG A AGAB  A BC DE A BD DE A DC DE C DE FG C DE FF C DE GG A AG AB ABC DE ABD DE ADC DE CDE FG CDE FF CDE GG AAG AB

計算量について • ソートの部分は基数ソートで O(l |S|) 時間 • 基数ソートの1文字分ソートする部分を、複数のソートで共有するようにすると、ソート一回当たりの時間は O((l/k) |S|) に減少する • 分類にかかる時間は、トータルで O((l/k) |S| kCd) 時間 • 全対比較の部分は、できたグループの大きさによるので、平均的なことしか言えない、が、 • もし k=l ならば、グループ内の全てのペアは似ている、となる  1つのペアが kCd 回見つかるので、計算時間は O((|S| + dN) kCd) となる (N は見つかるペアの数)

メモリに解を保持せずとも、重複が回避できる 重複の回避 • まったく同じ文字列があると、全てのブロックの組合せで見つかるので、 kCd 。回出力される   重複を回避する必要がある • 各見つかったペアについて、選択されていないブロックが選択したブロックの間にあったら出力しないようにする   等しいブロックが一番左端によっている場合にのみ出力 メモリに解を保持せずとも、重複が回避できる

k の選択 • 一番良い k をあらかじめ計算するのは不可能(と思われる) • どの k が良いか推定する問題を解いて、選ぶ • 2つの文字をランダムに選んだときの一致する確率を元に、l/k 個の文字を使ってグループ分けしたときの、各グループのメンバーの平均値を計算 • それを元に、計算コストを算定する。これを全ての k について行ってベストなものを選ぶ

(全部の比較と一部の比較の速度があまり変わらない) なぜBLASTより速くできるのか? • オリジナルのBLASTは、連続して11文字同じところを見つける   大雑把に言って、分類精度は、4の11乗 ≒ 400万   100万塩基あたりから苦しそう • 今回の手法は、例えば 30文字中間違い3文字(連続して7文字同じ、と同じ精度)で6個に分割するなら、  大雑把に、分類精度は、4の15乗 ≒ 10億を20回   2億塩基あたりから苦しいが、そうなったら分割数を7にすればいい ただし、(短い配列の)検索は苦手 (全部の比較と一部の比較の速度があまり変わらない)

なぜ高速化できるのか? • チェックするマスを図示してみる • アクセスするマス目の面積が大きく違う • グループの数が増えると、より速くなる

人のY染色体から部分配列をとって実験。PenMのノートPC 実験:長さ20文字で異なり数 d を変化 人のY染色体から部分配列をとって実験。PenMのノートPC

日本語webテキストデータ, Core2duo, E8400 3GHz, 4GB RAM

長さ l が大きい場合 • l および k が大きくなると、ソートの回数が増えるため、計算は遅くなる (1000文字中異なりが100、とか)   複数分類法と同じアイディアで高速化できる • 長さ l の文字列を h 個に分割する   2つの文字列の距離がk 以下なら、必ず距離がk/h 以下のブロックが存在 • k の選択と同じように、計算コストを算定して最適な h を選ぶ

分割の効能 • 1000文字でハミング距離100以下の組を見つけるとする • k=103 ブロックに分割とすると、103個の中から3 個を選ぶ組合せはおよそ 100*100*100/6 で15万通りくらい • 3つのブロックの文字数は およそ29 文字。(文字種^29) 程度のグループに分類 • h=10 とし、k=14 としてその中から 6 個を選ぶとすると、ソート回数は 14*13*12*11/4*3*2*1 =およそ1000通り(コストが150 分の1 ×10回) • ブロック4つの文字数はおよそ29 文字なので、グループ数は同じ

類似構造の可視化

何がほんとに似ているか • 生物系の研究者に聞くと、編集距離は(距離が大きいと)研究者の直感に対応していないようだ   同じ編集距離(ハミング距離)でも、似てる感が大きく違う ATGCATGCATATATATATGCATGC ATGCATGCATATATATATGCATGC ATGCATGCGCGCGCGCATGCATGC AAGGAAGGAAAAAAAAAAGGAAGG • どうも、部分的に集中して似てるところが効いているようだ • あまり短い部分だけが似ていても、意味がないようだ • さらに、実用上は「似ている部分が見つかればいい」ので、解の中に「似ていない部分が混ざっていてもいい」 (見つけ損ないはダメだが、偽者を見つけても大きな被害はない)

ドットプロットによる可視化 • 大域的な類似構造を捕らえるためには可視化が良い • ドットプロットという可視化手法がある; 画像の横軸と縦軸を比較したい文字列に対応させ、類似する部分に対応するピクセルに点を打つ • 点の色の濃さを、対応する 部分列の組の中に含まれる 類似部分列の組にする  比較する部分列は、全ての ポジションから取る • もし長い類似構造があると、 それは部分的な対角線として 可視化される string A String B

ゲノムの比較 (1) ヒト21番染色体とチンパンジー22番染色体の比較 • 長さ3000万の配列×2 から、30文字の切片を3000万個取る • 似ている部分配列のペアの数に応じて、各ドットの明るさを変える • 白い部分が 「似ている可能性のある部分」 • 黒い部分が 「(絶対に)似ていない部分」 • 格子模様は、繰り返し   配列を拾っている ヒト 21番染色体 チンパンジー22番染色体 通常のPCで 3分

ゲノムの比較 (2) • ちょっと違いが大きなゲノムを比較してみる; マウスの11番染色体とヒトの17番染色体の比較を、少し誤差の許容を大きくしてみると… 残念ながら何も見えない • 短いノイズのような多量の類似 部分列が全てを隠している • 各文字列について「10個 の相手としかペアを作ら ない」とすると、少し見える  まだまだノイジーだし、 正確性を失っている PCで3分 Mouse 11th chr. Human 17th chr

同じくらいの明るさの点 • 同じ程度の明るさのピクセルでも、中の類似文字列のペアがどのように分布しているかはわからない • ペアが対角線に並んでいるところに興味がある  分散しているやつらはいらない  一部分に集中してしまっている物も興味がない • 対角線的なペアのみを取り出すために、凝った方法を考えるときりがないので、簡単な方法でやってみる

長方形フィルター • 対角線方向に傾けた、長方形の箱を考える (長さが α で幅が β)  もし、その箱の中にある程度のペアが入るなら、対角線上に並んでいると考えていいだろう • しかし、ペアがある一点に集中していたら、それは良くない • ある箱の置き方に対して、ペアが閾値以上、集中せずに含まれるようなとき、それらのペアを残し、任意の箱の置き方に対してそのようにならないペアを消す

新しいモデル • 2つの文字列の類似を「似ている短い区間がいくつかある」で定義 (距離ではなく、似ているかいないかの2値になる)  (距離ではなく、似ているかいないかの2値になる) • この条件は、ある意味で、 既存の類似性の条件を弱めている • 既存の意味での類似性の下界にもなる 例:長さ3000でハミング距離が10%弱 (間違い290)なら、長さ30で間違い2の部分列を、少なくとも3つは含む • 離れた位置にある部分が似ていても全体が似ていることにはならないので、ずれの最大をβで制限する • 2つの文字列が似ている部分文字列を持つ   「長さα、幅βの領域に閾値以上の類似部分文字列のペアがある」 ということになる

効率良く計算できるか • 類似部分文字列を持つ長さα幅βの領域をどう見つけるか ペア長さαの部分文字列を全対比較  2乗の時間かかる  別の方法を考えないと、とても解けない • 最初に、短くて似ている部分 文字列のペアを全部見つけておく • 幅2βの斜めの線に沿って、長さαの領域に 閾値以上のペアがあるところを探す • 斜め線をβずつずらして、全ての部分について似ている部分を探す • 長さα幅βの似ている部分列は必ず見つかる(そうでないものも発見) • 短くて似ている部分列を効率良く見つければよい

箱フィルタを使ってもう一度 • もう一度、マウスの11番染色体とヒトの17番染色体の比較をしてみる • 箱の長さ、幅、閾値を 3000, 300, 3 にしてみる • ノイズがほぼ取れている • 画像の画素数を大きく すれば、さらにノイズを 取り除ける Mouse 11th chr. Human 17th chr PC で3分

マウスXとヒトX染色体の比較 (両者1.5億文字) さらに大きな比較 Mouse X chr. マウスXとヒトX染色体の比較 (両者1.5億文字) PCで15分 Human X chr Note: BLASTZ で2週間 MURASAKI だと 2-3 時間 ただし誤差が1% だそうです。

バクテリアを30種 ABC順の取得し つなげて比較 • 一度に複数の ゲノムを比較できる ゲノムの比較 (3) バクテリアを30種 ABC順の取得し つなげて比較 • 一度に複数の ゲノムを比較できる PCで 1時間で可能

• ある文字列を固定し、それと、他の文字列を比較して、結果を(色を変えて)重ね合わせると、固定した文字列が他のどこと対応するかがわかる 多数の比較結果を、色を変えて合成 • ある文字列を固定し、それと、他の文字列を比較して、結果を(色を変えて)重ね合わせると、固定した文字列が他のどこと対応するかがわかる マウスの全ての染色体 (全て左端から開始、右端は長さに応じて変化) ヒト22番染色体 PCで6時間程度(3GB)

中規模類似構造の発見

長い類似文字列の検出 • 長い類似文字列は、必ず短い類似文字列を含む  短い類似文字列を見つけて、それを伸ばせばよい • ただし、伸ばす際の計算時間と、重複の回避(似たものが沢山出てこないようにする)が問題  - ハミング距離なら、1つ伸ばすのに1演算 O(1)  - 編集距離だと、1つ伸ばすのに異なり数 O(d) • ハミング距離が d 以下の極大な文字列は、似たものが沢山 XXXXXXAAAAAAAAAXXXXXX OOOOOOAAAAAAAAAOOOOOO • 「端が異なりなら伸ばさない」というルールを入れてもだめ XAXAXAXAXAXAXAXAXAXAXAXAX OAOAOAOAOAOAOAOAOAOAOAOAO • 閾値を割合にしたり、編集距離を使っても同じことが起きる

連続区間ハミング距離 • 極大が定義しやすい新しい類似の尺度を導入しよう •パラメータとして、長さ l を用意 • 2つの文字列 S と S’ に対して、距離を「始まり位置が同じである長さ l の部分文字列の最大ハミング距離」で定義 ______ S AAAXAAAAAAAXXAAAXAAAAAXAAAAAAA l = 6 S’ AAAOAAAAAAAOOAAAOAAAAAOAAAAAAA • 「連続区間ハミング距離」だと、似たものは絶対に出てこない   2つの類似区間が(長さ 以上の)重なりを持つなら、    2つを合わせた物も類似区間になる  つまり、「計算しやすくて極大が少ない」

重複の排除 • 極大な連続区間ハミング距離が d の文字列組は、長さ l でハミング距離が d 以下の文字列組を見つて伸ばせば、見つかる • 逆に見れば、同じ極大文字列が何回も見つかってしまう  メモリに既発見を取っておいてチェックすると、伸ばす計算と検索の時間、損をする ______________________________ S AAXAXXXXXAAAXAAAAAAAXXAAAXAAAAAXAAXXXAXXAXA l = 6 S’ AAOAOOOOOAAAOAAAAAAAOOAAAOAAAAAOAAOOOAOOAOA • そこで、代表を決める  「自分の左には伸ばせない」   「代表は一人だけ」 「代表であるか、簡単にチェックできる」 • 代表を見つけたときだけ、極大文字列を出力すると、 自動的に重複を回避できる

比較する部分文字列の省略 • 少し長めの類似構造を調べたいときには、比較する部分文字列を省略しても効果がある - 、適当な k と h を定め、比較する文字列AとB (両者が同じこともあり得る)から、A の部分文字列を kh 文字おきに連続 k 個、B から k 文字置きに選び出して比較 - どのような、長さ kh 以上の部分列の組でも、かならず一つ比較される部分列を含む 任意の部分列の組に対して A このように部分列が比較される B

計算コストの比較 • たとえば l=50である連続区間ハミング距離を用いて、450文字以上の類似構造を見つけたいのであれば、k=20,h=20 としても、450文字のどこかが見つかるため、そこから左右に類似部分を伸ばすことで、450文字以上の構造は必ず発見される • 短い類似文字列を見つける問題自身は、比較する文字列の数が 1/20 になるので、20倍以上高速化される • 比較する文字列 A,B の長さに偏りがある場合、例えば|A|=25|B| であれば、k=100,h=4 とすることで、比較する文字列の数を |A|/100 + |B|/4 に減少できる。これは |A|+|B| のおよそ1/100

類似構造拡張のコスト • 重複を回避するために、左方向に類似構造を伸ばす。他のシードが見つかったら、その時点でやめる。他のシードにたどり着く前に類似構造の端に来たら、類似構造を見つけた、として出力 • シードを見つける  類似構造を拡張する  以前に見つけたものでなければ出力  という方法だと、長さ |H| の類似構造が z 個のシードを含むとすると、類似構造の拡張にかかる手間は O(z|H|) • 対して、先の重複回避と同じ方法を使うと、同じ場所は高々1回しか比較されない。よって手間は O(|H|)

マウスとヒトの比較 • マウスの染色体全部とヒトの染色体全部を比較。長さ50、異なり数1、計算時間は10時間ほど ACATTTGGTACAAATCCACTCTTCACCCCTTCCCAGCCCTCCTGGATTGTAATCTCCCCCCTTTTAACCAGCTCATATATGTCTCTTGTCAGGTCTGTGAAGGCTTTCTCCACATTAATGGCATCTCGGGCTGACGTTTCAATGTACTTCATGCCGTATGCAGCAGCCAGTTTCTCGGCCTCGTGGCGAGTCACTTGCCTCTGTGTATCCAGGTCACACTTGTGACCCACCAGAACAAATACAATTTGGTAGGGCTGAACGTGTACTTTGGTCTCTTCTAACCACTCATGGACATTCTGGAAGGACCTGCGGTTGGTAATGTCAAATAAGAGAAGACCACCTACTGAGTTCCTGTAGATGTCAAATAAGAGAAGACCACCTACTGAATTCCTGTAGTAGGCGCGAGTGATGGATCTAAAACACAAGAAAGAAGTAAAGAGTAAAG • 染色体同士に対応があると、 300文字以上の類似領域がけっこう(1-10)見つかる

マウスとヒトの比較 • これくらいなら、完全一致を見つけるアプローチでも何とかなる。そこで、異なり数を3にしてみる、計算時間は20時間ほど ACATTTGGTACAAATCCACTCTTCACCCCTTCCCAGCCCTCCTGGATTGTAATCTCCCCCCTTTTAACCAGCTCATATATGTCTCTTGTCAGGTCTGTGAAGGCTTTCTCCACATTAATGGCATCTCGGGCTGACGTTTCAATGTACTTCATGCCGTATGCAGCAGCCAGTTTCTCGGCCTCGTGGCGAGTCACTTGCCTCTGTGTATCCAGGTCACACTTGTGACCCACCAGAACAAATACAATTTGGTAGGGCTGAACGTGTACTTTGGTCTCTTCTAACCACTCATGGACATTCTGGAAGGACCTGCGGTTGGTAATGTCAAATAAGAGAAGACCACCTACTGAGTTCCTGTAGATGTCAAATAAGAGAAGACCACCTACTGAATTCCTGTAGTAGGCGCGAGTGATGGATCTAAAACACAAGAAAGAAGTAAAGAGTAAAG • 染色体同士に対応があると、 500文字以上の類似領域がけっこう(1-10個)見つかる (これはイメージ)

頻出文字列の発見 • 最近は、「あちこちに現れる構造」「同じような物が繰り返している構造」に注目が集まっている(ようだ)   似ている文字列の発見から、「良く現れる文字列を見つける」   という問題を解いてみたい • ところがこの問題が非常に難しい + 良く現れるとはどういうことか + 長さはどうするか。短いのから長いのまで全部考慮するのか + 境目はどこにするか、似たものが沢山出てきたらどうするか + どうやって速く計算するか • 既存の研究のアプローチではほとんど失敗している

頻出する文字列パターンの発見

境目はどこにするか • 似たような文字列がたくさんあり、それぞれの終了位置が異なるとき、どこが終了かを決めるのは難しい   非常に多くの揺らぎがある • 簡単なアプローチで攻めることにしよう

似ている物がたくさんある物を中心に • 先のアルゴリズムで、長さ l の文字列それぞれに対して、似ている物がどれくらいあるかは調べられる • 似ている物がたくさんある文字列は、たぶん頻出する物の中心になっているだろう   それを中心に伸ばしてみよう • 伸ばすときには、類似性を使って伸ばすと大変なので、 単に多数決を取ることにしよう

頻出文字列を核にする ① 最も似ている物が多いもの S を見つける ② S と似ている物を全て集める ( S1,…,Sm) ③ それらをそろえて並べ、文字が共通している部分を抜き出す

次に進む • 一番良く現れる物について頻出文字列を見つけたら、次に「2番目に良く現れる文字列」について同じことをする • ただし、見つけた頻出文字列を求めるのに使った文字列は、候補から消去する • 「類似部分文字列組」が計算してあれば、これらの計算は非常に短時間でできる + (候補文字列の中から)最も良く現れる物を見つける + それに似ているものを全て見つける

計算結果 • マウス13番染色体 Genic1 での実験結果(150万文字)。長さ30異なり数2、多数決の閾値は 70%。10回以上現れるもののみ注目 #T#GCAAAGGCTTT#CCACATTGATTACATTCATAAGGTTTCTCTCCAGTATGGGTTCTTTTATGATATCTGA #TTGCAAAGGCTTTACCACATTGATTACATTCATAAGGTTT#TCTCCAGTATGG#TTCTTTTATGATATCTGA GAC#A#TGTGACAGGAAAAGGCTTTACCACATTGATTACATTCATAAGGTTTCTCTCCAGTATGGGTTCTTTT GATTACTGTGA#AGGAAAAGGCTTTACCACATTGATTACATTCATAAGGTTTCTCTCCAGTATGGGTTCTTTT #TGATATCTGAGACTA#TGTGACAGGAAAAGGCTTT#CCACATTGATTACATTCATAAGGTTTCTCTCCAGTA ATGA#ATTGGAGAT#A TGGGTTCTTTTATGATAT#TGAGAC#A #TCTCTGAA#AAAGAAAT#AAAGAAGATCTCAGAAGATGGAAAGATCTCCCATGCTCAT#GATTGGCAGGATCAATATAGTAAAAATGGCTATCTTGCCAAAAGCAATCTACAGATTCAATGCAATCCCCATCAAAAT#CCAACT#AATTCTTCA • # は多数決が決まらない場所、計算時間は10秒ほど

まとめ • ハミング距離が短い文字列の組を見つける、高速アルゴリズム • 類似性の性質に基づいたフィルタリングを利用した可視化 • 極大が見つけやすい、新しい類似尺度を提案 • 良く現れる文字列を、似ている物が沢山ある短い文字列を核にして、多数決を取ることで発見 • 実際にゲノムで比較を行い、既存の方法よりはるかに短時間である程度の保証をもつ解を得た 課題 • ツールとしての完成度を高める(UI、解の圧縮など) • このアルゴリズムを利用した解析システム(特にアセンブリ)

まとめ • min-wise independence やベクトルとの内積の符号など、「類似すると一致する可能性が高い指標」をランダムに複数用いて文字列を作り、文字列のハミング距離が短いものを見つけることで、短時間で高い精度で類似するものを見つける方法の提案 • ベクトルデータと集合データ • sachica を利用して高速計算 • 繰り返し計算による精度向上 どなたかいいデータ (多量の項目からなるベクトルデータ) 持ってないでしょうか?