制約充足問題の新しい系統的な研究

约束满足问题的新系统研究

• 批准号: 22K11909
• 负责人: 玉置 卓
• 金额: $ 2.66万
• 依托单位: University of Hyogo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2022
• 资助国家: 日本
• 起止时间: 2022-04-01 至 2026-03-31
• 项目状态: 未结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22K11909/
• 关键词: 厳密アルゴリズム; 近似アルゴリズム; 計算困難; 制約充足問題; 充足可能性問題; アルゴリズム; 計算限界; 量子計算

本研究の第一の目的は, 計算限界証明技法に触発されたアルゴリズムの設計と解析を行うことである. 従来の分枝限定法, 局所探索や数理計画法とは全く異なる, 計算限界証明技法を活用したアルゴリズムは大きな可能性を秘めている. 現状では特定の技法が活用されているのみであるので網羅的な研究を行う.本研究の第二の目的は, 制約充足問題と量子計算の組合せの研究を行うことである. 従来から行われている制約充足問題に対する量子アルゴリズムの研究を発展させるとともに, 量子版制約充足問題に対する古典および量子アルゴリズムの研究にも取り組む.本年度は第一の目的について以下の成果が得られた. 厳密指数時間アルゴリズムを設計する強力な技法のひとつに包除原理がある. 例えば, 教科書 [Fomin and Kratsch, Exact Exponential Algorithms] ではパーマネント, 有向ハミルトン路, ビンパッキング, グラフ彩色数などの問題に対して, 2^nのような計算時間を持つアルゴリズムが紹介されている. 包除原理はすべての部分集合に関する和を計算するという点で#SATと類似性がある. 本研究では, 包除原理を論理回路の#SAT問題として定式化することで, 2^n時間より高速なアルゴリズムを設計できる場合があることを示した. 具体的には, 定式化に用いる論理回路がAC^0[m]の部分クラスにできるような包除原理の使い方をする場合である. 特にmod 2の数え上げについては様々な問題がこの条件を満たしている.

The first objective of this study is, to calculate the bounds proof technique に, to create されたア ゴリズム ゴリズム, to design と, to analyze を lines う, to とである とである. Bureau explore や 従 の branches to limit method, mathematical planning law と は く all different な る, calculating marginal proof techniques を use し た ア ル ゴ リ ズ ム は big き な possibility を secret め て い る. Status quo で は specific の techniques が use さ れ て い る の み で あ る の な research line を う で a net. The second objective of this study is, which aims to address the constraint of sufficient problems in と quantum computing <s:1> combinatorial せ <e:1> research on を fields う とである とである とである. Line 従 to か ら わ れ て い る restrictive enough problems に す seaborne る quantum ア ル ゴ リ ズ ム の research を 発 exhibition さ せ る と と も に, quantum version of restrictive enough problems に す seaborne る classical お よ び quantum ア ル ゴ リ ズ ム の research に も む り group. The purpose of this year the first の は に つ い て が の results below are ら れ た. 厳 dense index time ア ル ゴ リ ズ ム を design す る powerful な techniques の ひ と つ に package in addition to the principle of が あ る. Example え ば, textbook [Fomin and Kratsch, Exact an Exponential Algorithms] で は パ ー マ ネ ン ト, directed ハ ミ ル ト ン road, ビ ン パ ッ キ ン グ, グ ラ フ color number な ど の problem に し seaborne て, 2^n ような ような calculation time を hold ア ア ゴリズムが ゴリズムが introduction されて る る る. Package in addition to the principle of は す べ て の part collection に masato す る and を す る と い う point で # SAT と similarity が あ る. This study で は, package in addition to the principle of を logical loop の # SAT problem と し て demean す る こ と で, 2 ^ n time よ り high-speed な ア ル ゴ リ ズ ム を design で き る occasions が あ る こ と を shown し た. Specific に は, demean に with い る が AC ^ 0 logical circuit part [m] の ク ラ ス に で き る よ う な package in addition to the principle of の make い を す る occasions で あ る. に mod and 2 on the number of の え げ に つ い て は others 々 な problem が こ を の conditions against た し て い る.

项目成果

Carnegie Mellon University(米国)

卡内基梅隆大学（美国）

Suguru TAMAKI's Website

玉木胜的网站