平面图通过胖东西的交集?


14

Koebe有一个美丽的定理(请参见此处),指出可以将任何平面图绘制为磁盘的吻合图(非常浪漫...)。(换句话说,可以将任何平面图绘制为磁盘的交集图。)

Koebe定理不是很容易证明。我的问题是:该定理是否有一个更简单的版本,即允许使用任何胖凸形状代替圆盘(凸度可能需要协商,但不能胖)。注意,每个顶点可以是不同的形状。

谢谢...

澄清:对于形状,让- [R X 是的最小包围球的半径X,让- [R X 让我在最大封闭的球的半径小号。形状小号α -fat如果ř X / [R X α。(这不是肥胖的唯一定义,顺便说一句。)XR(X)Xr(X)SSα[RX/[RXα


有点古怪:Koebe定理是关于接触图的,与交点图略有不同。你更喜欢哪个版本 ?
Suresh Venkat

因此,我认为由于每个平面图都是平面中各部分的相交图,因此需要脂肪(Chalopin和Gonçalves,STOC 09)。如果他们不胖,那么接吻和交集是一样的。(嗯,最后一句话是从上下文中删除的!)
RJK

与使用图表进行其他操作(例如,查找分隔符)相比,肥胖只会使生活更轻松。
Sariel Har-Peled

3
我想知道这里的真正问题是:“给科比定理提供一个简单的证明”,而不是“找到模拟科比定理的低复杂度的脂肪形状族”
Suresh Venkat

2
当然。那是一个有效的解释。但是,我认为要获得Koebe定理的简单证明,就需要以某种方式放松它……
Sariel Har-Peled

Answers:


10

您不是说胖对象必须是二维的,是吗?Felsner和Francis证明了3d中轴平行的立方体总是可行的。但是,证明涉及Schramm对Koebe-Thurston-Andreev的概括,因此,这并不是一个简单的结果。他们还提到,对于四连接的最大平面图,可以使用平行边的等边三角形。


好吧,我想这也是一个很好的问题。是否有快速的证据证明每个平面图都可以表示为球体的接触图?
RJK




4

Duncan,Gansner,Hu,Kaufman和Kobourov提出了关于联系图表示的关于arxiv新论文。他们显示6个多边形是必要且充分的。六边形可以是凸形的,但在我初读时还不清楚它们是否也很胖。


悠悠球。我自己发现了这篇论文...他们使用的是上面提到的de Fraisseix等结果,以及康德的结果...
Sariel Har-Peled

在此,“接触”的定义有所不同。根据我的阅读,不允许点接触。
RJK

我想这对于多边形表示是合理的(因为任何非顶点接触都必然是非点接触)?
Suresh Venkat

由于这里只有三个允许的倾斜,因此必须通过相互接触的平行边来进行触摸...不?
Sariel Har-Peled

0

Gerd Wegner在博士学位论文中(哥廷根,Georg-August-Universität,1967年)证明,任何图都是一组三维凸多边形的接触图(但他将结果的第一个未公开证明归功于Grünbaum)。这是一个简短的证明。


有简单直接的证明,例如,将点放在弯矩曲线上并计算其Voronoi图。但是这里的肥胖状况却惨败...
Sariel Har-Peled

啊,我完全误解了“胖子”。我很尴尬地承认(但是我想现在必须弄清楚了)我不知道定义,直到我用谷歌搜索“胖三角形”。您能为这个概念提供参考/定义吗?
RJK

而且,我提到的表示可以这种方式用来表示任何图形-不仅是平面图形。
Sariel Har-Peled

感谢您对问题中“肥胖”的说明。值得指出的是,我在这篇文章中也没有提到平面。对于给定的脂肪值,每个图都可以由某个(足够高的)维度上的脂肪凸多面体表示。显而易见的问题是,维的边界在所有图形上是否可以统一。有研究过吗?
RJK

据我所知,但我对这些事情不是很了解...
Sariel Har-Peled
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.