[論文レビュー] s-Overlap Cycles for Permutations

Victoria Horan, Glenn Hurlbert|arXiv (Cornell University)|Jan 7, 2013

Coding theory and cryptography参考文献 3被引用数 6

ひとこと要約

この論文は、すべての k < n および任意の s ≥ 1 に対して、k-順列 [n] の s-重複サイクル（s-ocycle）の存在を証明し、2004年バンフワークショップの問題481を解決する。頂点を s-接頭辞、辺を k-順列とする遷移グラフを構築し、そのグラフがオイラー的（バランスが取れており、連結である）ことを示し、オイラー路を通じて s-ocycle の存在が保証されることを示している。

ABSTRACT

The goal of this paper is to solve Problem 481 from the list of research problems in the special issue of Discrete Mathematics dedicated to the Banff International Research Station workshop on "Generalizations of de Bruijn Cycles and Gray Codes" in 2004. Overlap cycles are generalizations of de Bruijn cycles and Gray codes that were introduced originally in 2010 by Godbole et al. In this paper we prove that s-overlap cycles for k-permutations of [n] exist for all k

研究の動機と目的

• 2004年バンフワークショップにおける、de Bruijn サイクルおよびグレイコードの一般化に関する問題481を解決すること。この問題は、k < n のとき、重複グラフ P(k,n,s) がハミルトン的であるかどうかを問うものである。
• k < n の条件下で、k-順列 [n] における s-重複サイクル（s-ocycle）の存在を確立すること。
• s-ocycle を導入することで、部分的重複制約を持つ組合せ的対象の順序付けのためのより広範な枠組みとして、ユニバーサルサイクル（ucycle）を一般化すること。
• s-ocycle のための遷移グラフがオイラー的であることを証明し、その結果としてこのようなサイクルの存在が保証されることを示すこと。
• 以前の s-ocycle の結果（特に、gcd やサイズ制約の下での多重集合および順列について）を、k < n の全範囲に拡張すること。

提案手法

• k-順列 [n] の s-接頭辞を頂点とし、全 k-順列を辺とする有向遷移グラフを構築する。
• すべての s-接頭辞が、ある k-順列の s-接尾辞でもあるため、グラフがバランスが取れていることを証明する。これにより、各頂点の入次数と出次数が等しくなる。
• 反復的回転と辺の走査を通じて、任意の s-接頭辞から辞書式に最小の s-接頭辞（12...s）へのパスが存在することを示し、グラフの連結性を証明する。
• 回転に基づく変換を用いて k-順列を操作し、段階的に最小頂点に一致するように接頭辞を調整する。
• 接頭辞の異なる記号が接尾辞に含まれるかどうかに応じて2つのケースに分ける：含まれない場合は、欠落している記号に置き換える。含まれる場合は、回転と再構成により最小値への距離を短縮する。
• オイラーの定理を適用する：連結でバランスの取れた有向グラフはオイラー路を含み、これは s-ocycle に対応する。

実験結果

リサーチクエスチョン

• RQ1 k < n かつ s ≥ 1 のとき、k-順列 [n] に対して s-重複サイクルが存在するか？
• RQ2 すべての k < n に対して、重複グラフ P(k,n,s) はハミルトン的か？
• RQ3 s が n と互いに素でないか、s ≥ n/2 である場合でも、k-順列に対して s-ocycle を構築できるか？
• RQ4 k-順列の s-ocycle のための遷移グラフがオイラー的であることを示せるか？
• RQ5 任意の k < n に対して、s-ocycle 遷移グラフの連結性をどのように確立できるか？

主な発見

• すべての k < n および任意の s ≥ 1 に対して、k-順列 [n] の s-重複サイクルが存在し、2004年に提起された未解決問題が解決された。
• k-順列の s-ocycle のための遷移グラフはバランスが取れている。なぜなら、すべての s-接頭辞が、ある k-順列の s-接尾辞でもあるからである。
• 遷移グラフは連結である。任意の s-接頭辞から、回転と辺走査により辞書式に最小の s-接頭辞（12...s）へのパスが存在する。
• 遷移グラフにオイラー路が存在することは、s-ocycle の存在を示唆する。これは、すべての k-順列を s-重複遷移を持つ巡回順序で並べたものである。
• 従来の s-ocycle の結果（例：gcd(s,n)=1 または s < n/2 の制限下）を、k < n の全範囲に一般化した。
• 系7により、すべての k < n に対して重複グラフ P(k,n,s) がハミルトン的であることが確認され、問題481に肯定的に答えられた。