[論文レビュー] Berge Sorting

Antoine Deza, William Hua|arXiv (Cornell University)|Dec 27, 2005

Algorithms and Data Compression被引用数 2

ひとこと要約

この論文は、1966年のベルジュのソーティング問題を拡張し、$n$ 個の白と黒のペグが交互に並んだ文字列上で、$k$ 個の隣接するペグを $k$ 個の空いている隣接する穴へ同時に移動させるベルジュ $k$-移動を導入する。$k=3$ の場合、$n \geq 5$ において、$n \not\equiv 0 \pmod{4}$ であれば $\lceil n/2 \rceil$ 回の移動でソーティング可能であり、$n \equiv 0 \pmod{4}$ であれば $\lceil n/2 \rceil + 1$ 回の移動が必要であると証明している。これは、任意の $k$ に対して $\lceil n/2 \rceil$ 回の移動で十分であるという一般化された予想を支持しており、理論的最小値と一致するため、この境界はタイトである。

ABSTRACT

In 1966, Claude Berge proposed the following sorting problem. Given a string of $n$ alternating white and black pegs on a one-dimensional board consisting of an unlimited number of empty holes, rearrange the pegs into a string consisting of $\lceil\frac{n}{2} ceil$ white pegs followed immediately by $\lfloor\frac{n}{2} floor$ black pegs (or vice versa) using only moves which take 2 adjacent pegs to 2 vacant adjacent holes. Avis and Deza proved that the alternating string can be sorted in $\lceil\frac{n}{2} ceil$ such {\em Berge 2-moves} for $n\geq 5$. Extending Berge's original problem, we consider the same sorting problem using {\em Berge $k$-moves}, i.e., moves which take $k$ adjacent pegs to $k$ vacant adjacent holes. We prove that the alternating string can be sorted in $\lceil\frac{n}{2} ceil$ Berge 3-moves for $n ot\equiv 0\pmod{4}$ and in $\lceil\frac{n}{2} ceil+1$ Berge 3-moves for $n\equiv 0\pmod{4}$, for $n\geq 5$. In general, we conjecture that, for any $k$ and large enough $n$, the alternating string can be sorted in $\lceil\frac{n}{2} ceil$ Berge $k$-moves. This estimate is tight as $\lceil\frac{n}{2} ceil$ is a lower bound for the minimum number of required Berge $k$-moves for $k\geq 2$ and $n\geq 5$.

研究の動機と目的

• ベルジュの元々の2ペグ移動ソーティング問題を、$k$ 個の隣接ペグを $k$ 個の空いている隣接する穴へ同時に移動させる $k$-ペグ移動に一般化すること。
• 白と黒のペグが交互に並んだ $n$ 個のペグの文字列を単色ブロックにソーティングするために必要なベルジュ $k$-移動の最小数を特定すること。
• $k=3$ に対して必要な移動回数のタイトな上界を確立し、任意の $k$ と十分に大きな $n$ に対して $\lceil n/2 \rceil$ 回の移動で十分であるという広範な予想を支持すること。

提案手法

• ベルジュ $k$-移動を、$k$ 個の隣接ペグを $k$ 個の空いている隣接する穴へシフトさせる操作として形式化し、隣接性を保つこと。
• 交互なペグ文字列の構造を分析し、$k$-移動の下で不変となる性質を同定することで、下界を導出すること。
• $n \geq 5$ に対して、$n \mod 4$ に基づく場合分けをした上で、ベルジュ3移動を用いた明示的なソーティング列を構築すること。
• 帰納法と場合分けの推論を用いて、$n \not\equiv 0 \pmod{4}$ の場合に $\lceil n/2 \rceil$ 回の移動で十分であることを証明し、$n \equiv 0 \pmod{4}$ の場合には $\lceil n/2 \rceil + 1$ 回の移動が必要であることを示すこと。
• 既知の下界 $\lceil n/2 \rceil$ 回の移動（$k \geq 2$ および $n \geq 5$）と比較し、タイト性を確認すること。

実験結果

リサーチクエスチョン

• RQ1 $k=3$ の場合、$n$ 個のペグが交互に並んだ文字列を単色ブロックにソーティングするために必要なベルジュ $k$-移動の最小数は何か？
• RQ2 $n \mod 4$ の値は、必要なベルジュ3移動の数にどのように影響するか？
• RQ3 予想されているように、すべての $k$ と十分に大きな $n$ に対して $\lceil n/2 \rceil$ 回の移動で十分に達成可能か？
• RQ4 $k \geq 2$ および $n \geq 5$ の場合に、$\lceil n/2 \rceil$ がベルジュ $k$-移動の必要最小数としてタイトな下界であるか？

主な発見

• $n \geq 5$ かつ $n \not\equiv 0 \pmod{4}$ の場合、交互な文字列は正確に $\lceil n/2 \rceil$ 回のベルジュ3移動でソーティング可能である。
• $n \geq 5$ かつ $n \equiv 0 \pmod{4}$ の場合、交互な文字列には $\lceil n/2 \rceil + 1$ 回のベルジュ3移動が必要である。
• $\lceil n/2 \rceil$ 回の移動という境界はタイトである。なぜなら、$k \geq 2$ および $n \geq 5$ の場合に必要な理論的最小移動回数と一致するからである。
• 結果は、任意の $k$ と十分に大きな $n$ に対して、交互な文字列が $\lceil n/2 \rceil$ 回のベルジュ $k$-移動でソーティング可能であるという一般化された予想を支持している。
• 分析により、$n \mod 4$ の構造がベルジュ3移動におけるソーティングの複雑さに重要な違いをもたらすことが確認された。