制約充足問題の遷移問題に対する普遍代数学を用いたアプローチ

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つの解が与えられたときに,片方の解からもう片方の解へと段階的に遷移することが可能であるか否かを判定する問題である.この問題は,従来考えられて来た解の探索問題や最適化問題と異なり,既に構築し運用されているシステムを,運用を止めずに再構築する際に有用であると考えられている.本研究では,制約充足問題という様々な問題を定式化することのできる問題の遷移問題に対し,普遍代数学を用いた計算複雑さの系統的な分類を行う.

Related Articles

See more

Related Data

See more

Related Books

See more

Related Dissertations

See more

Related Projects

See more

Related Products

See more

Details 詳細情報について

Back to top