[論文レビュー] A Lemma and a Conjecture on the Cost of Rearrangements

Alberto Bressan|ArXiv.org|Feb 19, 2003

Genome Rearrangement Algorithms被引用数 63

ひとこと要約

本稿は、黒と白の本が混在した配置を基本的な入れ替え操作によって再配置する際のコストに対する対数的下界を確立し、初期配置がスケール ε でよくかき混ぜられている場合、最小コストが |log ε| のオーダーで増加することを証明する。さらに、連続的アナロジーを提起する：トーラス上の混合ベクトル場に対しては、同様の混合効果を得るためには、ベクトル場の全 Variation も ε に対して対数的に増加する必要があるとされる。

ABSTRACT

Consider a stack of books, containing both white and black books. Suppose that we want to sort them out, putting the white books on the right, and the black books on the left (fig.~1). This will be done by a finite sequence of elementary transpositions. In other words, if we have a stack of all black books of length $a$ followed by a stack of all white books of length $b$, we are allowed to reverse their order at the cost of $a+b$. We are interested in a lower bound on the total cost of the rearrangement.

研究の動機と目的

• 黒と白の本が高密度に混在した配置を、基本的な入れ替え操作を用いて再配置するコストに対して、厳密な下界を確立すること。
• 高密度に混在した初期配置は、整列するための著しい作業を要することを形式化し、その作業量をスケール ε の対数的関数として定量化すること。
• 離散的な本の整列問題を、コンpakト多様体上での混合ベクトル場を含む連続的設定に拡張すること。
• 非圧縮性および混合条件の下で、スケール ε まで混合させるために必要なベクトル場の全 Variation が ε に対して対数的に増加することを予想すること。
• 組合せ的再配置コストと力学系における混合の正則性または強度との関係を明らかにすること。

提案手法

• 本の配置を [0,1] から {0,1} への区分定数関数 f としてモデル化し、1 は黒本、0 は白本を表す。
• 基本的な入れ替え操作を、隣接する黒本と白本のブロックを反転する操作として定義し、コストはブロックの総長に等しいと定義する。
• すべての長さ ε の区間が少なくとも κε 個の黒本と κε 個の白本を含むという条件により、「スケール ε までよくかき混ぜられている」という概念を導入する。
• 長さ s の連続する白本ブロックを形成するための最小コストを表す再帰的コスト関数 V(s) を導入し、κ と ε を含む再帰的不等式を導出する。
• 数学的帰納法を用い、(1 + nκ²)κ/2 ≥ 2^{n+1}ε を満たす再帰的ステップ数 n(ε) の推定値を用いて、対数的下界を導出する。
• 離散的結果を、トーラス上でのベクトル場による連続的混合への拡張として、f の全 Variation と、トーラス上での集合の再配置コストの対数的関係を結びつける。

実験結果

リサーチクエスチョン

• RQ1 黒と白の本が高密度に混在した配置を、基本的な入れ替え操作によって整列するために必要な最小コストは何か？
• RQ2 配置がすべてのスケールにわたって均一にスケール ε まで混合されている場合、ε → 0 のときコストはどのようにスケーリングするか？
• RQ3 離散的な本の整列問題は、ベクトル場によって生成される流れを含む連続的設定に拡張可能か？
• RQ4 コンパクト多様体上での集合をスケール ε まで混合させるために必要なベクトル場の最小全 Variation は何か？
• RQ5 非圧縮性および混合条件の下で、離散ケースと類似した対数的下界が、混合コストに存在するか？

主な発見

• スケール ε までよくかき混ぜられている関数 f のいかなる再配置に対しても、コストは Cκ|log ε| で下から抑えられる。ここで Cκ は κ のみに依存する定数である。
• 下界は、長さ s の連続する白本ブロックを形成するための最小コストを推定する再帰的コスト関数 V(s) を用いて導出される。
• s > ε に対して、V(s) ≥ min₀<σ<s [V(s−σ) + V(σ) + κ²s + (1−κ²)σ] という再帰的不等式は、2 つの白本ブロックを形成し結合するコストを捉えている。
• n(ε) が (1 + nκ²)κ/2 ≥ 2^{n+1}ε を満たすとき、n(ε) が C′κ|log ε| のオーダーで増加することが示され、対数的下界が得られる。
• 補題により、最も有利な再配置戦略であっても、ε が小さくなるにつれてコストは少なくとも対数的に増加することが保証される。
• 本稿は、滑らかでほぼ非圧縮性のベクトル場がスケール ε まで集合を混合させる場合、∫∫|∇ₓf| dx dt の全 Variation も C|log ε| のオーダーで増加すると予想する。