×

使用冲突驱动的ASP解算器解决路由和波长分配问题。 (英语) Zbl 1373.68034号

摘要:路由和波长分配(RWA)问题是一个光网络问题,旨在通过消除网络中的光电转换来改善数据传输。RWA问题是一组NP完全问题,因此,从计算角度来看,它也是一个有趣的问题。它可以用不同的方式解决,静态光路建立(SLE)就是本文研究的一个。
在这项工作中,我们为RWA-SLE问题定义了不同的答案集编程(ASP)编码,并研究了它们在使用最先进的冲突驱动ASP解算器(clasp)解决问题时的性能。我们研究了ASP编码的性能与编码的两个不同特征之间的关系:搜索过程中生成的nogood和loop nogood的数量,以及我们引入的一种新的紧密性度量方法。我们还将ASP编码的性能与我们在之前的工作中介绍的性能最佳的伪布尔编码进行了比较。

MSC公司:

68M10个 计算机系统中的网络设计和通信
68N17号 逻辑编程
68兰特 计算机科学中的图论(包括图形绘制)
90B18号机组 运筹学中的通信网络
PDF格式BibTeX公司 XML格式引用
全文: 内政部