课题基金 / 基金详情

A Study on Constructive Generation of Very Hard Instances for Constraint Satisfaction Problems

A Study on Constructive Generation of Very Hard Instances for Constraint Satisfaction Problems
约束满足问题的极困难实例的建设性生成研究
批准号：
25330267
负责人：
Mizuno Kazunori
金额：
$3.08万
依托单位：
Takushoku University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2013
资助国家：
日本
项目状态：
已结题
起止时间：
2013-04-01 至 2016-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-25330267/
关键词：
制約充足問題探索グラフ彩色問題相転移NP完全群知能進化計算マルチエージェントシステムデータクラスタリングパターン処理firefly algorithmメタヒューリスティクス

项目摘要

项目成果

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
読み手の日本語スキルを考慮した漢字・片仮名表記チェック機能の開発
考虑读者的日语能力，开发汉字/片假名拼写检查功能
DOI： --
发表时间： 2015
期刊：
影响因子： --
作者： [Tatsuya Kobayashi, Ayane Miyazaki, Hitoshi Sasaki and Kazunori Mizuno, 小林達也，佐々木整，渡口聡則，水野一徳, 山本奈菜，佐々木整，小林達也，水野一徳]
通讯作者： 山本奈菜，佐々木整，小林達也，水野一徳
Finding Minimal Unsolvable Structures for Constructive Generation of Graph 3-Colorability Instances
寻找最小不可解结构以构建图 3-可色性实例的生成
DOI： 10.1527/tjsai.28.279
发表时间： 2013
期刊： Transactions of the Japanese Society for Artificial Intelligence
影响因子： --
作者： [岡夏樹, 水野一徳，西原清一，佐々木整]
通讯作者： 水野一徳，西原清一，佐々木整
制約充足型Artificial Bee ColonyにおけるScout Beeの改良
约束满足型人工蜂群中侦察蜂的改进
DOI： --
发表时间： 2013
期刊：
影响因子： --
作者： [Tao Ban, Shaoning Pang, Masashi Eto, Daisuke Inoue, Koji Nakao, Runhe Huang, 荒津裕子，水野一徳，佐々木整，西原清一]
通讯作者： 荒津裕子，水野一徳，佐々木整，西原清一
仮想都市におけるデマンドバスのシミュレーション
虚拟城市中需求公交车的模拟
DOI： --
发表时间： 2014
期刊：
影响因子： --
作者： [坪山宰, 水野一徳, 佐々木整, 西原清一]
通讯作者： 西原清一
共 26 条
    国内基金
    海外基金
    非 CC17 脑膜炎型无乳链球菌侵袭性毒力因子探索与验证
    • 批准号：
      ZCLMRY26H2002
    • 项目类别：
      省市级项目
    • 资助金额：
      --
    • 批准年份：
      2026
    • 负责人：
      杨颖
    • 依托单位：
      浙江大学
    多模态精准导航引导肝内胆管癌淋巴结清扫的动态示踪与机制探索
    JAK抑制剂靶向调控免疫-循环网络治疗医美注射填充术后异物肉芽肿的机制探索与策略创新
    • 批准号：
      2026JJ30206
    • 项目类别：
      省市级项目
    • 资助金额：
      --
    • 批准年份：
      2026
    • 负责人：
      鲁建云
    • 依托单位：
      中南大学湘雅三医院
    靶向AKAP95蛋白质相分离治疗乳腺癌的探索研究
    • 批准号：
      2026JJ50073
    • 项目类别：
      省市级项目
    • 资助金额：
      --
    • 批准年份：
      2026
    • 负责人：
      李薇
    • 依托单位：
      湖南大学