[論文レビュー] State Complexity of Testing Divisibility

Émilie Charlier, Narad Rampersad+2 more|arXiv (Cornell University)|Aug 10, 2010

semigroups and automata theory参考文献 16被引用数 9

ひとこと要約

この論文は、線形表記系における $ m \geq 2 $ の倍数のグリーディ表現を認識する最小オートマトンの状態複雑性を決定する。特に、フィボナッチ表記系では状態数が正確に $ 2m^2 $ であることを証明している。この手法は、$ \mathbb{N} $ のオートマトンと評価値における整数論的演算を組み合わせ、ピロット数およびベルトラン表記系の性質を活用して、やや弱い仮定のもとで正確な上限を得る。

ABSTRACT

Under some mild assumptions, we study the state complexity of the trim minimal automaton accepting the greedy representations of the multiples of m >= 2 for a wide class of linear numeration systems. As an example, the number of states of the trim minimal automaton accepting the greedy representations of the multiples of m in the Fibonacci system is exactly 2m^2.

研究の動機と目的

• グリーディ表現による $ m\mathbb{N} $ を認識するトリム最小オートマトンの正確な状態複雑性を、広範な線形表記系クラスにおいて決定すること。
• 有限オートマトンによる可除性基準の決定可能性を、非標準表記系へと拡張すること。
• 整数論的演算とオートマトン積構成を用いて、このようなオートマトンにおける状態数を計算する一般枠組みを提供すること。
• 任意の表記系における状態複雑性の下界を確立すること。
• オートマトンの複雑性と拡張プレスブルー算術における1階論理的定義可能性との関係を調査すること。

提案手法

• 表記系 $ U $ に対する $ \mathbb{N} $ のオートマトン $ \mathcal{A}_U $ と、$ \operatorname{val}_U(w) \bmod m $ を追跡するモジュラスベースのオートマトンの積として、$ 0^*\operatorname{rep}_U(m\mathbb{N}) $ の最小オートマトン $ \mathcal{A}_{U,m} $ を構成する。
• オートマトン $ \mathcal{A}_{U,m} $ の状態が $ (k+1) $-タプル $ (q, v_0, \dots, v_{k-1}) $ であることに着目する。ここで $ q $ は $ \mathcal{A}_U $ の状態であり、$ v_i = \operatorname{val}_U(w0^i) \bmod m $ である。
• $ (U_n \bmod m) $ の周期性を活用して補助オートマトンの状態数を抑え、その後 $ \mathcal{A}_U $ とのインターセクションを最小化する。
• 命題17を適用して、オートマトン状態とモジュラス評価値の両方を追跡することで、直接的に $ \mathcal{A}_{U,m} $ を構成する。
• 単語の反転（最下位桁から処理）を用いてモジュラス遷移構造を単純化し、周期性解析を可能にする。
• ピロット数およびベルトラン表記系の結果を適用して、オートマトン構造が必要な条件（例えば、強い連結性、トリム最小性）を満たすことを保証する。

実験結果

リサーチクエスチョン

• RQ1 支配的固有値条件を満たす線形表記系において、$ m\mathbb{N} $ のグリーディ表現を認識する最小オートマトンの正確な状態数は何か？
• RQ2 フィボナッチ表記系において、$ m $ で割り切れるかの状態複雑性を正確に計算できるか？
• RQ3 $ 0^*\operatorname{rep}_U(m\mathbb{N}) $ の状態複雑性は、列 $ (U_n \bmod m) $ の周期とどのように関係するか？
• RQ4 任意の表記系における状態複雑性の下界を確立できるか？
• RQ5 どのような条件下で $ \mathcal{A}_{U,m} $ の構成を自動化したり、線形系を超えて一般化できるか？

主な発見

• フィボナッチ表記系では、$ 0^*\operatorname{rep}_F(m\mathbb{N}) $ を認識するトリム最小オートマトンの状態数は正確に $ 2m^2 $ であり、補題19で示されている。
• 表記系 $ U $ にやや弱い仮定を課した場合、$ \mathcal{A}_{U,m} $ の状態複雑性は $ (U_n \bmod m) $ の周期長の $ m $ 倍で抑えられる。これは定理14で形式化されている。
• $ \mathcal{A}_{U,m} $ の状態数の下界は、$ |\operatorname{rep}_U(m)| $、すなわち $ m $ のグリーディ表現の長さに等しく、命題23で確立されている。
• $ \mathcal{A}_{U,m} $ の構成は、命題17によって可能となり、$ \mathcal{A}_U $ とモジュラス評価値オートマトンの積構成により完全に自動化可能である。
• パリ数に関連するベルトラン表記系では、オートマトン $ \mathcal{A}_U $ が必要な性質（H.1）および（H.2）を満たしており、定理14の直接適用が可能である。
• 特性多項式がピロット数の最小多項式である表記系に対しても、この手法は適用可能であり、このような場合における状態複雑性の均一な取り扱いを可能にする。