| Project/Area Number |
25330262
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Research Field |
Intelligent informatics
|
|---|
| Research Institution | Kyushu University |
|---|
Principal Investigator |
Fujita Hiroshi 九州大学, システム情報科学研究院, 准教授 (70284552)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
HASEGAWA Ryuzo 九州大学, 大学院システム情報科学研究院, 教授 (20274483)
KOSHIMURA Miyuki 九州大学, 大学院システム情報科学研究院, 助教 (30274492)
|
|---|
| Project Period (FY) |
2013-04-01 – 2016-03-31
|
| Project Status |
Completed (Fiscal Year 2015)
|
| Budget Amount *help |
¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000)
Fiscal Year 2015: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2014: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2013: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
|
|---|
| Keywords | 組合せ最適化 / Ramsey数 / SAT / MaxSAT / 基数制約 / 組合せ最適化問題 / SATソルバー / ラムゼー数 / 対称性制約 / MaxSAT問題 / 帰納論理プログラミング / AES暗号鍵 / 組合せ問題 / 最適化問題 / EPRソルバー |
|---|
| Outline of Final Research Achievements |
We have developed methods for solving large scale combinatorial problems. As a result, SCSat system which is based on SAT techniques enhanced with a mechanism to utilize soft constraints for effective solution search, succeeded to solve several hard mathematical problems on Ramsey numbers including the new result R(4,11)>=101.
Also we have developed several ways to encode cardinality constraints into SAT problems that are used in solving large MaxSAT problems. Equipped with the encoding mechanism, QMaxSAT system has been improved so that much larger problems can be solved than before, and achieved excellent results in international competitions on systems of this kind. Our successful case studies include security solutions for cryptography and an alternative implementation of inductive logic programming.
|
