可約ジェネレータの状態遷移関数のパラメータを探索する。 [詳解]

#include <AlgorithmReducibleRecursionSearch.hpp>

公開メンバ関数
	AlgorithmReducibleRecursionSearch (ReducibleGenerator< U, V > &generator, AbstractGenerator< V > &bg)
	コンストラクタ [詳解]

bool	start (int try_count)
	状態遷移パラメータの探索を開始する [詳解]

const std::string	getParamString ()
	疑似乱数生成器のパラメータを表す文字列を返すこのメソッドは start() が true を返した場合にのみ呼び出すべきである。 [詳解]

const NTL::GF2X &	getCharacteristicPolynomial ()
	最小多項式を返すこのメソッドは start() が true を返した場合にのみ呼び出すべきである。 [詳解]

const NTL::GF2X &	getIrreducibleFactor () const
	特性多項式のメルセンヌ指数次の大きな既約因子を返すこのメソッドは start() が true を返した場合にのみ呼び出すべきである。 [詳解]

long	getCount () const
	このインスタンスが作られてからstart() が終了するまでに試行した回数を返す。 [詳解]

詳解

template<typename U, typename V = U>
class MTToolBox::AlgorithmReducibleRecursionSearch< U, V >

可約ジェネレータの状態遷移関数のパラメータを探索する。

GF(2)線形疑似乱数生成器の状態遷移関数の特性多項式が既約なメルセンヌ指数次の因子をもつをもつようなパラメータを探索する。

コンストラクタに与えるgenerator はこのクラスのstart()メソッドを呼び出すと変更される。そしてstart()がtrueを返したなら、変更後の generatorはその状態遷移関数が既約な特性多項式を持つように変更されているはずである。従って変更後のgeneratorからパラメータを取得することによって状態遷移関数が既約となるパラメータを取得できる。

start()メソッドを呼ぶ。
start()メソッドがtrueを返したら、getMinpoly(), getIrreducibleFactor(), getCount()などのメソッドを呼んで情報を取得する。またgeneratorのgetParamString() からも情報を取得できる。

テンプレート引数

U	疑似乱数生成器の出力する値の型、符号なし型であること。
V	パラメータ生成用疑似乱数生成器の出力する値の型

構築子と解体子

template<typename U , typename V = U>

MTToolBox::AlgorithmReducibleRecursionSearch< U, V >::AlgorithmReducibleRecursionSearch	(	ReducibleGenerator< U, V > &	generator,
		AbstractGenerator< V > &	bg
	)

inline

コンストラクタ

このコンストラクタでは、状態空間の大きさがメルセンヌ指数より少し大きい２のべき乗の場合を想定している。

bg はgenerator とは異なるインスタンスである必要がある。通常の場合、bg にはMersenneTwisterのインスタンスを与えるとよい。 TinyMT では、規則的に減少する数列を使用している。

引数

generator	generator はこのクラスのメソッドによって変更される。
bg	パラメータ探索に使用する疑似乱数生成器

関数詳解

template<typename U , typename V = U>

const NTL::GF2X& MTToolBox::AlgorithmReducibleRecursionSearch< U, V >::getCharacteristicPolynomial ( )

inline

最小多項式を返すこのメソッドは start() が true を返した場合にのみ呼び出すべきである。

一般には最小多項式は初期状態と出力関数に依存するが、GF(2)線形疑似乱数生成器の最大周期を与えるような最小多項式は一つである。

戻り値: 最小多項式このメソッドが返すのは特性多項式ではない可能性がある。

template<typename U , typename V = U>

long MTToolBox::AlgorithmReducibleRecursionSearch< U, V >::getCount ( ) const

inline

このインスタンスが作られてからstart() が終了するまでに試行した回数を返す。

戻り値: このインスタンスが作られてからstart() が終了するまでに試行した回数

template<typename U , typename V = U>

const NTL::GF2X& MTToolBox::AlgorithmReducibleRecursionSearch< U, V >::getIrreducibleFactor ( ) const

inline

特性多項式のメルセンヌ指数次の大きな既約因子を返すこのメソッドは start() が true を返した場合にのみ呼び出すべきである。

戻り値: 最大既約因子

template<typename U , typename V = U>

const std::string MTToolBox::AlgorithmReducibleRecursionSearch< U, V >::getParamString ( )

inline

疑似乱数生成器のパラメータを表す文字列を返すこのメソッドは start() が true を返した場合にのみ呼び出すべきである。

戻り値: 疑似乱数生成器のパラメータを表す文字列

template<typename U , typename V = U>

bool MTToolBox::AlgorithmReducibleRecursionSearch< U, V >::start ( int try_count )

inline

状態遷移パラメータの探索を開始する

疑似乱数生成器に状態遷移パラメータをランダムに生成させ、
その状態遷移パラメータのもとで出力列の最小多項式を求める。
最小多項式が求める次数の原始多項式か判定し、原始多項式なら成功して終了。
そうでなければ、状態遷移パラメータのランダム生成から繰り返す。
繰り返しの回数が try_count を越えると失敗して終了する。

引数

try_count 試行回数の上限

戻り値: true 求める次数の原始多項式となる最小多項式が得られた場合

参照先 MTToolBox::hasFactorOfDegree(), MTToolBox::minpoly().

このクラス詳解は次のファイルから抽出されました:

AlgorithmReducibleRecursionSearch.hpp

公開メンバ関数

詳解

template<typename U, typename V = U> class MTToolBox::AlgorithmReducibleRecursionSearch< U, V >

構築子と解体子

関数詳解

template<typename U, typename V = U>
class MTToolBox::AlgorithmReducibleRecursionSearch< U, V >