权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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

一种使用通用代数解决约束满足问题中的转移问题的方法

基本信息

批准号：
21K17700
负责人：
木村慧
金额：
$ 3万
依托单位：
Kyushu University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Early-Career Scientists
财政年份：
2021
资助国家：
日本
起止时间：
2021-04-01 至 2026-03-31
项目状态：
未结题

项目摘要

本研究では，制約充足問題の遷移問題の計算複雑さを，普遍代数学を援用することにより分類することを目指している．そのための足掛かりとして，本年度は，制約充足問題の部分クラスである彩色問題の遷移問題を扱った．特に，遷移問題ならではの性質を調査するため，遷移制約をもつ彩色遷移を考え，遷移制約に基づくアルゴリズム開発を行った．本成果に関して執筆した原稿は，アルゴリズムについての国際会議であるThe 33rd International Symposium on Algorithm and Computationに採択され，韓国ソウルにて発表を行った．この成果により得た知見を，制約充足問題の遷移問題の計算複雑さ分類へ生かす予定である．また，昨年度に行った，制約充足問題の特殊例とみなすことのできる整数計画問題に対する特殊な代数的性質をもつ問題における解空間の構造の解析をさらに推し進めた．具体的には，整数解を求める問題を，実数解を求める問題へ緩和した際に，緩和した問題の解から整数解を求める手法を開発していたが，この成果に関して執筆した原稿は組合せ最適化についての国際会議であるThe 7th International Symposium on Combinatorial Optimizationに採択され，オンラインにて発表を行った．さらに，制約充足問題の遷移問題の計算複雑さ分類に関する知見を深めるため，個別の問題に対する計算複雑さ解析やアルゴリズム開発を進めており，結果がまとまってきているところである．また，遷移問題における帰着を考える上で基礎となる観察を行い，遷移問題に対する理解が深まってきている．

In this paper, we study the computational complexity of the transfer problem of constraint sufficiency problem. This year, the problem of migration of color problems is the problem of restricting the adequacy of some problems. In particular, the nature of migration problems is investigated, migration constraints are examined, color migration is examined, and migration constraints are developed. The 33rd International Symposium on Algorithm and Computation was held in Seoul. The results of this study are summarized as follows: (1) The knowledge of the results is obtained;(2) The computational complexity of the migration problem is restricted;(3) The classification of the results is determined. A special example of the constraint sufficiency problem is the integer program problem, the property of the special algebra problem, the analysis of the solution space. The 7th International Symposium on Combinatorial Optimization was held at the International Conference on Combinatorial Optimization. In addition, we have gained a deeper understanding of the classification of computational complexity for migration issues that constrain sufficiency, and we have made progress in the analysis of computational complexity and the development of integrated systems for individual issues, and the results are mixed. The migration problem is the basis for investigation, and the migration problem is the basis for understanding.