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

制約充足問題に対する数理計画法を用いたアプローチ

一种使用数学规划解决约束满足问题的方法

基本信息

批准号：
13J09782
负责人：
木村慧
金额：
$ 1.15万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for JSPS Fellows
财政年份：
2013
资助国家：
日本
起止时间：
2013-04-01 至 2015-03-31
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-13J09782/
关键词：
制約充足問題線形計画問題計算複雑さ充足可能性保存割当て

项目摘要

制約充足問題において，扱える制約集合を制限した際の計算量が多項式時間可解かもしくはNP完全であるという予想は二分予想と呼ばれ，理論的に非常に重要な課題であると認識されている．本研究では，この予想を，数理計画法を用いることで解決することを目指す．そのためのステップとして，数理計画法を利用したアルゴリズムを開発することが目標である．具体的な成果を以下に記す．まず，解を直接求める代わりに，充足可能性保存割当てを求めるアルゴリズムを開発した．充足可能性保存割当ては，解を緩和した概念であり，解そのものよりも扱い易いことが期待される．一方で，このような割当てを逐次的に求めていけば，解を求めることが出来る．そのため，充足可能性保存割当てを求めること自体がNP困難であるので，多面錐により近似することで，効率的なアルゴリズムを開発した．ここで，多面錐により近似することにより，数理計画法の一種である線形計画法のアルゴリズムを用いることが可能となることに注意する．そして，近似がどの程度良いものになるかについての解析を詳細に行い，解が良い性質をもつ場合には極大な近似を与えることに成功した．また，上記のアルゴリズムにより解ける部分クラスを解析し，整数線形不等式系の実行可能性問題に対しては，先行研究の結果を含むクラスが解けることを示した．このことにより，上記のアルゴリズムが広い問題クラスを解くことを明らかにした．さらに，提案したアルゴリズムを，特殊な問題クラスに対して高速化した．提案アルゴリズムにでは線形計画法を解いているが，この際，組合せ的な特徴付けを与えることにより，線形計画法に対する汎用的なアルゴリズムよりも高速に解くアルゴリズムを提案した．

It is necessary to make a sufficient number of problems to solve the problem, set the limit to calculate the amount of money, multi-item time, to solve the problem that you want to NP two times to want to call, the theory is very important, it is very important to know how to do it. The method of mathematical design is used to solve the problem of real life. The method of mathematical analysis is based on the method of mathematical analysis. The specific results are recorded below. Please find the solution directly. There is sufficient possibility to save the system, and to save the concept, to solve the problem, to solve the problem, and to look forward to it. On the one hand, it is necessary to solve the problem. On the other hand, it is necessary to solve the problem one by one. It is possible to save a lot of money when it is possible to save an autologous NP. It is possible to do so in many ways, and in many ways. In order to solve the problem of success, the integer inequality is related to the possibility of the line, and the integer inequality is related to the possibility of the line. First of all, the results of the study include the results of the research, which contains the results of the research, the results of the study, the results of the research, the results of the study, the results of the The combination of the special payment system and the computer graphics system is used to solve the problem of high-speed solution.