[論文レビュー] Cross-bifix-free sets via Motzkin paths generation

Elena Barcucci, Stefano Bilotta+3 more|arXiv (Cornell University)|Oct 17, 2014

Algorithms and Data Compression参考文献 7被引用数 4

ひとこと要約

本稿では、モツキン経路を用いて $q$-ary アルファベット上でのクロスバイフィックスフリー集合を構成する新しい構成的手法を提案する。この手法により、小さな語長 $n$ に対して、従来の構成法よりも大きな集合が得られる。特に $q$ が増加するにつれて顕著な性能向上が得られ、初期の $n$ 値において [11] の最先端の構成法を上回る非拡張可能なクロスバイフィックスフリー集合が得られる。

ABSTRACT

Cross-bifix-free sets are sets of words such that no prefix of any word is a sufix of any other word. In this paper, we introduce a general constructive method for the sets of cross-bifix-free q-ary words of fixed length. It enables us to determine a cross-bifix-free words subset which has the property to be non-expandable.

研究の動機と目的

• $q$-ary アルファベット上でのクロスバイフィックスフリー集合の一般化された構成的手法を確立し、二進および三進の場合にとどまらない拡張を図ること。
• 特に語長 $n$ が小さい場合に、より大きなクロスバイフィックスフリー集合を生成することで、既存の構成法を改善すること。
• 構成された集合が非拡張可能であることを証明し、これが最大性の必要条件であることを示すこと。
• クロスバイフィックスフリー集合の生成と、モツキン経路を用いた格子路の数え上げとの間の関係を確立すること。
• 最大のクロスバイフィックスフリー集合の構成を可能にするフレームワークを提供すること。ただし、完全な最大性の保証は未解決の問題のままである。

提案手法

• 本手法は、語の生成を整数格子平面上の経路としてモデル化し、特にモツキン経路を用いる。
• 語のprefixが他の語のsuffixと重複しないように保証する経路制約に基づいて、集合族 $\mathcal{CBFS}_q(n)$ を定義する。
• 構成法では、最初の $k$ 文字をすべて0に固定し、$k+1$ 番目の位置に0でない文字を配置する。残りの文字列には経路に類似した制約を課す。
• 構成された集合の基数は、長さ $n-k-2$ の有効なモツキン経路の数に、非ゼロ文字と最後の文字の自由選択分 $(q-1)^2$ を乗じたものとして導出される。
• 本手法は、$q>2$ の $q$-ary アルファベットへと、[10] で提案された二進の場合の格子路に基づく構成法を一般化したものであり、より大きな集合サイズを実現可能である。
• $k$ を最適化することで、より良い性能を得られる改良版 $S^*(n,q)$ が導入され、特に $n$ が小さく $q$ が大きい場合に $k=1$ を採用することで性能が向上する。

実験結果

リサーチクエスチョン

• RQ1 格子路に基づく構成的手法は、語長 $n$ が小さい場合に、$q$-ary アルファベット上での従来の構成法を上回るクロスバイフィックスフリー集合を生成できるか？
• RQ2 モツキン経路の使用により、最大基数を持つ非拡張可能なクロスバイフィックスフリー集合をどのように構成できるか？
• RQ3 初期のゼロブロック長さ $k$ を変化させることで、得られるクロスバイフィックスフリー集合のサイズにどのような影響があるか？
• RQ4 新しい構成法 $\mathcal{CBFS}_q(n)$ は、$q$ や $n$ の異なる値において、常に [11] の構成法を上回るか？
• RQ5 各 $n$ と $q$ に対して最適な $k$ を選択することで、さらに大きな集合を得られるように、本手法を最適化できるか？

主な発見

• 初期の $n$ 値において、構成された集合 $\mathcal{CBFS}_q(n)$ は [11] の構成法よりも基数が大きい。特に $q>2$ の場合に顕著である。
• $q=3$ かつ $n=4$ の場合、$|\mathcal{CBFS}_3(4)| = 7$ であり、[11] の $S(n,3)=4$ を上回る。$n$ が増加するにつれて差はさらに拡大する。
• $k$ を最適化した改良版 $S^*(n,q)$ は、$n \geq 4$ および $q \geq 3$ の場合、$\mathcal{CBFS}_q(n)$ よりも大きな集合を生成する。特に $k=1$ の場合に顕著な向上が得られる。
• $q=6$ かつ $n=16$ の場合、$|\mathcal{CBFS}_6(16)| = 2,089,302,415$ であるのに対し、$S^*(16,6) = 2,647,064,576$ となり、顕著な改善が確認された。
• 構成された集合が非拡張可能であることが証明されており、これによりバイフィックスフリー性を損なわずに追加の語を追加することは不可能である。
• $\mathcal{CBFS}_q(n)$ のサイズは $q$ に応じて増加し、$q$ が増加するにつれて、[11] を上回る $n$ の範囲も広がる。