太ったものの交差点を介した平面グラフ?


14

Koebeの美しい定理(ここを参照)には、平面グラフをディスクのキスグラフとして描画できることが記載されています(非常にロマンチックです...)。(多少異なって言えば、平面グラフはディスクの交差グラフとして描画できます。)

Koebe定理は証明するのが非常に簡単ではありません。私の質問:この定理の簡単なバージョンでは、ディスクの代わりに太い凸形状を使用することが許可されていますか?すべての頂点が異なる形状になる可能性があることに注意してください。

ありがとう...

明確化:形状場合、R X Xの最小の囲みボールの半径とし、r X Sの最大の囲みボールの半径とします。形状Sはあるα -fat場合にR X / R X α。(これが肥満の唯一の定義ではありません、ところで。)XR(X)Xr(X)SSαR(x)/r(x)α


少し独創的に:Koebeの定理は接触グラフに関するもので、交差グラフとは少し異なります。どのバージョンがお好みですか?
スレシュヴェンカト

したがって、平面グラフはすべて平面内のセグメントの交差グラフであるという事実のために、太りが必要だと思います(Chalopin&Gonçalves、STOC 09)。太っていない場合、キスは交差点と同じです。(うーん、最後の文は文脈から外れて奇妙です!)
RJK

太りすぎは、グラフを使用して他のことを行う(たとえば、セパレータを見つける)限り、生活を楽にします。
サリエルハーペレ

3
「Koebeの定理をシミュレートし、低複雑性脂肪の形状の家族を見つける」ではなく「Koebeの定理の簡単な証明を与える」:私はここで本当の問題があるかどうか疑問
スレシュヴェンカト

2
承知しました。これが有効な解釈です。しかし、私は...何とかそれを緩和するKoebeの定理の簡単な証明、1つのニーズを取得すると思う
サリエルのHar-Peled

回答:


10

太ったオブジェクトを2次元にする必要があるとは言いませんでしたか?フェルスナーとフランシスは、3dの軸平行キューブで常に可能であることを証明しています。しかし、この証明には、シュラムのコーベ・サーストン・アンドレーエフの一般化が関係しているため、正確な結果ではありません。また、4つの連結された最大平面グラフの場合、平行辺の正三角形を使用できることにも言及しています。


まあ、それもいい質問ですね。すべての平面グラフが球体の接触グラフとして表現できるという簡単な証拠はありますか?
-RJK


7

Schrammは、すべての平面グラフが、博士論文での平面内の滑らかな凸状オブジェクトのセットの接触グラフであることを証明しました(Princeton、1990) Brouwerの固定小数点定理を使用。

このことやKoebeの定理に関連する他の結果の良い調査は、Sachsによる調査です。



4

ダンカン、ガンズナー、胡、カウフマン、コボロフによるコンタクトグラフ表現に関するarxivに関する新しい論文があります。彼らは、6辺のポリゴンが必要かつ十分であることを示しています。六角形は凸型でもかまいませんが、最初に読んだとき、それらが太っていたかどうかははっきりしませんでした。


ヨーヨー。私はちょうど自分自身が...彼らは、デFraisseixらの結果は、上記の使用している本論文では、とカントによって結果...発見
サリエルのHar-Peled

ここで、「連絡先」の定義は異なります。私の読書では、点接触は禁止されています。
-RJK

私はそれが多角形の表現には合理的だと思います(頂点以外の接触は必ず点ではないため)?
スレシュヴェンカト

ここでは許容できるスロップは3つだけなので、タッチは平行なエッジを介して互いに接触する必要があります...いいえ?
サリエルハーペレ

0

でゲルト・ウェグナーの彼の博士論文(ゲオルクアウグスト・理学部、ゲッティンゲン、1967)は、任意のグラフは、3次元凸多面体の集合の接触グラフであることを証明した(彼はGrünbaumへの結果の最初の未発表の証拠をクレジット)。これは簡単な証拠です。


たとえば、モーメント曲線に点を付けてボロノイ図を計算することにより、簡単に直接証明できます。ここでは肥満状態がしかし...無残に失敗
サリエルのHar-Peled

ああ、私は完全に「脂肪」と誤解していました。「ファットトライアングル」をグーグル検索するまで、定義がわからなかったことを認めるのは恥ずかしい(しかし、今ははっきりしているに違いないと思う)。この概念の参照/定義を提供していただけますか?
-RJK

また、私が言及した表現は、平面グラフだけでなく、この方法であらゆるグラフを表現するために使用できます。
サリエルハーペレ

質問の「脂肪」を明確にしてくれてありがとう。この投稿で平面についても言及しなかったことを指摘する価値があります。太さの特定の値に対して、各グラフは、ある(十分に高い)次元の太い凸ポリトープで表現できます。明らかな問題は、次元の限界がすべてのグラフで均一になるかどうかです。これは研究されましたか?
-RJK

ではない私の知る限り、私は...、このようなものについて非常に知識豊富ではないよ
サリエルのHar-Peled
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.