アセンブリ参照が有向非巡回グラフである必要があるアプリケーションを分析しようとしていますが、そうではありません。サブアセンブリが 1 つのサブサブアセンブリの異なるバージョンを参照するという関連する問題もあります (エッシャーを考えてください... ) 。
私がやりたいのは、アセンブリとサブアセンブリの各ペアを分析し、どこが間違っているかを把握することです。
これに適したデータ構造とは何かについてのガイダンスが必要です。不変のものを構築できるかどうかはあまりわかりませんが、内部で変更可能にしてから、最後に不変に変換してもかまいません。
問題のもう 1 つの部分は、データ構造を埋めるためにどのようなアルゴリズムを使用する必要があるか、またその後で問題を「分析」するために使用する必要があるということです。