Hierarchical results on complexity classes and methods for evaluating logic synthesis systems

复杂性类别的分层结果和评估逻辑综合系统的方法

基本信息

  • 批准号：
    16K00020
  • 负责人：
    Iwamoto Chuzo
  • 金额：
    $ 2.91万
  • 依托单位：
    Hiroshima University
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 财政年份：
    2016
  • 资助国家：
    日本
  • 起止时间：
    2016-04-01 至 2022-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Herugolf and Makaro are NP-complete
  • DOI：
    10.4230/lipics.fun.2018.24
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Chuzo Iwamoto;Masato Haruishi;Tatsuaki Ibusuki
  • 通讯作者：
    Chuzo Iwamoto;Masato Haruishi;Tatsuaki Ibusuki
Computational Complexity of the Chromatic Art Gallery Problem for Orthogonal Polygons
正交多边形的彩色美术馆问题的计算复杂性
  • DOI：
    10.1007/978-3-030-39881-1_13
  • 发表时间：
    2020
  • 期刊：
    Lecture Notes in Computer Science
  • 影响因子：
    0
  • 作者：
    Iwamoto Chuzo;Ibusuki Tatsuaki
  • 通讯作者：
    Ibusuki Tatsuaki
Chromatic Art Gallery Problem with r-visibility is NP-complete
彩色美术馆 r 可见性问题是 NP 完全问题
NP-completeness of Mojipittan
Mojipittan 的 NP 完备性
  • DOI：
    10.14923/transinfj.2017jdl8016
  • 发表时间：
    2017
  • 期刊：
    電子情報通信学会論文誌D 情報・システム
  • 影响因子：
    0
  • 作者：
    Chuzo Iwamoto;Masato Haruishi;and Tatsuya Ibusuki;Chuzo Iwamoto and Masato Haruishi;Chuzo Iwamoto and Tatsuaki Ibusuki;岩本宙造，春石聖人
  • 通讯作者：
    岩本宙造，春石聖人
Computational Complexity of Nurimisaki and Sashigane
Nurimisaki 和 Sashigane 的计算复杂性
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ 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 }}

Iwamoto Chuzo其他文献

Self-reproduction and Shape Formation in Two and Three Dimensional Cellular Automata with Conservative Constraints
具有保守约束的二维和三维元胞自动机中的自我复制和形状形成
  • DOI：
  • 发表时间：
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Katsunobu Imai;Y. Kasai;Yuya Sonoyama;Iwamoto Chuzo;K. Morita
  • 通讯作者：
    K. Morita

Iwamoto Chuzo的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

相似海外基金

組合せ最適化問題に対する解の唯一化における計算複雑さの研究
组合优化问题统一解的计算复杂度研究
  • 批准号：
    24K02898
  • 财政年份：
    2024
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
Travel: NSF Student Travel Grant for 2023 Conference on Computational Complexity
旅行：2023 年计算复杂性会议 NSF 学生旅行补助金
  • 批准号：
    2326701
  • 财政年份：
    2023
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Standard Grant
FET: Small: A triangle of quantum mathematics, computational complexity, and geometry
FET：小：量子数学、计算复杂性和几何的三角关系
  • 批准号：
    2317280
  • 财政年份：
    2023
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Standard Grant
Collaborative Research: AF: Small: Computational Complexity and Algebraic Combinatorics
合作研究：AF：小：计算复杂性和代数组合
  • 批准号：
    2302174
  • 财政年份：
    2023
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Standard Grant
Collaborative Research: AF: Small: Computational Complexity and Algebraic Combinatorics
合作研究：AF：小：计算复杂性和代数组合
  • 批准号：
    2302173
  • 财政年份：
    2023
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Standard Grant
Computational Complexity of Geometric and Combinatorial Problems
几何和组合问题的计算复杂性
  • 批准号：
    RGPIN-2016-04274
  • 财政年份：
    2022
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Discovery Grants Program - Individual
Biological and Computational Complexity
生物和计算复杂性
  • 批准号：
    CRC-2020-00011
  • 财政年份：
    2022
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Canada Research Chairs
Computational complexity of combinatorial problems: graph homomorphisms, packings, and good characterizations
组合问题的计算复杂性：图同态、打包和良好的表征
  • 批准号：
    RGPIN-2014-04760
  • 财政年份：
    2022
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Discovery Grants Program - Individual
Knot theory and computational complexity
结理论和计算复杂性
  • 批准号：
    572776-2022
  • 财政年份：
    2022
  • 资助金额：
    $ 2.91万
  • 项目类别：
    University Undergraduate Student Research Awards
Computational complexity of combinatorial problems: graph homomorphisms, packings, and good characterizations
组合问题的计算复杂性：图同态、打包和良好的表征
  • 批准号：
    RGPIN-2014-04760
  • 财政年份：
    2021
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了