制約充足問題の新しい系統的な研究
约束满足问题的新系统研究
基本信息
- 批准号:22K11909
- 负责人:
- 金额:$ 2.66万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Scientific Research (C)
- 财政年份:2022
- 资助国家:日本
- 起止时间:2022-04-01 至 2026-03-31
- 项目状态:未结题
- 来源:
- 关键词:
项目摘要
本研究の第一の目的は, 計算限界証明技法に触発されたアルゴリズムの設計と解析を行うことである. 従来の分枝限定法, 局所探索や数理計画法とは全く異なる, 計算限界証明技法を活用したアルゴリズムは大きな可能性を秘めている. 現状では特定の技法が活用されているのみであるので網羅的な研究を行う.本研究の第二の目的は, 制約充足問題と量子計算の組合せの研究を行うことである. 従来から行われている制約充足問題に対する量子アルゴリズムの研究を発展させるとともに, 量子版制約充足問題に対する古典および量子アルゴリズムの研究にも取り組む.本年度は第一の目的について以下の成果が得られた. 厳密指数時間アルゴリズムを設計する強力な技法のひとつに包除原理がある. 例えば, 教科書 [Fomin and Kratsch, Exact Exponential Algorithms] ではパーマネント, 有向ハミルトン路, ビンパッキング, グラフ彩色数などの問題に対して, 2^nのような計算時間を持つアルゴリズムが紹介されている. 包除原理はすべての部分集合に関する和を計算するという点で#SATと類似性がある. 本研究では, 包除原理を論理回路の#SAT問題として定式化することで, 2^n時間より高速なアルゴリズムを設計できる場合があることを示した. 具体的には, 定式化に用いる論理回路がAC^0[m]の部分クラスにできるような包除原理の使い方をする場合である. 特にmod 2の数え上げについては様々な問題がこの条件を満たしている.
The first purpose of this study is to design and analyze the computational limit proof technique using the branch limit method. The mathematical planning method explored by the bureau is completely different, and the calculation limit proof technique is used effectively. The second purpose of this study is to conduct research on the current situation and the utilization of specific techniques. The constraint sufficiency problem and the research on the combination of quantum computing are carried out. 従来から行われているConstraint sufficiency problem に対するquantum アルゴリズムの Research を発开させるとともに, Quantum version of the constraint sufficiency problem is solved by the classical quantum system research group. This year's first goal is the following results. Fomin and Kratsch, Exact Exponential Algorithms, Exact Exponential Algorithmsではパーマネント, There is a direction of the road, ビンパッキング, a color number and a problem, 2^nのようなcalculate timeをhold つアルゴリズムが introduction されている. The principle of inclusion is that the partial set is closed and the point is calculated. #SAT is similar to the point. This study is, Including the principle of theoretical circuit の#SAT problem として formalization することで, 2^n time よりHigh speed なアルゴリズムを design できる occasion があることをshow した. The specific one, Formalization and use of theoretical circuits and AC^0[m] are part of the formula and include the principle of exclusion. Special mod 2のnumberえ上げについては様々なquestionがこのconditionを満たしている.
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
玉置 卓其他文献
Linear-Algebraic Models of Linear Logic as Categories of Modules over Sigma-Semirings
作为 Sigma-Semirings 模块类别的线性逻辑的线性代数模型
- DOI:
- 发表时间:
2022 - 期刊:
- 影响因子:0
- 作者:
早川 龍;森前 智行;玉置 卓;Ioannis Katsikarelis;Takeshi Tsukada and Kazuyuki Asada - 通讯作者:
Takeshi Tsukada and Kazuyuki Asada
Theory and method of completion for a Boolean regulatory network using observed data, Biological Data Mining and Its Applications in Healthcare
使用观测数据完成布尔调节网络的理论和方法、生物数据挖掘及其在医疗保健中的应用
- DOI:
- 发表时间:
2014 - 期刊:
- 影响因子:0
- 作者:
Hiroshi Fujiwara;Takuya Nakamura;and Toshihiro Fujito;玉置 卓;Takeyuki Tamura and Tatsuya Akutsu - 通讯作者:
Takeyuki Tamura and Tatsuya Akutsu
Independent Set Reconfiguration Parameterized by Modular-Width
由模宽度参数化的独立集重配置
- DOI:
- 发表时间:
2019 - 期刊:
- 影响因子:0
- 作者:
Misaki Kojima;Naoki Nishida;and Yutaka Matsubara;Yota Otachi;玉置 卓;Remy Belmonte - 通讯作者:
Remy Belmonte
排他制御を含むプログラムから論理制約付き項書換え系への変換
从包含独占控制的程序转换为具有逻辑约束的术语重写系统
- DOI:
- 发表时间:
2020 - 期刊:
- 影响因子:0
- 作者:
Gregory Benassy;Fukuhito Ooshita;and Michiko Inoue;玉置 卓;小嶋美咲,西田直樹,松原豊,酒井正彦 - 通讯作者:
小嶋美咲,西田直樹,松原豊,酒井正彦
プログラムの正しさを証明する---分離論理入門---
证明程序的正确性---分离逻辑介绍---
- DOI:
- 发表时间:
2019 - 期刊:
- 影响因子:0
- 作者:
Gregory Benassy;Fukuhito Ooshita;and Michiko Inoue;玉置 卓;小嶋美咲,西田直樹,松原豊,酒井正彦;中澤巧爾 - 通讯作者:
中澤巧爾
玉置 卓的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
相似海外基金
CAREER: Speedy and Reliable Approximate Queries in Hybrid Transactional/Analytical Systems
职业:混合事务/分析系统中快速可靠的近似查询
- 批准号:
2339596 - 财政年份:2024
- 资助金额:
$ 2.66万 - 项目类别:
Continuing Grant
NAfANE: New Approaches for Approximate Nash Equilibria
NAfANE:近似纳什均衡的新方法
- 批准号:
EP/X039862/1 - 财政年份:2024
- 资助金额:
$ 2.66万 - 项目类别:
Research Grant
曲率流に対する閾値型近似アルゴリズムとそれを用いた広義解の性質の研究
曲率流阈值逼近算法及广域解性质研究
- 批准号:
23K03215 - 财政年份:2023
- 资助金额:
$ 2.66万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Collaborative Research: OAC: Approximate Nearest Neighbor Similarity Search for Large Polygonal and Trajectory Datasets
合作研究:OAC:大型多边形和轨迹数据集的近似最近邻相似性搜索
- 批准号:
2313039 - 财政年份:2023
- 资助金额:
$ 2.66万 - 项目类别:
Standard Grant
A study of SNN device using serial approximate adders
使用串行近似加法器的SNN装置的研究
- 批准号:
23K11034 - 财政年份:2023
- 资助金额:
$ 2.66万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Efficient simulation and inference under approximate models of ancestry
祖先近似模型下的高效模拟和推理
- 批准号:
EP/X022595/1 - 财政年份:2023
- 资助金额:
$ 2.66万 - 项目类别:
Research Grant
Compilation and Verification of Quantum Software in the Noisy and Approximate Regime
嘈杂近似体系中量子软件的编译与验证
- 批准号:
EP/Y004736/1 - 财政年份:2023
- 资助金额:
$ 2.66万 - 项目类别:
Research Grant
Approximate Truths: A New Ground for the Pillars of Scientific Realism
近似真理:科学实在论支柱的新基础
- 批准号:
2908312 - 财政年份:2023
- 资助金额:
$ 2.66万 - 项目类别:
Studentship
Efficient simulation and inference under approximate models of ancestry
祖先近似模型下的高效模拟和推理
- 批准号:
EP/X024881/1 - 财政年份:2023
- 资助金额:
$ 2.66万 - 项目类别:
Research Grant
A correct-by-construction approach to approximate computation
一种近似计算的构造修正方法
- 批准号:
EP/Y000455/1 - 财政年份:2023
- 资助金额:
$ 2.66万 - 项目类别:
Research Grant