格局检测相关论文
针对集成电路故障诊断中故障数据缩减方法N-cover存在冗余故障数据的问题,提出了结合格局检测与局部搜索的故障数据缩减方法.通过......
组合优化问题优化问题可以分为两类:一类是连续变量的问题,另一类是离散变量的问题,后者称为组合优化问题.组合优化问题的任务:从......
最小顶点覆盖问题是经典的NP难组合优化问题,有着重要的理论恿义和广泛的应用。给定一个无向图,顶点覆盖是指该图的一个顶点子集,......
Max-SAT问题是一个著名的约束满足问题,在理论研究和实际应用中都有重要的意义。局部搜索框架是一个非常有效的解决带权重的Max-SAT......
ERACC(Extension Rule Based on Accurate Configuration Checking)算法由杨洋等人基于扩展规则和格局检测提出,具有较高的推理效......
在动态网络中发现社区结构是一个复杂而又有重要意义的课题。该文针对动态网络中的社区发现问题,提出一种基于个体稳定度的博弈论......
模型计数是指求出给定命题公式的模型数,是SAT问题的泛化.模型计数在人工智能领域取得了广泛应用,很多现实问题都可以规约为模型计......
扩展规则推理方法在经典的可满足性问题求解中已得到广泛应用,若干个基于扩展规则的推理方法已被提出,皆得到国内外的认可.例如完......
连通顶点覆盖问题和k-plex问题是两个重要的难解组合优化问题。这两个问题在网络安全、大规模集成电路、无线网络设计以及社交网络......
拍卖是一种竞价的买卖方式。传统的拍卖是将特定物品或财产权利转让给最高应价者。组合拍卖与传统拍卖不同,组合拍卖允许投标人在......