特定のスイッチング ファブリックの同時ルートと必要な接続のリストを決定するためのプログラム/ライブラリ/アイデアを探しています。
ルートは交差せず、同時である必要があります。これは、実際の電気信号がリレーを介して送信される回線交換システムです。
この図では、1-4、5-2、および 4-5 がルーティングされていますが、マルチ終端接続 (1-1、2、3 など) も可能です。
ファブリックのトポロジーは約 200 ノードですが、単純なクロスバー構成ではありません。
また、一部のスイッチは一緒にしかオンまたはオフにできないため、追加の制約があります。
最後に、ソフトな制約として、最小量のスイッチを通るルートを優先するというものがありますが、複数の入力が 1 つの出力に接続されている場合、ラインはできるだけ出力の近くで合流する必要があります。(クロスバーの図では機能しませんが、入力 4 (緑) と 5 (緑) の両方が出力 3 (青) に接続されていると想像してください。4 と 5 は入力の近くでマージして、一緒にルーティングすることができます)。出力 3 に接続しますが、それらを個別にルーティングして、できるだけ 3 の近くでマージすることをお勧めします。
4-------------|
5-------------|--3
よりも良い
4-|
5-|--------------3
これは制約ソルバーにとって非常に単純な問題だと思いますが、開始方法がわかりません (どのソルバーですか? / 問題の説明をモデルに変換する方法は?)。