咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 2 篇 下界计算
  • 1 篇 分支定界算法
  • 1 篇 映射编码
  • 1 篇 等价映射
  • 1 篇 图相似性搜索
  • 1 篇 图编辑距离
  • 1 篇 推理规则
  • 1 篇 max-sat问题

机构

  • 1 篇 苏州大学
  • 1 篇 中山大学

作者

  • 1 篇 qiu zhen
  • 1 篇 zheng zhaohui
  • 1 篇 郑朝晖
  • 1 篇 邱珍
  • 1 篇 汤振东

语言

  • 2 篇 中文
检索条件"主题词=下界计算"
2 条 记 录,以下是1-10 订阅
排序:
面向图相似性搜索的高效图编辑距离算法
收藏 引用
计算机应用研究 2023年 第2期40卷 371-377页
作者: 邱珍 郑朝晖 苏州大学计算机科学与技术学院 江苏苏州215008 苏州大学江苏省网络空间安全工程实验室 江苏苏州215008
在图相似性搜索问题中,图编辑距离是较为普遍的度量方法,其计算性能很大程度上决定了图相似性搜索算法的性能。针对传统图编辑距离算法中存在的因大量冗余映射和较大搜索空间导致的性能低下问题,提出了一种改进的图编辑距离算法。该算... 详细信息
来源: 评论
使用分支定界算法求解带硬约束的MAX-SAT问题
使用分支定界算法求解带硬约束的MAX-SAT问题
收藏 引用
作者: 汤振东 中山大学
学位级别:硕士
带硬约束的MAX—SAT问题又称为Partial MAX—SAT问题,它是SAT问题和MAX—SAT问题的结合,比后两者有着更强的描述问题的能力和更广泛的应用背景。人工智能、电路设计、生物信息学等领域的许多问题都可以转化为Partial MAX—SAT问题。\n... 详细信息
来源: 评论