Knowledge Representation and Reasoning at Nagoya University

名古屋大学大学院情報学研究科・情報学部

番原・宋 研究室

ホーム /  研究内容  /  メンバー  /  アクセス

公倍図形パズルの web ページを公開しました．ポリオミノから生まれる様々な公倍図形をお楽しみください．世界初の図形も含まれてますよ．

組合せ遷移に関する話題です． 解集合プログラミングを用いた多目的組合せ遷移最適化問題の解法アルゴリズムの研究です．

山梨大学医学部附属病院で実際に使われているナーススケジューリングシステムの話題です． 解集合プログラミングを使って実装されています．

遺伝子制御ネットワークの解析などに応用がある状態遷移系の Boolean Network の不動点をSAT技術を用いて計数する研究です．

代表的なNP完全問題であるハミルトン閉路問題に対して，カットセット制約を用いたSAT型CEGAR手法を適用する研究です．

組合せ遷移に関する話題です． 解集合プログラミングを用いた支配集合遷移問題の解法の研究です．

ASPの系統的探索と巨大近傍探索を融合した Large Neighborhood Prioritized Search (LNPS) を提案し，巡回セールスマン問題などの組合せ最適化問題に対して，ASPソルバーの求解性能を向上することに成功しています．

KR 2024 論文で提案した Large Neighborhood Prioritized Search (LNPS) を大学の1週間の時間割を作成する問題に適用した結果を報告しています．

組合せ遷移に関する話題です． 解集合プログラミングに基づく組合せ遷移問題の解法アルゴリズムを提案し，独立集合遷移問題を用いた評価実験を報告しています．

ハミルトン閉路問題を解く新しい ASP 符号化を提案し，既存符号化と比較した優位性を示しています． また，ハミルトン閉路遷移問題への拡張も行っています．

解集合プログラミングを用いた車両装備仕様問題の解法を提案している．車両装備仕様問題は，自動車のカタログに記載されているモデル/グレードと装備の一覧表を作成する組合せ最適化問題の一種である．