课题基金 / 基金详情

Development of a New Method for Circuit Complexity Based on Large Scale Mathematical Programs

Development of a New Method for Circuit Complexity Based on Large Scale Mathematical Programs
基于大规模数学程序的电路复杂性新方法的开发
批准号：
19500006
负责人：
AMANO Kazuyuki
金额：
$2.25万
依托单位：
Gunma University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2007
资助国家：
日本
项目状态：
已结题
起止时间：
2007 至 2008
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19500006/
关键词：
回路計算量下限論理回路論理関数計算量下界量子回路

项目摘要

项目成果

AMANO Kazuyuki的其他基金

相似基金

相关文献

中文摘要
翻译
論理回路モデルを代表とする各種計算モデルに対する, 論理関数の計算量の下限導出手法に関する研究を行った. 特に, 計算量下限導出問題を大規模数理計画問題へと帰着するアプローチについて重点的に研究を行った. その結果, 限定乱雑性を持つ論理関数に対する論理回路のサイズや, 多数決関数を近似する論理関数に対する定数段数論理回路のサイズの漸近的値を明らかにすることに成功した. 更には, 単キュービット量子回路に対して, その表現の一意性が担保される正規形の概念を提案したる.
英文摘要
論理回路モデルを代表とする各種計算モデルに対する, 論理関数の計算量の下限導出手法に関する研究を行った. 特に, 計算量下限導出問題を大規模数理計画問題へと帰着するアプローチについて重点的に研究を行った. その結果, 限定乱雑性を持つ論理関数に対する論理回路のサイズや, 多数決関数を近似する論理関数に対する定数段数論理回路のサイズの漸近的値を明らかにすることに成功した. 更には, 単キュービット量子回路に対して, その表現の一意性が担保される正規形の概念を提案したる.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
A Well Mixed Function with Circuit Complexity 5n +- o(n)
电路复杂度为 5n - o(n) 的混合函数
DOI： --
发表时间： 2008
期刊： Lecture Notes in Computer Science 4978
影响因子： --
作者： [佐藤貴之, 天野一幸, 瀧本英二, 丸岡章, 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
期刊：
影响因子： --
作者： [天野一幸, 垂井淳, トンプラチュム・アクサラ, 垂井 淳]
通讯作者： 垂井 淳
k-Subgraph Isomorphism on ACO Circuits
ACO 电路上的 k 子图同构
DOI： --
发表时间： 2009
期刊： Proceedings of the 24th IEEE Conference on Computational Complexity 24(in press)
影响因子： --
作者： [Quang, TD, 勝又紀子, 牛島廣治, 牛島廣治, 天野一幸, 小林正明, 天野一幸, Pham N, 天野一幸, Pham N, 天野一幸]
通讯作者： 天野一幸
部分グラフ同型性判定の回路計算量について
关于子图同构判定的电路复杂度
DOI： --
发表时间： 2008
期刊：
影响因子： --
作者： [福原秀明, 滝本英二, 天野一幸, Dey S, 天野一幸]
通讯作者： 天野一幸
共 20 条
    Establishing Computer Assisted Proof Methods for Computational Intractability
    • 批准号：
      21500005
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.83万
    • 财政年份：
      2009
    • 负责人：
      AMANO Kazuyuki
    • 依托单位：
      Gunma University
    国内基金
    海外基金
    基于柔度列式的弹性梁板结构失稳临界荷载下限分析方法研究
    • 批准号：
      2025JJ50213
    • 项目类别：
      省市级项目
    • 资助金额：
      --
    • 批准年份：
      2025
    • 负责人：
      文颖
    • 依托单位：
      中南大学
    基于Cramér-Rao下限最优准则的DSInSAR参数优化选取与形变估计方法研究
    可信离线强化学习的置信下限方法：算法与理论
    • 批准号：
      72371103
    • 项目类别：
      面上项目
    • 资助金额：
      41万元
    • 批准年份：
      2023
    • 负责人：
      吴贤毅
    • 依托单位：
      华东师范大学
    内源开路电压驱动下限域金属催化剂催化生物质分子加氢反应的研究
    • 批准号：
      22302069
    • 项目类别：
      青年科学基金项目
    • 资助金额：
      30.00万元
    • 批准年份：
      2023
    • 负责人：
      章伟
    • 依托单位：
      华东师范大学