組合せ遷移ソルバー(プロトタイプ)を公開しました
計画研究B01班が開発を進めている組合せ遷移ソルバーを,プロトタイプではありますが,公開しました.まだまだ機能は限定的ですが,皆様の研究にお役立て頂く事を期待して,2種類のソルバーを先行公開させていただきます.
・ 対象とする組合せ遷移問題
トークンジャンプ(TJ)モデルにおける独立点集合の到達性判定問題
単に到達性(Yes/No)を判定するだけでなく,最短の遷移系列を一つ出力することができます.(問題の定義も,後述のYouTube動画で解説しています)
・ ソルバーその1(Windows限定,利用登録が必要) 利用登録およびダウンロードはこちらから.
[問題の定義と利用の手引き]
・ ソルバーその2(利用登録は不要)
Webブラウザからこちらで利用できます.
入出力のファイル形式については,こちらのFile Formatの項目もご覧ください.
本プログラムの利用によって生じるいかなる損害に対しても,当プロジェクトは一切責任を負いません.良識の範囲でご使用をお願いし,皆様のご研究の一助になれば幸いです.
|