A Study on the Complexity of Bounded Width Boolean Circuits

有界宽度布尔电路复杂性研究

基本信息

  • 批准号:
    23700020
  • 负责人:
  • 金额:
    $ 2.08万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
  • 财政年份:
    2011
  • 资助国家:
    日本
  • 起止时间:
    2011-04-28 至 2015-03-31
  • 项目状态:
    已结题

项目摘要

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Sensitivity, Block Sensitivity, and Certificate Complexity of Unate Functions and Read-Once Functions
Unate 函数和只读函数的灵敏度、块灵敏度和证书复杂性
  • DOI:
    10.1007/978-3-662-44602-7_9
  • 发表时间:
    2014
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Hiroyuki Takizawa;Kentaro Koyama;Katsuto Sato;Kazuhiko Komatsu;and Hiroaki Kobayashi;Hiroki Morizumi
  • 通讯作者:
    Hiroki Morizumi
On Zero-Suppressed Binary Decision Diagrams and Complexity Theory
零抑制二元决策图与复杂性理论
  • DOI:
  • 发表时间:
    2014
  • 期刊:
  • 影响因子:
    0
  • 作者:
    三浦 俊朗;本田 惇;高橋 一志;大山恵弘;Hiroki Morizumi
  • 通讯作者:
    Hiroki Morizumi
On Computing Sensitivity, Block Sensitivity, and Certificate Complexity for Boolean Formulas
关于布尔公式的计算灵敏度、块灵敏度和证书复杂性
  • DOI:
  • 发表时间:
    2014
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Kazuya Tsuruta;Shunsuke Inenaga;Hideo Bannai;and Masayuki Takeda;Toru Sasaki;滝 沢寛之;河崎雄大;Hiroki Morizumi
  • 通讯作者:
    Hiroki Morizumi
幅限定回路と段数限定論理式に対する単純な#SATアルゴリズム
适用于宽度受限电路和级限逻辑公式的简单 SAT 算法
  • DOI:
  • 发表时间:
    2015
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Kouji Shimohira;Shunsuke Inenaga;Hideo Bannai;and Masayuki Takeda;平井 成海,高橋 一志,大山 恵弘;森住 大樹
  • 通讯作者:
    森住 大樹
Complexity of counting output patterns of logic circuits
逻辑电路输出模式计数的复杂性
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Kei Uchizawa;Zhenghong Wang;Hiroki Morizumi and Xiao Zhou
  • 通讯作者:
    Hiroki Morizumi and Xiao Zhou
{{ 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 }}

MORIZUMI Hiroki其他文献

MORIZUMI Hiroki的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('MORIZUMI Hiroki', 18)}}的其他基金

A Study on the Complexity of Negation-Limited Boolean Circuits
负数限制布尔电路的复杂性研究
  • 批准号:
    21700002
  • 财政年份:
    2009
  • 资助金额:
    $ 2.08万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)

相似海外基金

回路計算量理論に基づく視覚探索を実現するニューラルネットワークの計算原理の解明
基于电路复杂性理论阐明实现视觉搜索的神经网络计算原理
  • 批准号:
    22K11897
  • 财政年份:
    2022
  • 资助金额:
    $ 2.08万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
回路計算量理論に基づいた脳の計算原理の解明
基于电路复杂性理论阐明大脑计算原理
  • 批准号:
    12J03660
  • 财政年份:
    2012
  • 资助金额:
    $ 2.08万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
回路計算量の下限の研究とその応用
电路复杂度下限及其应用研究
  • 批准号:
    16092225
  • 财政年份:
    2004
  • 资助金额:
    $ 2.08万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
素子数と段数に基づく回路計算量の階層性の証明と論理合成システムの評価への応用
基于元件和级数的电路复杂度层次证明及其在逻辑综合系统评估中的应用
  • 批准号:
    09780297
  • 财政年份:
    1997
  • 资助金额:
    $ 2.08万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了