4
平面グラフのどのプロパティがより高い次元/ハイパーグラフに一般化しますか？
平面グラフが交差するエッジを有することなく、平面内に埋め込むことができるグラフです。 LET であるk個の、そのすべてのハイパーエッジがサイズkを有するように、すなわちハイパーグラフ-uniform、ハイパーグラフ。G=(X,E)G=(X,E)G=(X,E)kkk なされてきた行っていくつかの作業（クラスタリングのコンテキストまたは他のアプリケーションとの）面にハイパーグラフを埋め込むには、しかし、多くの場合、データはジャスト面に埋め込むことができません。解決策は、それを強制するか、多少の損失を伴うか、またはここで提案するように、より高い次元に埋め込むことです。 平面性の自然な拡張（少なくともIMO）は、G：埋め込みM：X → R kの " -simple embedding"（既知の異なる名前はありますか？）であり、接続するサーフェスが存在するようになります。各ハイパーエッジのすべての頂点。これらは、端点を除いて交差しません。kkkGGGM:X→RkM:X→Rk\mathcal{M}:X\to \mathbb{R}^k （2Dのアナログを考えてください。各サーフェスは、好きなように描くことができるエッジです）。 これは、3均一ハイパーグラフの有効な3単純埋め込みの例です。（各頂点は、含まれているハイパーエッジによって色分けされ、各面はハイパーエッジを表します）。 3つの単純なグラフの別の例は、5つの頂点上の完全な3均一ハイパーグラフです。これを確認するには、R 3で2D平面上にない4つの点を取り、三角形のピラミッド（凸包）を作成し、5番目の点をピラミッドの中心に配置して、他の頂点に接続します。G=(V,V×V×V)G=(V,V×V×V)G=(V,V\times V\times V)R3R3\mathbb{R}^3 同様に、6つの頂点の完全な3ユニフォームハイパーグラフには、3単純な埋め込みがないようです。 平面グラフにはいくつかの非常に便利なプロパティがあり、グラフが平面である場合に困難な問題のアルゴリズムを改善できます。残念ながら、データは次元数が少ない場合もありますが、多くの場合、平面的ではありません。平面グラフのどのプロパティが一般化するかを理解することは、同じアルゴリズムでどのアルゴリズムをより高次元に適合できるかを理解するのに役立つと思います。 役立つ可能性のあるプロパティの例は、すべての平面グラフをすべてのエッジが直線セグメントになるように埋め込むことができることを示唆するファリーの定理から来ています。 kkk 一般化できる他のプロパティはありますか？たとえば、平面グラフのオイラーの公式は、どういうわけかより高い次元に一般化できますか？（現時点では、それが何を意味するのかはわかりません）。