|
本研究では，SAT/SMTソルバを利用した汎用性の高いパーフェクトサンプリングアルゴリズムの開発を行った．パーフェクトサンプリングとはマルコフ連鎖の定常分布に従うサンプルを厳密にサンプリングする手法であり，CFTP (Coupling from the past) 法が知られている．本研究では，確率ペトリネットあるいは一般化確率ペトリネットで記述されるマルコフ連鎖モデルに対して，自動的にSAT/SMTソルバで解くべき式の抽出を行い，定常分布に厳密に従うサンプルを生成するアルゴリズムの提案を行った．また従来の汎用的なパーフェクトサンプリングアルゴリズムと比較して10000倍近い高速化を実現した．
|
