3 0 0 0 OA SCSat3によるラムゼーグラフ探索について
- 著者
- 藤田 博
- 出版者
- 人工知能学会
- 雑誌
- 人工知能学会全国大会論文集 (ISSN:13479881)
- 巻号頁・発行日
- vol.29, 2015
対称性等の選好的制約を探索制御のために用いることを特徴とするSATソルバー SCSat3を開発した。これを用いて、ラムゼーグラフの探索を行った。 その結果、ラムゼー数R(4,11)の下界を98から101に更新することに成功した。
言及状況
Google+ (1 users, 1 posts)
“ SCSat3によるラムゼーグラフ探索について ” https://kaigi.org/jsai/webprogram/2015/paper-213.html ソフト節による推論誘導の話が面白い。 ①ソフト節は偽になってもコンフリクトとはみなさない。 ②単位節になった時、単位節伝播をする代わりに伝播すべきだったリテラルを記録しておき、場合分け時に記録されたリテラルから割り当てを行う。 ③違反 ...
Twitter (2 users, 2 posts, 0 favorites)
“ SCSat3によるラムゼーグラフ探索について ” https://t.co/rFnxJ2UFI3 ソフト節による推論誘導の話が面白い。 ①ソフト節は偽になってもコンフリクトとはみなさない。… https://t.co/52sTXgZsUD