本研究領域で制作した研究用コンテンツは，今後もご利用いただけます．

 

アルゴリズム理論の観点から，組合せ遷移の研究を紹介しています．「これから組合せ遷移の研究を始めてみようかな？」とお考えの方へ向けた基礎講座です．

 

 

国際プログラミング競技会 CoRe Challenge で使用されたベンチマークデータ693問を公開しています．CoRe Challengeへの投稿ソルバーとその結果も，併せて公開中です．

 

- The 1st Combinatorial Reconfiguration Challenge (CoRe Challenge 2022)

 

- The 2nd Combinatorial Reconfiguration Challenge (CoRe Challenge 2023)

• 競技会Webサイト（ベンチマークデータ 324問，投稿ソルバーとその結果）
• arXiv:2310.17136（ソルバー概要集）

• 組合せ遷移ソルバー

• C++ プログラム「ddreconf」（ ゼロサプレス型二分決定グラフ ZDD ベース）
• Python ライブラリ「Reconfillion」（ ゼロサプレス型二分決定グラフ ZDD ベース）
• Python ライブラリ「Pygplib : Python First-Order Graph Property Library」（ 有界モデル検査ベース）
• Webアプリ「SBR: SAT Based Reconfiguration」（ SATソルバーベース）