「無向」バリアントよりも簡単な「有向」問題。


28

私はパンケーキの選別に関する講義を行っていて、次のように言及していました。

それは私に考えさせられました。「符号付き」ソートは「指示された」という意味があります-符号を方向として見ることができます(実際、これは進化生物学からの動機です)。しかし、それは簡単な問題です!一般に(少なくともグラフ上では)有向の問題は無向の対応問題よりも難しい(または少なくとも同じくらい難しい)ため、これは異常です。

「有向」の寛大な定義を仮定すると、無向の対応よりも簡単な有向問題の例はありますか?


2
Horn 3SAT(すべての節は(A AND B) C として表されます)は、それらが含意と見なされる可能性があるため、有向節と見なすことができます。そのため、ここでは、有向のケースは簡単ですが、無向の3SATは難しいです。
モハマドアルトルコ

1
私は(私たちはIPソリューションを近似するためにLPを使用している)私が教えていたクラスのために同様の質問を疑問に思っている:整数解を見つけることrationnal解決策を見つけることよりも簡単だった問題のクラスがあり
Gopi

回答:



15

おもしろくてあまり知られていないケースは次のとおりです。エッジ重み付きグラフとルートノードrがあるとします。rからグラフ内のすべてのノードまでのk個のエッジ素なパスがあるように、Gの最小コストのサブグラフが必要です。場合、これは有向グラフおよび無向グラフの最小コストの樹木問題です。これはMST問題と同等です。どちらもポリタイムで解決可能ですが、無向の場合の方が簡単です。ただし、問題は任意の有向グラフではポリタイムで解くことができますが、無向グラフではNP-Hardです(最小コストGrGkrk=1kk=22-エッジ接続サブグラフ問題)。


13

たぶんこれは最良の例ではありませんが、(有向)サイクルカバーを検討してください。タスクは、頂点が互いに素な(有向)サイクルですべての頂点をカバーすることです。有向の場合、これを二部マッチングに減らし、多項式時間で解くことができます。無向の場合、問題は非二者間マッチング(およびその逆)に縮小できます。これはより難しい問題ですが、多項式時間で解決可能です。


10
より印象的な同様の例は、次のとおりです有向重み付きグラフにします(重みは負になる場合があります)。Ford-Bellmanアルゴリズムを使用して、Gに負のサイクルがあるかどうかを確認できます。しかし、Gが無向の場合、問題ははるかに難しくなります(ただし、ポリタイムで解決可能です)。GGG
イリヤラス

これは間違いなく良い例であり、質問をしたときに私が考えていたことに沿っています。
スレシュヴェンカト

2
有向グラフでは「サイクルに関連する問題」の方が簡単だという印象が常にありました。たぶん、その背後にある原理があります。たとえば、2連結コンポーネントは、強く連結されたコンポーネントよりも「構造が少ない」ということです(「サイクルを伴う問題」=各コンポーネントを個別に調べることで解決できるもの)。
ディエゴデエストラダ

3
ディエゴ:有向閉路が頂点vを通過する場合、vを通過する有向サイクルがあります。類似のステートメントは無向グラフには当てはまりません。したがって、有向グラフでは、サイクルではなく歩行について推論することができます。ウォークは、サイクルよりも堅牢でグラフ理論的ではないため、利点があります。これはあなたの印象の正式な説明かもしれません。
ダニエルマルクス

9

私が最近気づいたように、無向グラフの方が有向グラフよりも実際に見えにくい問題があります。

mnlogCmnCn3,mnlogn

mnlogCn3,mnlogn


ただし、ここで「ハード」とは、既知のアルゴリズムの(多項式)ランタイムに関する意味です。もちろん、いくつかのテクニックが欠けている可能性があります
virgi

2
もう1つの興味深い例です。そして、驚くべき新しい結果をおめでとうございます。
スレシュヴェンカト

1
ありがとう、Suresh!別のメモで、私はイリヤラスがダニエル・マルクスの答えへのコメントで私の答えを持っていることに気付いた...複製のために申し訳ありません。
virgi
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.