有向グラフでは、、F ⊂ Eがあれば、G ∖ Fは、 DAG(有向非巡回グラフ)であり、Fは、フィードバック・アーク・セットと呼ばれています。
各エッジが重み関連付けられている場合、最小コストのフィードバックアークセットの問題は、W (F )が最小になるようにFを見つけることです。
最小フィードバックアークセットの問題はNP困難であり、最小コストフィードバックアークセットの問題もよく知られています。うまく機能する近似アルゴリズムと、高速ソルバーを生成できる重み関数のプロパティを誰もが知っているのだろうか。