2015 Fiscal Year Final Research Report
A Study on Constructive Generation of Very Hard Instances for Constraint Satisfaction Problems
| Project/Area Number |
25330267
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Research Field |
Intelligent informatics
|
|---|
| Research Institution | Takushoku University |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2013-04-01 – 2016-03-31
|
| Keywords | 制約充足問題 / 探索 / グラフ彩色問題 / 相転移 / NP完全 / 群知能 |
|---|
| Outline of Final Research Achievements |
The main results of our study are: (1) Proposal of a constructive method for generating exceptionally hard constraint satisfaction problems, (2) Proposal of swarm intelligence based methods for solving constraint satisfaction problems, and (3) Development of a system for finding figure patterns for generating complex tiling images and a simulator of pedestrians flow based on multi-agent systems for theme park problems.
|
| Free Research Field |
情報工学
|
