Development of a New Method for Circuit Complexity Based on Large Scale Mathematical Programs
基于大规模数学程序的电路复杂性新方法的开发
基本信息
- 批准号:19500006
- 负责人:
- 金额:$ 2.25万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Scientific Research (C)
- 财政年份:2007
- 资助国家:日本
- 起止时间:2007 至 2008
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
論理回路モデルを代表とする各種計算モデルに対する, 論理関数の計算量の下限導出手法に関する研究を行った. 特に, 計算量下限導出問題を大規模数理計画問題へと帰着するアプローチについて重点的に研究を行った. その結果, 限定乱雑性を持つ論理関数に対する論理回路のサイズや, 多数決関数を近似する論理関数に対する定数段数論理回路のサイズの漸近的値を明らかにすることに成功した. 更には, 単キュービット量子回路に対して, その表現の一意性が担保される正規形の概念を提案したる.
Logic circuit represents various kinds of calculation, logic correlation calculation and lower limit derivation method. In particular, the calculation of the lower bound of the problem of large-scale mathematical planning problems, such as the study of key issues. As a result, the logic circuit of the limited number of logical relationships is closed, and the logic circuit of the fixed number of logical relationships is closed. In addition, the concept of quantum circuits is proposed to guarantee the performance of quantum circuits.
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
A Well Mixed Function with Circuit Complexity 5n +- o(n)
电路复杂度为 5n - o(n) 的混合函数
- DOI:
- 发表时间:2008
- 期刊:
- 影响因子:0
- 作者:佐藤貴之;天野一幸;瀧本英二;丸岡章;Ushijima H;Khamrin P;天野一幸;Okitsu S;佐藤貴之;Khamrin P;カムリン・パタラ;松本健;Pham K;天野 一幸
- 通讯作者:天野 一幸
A Well Mixed Function with Ciruit Complexity 5n+-o(n)
电路复杂度良好的混合函数 5n -o(n)
- DOI:
- 发表时间:2007
- 期刊:
- 影响因子:0
- 作者:天野一幸;垂井淳;トンプラチュム・アクサラ;垂井 淳
- 通讯作者:垂井 淳
k-Subgraph Isomorphism on ACO Circuits
ACO 电路上的 k 子图同构
- DOI:
- 发表时间:2009
- 期刊:
- 影响因子:0
- 作者:Quang;TD;勝又紀子;牛島廣治;牛島廣治;天野一幸;小林正明;天野一幸;Pham N;天野一幸;Pham N;天野一幸
- 通讯作者:天野一幸
Representation of Quantum Circuit with Clifford and π/ 8 Gates
用 Clifford 和 π/ 8 门表示量子电路
- DOI:
- 发表时间:2008
- 期刊:
- 影响因子:0
- 作者:佐藤貴之;天野一幸;瀧本英二;丸岡章;Ushijima H;Khamrin P;天野一幸;Okitsu S;佐藤貴之;Khamrin P;カムリン・パタラ;松本健
- 通讯作者:松本健
{{
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 }}
AMANO Kazuyuki其他文献
Lower Bounds on the PTF Weight of ODD-MAXBIT Function
ODD-MAXBIT 函数的 PTF 权重下界
- DOI:
10.1587/transfun.2022dml0003 - 发表时间:
2023 - 期刊:
- 影响因子:0
- 作者:
AMANO Kazuyuki - 通讯作者:
AMANO Kazuyuki
On the Minimum Number of Pieces for Two-Dimensional Anti-Slide Using T-Tetrominoes
T形四联板二维防滑的最小块数研究
- DOI:
10.1587/transinf.2020fcp0007 - 发表时间:
2021 - 期刊:
- 影响因子:0.7
- 作者:
KIMURA Kento;AMANO Kazuyuki;ARAKI Tetsuya - 通讯作者:
ARAKI Tetsuya
制約付き書換え帰納法におけるラグランジュ補間を用いた補題生成
在约束重写归纳中使用拉格朗日插值生成引理
- DOI:
- 发表时间:
2021 - 期刊:
- 影响因子:0
- 作者:
AMANO Kazuyuki;長谷川真人;比嘉慎哉,西田直樹,酒井正彦 - 通讯作者:
比嘉慎哉,西田直樹,酒井正彦
Fine-grained quantum computational supremacy
细粒度量子计算霸权
- DOI:
- 发表时间:
2019 - 期刊:
- 影响因子:1
- 作者:
AMANO Kazuyuki;長谷川真人;比嘉慎哉,西田直樹,酒井正彦;Tomoyuki Morimae and Suguru Tamaki - 通讯作者:
Tomoyuki Morimae and Suguru Tamaki
AMANO Kazuyuki的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('AMANO Kazuyuki', 18)}}的其他基金
Establishing Computer Assisted Proof Methods for Computational Intractability
建立计算难解性的计算机辅助证明方法
- 批准号:
21500005 - 财政年份:2009
- 资助金额:
$ 2.25万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
相似国自然基金
基于柔度列式的弹性梁板结构失稳临界荷载下限分析方法研究
- 批准号:2025JJ50213
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
可信离线强化学习的置信下限方法:算法与理论
- 批准号:72371103
- 批准年份:2023
- 资助金额:41 万元
- 项目类别:面上项目
基于Cramér-Rao下限最优准则的DSInSAR参数优化选取与形变估计方法研究
- 批准号:42304041
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
内源开路电压驱动下限域金属催化剂催化生物质分子加氢反应的研究
- 批准号:22302069
- 批准年份:2023
- 资助金额:30.00 万元
- 项目类别:青年科学基金项目
脉冲流辅助下限域催化蒸馏膜对印染废水中PFAS去除机理研究
- 批准号:22306025
- 批准年份:2023
- 资助金额:20 万元
- 项目类别:青年科学基金项目
致密砂岩水膜厚度厘定及其在储层物性下限确定中的应用
- 批准号:
- 批准年份:2022
- 资助金额:57 万元
- 项目类别:面上项目
智能网联车辆环境下限时公交—合乘车道管控与使用行为的双层博弈机制
- 批准号:52172314
- 批准年份:2021
- 资助金额:50.00 万元
- 项目类别:面上项目
二维材料层下限域催化的光电化学分解水
- 批准号:
- 批准年份:2021
- 资助金额:30 万元
- 项目类别:青年科学基金项目
考虑初始温压条件的气粉两相体系爆炸下限预测模型研究
- 批准号:
- 批准年份:2021
- 资助金额:30 万元
- 项目类别:青年科学基金项目
600~1000℃条件下低浓度瓦斯蓄热氧化机制及爆炸下限研究
- 批准号:
- 批准年份:2021
- 资助金额:58 万元
- 项目类别:
相似海外基金
可燃性粉塵の爆発下限濃度の予測を可能とする技術の開発及び評価方法の確立
可预测可燃性粉尘爆炸浓度下限的技术开发及评价方法的建立
- 批准号:
24K01119 - 财政年份:2024
- 资助金额:
$ 2.25万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
微小疲労き裂における疲労き裂進展下限界有効応力拡大係数の実測
微疲劳裂纹中疲劳裂纹扩展下限有效应力强度因子的实测
- 批准号:
22K03835 - 财政年份:2022
- 资助金额:
$ 2.25万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
ステンレス鋼から六価クロムを含む酸化水酸化物が生成する下限温度の調査
不锈钢形成含六价铬的氢氧化物的温度下限的研究
- 批准号:
21K12282 - 财政年份:2021
- 资助金额:
$ 2.25万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
公共工事における落札額実質下限値撤廃の地域建設業界に及ぼす効果
取消公共工程项目有效最低投标价对当地建筑业的影响
- 批准号:
21K14366 - 财政年份:2021
- 资助金额:
$ 2.25万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
A challenge to lower limit of boiling incipience by hierarchical surface science
分级表面科学对沸腾起始下限的挑战
- 批准号:
20H02088 - 财政年份:2020
- 资助金额:
$ 2.25万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
CAREER: Pushing the Lower Limit of Thermal Conductivity in Layered Materials
事业:突破层状材料导热率的下限
- 批准号:
1943813 - 财政年份:2020
- 资助金额:
$ 2.25万 - 项目类别:
Continuing Grant
A study on the lower limit of acceptable energy distribution ratio to breakfast for habitual breakfast skipper
习惯不吃早餐的人早餐可接受的能量分配比例下限研究
- 批准号:
19K20190 - 财政年份:2019
- 资助金额:
$ 2.25万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
船体構造における腐食疲労き裂進展下限速度の解明
船体结构腐蚀疲劳裂纹扩展下限速度的阐明
- 批准号:
18K04594 - 财政年份:2018
- 资助金额:
$ 2.25万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
非妊娠時「やせ」妊婦の推奨体重増加下限の検討及び妊婦の体重増加と出生体重との関連
未怀孕时“瘦”的孕妇建议体重增加下限检查,以及孕妇体重增加与出生体重的关系
- 批准号:
15H06522 - 财政年份:2015
- 资助金额:
$ 2.25万 - 项目类别:
Grant-in-Aid for Research Activity Start-up
Mountain permafrost around the lower limit in the Daisetsu Mountains
大雪山脉下限附近的山地永久冻土
- 批准号:
25350417 - 财政年份:2013
- 资助金额:
$ 2.25万 - 项目类别:
Grant-in-Aid for Scientific Research (C)