Developing computer-assisted methods for proving computational intractability

开发计算机辅助方法来证明计算的难处理性

基本信息

批准号：
24500006
负责人：
Kazuyuki Amano
金额：
$ 3.41万
依托单位：
Gunma University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2012
资助国家：
日本
起止时间：
2012-04-01 至 2016-03-31
项目状态：
已结题

项目摘要

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（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 公式

DOI：
10.1016/j.endm.2011.09.007
发表时间：
2011
期刊：
Electronic Notes in Discrete Mathematics
影响因子：
0
作者：
上野豊;武永康彦;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
影响因子：
0
作者：
Masaki Nakanishi;Miki Matsuyama;and Yumi Yokoo;Kazuyuki Amano
通讯作者：
Kazuyuki Amano

Anti-Slide

防滑

DOI：
发表时间：
2015
期刊：
Journal of Information Processing
影响因子：
0
作者：
Kazuyuki Amano;Shin-ichi Nakano and Koichi Yamazaki
通讯作者：
Shin-ichi Nakano and Koichi Yamazaki

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

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

Kazuyuki Amano其他文献

Theoretische Informatik , Universität Ulm Oberer Eselsberg , 89069 Ulm , Germany

理论信息学，乌尔姆奥伯勒埃塞尔斯贝格大学，89069 乌尔姆，德国

DOI：
发表时间：
2011
期刊：
影响因子：
0
作者：
Johannes Köbler;W. Lindner;Venkatesan Guruswami;M. Mahajan;Gorjan Alagic;Nikolai Vereshchagin;Alexander A. Sherstov;Beate Bollig;Arkadev Chattopadhyay;Kazuyuki Amano
通讯作者：
Kazuyuki Amano

一つ、二つ、たくさん～列挙アルゴリズムの入門から応用まで～ [招待講演]

一、二、多 - 从枚举算法介绍到应用 - [特邀报告]

DOI：
发表时间：
2014
期刊：
影响因子：
0
作者：
Jesmin/Moroi;et al.;Kazuyuki Amano;堀山貴史
通讯作者：
堀山貴史

インフオームド・コンセントのための説明文書のわかりやすさと不安感-プロトコル分析による研究-

知情同意说明文件中的理解难易程度和焦虑程度 - 基于方案分析的研究 -

DOI：
发表时间：
2010
期刊：
Ars Linguistica (Linguistic Studies of Shizuoka) 17
影响因子：
0
作者：
Kei Uchizawa;et al.;Kazuyuki Amano;Kazuyuki Amano;野呂幾久子・邑本俊亮
通讯作者：
野呂幾久子・邑本俊亮

完全k分木型組織構造の多階層関係追加モデル

具有完全k叉树组织结构的多层关系添加模型

DOI：
发表时间：
2007
期刊：
情報処理学会アルゴリズム研究会 2007-AL-110
影响因子：
0
作者：
Kei Uchizawa;Kazuyuki Amano;Hideaki Fukuhara;澤田清
通讯作者：
澤田清

弱制約最長共通部分配列問題

弱约束最长公共子数组问题

DOI：
发表时间：
2005
期刊：
電子情報通信学会論文誌 J88-D-I・8
影响因子：
0
作者：
Kei Uchizawa;Kazuyuki Amano;Hideaki Fukuhara;澤田清;瀧本英二;Shigeaki Harada;Shigeaki Harada;酒井義文;天野一幸;Kazuyuki Amano;Takayuki Sato;内沢啓;Kazuyuki Amano;Shigeaki Harada;Tatsuya Watanabe;酒井義文
通讯作者：
酒井義文