特蕾莎·阿尔西尼特;拉蒙·贝加尔;塞萨尔·费尔南德斯;弗朗西斯科·吉塔特;卡莱斯·马图 使用冲突驱动的ASP解算器解决路由和波长分配问题。 (英语) Zbl 1373.68034号 AI通讯。 28,第1号,21-34(2015). 摘要:路由和波长分配(RWA)问题是一个光网络问题,旨在通过消除网络中的光电转换来改善数据传输。RWA问题属于NP完全问题,因此,从计算的角度来看,它也是一个有趣的问题。它可以用不同的方式解决,静态光路建立(SLE)就是本文研究的一个。在这项工作中,我们为RWA-SLE问题定义了不同的答案集编程(ASP)编码,并研究了它们在使用最先进的冲突驱动ASP解算器(clasp)解决问题时的性能。我们研究了ASP编码的性能与编码的两个不同特征之间的关系:搜索过程中生成的nogood和loop nogood的数量,以及我们引入的一种新的紧密性度量方法。我们还将ASP编码的性能与我们在之前的工作中介绍的性能最佳的伪布尔编码进行了比较。 MSC公司: 68米10 计算机系统中的网络设计和通信 68N17号 逻辑编程 68兰特 计算机科学中的图论(包括图形绘制) 90B18号机组 运筹学中的通信网络 关键词:答案集编程;逻辑程序紧密性;基准;风险加权资产;光网络 PDF格式BibTeX公司 XML格式引用 \textit{T.Alsinet}等人,AI Commun。28、第1号、第21-34号(2015;Zbl 1373.68034) 全文: 内政部