Developing computer-assisted methods for proving computational intractability
Developing computer-assisted methods for proving computational intractability
开发计算机辅助方法来证明计算的难处理性
批准号：
24500006
负责人：
Kazuyuki Amano
金额：
$3.41万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2012
资助国家：
日本
项目状态：
已结题
起止时间：
2012-04-01 至 2016-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Some Improved Bounds on Communication Complexity via New Decomposition of Cliques
通过新的派系分解，改善了通信复杂性的界限
通过新的派系分解，改善了通信复杂性的界限
DOI：
10.1016/j.dam.2013.09.015
发表时间：
2014
期刊：
Discrete Applied Mathematics
影响因子：
1.1
作者：
[T. Horiyama, W. Shoji, Kazuyuki Amano]
通讯作者：
Kazuyuki Amano
On Extremal k-CNF Formulas
关于极值 k-CNF 公式
关于极值 k-CNF 公式
DOI：
10.1016/j.endm.2011.09.007
发表时间：
2011
期刊：
Electronic Notes in Discrete Mathematics
影响因子：
--
作者：
[上野豊, 武永康彦, Kazuyuki Amano]
通讯作者：
Kazuyuki Amano
Secure Sets and Defensive Alliances in Graphs: A Faster Algorithm and Improved Bounds
图中的安全集和防御联盟：更快的算法和改进的界限
图中的安全集和防御联盟：更快的算法和改进的界限
DOI：
10.1587/transinf.2014fcp0007
发表时间：
2015
期刊：
IEICE Transactions on Information and Systems
影响因子：
0.7
作者：
[Kazuyuki Amano, Kyaw May Oo, Yota Otachi, Ryuhei Uehara]
通讯作者：
Ryuhei Uehara
On XOR Lemma for Polynomial Threshold Weight and Length
关于多项式阈值权重和长度的异或引理
关于多项式阈值权重和长度的异或引理
DOI：
10.1007/978-3-319-30000-9_20
发表时间：
2016
期刊：
Lecture Notes in Computer Science
影响因子：
--
作者：
[Masaki Nakanishi, Miki Matsuyama, and Yumi Yokoo, Kazuyuki Amano]
通讯作者：
Kazuyuki Amano
Anti-Slide
防滑
防滑
DOI：
--
发表时间：
2015
期刊：
Journal of Information Processing
影响因子：
--
作者：
[Kazuyuki Amano, Shin-ichi Nakano and Koichi Yamazaki]
通讯作者：
Shin-ichi Nakano and Koichi Yamazaki
共 12 条
海外基金