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