制約充足問題の遷移問題に対する普遍代数学を用いたアプローチ
-
- 木村 慧
- Principal Investigator
- 九州大学
About this project
- Japan Grant Number
- JP21K17700
- Funding Program
- Grants-in-Aid for Scientific Research
- Funding organization
- Japan Society for the Promotion of Science
- Project/Area Number
- 21K17700
- Research Category
- Grant-in-Aid for Early-Career Scientists
- Allocation Type
-
- Multi-year Fund
- Review Section / Research Field
-
- Basic Section 60010:Theory of informatics-related
- Research Institution
-
- Kyushu University
- Project Period (FY)
- 2021-04-01 〜 2026-03-31
- Project Status
- Granted
- Budget Amount*help
- 4,680,000 Yen (Direct Cost: 3,600,000 Yen Indirect Cost: 1,080,000 Yen)
Research Abstract
遷移問題とは,ある問題の2つの解が与えられたときに,片方の解からもう片方の解へと段階的に遷移することが可能であるか否かを判定する問題である.この問題は,従来考えられて来た解の探索問題や最適化問題と異なり,既に構築し運用されているシステムを,運用を止めずに再構築する際に有用であると考えられている.本研究では,制約充足問題という様々な問題を定式化することのできる問題の遷移問題に対し,普遍代数学を用いた計算複雑さの系統的な分類を行う.
Details 詳細情報について
-
- CRID
- 1040006432262900480
-
- Text Lang
- ja
-
- Data Source
-
- KAKEN