A Study on the Complexity of Bounded Width Boolean Circuits
A Study on the Complexity of Bounded Width Boolean Circuits
有界宽度布尔电路复杂性研究
批准号：
23700020
负责人：
MORIZUMI Hiroki
金额：
$2.08万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2011
资助国家：
日本
项目状态：
已结题
起止时间：
2011-04-28 至 2015-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Sensitivity, Block Sensitivity, and Certificate Complexity of Unate Functions and Read-Once Functions
Unate 函数和只读函数的灵敏度、块灵敏度和证书复杂性
Unate 函数和只读函数的灵敏度、块灵敏度和证书复杂性
DOI：
10.1007/978-3-662-44602-7_9
发表时间：
2014
期刊：
Lecture Notes in Computer Science
影响因子：
--
作者：
[Hiroyuki Takizawa, Kentaro Koyama, Katsuto Sato, Kazuhiko Komatsu, and Hiroaki Kobayashi, Hiroki Morizumi]
通讯作者：
Hiroki Morizumi
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
[三浦 俊朗, 本田 惇, 高橋 一志, 大山恵弘, Hiroki Morizumi]
通讯作者：
Hiroki Morizumi
On Computing Sensitivity, Block Sensitivity, and Certificate Complexity for Boolean Formulas
关于布尔公式的计算灵敏度、块灵敏度和证书复杂性
关于布尔公式的计算灵敏度、块灵敏度和证书复杂性
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
[Kazuya Tsuruta, Shunsuke Inenaga, Hideo Bannai, and Masayuki Takeda, Toru Sasaki, 滝 沢寛之, 河崎雄大, Hiroki Morizumi]
通讯作者：
Hiroki Morizumi
幅限定回路と段数限定論理式に対する単純な#SATアルゴリズム
适用于宽度受限电路和级限逻辑公式的简单 SAT 算法
适用于宽度受限电路和级限逻辑公式的简单 SAT 算法
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Kouji Shimohira, Shunsuke Inenaga, Hideo Bannai, and Masayuki Takeda, 平井 成海,高橋 一志,大山 恵弘, 森住 大樹]
通讯作者：
森住 大樹
Complexity of counting output patterns of logic circuits
逻辑电路输出模式计数的复杂性
逻辑电路输出模式计数的复杂性
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[Kei Uchizawa, Zhenghong Wang, Hiroki Morizumi and Xiao Zhou]
通讯作者：
Hiroki Morizumi and Xiao Zhou
共 6 条
A Study on the Complexity of Negation-Limited Boolean Circuits
-
批准号：21700002
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$1.41万
-
财政年份：2009
-
负责人：MORIZUMI Hiroki
-
依托单位：
海外基金