[論文レビュー] Reconstruction of permutations distorted by single transposition errors

Elena V. Konstantinova, V.I. Levenshtein+1 more|ArXiv.org|Feb 7, 2007

Interconnection Networks and Systems参考文献 4被引用数 15

ひとこと要約

この論文は、1つの転置誤りによって歪められたバージョンから置換の再構成を検討し、Cayleyグラフ理論を用いる。任意の $ n \geq 3 $ に対して、転置距離が1以内の4つの異なる置換があれば、未知の置換は一意に再構成可能であり、最大2つの転置誤りの場合、$ \frac{3}{2}(n-2)(n+1) $ 個の誤ったパターンが必要である。結果は、転置、バブルソート、スターグラフの構造的解析から得られ、正則グラフにおけるタイトな境界を確認する。

ABSTRACT

The reconstruction problem for permutations on $n$ elements from their erroneous patterns which are distorted by transpositions is presented in this paper. It is shown that for any $n \geq 3$ an unknown permutation is uniquely reconstructible from 4 distinct permutations at transposition distance at most one from the unknown permutation. The {\it transposition distance} between two permutations is defined as the least number of transpositions needed to transform one into the other. The proposed approach is based on the investigation of structural properties of a corresponding Cayley graph. In the case of at most two transposition errors it is shown that $\frac32(n-2)(n+1)$ erroneous patterns are required in order to reconstruct an unknown permutation. Similar results are obtained for two particular cases when permutations are distorted by given transpositions. These results confirm some bounds for regular graphs which are also presented in this paper.

研究の動機と目的

• 未知の置換を単一の転置誤りによって汚損されたバージョンから再構成する問題を解決すること。
• さまざまな転置モデル下で、対称群 $\mathrm{Sym}_n$ 内の置換を一意に再構成するために必要な最小の誤ったパターン数を特定すること。
• 特に転置、バブルソート、スターグラフを対象としたCayleyグラフの距離構造を分析し、距離球の共通部分のサイズに注目すること。
• 正則で距離正則でないグラフに対して、$ N(\Gamma, r) $（2つの異なる頂点の $ r $-球の共通頂点数の最大値）のタイトな境界を確立すること。
• バブルソートおよびスターグラフが、転置誤り下での理論的下界を達成しているかどうかを検証すること。

提案手法

• 著者らは、全転置、隣接転置（バブルソート）、および先頭部分転置（スターグラフ）から生成される置換をCayleyグラフの頂点としてモデル化する。
• 転置距離を、1つの置換から別の置換に変換するための最小転置数として定義し、これを用いて頂点 $ x $ の周囲の距離 $ r $ の球 $ B_r(x) $ を定義する。
• 主な量 $ N(\Gamma, r) = \max_{x \neq y} |B_r(x) \cap B_r(y)| $ を $ r = 1, 2 $ に対して計算し、これは元の置換を一意に再構成するために必要な最小の誤ったパターン数を表す。
• 正則性、直径、小サイクルの不在といったCayleyグラフの構造的性質を用い、共役類解析と軌道数え上げを介して距離球の共通部分のサイズを計算する。
• 置換の共役類内での特定の距離にある頂点数に関する補題を用い、ペアの置換間での共通 $ r $-近傍数 $ N_r(\pi) $ を計算する。
• 正則グラフにおける $ N(\Gamma, r) $ の理論的境界を導出し、バブルソートおよびスターグラフがその境界を達成することを示し、再構成において最適性を確認する。

実験結果

リサーチクエスチョン

• RQ1 任意の $ n \geq 3 $ に対して、転置距離が1以内の誤った置換を最小で何個あれば、未知の置換を一意に再構成できるか？
• RQ2 転置誤りが許容される場合、距離が2以内の置換を何個あれば、元の置換を再構成できるか？
• RQ3 バブルソートおよびスターグラフCayleyグラフは、正則グラフにおける $ N(\Gamma, r) $ の理論的下界に達しているか？
• RQ4 共役類および軌道構造を用いて、距離正則でないCayleyグラフの距離球の共通部分のサイズを正確に計算できるか？
• RQ5 転置Cayleyグラフのどのような構造的性質が、最小限の誤ったパターンで一意再構成を可能にするか？

主な発見

• 任意の $ n \geq 3 $ に対して、転置距離が1以内の4つの異なる置換があれば、未知の置換は一意に再構成可能である。すなわち、$ N(\mathrm{Sym}_n(T), 1) = 3 $。
• 最大2つの転置誤りの場合、元の置換を再構成するために $ \frac{3}{2}(n-2)(n+1) $ 個の誤ったパターンが必要であり、$ N(\mathrm{Sym}_n(T), 2) = \frac{3}{2}(n-2)(n+1) $ により示される。
• バブルソートCayleyグラフ $ \mathrm{Sym}_n(t) $ では、$ N(\mathrm{Sym}_n(t), 1) = 2 $ かつ $ N(\mathrm{Sym}_n(t), 2) = 2(n-1) $ であり、距離 ≤1 で3つの近傍、距離 ≤2 で $ 2n-1 $ 個の近傍があれば一意再構成が可能である。
• スターグラフ $ \mathrm{Sym}_n(st) $ では、$ n \geq 4 $ の場合、$ N(\mathrm{Sym}_n(st), 1) = 2 $ かつ $ N(\mathrm{Sym}_n(st), 2) = 2(n-1) $ であり、バブルソートグラフと同様の再構成効率を示す。
• バブルソートおよびスターグラフCayleyグラフは、正則グラフにおける $ N(\Gamma, r) $ の理論的下界に達していることが示され、転置誤り下での再構成において最適性が確認された。
• 結果は、共役類構造と軌道数え上げを活用することで、距離正則でないCayleyグラフに対しても $ N(\Gamma, r) $ の値を正確に計算できることを確認し、従来の距離正則グラフへの結果の拡張を示している。