用于电路交换网络的路由求解器

时间:2015-07-10 05:09:38

标签: routing logic constraints solver sat

我正在寻找一个程序/一个库/一个想法,以确定给定交换结构的同时路由和所需连接列表。

路线必须是非交叉且同时的。这是一个电路交换系统,实际的电信号将通过继电器传输。

在图1-4中,5-2和4-5被路由,但是多端连接(例如1-1,2,3)也是可能的。 Switching fabric

给出了结构的拓扑结构,大约200个节点,但它们不是简单的交叉开关配置。

此外,还有其他限制,因为有些开关只能一起打开或关闭。

最后,软约束是优先选择通过最少量开关的路由,但如果多个输入连接到一个输出,则这些行应尽可能靠近输出进行合并。 (这在横杆图片中不起作用,但想象输入4(绿色)和5(绿色)应该都连接到输出3(蓝色)。 4和5可以合并在输入附近,然后一起路由到输出3,但最好是独立地路由它们并尽可能接近3合并。

4-------------|
5-------------|--3

优于

4-|
5-|--------------3

我怀疑这对于约束求解器来说是一个非常简单的问题,但我不知道如何开始(哪个求解器?/如何将问题描述转换为模型?)。

0 个答案:

没有答案