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