ハイパーグラフの折れ線グラフを認識する


20

ハイパーグラフの線グラフ(単純な)グラフであるの縁部を有するの2つの縁部と頂点と隣接しているそれらが空でない共通部分を持っている場合。ハイパーグラフは、各エッジに最大個の頂点がある場合、ハイパーグラフです。G H H G r rHGHHGrr

次の問題の複雑さは何ですか:グラフ与えられ、が折れ線グラフであるようなハイパーグラフが存在しますか?3 H G HG3HGH

ハイパーグラフの折れ線グラフを認識することは多項式であり、ハイパーグラフの折れ線グラフを認識することはNPであることが知られています(Poljak et al。、Discrete Appl。Math。3 (1981)301-312)。任意の固定のために-complete。 R R 42rr4

注:単純なハイパーグラフの場合、つまりすべてのハイパーエッジが異なる場合、Poljak et alの論文で証明されているように、問題はNP完全です。


ハイパーグラフでエッジの繰り返しを許可することを明確にする価値があるかもしれません。
アンドラスサラモン

@サラモン:提案をありがとう、それに応じて編集しました。申し訳ありませんが、定義上、ハイパーグラフには複数のエッジがある可能性があることがわかりました。
user13136

回答:


8

Skumsらによるプレプリントのジャーナル版を見つけました。@mhumが指します。それはここにある: 離散数学309(2009)3500から3517。そこで、著者は引用を次のように修正しました。

代わりにとると状況は根本的に変わります。Lovaszは、クラスを特徴づける問題を提起し、禁止された誘導部分グラフの有限リストによる特徴付け有限特徴付け)[9] がないことに注目しました。それは証明されているという認識の問題」『の」』 [15]、 『』のとのエッジ交点グラフの認識の問題 -複数のエッジのない均一なハイパーグラフ[15]はNP完全です。、K = 2 L 3 G L K K 4 G LのL 3 K 3 3k3k=2L3GLkk4GL3lk33

参考文献15は、前述のPoljak他です。(1981)。

したがって、ハイパーグラフ(複数のエッジが許可されている)の折れ線グラフを認識することは未解決の問題であり、@ mhumの答えは確かにこの発見に役立ちました。ありがとう!3


知っておくと良いです!お時間をいただきありがとうございます。
user13136

8

Poljak等にアクセスできません。しかし、ここで要約は、ハイパーグラフの折れ線グラフの認識がではなく NP完全であることを示しているようです。また、線形3均一ハイパーグラフのエッジ交差グラフでの引用、Skums et al。(pdf)これが事実であることを示しているようです:、R 3 4rr34

主にではなくとると状況が変わります。Lovaszは、クラスを特徴付ける問題を提起し、禁止された誘導サブグラフの有限リストによる特徴付け有限な特徴付け)がないことに注目しました[10]。認識の問題"ことが判明した " [17]と"ための" [5]はNP完全です。、K = 2 L 3 G L 3 G LのL K K 3k=3k=2L3GL3GLklk3

その論文の参考文献17は、前述のPoljak et al。(1981)。は3均一ハイパーグラフのクラスであり、は線形3均一ハイパーグラフのクラスです。L l 3L3L3l


5
紙Poljakら。(1981)次の特別な場合(定理2.2 )を証明します:グラフがすべてのハイパーエッジが異なるハイパーグラフの折れ線グラフであるかどうかを認識することはNP完全です。Skumsらによる引用。間違っているようです。3
user13136

あ。そうですか。「ハイパーグラフ」という用語にハイパーマルチグラフ(マルチハイパーグラフ?)が含まれているかどうかは、必ずしも明確ではありません。
ムム

お返事ありがとうございます。そして、私の緩い定式化についてすみません。
user13136

@vb le私の質問にリンクして投資してくれてありがとう!
user13136

5
@ user13136:どういたしまして!これは、私を含め、問題はNP完全であると信じているが、参照/証明を見つけることができない人々を知っているからです。
vb le
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.