/ プログラム/ 発表一覧/ 著者一覧企業展示一覧/ jsai2015ホーム /

2H5-OS-03b-1 SCSat3によるラムゼーグラフ探索について

*セッションの無断動画配信はご遠慮下さい。

Tweet #jsai2015 このエントリーをはてなブックマークに追加

05月31日(Sun) 17:20〜19:00 H会場(5F北-小講義室 (583))
2H5-OS-03b オーガナイズドセッション「OS-3 SAT技術の理論,実装,応用 (2)」

演題番号2H5-OS-03b-1
題目SCSat3によるラムゼーグラフ探索について
著者藤田 博(九州大学大学院システム情報科学研究院情報学部門)
時間05月31日(Sun) 17:20〜17:40
概要対称性等の選好的制約を探索制御のために用いることを特徴とするSATソルバー
SCSat3を開発した。これを用いて、ラムゼーグラフの探索を行った。
その結果、ラムゼー数R(4,11)の下界を98から101に更新することに成功した。
論文PDFファイル